Boyle bir fonksiyonun varligini @Amatematik cevabinda gostermis. Sadece o fonksiyonun (sabite bagli olarak) sagladigini da gostermek zor degil. Fakat en az bir tane olmasi onemli. En az bir tane olacak ki elimizde turev alabilecegimiz bir fonksiyon olabilsin. Bos kume icerisinde eglenmeyelim.
Turevin tanimindan yaklasalim. x=2+h2 ve y=h2 icin f(2+h)−f(2)=h(52(2+h2)+1)
olur yani
limh→0f(2+h)−f(2)h=limh→0(52(2+h2)+1)=6
olur.
Ikinci onemli sey ise bir tanesi icin saglamasi her biri icin saglayacagi anlamina gelmez. Fakat biz bu ispatta fonksiyon ne olursa olsun, yukarida verilen fonksiyondan baska fonksiyon varsa bile her secimde
f′(2)=6 oldugunu gosterdik.
________
Ek:
x=y=a/2 icin
f(a)=f(0)+5(a/2)(a/2)+2(a/2)=f(0)+54a2+a
olur.
f(0) degerinin sabit oldugu bilgisini kullanabilir. Hatta her
c sabitine karsilik gelen bir
fc(x)=54x2+x+c
kuralli fonksiyon bu esitligi saglar ve sadece bunlar saglar. Hepsinin turevi de, buna
F diyelim, dogal olarak ayni:
F(x)=52x+1.