Ortalama Değer Teoremi: "Bir An Tam 100 km/h Hızdaydınız"

"Hızı asla 100'ün üstüne çıkmadım"

Trafikteki bir senaryo: Polis sizi durdurur. "100 km/h bölgesinde otoyolda gidiyordunuz. Otoyolun girişinden çıkışına 80 km mesafeyi 45 dakikada katettiniz. Bu 107 km/h ortalama hız demek. Sürdüğünüz hızlardan en az birinde 107 km/h'ten az değildiniz — ceza yazıyorum."

Bu hâkim önünde geçerli bir argüman mıdır? Matematiksel olarak: evet. Ortalama Değer Teoremi der ki:

"Yolculuk boyunca en az bir an vardır ki, o anki anlık hızınız, ortalama hızınıza tam eşittir."

Yani matematik der ki: ortalama hızınız 107 km/h ise, yolculuk boyunca bir an mutlaka tam 107 km/h ile gidiyordunuz. Bu sürat sınırını aşmış olmak demek.

Resmi ifade

Ortalama Değer Teoremi (MVT):

$f$ fonksiyonu kapalı $[a, b]$ aralığında sürekli ve açık $(a, b)$ aralığında türevlenebilirse, en az bir $c \in (a, b)$ vardır öyle ki:

$f'(c) = \frac{f(b) - f(a)}{b - a}$

Sağ taraf: $A = (a, f(a))$ ile $B = (b, f(b))$ arasındaki doğrunun eğimi (ortalama değişim hızı).

Sol taraf: $c$ noktasındaki türev (anlık değişim hızı).

Yani: anlık değişim hızı = ortalama değişim hızı olan bir nokta vardır.

Geometrik sezgi

Bir fonksiyonun grafiğini düşünün. $A$ ve $B$ noktalarını bir doğru ile birleştirin (kiriş doğrusu). MVT der ki: grafikte bu kirişle paralel bir teğet doğrusu çekilen en az bir nokta vardır.

Eğer grafiği biraz hayal etmek için zorlanırsanız, bir tepe veya çukur düşünün; tepe noktasında türev sıfırdır, ama buradan kirişe paralel olmak için kiriş yatay olmalı. Genel durumda kiriş eğikse, bir noktada teğet o açıya tam denk gelir.

Rolle Teoremi: MVT'nin özel hali

Rolle Teoremi (Michel Rolle, 1691) MVT'nin daha eski ve daha sade versiyonudur:

$f$ fonksiyonu kapalı $[a, b]$ aralığında sürekli, açık $(a, b)$ aralığında türevlenebilir ve $f(a) = f(b)$ ise, en az bir $c \in (a, b)$ vardır öyle ki $f'(c) = 0$.

Geometrik olarak: Eğer iki uçtaki değerler eşitse (yani kiriş yatay), bir noktada teğet de yatay olmalı.

MVT, Rolle Teoremi'nin doğrudan bir genellemesidir. Yardımcı fonksiyon $g(x) = f(x) - \frac{f(b) - f(a)}{b-a}(x-a) - f(a)$ tanımlayın; $g(a) = g(b) = 0$. Rolle uygulanır; $g'(c) = 0$ verir; cebirsel düzenleme MVT'yi verir.

Pratik sonuçlar

1) "Türev sıfır ise fonksiyon sabit"

Eğer $f'(x) = 0$ her $x$ için, $f$ sabit fonksiyondur. Kanıt: İki nokta arası MVT; ortalama değişim 0 olur, fonksiyon değişmez.

2) "İki fonksiyon aynı türevlenirse sabit farklıdır"

Eğer $f'(x) = g'(x)$ her $x$ için, $f(x) - g(x)$ sabit fonksiyondur. Kalkülüs öğretiminde integralin "+C"'sinin matematiksel kaynağı.

3) Polinom köklerinin sayısı

Bir polinomun türevinin kökleri vardır; MVT yoluyla polinomun kendisinin köklerinin sayısı sınırlanır. Sturm teoremi'nin alt yapısı.

4) Sayısal analiz

Taylor teoremi, Newton-Raphson yöntemi, interpolasyon hatası — hepsinin matematiksel temelinde MVT yatar.

5) Diferansiyel eşitsizlikler

$|f(b) - f(a)| \leq M (b-a)$ eğer $|f'(x)| \leq M$ — Lipschitz koşulunun temeli.

6) Tek artımlı (monoton) fonksiyonlar

Eğer $f'(x) > 0$ ise $f$ artıyor; eğer $f'(x) < 0$ ise azalıyor. Bu çıkarımın kanıtı MVT'ye dayanır.

Genelleştirmeler

MVT'nin pek çok genellemesi vardır:

Cauchy'nin Ortalama Değer Teoremi

$\frac{f(b) - f(a)}{g(b) - g(a)} = \frac{f'(c)}{g'(c)}$

İki fonksiyonun oran formunda MVT. L'Hôpital kuralının kanıtının çekirdeği.

Yüksek boyutta MVT

Çok değişkenli fonksiyonlar için: gradyan ve doğrultu türevi formülasyonu.

Sıkı eşitsizlik

Eğer fonksiyon sıkı dışbükey/içbükey ise, MVT noktası kirişin dışında kalır; bu Jensen eşitsizliklerinin kaynağı.

Tarihçe

MVT modern formuyla Augustin-Louis Cauchy tarafından 1823'te kapsamlı biçimde formüle edildi. Rolle Teoremi daha eskidir (1691).

Eski matematikçiler (özellikle Hint Kerala okulu) bu teoremin geometrik sezgisini biliyorlardı; Madhava ve Bhaskara II bazı erken formlarına ulaşmışlardı. Modern kalkülüsün başlangıcında Lagrange (1797) de kullanmıştı.

Resmi $\epsilon$-$\delta$ kanıtı Karl Weierstrass tarafından 19. yüzyıl sonunda titizleştirildi.

"Bir an mutlaka oradaydın"

MVT matematiğin günlük dile çevrilebilen en sade ve etkili teoremlerinden biridir. "Ortalama değer, bir anda gerçekten gerçekleşir" — bu basit gözlem kalkülüsün, fiziğin, mühendisliğin temel bir aracı.

Bir araba sürerken, bir hisse senedi yükselirken, bir sıcaklık değişirken — hep aynı kural geçerli: ortalama değişim, bir anda gerçekten yaşanır.

Polis çağında siz hâlâ "asla aşmadım" deseniz de, MVT gözünüzün önünde, sizi belge gibi yakalar: bir an tam olarak oradaydınız.