Ortalama Değer Teoremi ve Matematiksel Sezgi

Giriş

Kalkülüsün en "sezgiyle çelişiyormuş gibi görünüp aslında son derece doğal" teoremlerinden biri, Ortalama Değer Teoremi'dir (OD T). Formel ifadesi öğrenciyi ilk bakışta ürkütebilir, ama teoremin arkasındaki fikir aslında çok basittir: bir yolculukta ortalama hızınız neyse, yolun bir noktasında tam olarak o hızda gitmiş olmalısınız.

TANIM 1.1

Sürekli ve Türevlenebilir Fonksiyon

Bir f fonksiyonu [a, b] kapalı aralığında sürekli ve (a, b) açık aralığında türevlenebilir ise, OD T'nin koşulları sağlanmış olur.

Ortalama Değer Teoremi

TEOREM 1.2

Ortalama Değer Teoremi (Lagrange)

Eğer $f$, $[a, b]$ üzerinde sürekli ve $(a, b)$ üzerinde türevlenebilir ise, öyle bir $c \in (a, b)$ noktası vardır ki:

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

Yani, eğrinin $c$ noktasındaki teğetinin eğimi, $A(a, f(a))$ ve $B(b, f(b))$ noktalarını birleştiren kirişin eğimine eşittir.

İSPAT — Lagrange OD T

ÖRNEK 1.3

$f(x) = x^2$ fonksiyonunu $[1, 3]$ aralığında ele alalım. Ortalama eğim $\frac{f(3)-f(1)}{3-1} = \frac{9-1}{2} = 4$'tür. $f'(x) = 2x$ olduğundan, $2c = 4 \Rightarrow c = 2$ — ve $2 \in (1,3)$, yani teorem doğrulanır.

Pratik Bir Örnek

Teoremin "yolculuk" yorumuna dönelim: 2 saatte 120 km giden bir araç düşünün. Ortalama hız 60 km/sa'dir. OD T bize, yolculuğun bir anında hız göstergesinin tam olarak 60 km/sa'yi gösterdiği bir an olması GEREKTİĞİNİ söyler — araç hiç durmasa ve hiç geri gitmese bile.

Matematik, evrenin yazıldığı dildir. — Galileo Galilei, Il Saggiatore

UYARI

OD T yalnızca varlık garantisi verir — $c$'nin KAÇ tane olduğunu veya TAM OLARAK nerede olduğunu söylemez. Ayrıca $f$ aralığın uç noktalarında türevlenebilir olmak ZORUNDA değildir; yalnızca açık aralıkta türevlenebilir olması yeterlidir.¹

Koşul	Gerekli mi?	Açıklama
$[a,b]$'de süreklilik	Evet	Uç noktalar dahil
$(a,b)$'de türevlenebilirlik	Evet	Uç noktalar hariç
$f$'nin uç noktalarda türevi	Hayır	Gerekli değil

Sık Yapılan Hatalar

Öğrencilerin en sık düştüğü tuzak, teoremi $f$'nin $[a,b]$'nin TAMAMINDA türevlenebilir olmasını gerektiriyormuş gibi hatırlamaktır. Oysa yalnızca açık aralıkta türevlenebilirlik yeterlidir — bu ayrım, $\sqrt{x}$ gibi uç noktada dik teğeti olan fonksiyonlarda kritik hâle gelir.

Alıştırmalar

ALIŞTIRMA 1

$f(x) = x^3 - x$ fonksiyonu için $[0, 2]$ aralığında OD T'yi sağlayan $c$ değerini bulun.

Çözümü Göster

ALIŞTIRMA 2

$f(x) = |x|$ fonksiyonunun $[-1, 1]$ aralığında OD T'yi sağlamadığını gösterin. Hangi koşul ihlal ediliyor?

Çözümü Göster

Kod Bloğu Örnekleri

Bu bölüm, sitenin kod bloğu bileşenini (Sprint 8/12) farklı diller üzerinden göstermek amacıyla eklenmiştir. Örnek 1.3'teki hesabı önce Python ile sayısal olarak doğrulayalım:

1
2
3
4
5
6
7
8
9
10
11import sympy as sp

x = sp.symbols('x')
f = x**2

a, b = 1, 3
ortalama_egim = (f.subs(x, b) - f.subs(x, a)) / (b - a)
c = sp.solve(sp.diff(f, x) - ortalama_egim, x)

print(f"Ortalama eğim: {ortalama_egim}")
print(f"c değeri: {c}")  # [2] -> (1, 3) aralığında, teorem doğrulandı

Aynı örneği bir veritabanında saklanan fonksiyon değerlerinden sorgulamak istersek:

1
2
3
4
5
6
7
8
9SELECT
    f_a.deger AS f_a,
    f_b.deger AS f_b,
    (f_b.deger - f_a.deger) / (b.x - a.x) AS ortalama_egim
FROM fonksiyon_degerleri AS f_a
JOIN fonksiyon_degerleri AS f_b ON f_b.x = 3
JOIN noktalar AS a ON a.x = f_a.x
JOIN noktalar AS b ON b.x = f_b.x
WHERE f_a.x = 1;

Tarayıcıda hızlı bir sayısal kontrol için JavaScript:

1
2
3
4
5
6
7
8
9const f = (x) => x ** 2;
const [a, b] = [1, 3];

const ortalamaEgim = (f(b) - f(a)) / (b - a);
const turev = (x) => 2 * x;
const c = ortalamaEgim / 2;

console.log({ ortalamaEgim, c, aralikta: c > a && c < b });
// { ortalamaEgim: 4, c: 2, aralikta: true }

Bu tabloyu basit bir sayfada göstermek istersek HTML ve CSS:

1
2
3
4
5<table class="ovt-sonuc">
  <tr><th>Aralık</th><td>[1, 3]</td></tr>
  <tr><th>Ortalama Eğim</th><td>4</td></tr>
  <tr><th>c Değeri</th><td>2</td></tr>
</table>

1
2
3
4
5
6
7
8
9
10.ovt-sonuc {
  border-collapse: collapse;
  font-family: "JetBrains Mono", monospace;
}

.ovt-sonuc th,
.ovt-sonuc td {
  padding: 8px 16px;
  border-bottom: 1px solid #E7E7E3;
}

Sonuç

Ortalama Değer Teoremi, ispatı kısa olsa da sonuçları derin bir teoremdir — Taylor açılımlarından optimizasyon algoritmalarının yakınsama analizine kadar birçok yerde karşımıza çıkar. Bir sonraki yazıda, bu teoremin türevlerinden biri olan Cauchy Ortalama Değer Teoremi'ni ele alacağız.

Dipnotlar

Bazı ders kitapları bu ayrımı netleştirmez; Rudin'in Principles of Mathematical Analysis kitabı (bkz. Kaynakça) bu konuda en titiz kaynaklardan biridir. ↩

Kaynakça

Rudin, W. (1976). Principles of Mathematical Analysis (3. baskı). McGraw-Hill.
Stewart, J. (2015). Calculus: Early Transcendentals (8. baskı). Cengage Learning.
Spivak, M. (1994). Calculus (3. baskı). Publish or Perish.