AP Calculus: Ara Değer Teoremi ve Kök Varlığı

Ara Değer Teoremi, kapalı bir aralıkta sürekli olan fonksiyonun uç değerleri arasındaki her hedef değeri aldığını söyler. Bir çözümün varlığını gösterir; çözümü hesaplamaz veya tek olduğunu kanıtlamaz. Bu rehber, AP Calculus AB ve BC'de süreklilik, hedef değer ve sonuç arasındaki bağı kurmayı açıklar.

Teorem neyi söyler?

f, [a,b] üzerinde sürekli olsun. N, f(a) ile f(b) arasında ise en az bir c için f(c)=N olur. N uç değerler arasında kesin olarak bulunuyorsa c, açık (a,b) aralığında seçilebilir. Hedef bir uç değere eşitse ilgili uç nokta zaten çözüm olabilir; iç noktada çözüm bulunduğu sonucu kendiliğinden çıkmaz.

College Board çerçevesinin 1.16 konusu, Ara Değer Teoremi'ni AB ve BC'nin ortak kapsamına yerleştirir. Bu yalnızca BC'ye özgü bir “ileri sıfır bulma” tekniği değildir. Hedefin sıfır olması da gerekmez: sıcaklık, hacim veya fonksiyon değeri gibi herhangi bir uygun N için kullanılabilir.

Uygulamada üç bilgiyi birlikte yazın: fonksiyonun hangi aralıkta sürekli olduğu, uç değerlerin hedefle ilişkisi ve bundan çıkan varlık sonucu. Bunlar matematiksel gerekçenin parçalarıdır; bütün IVT sorularına uygulanacak sabit bir puan dağılımı değildir. Sorunun istediği hedefi ve aralığı aynen koruyun.

Özgün örnek: bir kökün varlığı

f(x)=x³−x−1 için [1,2] aralığında bir kök bulunduğunu gösterelim. Polinomlar sürekli olduğundan f bu aralıkta süreklidir. Uç değerler f(1)=−1 ve f(2)=5'tir. Hedefimiz N=0'dır ve −1<0<5 sağlanır.

Dolayısıyla Ara Değer Teoremi'ne göre (1,2) içinde en az bir c vardır ve f(c)=0'dır. Bu, “grafik bir yerde kesiyor gibi görünüyor” gözlemini matematiksel gerekçeye dönüştürür. Ancak c'nin tam sayısal değerini henüz bulmadık.

Aralığı daraltmak için f(1,5)=0,875 hesaplanabilir. f(1)<0 ve f(1,5)>0 olduğundan aynı süreklilik gerekçesi (1;1,5) içinde kök bulunduğunu gösterir. Ardından f(1,25)=−0,296875 ile aralık (1,25;1,5) olur. İkiye bölerek daraltma, varlık sonucunu kullanır; her ara değeri hesaplamadan bir yaklaşık kök ilan etmeyin.

İki uçtaki işaretin zıt olması, sıfır hedefi için kolay bir kontroldür. Daha genel N hedefinde f(a)<N<f(b) veya ters sıralama kullanılır. İsterseniz g(x)=f(x)−N tanımlayıp g'nin sıfırını arayabilirsiniz; bu dönüşüm her çözümde zorunlu bir ek adım değildir.

Hedef sıfır değilse de aynı akıl yürütme geçerlidir

Özgün modelimiz T(t)=t²+20, 0≤t≤4 için bir sıcaklığı derece Celsius cinsinden versin. Bu bir öğretim modelidir, ölçülmüş veri değildir. T süreklidir; T(0)=20 ve T(4)=36'dır. Hedef 30 olduğunda 20<30<36 ilişkisi, (0,4) içinde en az bir t için T(t)=30 bulunduğunu gösterir.

Bu örnekte denklemi çözmek de mümkündür: t²=10 ve aralıkta t=√10 bulunur. Teorem ile cebir farklı işler yapmıştır. Teorem varlığı göstermiş, cebir değeri hesaplamıştır. Denklemi açık biçimde çözemediğiniz bir modelde de süreklilik ve uç değerler sayesinde varlık gerekçesi kurulabilir.

