sin2x+cos2x=1
sin(π2−x)=cosx
eşitlikleri bilinsin.
Birim çemberde;
m(KOA)=a ve m(LOA)=b olduğunda,
m(KOL)=a−b dir.
m(KOL)'ına eşit olan m(MOA)'sı çizilirse,
m(MOA)=a−b olur.
m(KOA)=a ise K(cosa,sina)
m(LOA)=b ise L(cosb,sinb)
m(MOA)=a−b ise M(cos(a−b),sin(a−b))
m(KOL)=m(MOA) ise |KL|=|MA| dır.
|KL|=√(cosa−cosb)2+(sina−sinb)2
|KL|2=cos2a−2.cosa.cosb+cos2b+sin2a−2.sina.sinb+sin2b ve
→|KL|2=cos2a+sin2a⏟1+cos2b+sin2b⏟1−2.cosa.cosb−2.sina.sinb
→|KL|2=2−2(cosa.cosb+sina.sinb) (⋆)
|MA|=√(cos(a−b)−1)2+(sin(a−b))2
|MA|2=2−2cos(a−b) gelir.(⋆⋆)
(⋆) ve (⋆⋆) taraf tarafa eşitlenirse,
2−2cos(a−b)=2−2(cosa.cosb+sina.sinb) den
cos(a−b)=cosa.cosb+sina.sinb gelir. 4.◻
kutu içindeki denklemde −b=b dönüşümü yaparsak
cos(a+b)=cosa.cos(−b)⏟cosb+sina.sin(−b)⏟−sinb
→cos(a+b)=cosa.cosb−sina.sinb 3.◻
sinθ=cos(π2−θ) eşitliğinden dolayı;
sin(a−b)=cos(π2−(a−b))=cos((π2−a)+b)
→sin(a−b)=cos((π2−a)+b) olur
→=cos(π2−a)⏟sina.cosb−sin(π2−a)⏟cosa.sinb
sin(a−b)=sina.cosb−sinb.cosa 2.◻
sin(a−b)=sina.cosb−sinb.cosa özdeşliğinde −b=b dönüşümü yaparsak;
sin(a+b)=sina.cos(−b)⏟cosb−cosa.sin(−b)⏟−sinb
→sin(a+b)=sina.cosb+sinb.cosa 1.◻
İspatlar bitmiştir.