AM-GM Eşitsizliği: Aritmetik Ortalama Neden Geometrik Ortalamadan Asla Küçük Değildir?

İki pozitif sayı alın, mesela $a = 4$ ve $b = 16$. İki tür "ortalamaları" var:

• Aritmetik ortalama (AM): $\dfrac{a + b}{2} = \dfrac{4 + 16}{2} = 10$
• Geometrik ortalama (GM): $\sqrt{a \cdot b} = \sqrt{4 \cdot 16} = \sqrt{64} = 8$

AM, $10$. GM, $8$. AM, GM'den büyük çıktı. Birkaç farklı sayı çiftiyle deneyin: aynı sonuç. Aritmetik her zaman geometrikten büyük ya da eşittir. İki sayı eşit olduğunda — örneğin $a = b = 5$ — iki ortalama da $5$ olur, yani eşitlik sağlanır.

Bu basit gözleme matematikte AM-GM eşitsizliği denir:

$\frac{a + b}{2} \ge \sqrt{ab}, \qquad \text{eşitlik ancak } a = b \text{ ise.}$

Aynı şey $n$ pozitif sayı için de geçerlidir:

$\frac{a_1 + a_2 + \cdots + a_n}{n} \ge \sqrt[n]{a_1 \cdot a_2 \cdots a_n}$

Bu küçük eşitsizlik, matematik tarihinin en sevilen araçlarından biridir. Antik geometriden modern optimizasyona, fizik termodinamiğinden matematik olimpiyatlarına kadar geniş bir kullanım alanı vardır.

Geometrik (resimli) ispat

İki sayı için AM-GM'nin çok güzel bir görsel kanıtı var. Kenarları $a$ ve $b$ olan bir dikdörtgen düşünün. Alanı $ab$. Şimdi bu dikdörtgenle aynı alana sahip bir kare çizin; kenarı $\sqrt{ab}$ olur (yani GM).

İki şekli karşılaştıralım:

• Çevre (perimeter): Dikdörtgenin çevresi $2(a + b)$, karenin çevresi $4\sqrt{ab}$.
• Alan: İkisi de aynı: $ab$.

Geometride bilinen bir gerçek: aynı alana sahip dikdörtgenler içinde en küçük çevreli olan karedir. Yani:

$4\sqrt{ab} \le 2(a + b) \;\;\Longleftrightarrow\;\; \sqrt{ab} \le \frac{a + b}{2}$

Bu, AM-GM'nin tam ifadesidir. İspat sadece "alan sabitse, çevre en az karede" gözleminden ibaret.

Cebirsel "tek satır" ispat

Cebirsel olarak da çok kısa. İki sayı için:

$(a - b)^2 \ge 0$

(her gerçek sayının karesi negatif olamaz). Açtığımızda:

$a^2 - 2ab + b^2 \ge 0$

İki tarafa $4ab$ ekleyin:

$a^2 + 2ab + b^2 \ge 4ab \;\;\Longrightarrow\;\; (a + b)^2 \ge 4ab$

İki tarafın karekökünü alın (pozitif sayılar olduğu için):

$a + b \ge 2\sqrt{ab} \;\;\Longrightarrow\;\; \frac{a+b}{2} \ge \sqrt{ab}$

Eşitlik ancak $(a - b)^2 = 0$ olduğunda, yani $a = b$ iken sağlanır. İşte AM-GM, dört satırlık bir cebirsel sayfa.

Bir optimizasyon örneği

Klasik bir soru: Çevresi sabit olan dikdörtgenler arasında alanı maksimum olan hangisidir?

Diyelim çevremiz $P$ sabit. Kenarlar $a$ ve $b$, $a + b = P/2$ olacak şekilde. Alan: $ab$. AM-GM şu sınırı verir:

$\sqrt{ab} \le \frac{a + b}{2} = \frac{P}{4} \;\;\Longrightarrow\;\; ab \le \frac{P^2}{16}$

Eşitlik $a = b$ olduğunda — yani kare olduğunda — sağlanır. Demek ki sabit çevreli bir dikdörtgenin en büyük alanı karedir. Bu sonuç, Heron'dan ya da kalkülüsten önce çok güzel bir AM-GM uygulamasıdır.