Yalnızca iki sıcaklık ölçümü verilmişse ve aradaki modelin sürekliliği hakkında bilgi yoksa, sürekli polinom modelimizdeki varsayımı veriye kendiliğinden taşımayın. Soruda süreklilik belirtilmiş olabilir veya verilen fonksiyonun özelliğinden çıkarılabilir. Her iki durumda da gerekçenin dayanağını açıkça yazın.

Süreklilik olmazsa işaret değişimi neyi eksik bırakır?

h(x)=−1 için x<0, h(x)=1 için x≥0 olsun. [−1,1] uçlarında değerler −1 ve 1'dir. Buna rağmen fonksiyon hiçbir noktada 0 değerini almaz. Aradaki sıçrama nedeniyle h bu kapalı aralıkta sürekli değildir; Ara Değer Teoremi uygulanamaz.

Burada “uç işaretler farklı, öyleyse kök var” çıkarımı yanlıştır. Önce aralıkta tanımsız noktalar, sıçramalar veya diğer süreksizlikler bulunup bulunmadığını kontrol edin. Bir rasyonel fonksiyon için paydanın sıfır yaptığı noktayı aralığın içinden geçirerek IVT uygulamak da benzer bir hataya yol açabilir.

Teoremin koşullarının sağlanmaması, her zaman çözüm olmadığı anlamına gelmez. Yukarıdaki modelde yalnızca h(0)=0 yaparsanız sıçrama sürer fakat 0 bir kök olur. Bu kökün varlığı doğrudan tanımdan okunur; süreklilik olmadığı için IVT gerekçesi kurulmaz. Bir yöntemin uygulanamaması ile sorunun çözümünün bulunmaması farklıdır.

İşaret değişimi yoksa kök bulunamaz mı?

p(x)=x²−1 için p(−2)=3 ve p(2)=3'tür. Uç işaretler aynı olmasına rağmen x=−1 ve x=1 iki köktür. [−2,2] uçlarını kullanarak sıfır hedefi için işaret değişimi gösterememeniz, kök bulunmadığını kanıtlamaz. Daha küçük aralıklar veya başka bir yöntem kullanılabilir.

Uç değerler aynıyken IVT'nin bu iki değerin arasından farklı bir hedef sağlamaması, fonksiyonun arada başka değerler alamayacağı anlamına gelmez. Teorem yeterli bir varlık koşulu verir; köklerin veya hedef değerlerin bütün olasılıklarını sınıflandıran bir ters önerme değildir.

“En az bir” ile “tam olarak bir” ayrımı

q(x)=x³−x için q(−2)=−6 ve q(2)=6'dır. Teorem arada en az bir sıfır verir, fakat fonksiyonun −1, 0 ve 1 olmak üzere üç kökü vardır. Tek bir işaret değişimi kontrolünden kök sayısını çıkaramazsınız.

İlk örneğimizdeki f(x)=x³−x−1 için ise [1,2] üzerinde ek bilgi vardır: f'(x)=3x²−1>0. Fonksiyon bu aralıkta kesin artandır; dolayısıyla iki farklı noktada aynı 0 değerini alamaz. IVT ile en az bir kök, kesin artanlıkla en fazla bir kök gösterilir; birlikte tam olarak bir kök sonucu elde edilir.

Bu ayrımda türev, IVT'nin şartı haline gelmemiştir. Varlık için süreklilik yeterlidir; türev bilgisini burada ayrı bir benzersizlik gerekçesi için kullandık. Soruda yalnızca varlık isteniyorsa gereksiz bir kök sayımı veya yaklaşık çözümle cevabı uzatmayın.

Diğer teoremlerle karıştırmayın

Bolzano'nun işaret değişimi sonucu IVT'nin sıfır hedefi için özel uygulamasıdır; EVT ile aynı teorem değildir. Rolle teoremi ise MVT'nin f(a)=f(b) durumunda sıfır türev sonucunu veren özel halidir. Fonksiyonun 0 olması ile türevin 0 olması farklı sonuçlardır; hedefi okumadan teorem seçmeyin.

Sık sorulan sorular

Teorem koşullarını örnekler üzerinde çalışmak için AP Calculus AB ve AP Calculus BC derslerinin kapsamını inceleyebilirsiniz.