Iki yayın toplam yada farkının trigonometrik oranları (toplam fark formülleri),Dönüşüm ve ters dönüşüm formülleri ve Yarım Açı Formüllerinin ispatlarını buradan indirebilirsiniz.İndirme sayfasına gittikten sonra Sarı klasöre tıklayarak indiriniz.
şekildeki gibi ADB ve ACB dik üçgenleri çizildiğinde
|AC|=cosb ve |CB|=sinb
|AD|=cos(a+b) ve |DB|=sin(a+b) olur
ECB dik üçgeninde sinüs ve cosinüsün tanımı gereği
|EC|=sinb.sina/cosa ve |EB|=sinb/cosa olur
|AC|=|AE|+|EC| oluğundan |AE|=cosb−(sinb.sina/cosa)=(cosb.cosa−sinb.sina)/cosa olur.
|AE| yi hipotenüs kabuleden ADE dik üçgeninde sinüs ve cosinüsün tanımından |AD|=cosb.cosa−sinb.sina olur. Teorem1.2. ispatlanmış oldu.
|DE|=sina.(cosb.cosa−sinb.sina)/cosa
|DB|=|DE|+|EB| olduğundan |DB|=sina.(cosb.cosa−sinb.sina)/cosa+sinb/cosa=sina.cosb−sinb.(sin²a/cosa)+sinb/cosa
=sina.cosb-sinb(sin²a−1)/cosa=sina.cosb-sinb(-cosa)=sina.cosb+sinb.cosa , Teorem1.4. ispatlanmış oldu.
cosinüsün çift sinüsün de tek fonksiyon olmasından dolayı
cos(a+b) de b yerine -b alındığında cos(a−b)=cosa.cos(−b)-sina.sin(−b)=cosa.cosb-sina.(−sinb)=cosa.cosb+sina.sinb olur
sin(a+b) de b yerine -b yazılırsa sin(a−b)=sina.cos(−b)+cosa.sin(−b)=sina.cosb+cosa.(−sinb)=sina.cosb−cosa.sinb olur