
Vom avea nevoie de aceste două identități pentru a completa dovada:
Voi începe cu partea dreaptă, apoi o veți manipula până se va arăta partea stângă:
Asta e dovada. Sper că acest lucru a ajutat!
Căutăm să dovedim identitatea:
# (tanx + sinx) / (2tanx) - = cos ^ 2 (x / 2) #
Luați în considerare LHS a expresiei și folosiți definiția tangentei:
# LHS = (tanx + sinx) / (2 tanx) #
(sinx / cosx + sinx) / (2 (sinx / cosx)) #
(cosx / sinx) (sinx / cosx + sinx) / 2) #
cos / cosx / sinx * sinx / cosx / cosx / sinx * sinx) / 2 #
# (1 + cosx) / 2 #
Acum, ia în considerare RHS și folosiți identitatea:
# cos2A - = 2cos ^ 2A - 1 #
Dându-ne:
# cosx - = 2cos ^ 2 (x / 2) - 1 => 1 + cosx - = 2cos ^
#:. cos ^ 2 (x / 2) = (1 + cosx) / 2 = RHS #
Prin urmare:
# LHS = RHS => (tanx + sinx) / (2tanx) - = cos ^ 2 (x / 2) QED
Cum se dovedește (cotx + cscx / sinx + tanx) = (cotx) (cscx)?

Verificați mai jos (cotx + cscx) / (sinx + tanx) = (cotx) (cscx) (cosx / sinx + 1 / sinx) / (sinx + sinx / cosx) / sinx) / (sinxcosx) / cosx + sinx / cosx) = (cotx) (cscx) (cosx + 1) / sinx) / (sinx (cosx + 1) ) (cosx / sinx * 1 / sinx) = (cotx) (cscx) (cosx / sinx) (cosx / sinx) cotx) (cscx) = (cotx) (cscx)
Dovedește (1 + sinx + icosx) / (1 + sinx-icosx) = sinx + icosx?

Vezi mai jos. Folosind identitatea de Moivre care afirmă e ^ (ix) = cos x + i sin x avem (1 + e ^ (ix)) / (1 + e ^ (ix) (ix)) / (1 + e ^ (-x)) = e ^ (ix) NOTĂ e ^ (ix) cosx-i sinx) = cosx + cos ^ 2x + isinx + sin ^ 2x = 1 + cosx + isinx sau 1 + cosx + isinx =
Cum se dovedește: secx - cosx = sinx tanx?

Folosind definițiile secx și tanx, împreună cu identitatea sin ^ 2x + cos ^ 2x = 1, avem secx-cosx = 1 / cosx-cosx = 1 / cosx-cos ^ 2x / cosx = ) / cosx = sin ^ 2x / cosx = sinx * sinx / cosx = sinxtanx