Sinüsün türevinin kosinüs olduğunu bir tablodan öğrenebiliriz. Fakat böyle bir tablo iki soruyu açık bırakır: Bu sonuç neden doğrudur ve açıyı hangi birimle ölçüyoruz? Ters fonksiyonlarda da benzer bir sorun vardır. Bir işlemi geri çevirmek, değişim hızını nasıl etkiler? Bu yazıda kuralların arkasındaki limitleri kuracağız; ardından kuralların nerede kullanılabildiğini örneklerle göreceğiz.
Önceki yazıda türevi fark oranının limiti olarak tanımladık. Çarpım, bölüm ve zincir kurallarını kullanacağız. Trigonometriden gereken bilgiler birim çember, sinüs ve kosinüsün toplam formülleri ile özdeşliğidir. Ters fonksiyon, bir fonksiyonun çıktısından girdisine dönmemizi sağlar; birazdan bu dönüşün neden uygun bir aralık seçmeyi gerektirdiğini de açıklayacağız.
1. Radyan koşulu bir ayrıntı değildir
Yarıçapı olan bir çemberde uzunluğu olan yayın gördüğü merkez açı, radyan cinsinden olarak tanımlanır. Birim çemberde olduğu için açının radyan değeri, ilgili yayın uzunluğuna sayıca eşittir. Tam çemberin açısı radyan; düz açınınki radyandır. Dereceyle yazılan 180 sayısı aynı açıyı anlatır, fakat aynı sayısal girdi değildir.
Türev, çıktı değişimini girdi değişimine böler. Girdi birimini değiştirince bu oran da değişir. Dolayısıyla yazarken ‘in radyan olarak ölçüldüğünü kabul edeceğiz. Derece cinsinden bir girdisi kullanırsak aynı fonksiyon biçiminde yazılır. Zincir kuralı onun türevine çarpanı getirir. Bu çarpanı unutmak, bir birim dönüşümünü unutmak demektir.
2. Üç alanın arasında bir limit
olsun. Birim çemberin merkezi , sağdaki noktası ve çember üzerindeki diğer noktası olsun. ile arasındaki açı ‘dir. ‘daki teğet ile doğrultusunun kesişimine diyelim. İçteki üçgeni, çember dilimi ve dıştaki üçgeni birbirini kapsar.
İç üçgenin tabanı 1, yüksekliği olduğundan alanı ‘dir. Dilimin alanı ‘dir: tam çember alanı ve açı payı olduğundan çarpımları bu sonucu verir. Dış üçgenin yüksekliği olduğundan alanı olur. Kapsama ilişkisi böylece:
eşitsizliğini verir. İkiyle çarpıp yazarsak elde ederiz. Bu aralıkta bütün bölenler pozitiftir. Eşitsizlikleri düzenleyince:
bulunur. sıfıra giderken birim çemberdeki nokta ‘ya yaklaşır; olur. Sıkıştırma teoremine göre ortadaki oran da 1’e yaklaşır. Negatif için sinüsün tekliği sayesinde olduğundan aynı sonuç soldan da geçerlidir:
Burada için kesri tanımlamadık. Sıfıra yaklaşırken aldığı değerlere baktık. Ayrıca sinüsün türevini kullanmadık: kanıt, çember geometrisi ve alan karşılaştırmasına dayanıyor. Türevi kanıtlamak için henüz kanıtlanmamış aynı türevi kullanmak bir döngü olurdu.
Kosinüsün sürekliliği de bu geometriyle uyumludur. Küçük için elde ettik. özdeşliğinden gelir. Dolayısıyla iken kosinüsün 1’e gitmesi ayrıca bu eşitsizlikle doğrulanabilir; türev bilgisi gerektirmez.
3. Kosinüslü ikinci limit
Sinüsün toplam formülünde iki farklı küçük değişim ortaya çıkacak. İkincisini şimdiden hazırlayalım. Sıfıra yakın ve sıfırdan farklı için eşlenikle çarparız:
İlk oran 1’e, ikinci oran ‘a gider. Sonuç:
olur. Payda sıfıra yakın bölgede sıfır değildir. Sadeleştirme ve limit işlemlerini yaparken bu küçük koşul önemlidir. Büyük açılardaki olası sıfırlar, burada yalnız sıfırın çevresini incelediğimiz için soruna yol açmaz.
4. Sinüs ve kosinüsün türevlerini çıkarmak
için fark oranını yazalım. Toplam formülü olduğundan:
sabitken alıyoruz. İlk terim , ikincisi olur. Böylece sonucunu elde ederiz. Aynı işlemi toplam formülüne uygulayalım:
Limit olur. İki temel kuralımız her gerçek radyan girdisi için geçerlidir:
Bu sonuçlar grafikle de okunur. Sinüs, sıfırda yukarı doğru en dik biçimde geçer ve türevi 1’dir. noktasında değeri 1 iken türevi 0 olur; teğeti yataydır. noktasında türevi ‘dir, yani artan girdi karşısında çıktı azalmaktadır. Türevin işareti ile fonksiyonun değeri farklı bilgilerdir: fonksiyon pozitifken azalabilir.
5. Yeni kuralları önceki kurallarla birleştirmek
Tanjant, olduğundan yalnız iken tanımlıdır. Bölüm kuralı:
verir. Burada payın 1 olması trigonometrik özdeşlikten gelir. Tanjantın türevi tanımlı olduğu her noktada pozitiftir; ancak tanjant bütün gerçek doğru üzerinde kesintisiz bir fonksiyon değildir. Farklı dalları tek bir artma aralığı gibi birleştirmemeliyiz.
Örneğin için dış fonksiyon sinüs, iç fonksiyon ‘dir. Önce dışın türevini iç girdide değerlendirir, sonra iç türevle çarparız:
çarpanı, iç açının ile ne hızla değiştiğini taşır. noktasında kosinüs 1 olsa da iç değişim hızı sıfırdır; sonuç olur.
Başka bir örnekte olsun. İki çarpanın da değiştiğini hesaba katmalıyız:
noktasında ilk terim sıfır, ikinci terim olur. Fonksiyonun o noktadaki değeri sıfırdır ama türevi sıfır değildir. Grafiğin ekseni kesmesi ile yatay teğet taşıması farklı olaylardır.
6. Ters fonksiyonda neden aralık seçiyoruz?
bütün gerçek sayılarda bire bir değildir: 2 ve aynı 4 sonucunu verir. Yalnız girdilerine kısıtlarsak ters işlem olur. Ters fonksiyonun varlığı için girdiyi çıktıdan tek biçimde geri bulabilmemiz gerekir. Yerel ters fonksiyon derken de tüm doğruyu değil, ilgilendiğimiz noktanın çevresindeki uygun aralığı kastediyoruz.
Sinüs de periyodik olduğundan tüm doğru üzerinde terslenemez. aralığında sürekli ve kesin artandır; bu aralıktaki tersine denir. , sinüsü olan ve seçilen aralıkta kalan açıyı verir. gösterimi de kullanılabilir, fakat bu ifade anlamına gelmez. Karışıklığı önlemek için burada arcsin yazacağız.
7. Ters türevin fark oranı
, ‘yı içeren açık bir aralıkta sürekli ve kesin monoton olsun; yani o aralıkta ya sürekli artan ya da sürekli azalan bir ilişki kursun. Bu özellikler, görüntü aralığında sürekli bir ters verir. Ayrıca ‘nin ‘da türevli ve olduğunu varsayalım. olduğundan ‘dır.
‘ye yakın bir seçip diyelim. Tersin sürekliliği iken demektir. Bire birlik nedeniyle iken ‘dır. Şimdi tersin fark oranı:
olur. Alttaki oran ‘ya gider. Bu limit sıfır olmadığı için tersini alabiliriz:
Bu bir ezberden önce bir oran ilişkisidir. İleri yönde çıktı değişimini girdi değişimine bölüyorduk; geri yönde aynı iki değişimin yerini değiştiriyoruz. Ancak limitin sıfır olmaması ve tersin sürekliliği, bu fikri geçerli bir kanıta dönüştüren koşullardır.
Örneğin ‘nin pozitif dalında , olsun. İleri türev 4, ters türev olur. Gerçekten için ve ‘tür. Kare fonksiyonunun sıfırdaki türevi ise sıfırdır; ters kuralın varsayımı orada bozulur. Karekökün sıfırdaki sağ fark oranı sınırsız büyür; sonlu türev elde edilmez.
8. Üç ters trigonometrik türev
yazarsak ve olur. İç noktalarda ‘dır. Ters kural ve çember özdeşliğiyle:
Karekökün pozitif işaretini rastgele seçmedik; seçilen açı aralığında kosinüs pozitif olduğu için seçtik. uçlarında payda sıfırdır ve bu formül sonlu türev vermez. Fonksiyon uçlarda tanımlı olabilirken türev orada bulunmayabilir.
için dalını seçeriz. Kosinüs bu aralıkta azalandır ve iç noktalarda olur. İleri türev olduğundan:
Eksi işareti anlamlıdır: daha büyük bir kosinüs değeri, bu dalda daha küçük bir açıya karşılık gelir. Arcsin artarken arccos azalır.
Son olarak için dalını kullanırız. Tanjant bu açık aralıkta bütün gerçek çıktıları bir kez alır. İleri türev olduğundan:
Burada gerçek sayılar kümesidir. Payda en az 1 olduğu için sonlu türev bütün gerçek girdilerde vardır. Büyük değerlerinde türev küçülür; arktanjant grafiği yatay sınırlara yaklaşırken giderek yatıklaşır.
9. Bileşkede alanı ve işareti birlikte takip etmek
fonksiyonunda önce tanım alanını bulalım. İç değer olmalıdır; dolayısıyla . Türev formülü iç noktalar için:
olur. Paydaki 2 iç fonksiyonun türevidir. için payda olduğundan sonuç ‘tür. Uçlarda fonksiyon değeri vardır, ama bu hesap sonlu türev vermez.
için ise bütün gerçek değerleri kullanılabilir ve olur. iken türev negatiftir; arktanjantın kendisinin artan olması bileşkenin her yerde artacağını garanti etmez. İçteki kare fonksiyonu negatif tarafta azalır ve bileşke bu değişimi izler. Bu örnek, zincir kuralının çarpanlarını yalnız cebirsel zorunluluk olarak değil, iki ardışık değişimin hesabı olarak okumamızı sağlar.
Trigonometrik türevleri artık geometrik bir limitten, ters türevleri ise karşılıklı fark oranlarından elde ettik. Üstel ve logaritmik türevlerin tam gerekçesini integral yardımıyla kuracağız. Ondan önce türevin yalnız teğet hesaplamakla kalmayıp bir fonksiyonun artışı, azalışı ve en iyi değerleri hakkında nasıl kesin sonuçlar verdiğini inceleyeceğiz.
Kaynaklar
Bu yazıdaki anlatım, örnekler ve görseller özgündür. Kuralların kapsamı ve ters fonksiyon koşulları açık ders kaynaklarıyla karşılaştırılmıştır.