Toplam-Fark Türevi İspatı

Toplam veya fark durumunda bulunan fonksiyonların türevi alınırken fonksiyonların ayrı ayrı türevi alınıp, daha sonra bulunan türev değerleri toplanır veya çıkarılır.

İSPAT: İspatı yaparken; türevin limit tanımından yararlanarak yapalım.

Polinom Fonksiyonların Türevi ve İspatı

Polinom fonksiyonların türevi alınırken bilinmeyenin kuvveti katsayı olarak bilinmeyenin başına geçer ve kuvvet bir sayı azalarak yeniden yazılır. Köklü ifadelerde polinom fonksiyonlara benzetilerek üslü biçime çevrildikten sonra aynı kural yardımıyla türevi alınabilir. Türevin limitle olan tanımından yola çıkarak bu kuralın ispatı yapılabilir. Aşağıdaki ispatı ve örnekleri inceleyiniz.

f(x+h) ifadesini açarken yukarıdaki özdeşlik kullanımı yerine, binom katsayıları kullanırsak farklı bir yoldan da ispatı gösterebiliriz.

Doğrunun Eğiminde Türev

Verilen bir y=mx+n şeklindeki doğrunun eğimi bulunurken türevden yararlanılabilir. Denklemi verilen doğrunun birinci türevi alınırsa doğrunun eğimine ulaşılmış olur. İspatı yapılırken genel türev tanımından yararlanılarak sonuca ulaşılır. Altta doğrusal fonksiyonun eğimini bulurken kullanacağımız türev kuralının ispatı verilmiştir.

Öklid Algoritması

Öklid Algoritması; (Bkz.Euclidin Hayatı) (MÖ.325-MÖ.265) tarafından bulunan kullanışlı bir bölüm işlevidir. EBOB bulma işlemlerinde genellikle asal çarpanlarına ayrılması yönteminden yararlanırız. Lakin bazı durumlarda bu asal çarpanlarına ayırma işlemi sıkıntılı olabilir. Özellikle büyük sayılar verildiğinde EBOB bulma işlemi, asal çarpan yönteminde daha zor hale gelebilir. İki tam sayının en büyük ortak bölenini bulmak için yapılan ardışık bölme işlemine öklit algoritması denir. Ardışık bölme işlemine kalan sıfır oluncaya kadar devam edilir. Sıfırdan önceki en son bölen sayı EBOB u verir. Öklid algoritmasında yapılması gereken temel mantık; ardışık olarak büyük sayıyı küçük sayıya bölerek kalanın 0 olması durumuna kadar devam edilmesidir. Bazı durumlarda kalan 0 olmayabilir bu durumlarda farklı çözüm yolları geliştirilmelidir. 

Alt Küme sayısı formulü ispatı

Bir kümenin bütün elemanları o kümeden farklı olan başka bir kümenin de aynen elemanları oluyorsa bu küme diğer kümenin alt kümesi olur. Alt küme sayısı kümenin eleman sayısı n olmak üzere, 

2ⁿ  formülü ile hesaplanır.