Como você prova (tanx + sinx) / (2tanx) = cos ^ 2 (x / 2)?

Vamos precisar dessas duas identidades para completar a prova:

# tanx = sinx / cosx #

#cos (x / 2) = + - sqrt ((1 + cosx) / 2) #

Vou começar com o lado direito e manipulá-lo até parecer o lado esquerdo:

# RHS = cos ^ 2 (x / 2) #

#color (branco) (RHS) = (cos (x / 2)) ^ 2 #

#color (branco) (RHS) = (+ - sqrt ((1 + cosx) / 2)) ^ 2 #

#color (branco) (RHS) = (1 + cosx) / 2 #

#color (branco) (RHS) = (1 + cosx) / 2color (vermelho) (* sinx / sinx) #

#color (branco) (RHS) = (sinx + sinxcosx) / (2sinx) #

#color (branco) (RHS) = (sinx + sinxcosx) / (2sinx) cor (vermelho) (* (1 / cosx) / (1 / cosx)) #

#color (branco) (RHS) = (sinx / cosx + (sinxcosx) / cosx) / (2sinx / cosx) #

#color (branco) (RHS) = (tanx + sinx) / (2tanx) #

#color (branco) (RHS) = LHS #

Essa é a prova. Espero que isso tenha ajudado!

Procuramos provar a identidade:

# (tanx + sinx) / (2tanx) - = cos ^ 2 (x / 2) #

Considere o LHS da expressão e use a definição de tangente:

# LHS = (tanx + sinx) / (2tanx) #

# = (sinx / cosx + sinx) / (2 (sinx / cosx)) #

# = (cosx / sinx) ((sinx / cosx + sinx) / 2) #

# = (cosx / sinx * sinx / cosx + cosx / sinx * sinx) / 2 #

# = (1 + cosx) / 2 #

Agora, considere o RHS e use a identidade:

# cos2A - = 2cos ^ 2A - 1 #

Dando-nos:

# cosx - = 2cos ^ 2 (x / 2) - 1 => 1 + cosx - = 2cos ^ 2 (x / 2) #

#:. cos ^ 2 (x / 2) = (1 + cosx) / 2 = RHS #

Portanto:

# LHS = RHS => (tanx + sinx) / (2tanx) - = cos ^ 2 (x / 2) # QED

# LHS = (tanx + sinx) / (2tanx) #

# = (cancelar (tanx) (1 + sinx / tanx)) / (2cancel (tanx)) #

# = (1 + cosx) / 2 = (2cos ^ 2 (x / 2)) / 2 = cos ^ 2 (x / 2) = RHS #