Aynı mantığın 3 boyutlu eşi: kenarları sabit toplama sahip bir dikdörtgenler prizmasının en büyük hacmi küptedir. Kanıt: $\sqrt[3]{abc} \le (a+b+c)/3$.

Birden çok sayı için kanıt (Cauchy'nin "geriye indirme" yöntemi)

Augustin-Louis Cauchy'nin $n$ sayı için verdiği zarif kanıt şudur:

1. Adım 1: $n = 2$ için AM-GM'yi göster (yukarıda yaptık).
2. Adım 2: $n = 2k$ için AM-GM'yi kanıtla (her ardışık çift için 2 adımlı sonuçtan).
3. Adım 3: Eğer AM-GM $n+1$ için doğruysa, $n$ için de doğru olduğunu göster (geriye doğru indirgeme).

Bu üç adımla sonsuz sayıda $n$ değeri için doğrudur.

Niçin matematik olimpiyatlarının vazgeçilmezi?

AM-GM, lise düzeyinde anlaşılır olduğu için olimpiyatların favorisidir. Hemen her optimizasyon ve eşitsizlik problemi için kullanılabilir. Tipik bir örnek:

Pozitif $x, y, z$ için $x + y + z = 1$ ise $\dfrac{1}{x} + \dfrac{1}{y} + \dfrac{1}{z}$'in en küçük değeri nedir?

AM-GM'yi $\dfrac{1}{x}, \dfrac{1}{y}, \dfrac{1}{z}$ üzerine uyguladığımızda — Cauchy-Schwarz ile birleşince — cevap çabuk çıkar: en küçük değer 9, eşitlik $x = y = z = 1/3$ iken.

Fizik ve termodinamikte

AM-GM, fizikte de çeşitli yerlerde karşımıza çıkar:

• Termodinamik: Aynı toplam enerjili dağılımlar içinde geometrik ortalama "entropi"yi maksimize eden dağılım için doğal bir araçtır.
• Akışkanlar: Bir borunun farklı bölmelerden geçen akış oranlarını optimize ederken AM-GM tipi eşitsizlikler ortaya çıkar.
• İletim teorisi (Shannon): Bilgi kapasitesi hesaplarında, kanal kapasitesini sınırlayan eşitsizlikler AM-GM'nin akrabasıdır.

Bir hayat dersi: ortalama "neyin" ortalamasıdır?

Belki en derin AM-GM dersi şudur: "ortalama" tek bir kavram değildir. Aritmetik ortalama, sayıları "yapısal olarak" toplayan bir ölçüdür; toplama anlam veren durumlarda doğaldır (örn. boy uzunluğu).

Geometrik ortalama ise sayıları "yapısal olarak çarpan" bir ölçüdür; çarpma anlam veren durumlarda doğaldır (örn. yıllık getiri oranları, üreme oranları, ses şiddeti gibi katlanan büyüklükler). Eğer bir yatırım iki yıl boyunca sırasıyla %50 ve $-50\%$ getiri verdiyse:

• Aritmetik ortalama: $(50 + (-50))/2 = 0\%$ — "ortalama" sıfır gibi.
• Geometrik ortalama: $\sqrt{(1{,}5)(0{,}5)} - 1 \approx -13{,}4\%$ — gerçek getiri.

İkinci doğrudur; çünkü yıllık getiriler çarparak birikir, toplanarak değil. AM-GM eşitsizliği bize aynı zamanda şunu der: dalgalı yıllar arasında ortalamayı aritmetik olarak almak her zaman gerçek kazancın üstünde çıkar. Bu nedenle finans, biyoloji, sismoloji gibi alanlarda doğru ortalama türü kullanılmadığında dramatik hatalar yapılır.

Bir sonraki sefer iki sayı için ortalama hesaplarken, hangi ortalama türünün anlam taşıdığını sorabilirsiniz. AM-GM, hangisini seçerseniz seçin, ikisinin arasındaki sıra her zaman aynıdır: aritmetik, geometrikten asla küçük değildir. Ve bu küçük eşitsizlik, matematik dünyasının en sık kullanılan bir buçuk satırlık aracıdır.