Todistaa
RHS
osoittautui
Tämä on yksi niistä todisteista, joita on helpompi työskennellä oikealta vasemmalle. Aloita:
# ((1 / (1-sinx) ^ 2) - (1 / (1 + sinx) ^ 2)) / ((1 / (1-cosx) ^ 2) - (1 / (1 + cosx) ^ 2) #
"Konjugaatit" (esim. Konjugaatit) moninkertaistavat upotettujen fraktioiden lukijan ja nimittäjän.
# = (((1 + sinx) / ((1-sin ^ 2x) (1-sinx))) - ((1-sinx) / ((1-sin ^ 2x) (1 + sinx)))) / / (((1 + cosx) / ((1-cos ^ 2x) (1-cosx))) - ((1-cosx) / ((1-cos ^ 2x) (1 + cosx))) #
Toista edellinen vaihe yksinkertaistaa nimittäjää upotetuissa fraktioissa edelleen:
# = (((1 + sinx) ^ 2 / ((1-sin ^ 2x) ^ 2)) - ((1-sinx) ^ 2 / ((1-sin ^ 2x) ^ 2))) / (((1 + cosx) ^ 2 / ((1-cos ^ 2x) ^ 2)) - ((1-cosx) ^ 2 / ((1-cos ^ 2x) ^ 2)) #
Käytä identiteettejä
# = (((1 + sinx) ^ 2 / (cos ^ 4x)) - ((1-sinx) ^ 2 / (cos ^ 4x))) / (((1 + cosx) ^ 2 / (sin ^ 4x)) - ((1-cosx) ^ 2 / (sin ^ 4x)) #
Yhdistä jakeet ja käännä vastavuorot:
# = (((1 + sinx) ^ 2- (1-sinx) ^ 2) / (cos ^ 4x)) / (((1 + cosx) ^ 2- (1-cosx) ^ 2) / (sin ^ 4x)) #
# = ((1 + sinx) ^ 2- (1-sinx) ^ 2) / (cos ^ 4x) * (sin ^ 4x) / ((1 + cosx) ^ 2- (1-cosx) ^ 2) #
Laajenna ruutuehdot:
# = (peruuta (1) + 2sinx + peruuta (sin ^ 2x) - (peruuta (1) -2sinx + peruuta (sin ^ 2x))) / (cos ^ 4x) * (sin ^ 4x) / (peruuta (1) + 2cosx + peruuttaa (cos ^ 2x) - (peruuta (1) -2cosx + peruuttaa (cos ^ 2 x))) #
# = (peruuta (4) sinx) / (cos ^ 4x) * (sin ^ 4x) / (peruuta (4) cosx) #
# = väri (sininen) (tan ^ 5x) #