Cómo determinar a mano sin (x) ^ 2-cos (x) ^ 2 = -cos (2x)

Pregunta original (que fue editada para corregir un error tipográfico): “¿Cómo se determina que [matemática] \ sin ^ 2 x – \ cos ^ 2 x = – \ cos (2x) [/ matemática] a mano?”

Las únicas dos identidades trigonométricas que recuerdo son la fórmula de Euler:

[matemáticas] e ^ {ix} = \ cos x + i \ sin x [/ matemáticas] (donde [matemáticas] i ^ 2 = -1 [/ matemáticas])

y el teorema de Pitágoras:

[matemáticas] \ cos ^ 2 x + \ sin ^ 2 x = 1 [/ matemáticas]

Si me permites comenzar con eso, aquí vamos:

[matemáticas] \ cos (2x) + i \ sin (2x) [/ matemáticas]

[matemáticas] = e ^ {2ix} = \ left (e ^ {ix} \ right) ^ 2 [/ math]

[matemáticas] = \ izquierda (\ cos x + i \ sin x \ derecha) ^ 2 [/ matemáticas]

[math] = \ left (\ cos ^ 2 x – \ sin ^ 2 x \ right) + i \ left (2 \ sin x \ cos x \ right) [/ math]

Unir partes reales e imaginarias da:

[matemáticas] \ cos (2x) = \ cos ^ 2 x – \ sin ^ 2 x [/ matemáticas]
[matemáticas] \ sin (2x) = 2 \ sen x \ cos x [/ matemáticas]

El primero de ellos es esencialmente la identidad que deseas, después de un pequeño reordenamiento.

Tenga en cuenta que este es un procedimiento muy general, desde el cual puede probar casi todas las identidades trigonométricas que necesita: exprese la fórmula solo en términos de seno y coseno, y use la fórmula de Euler para expandir cualquier cosa que necesite expandirse.

¿Necesita, por ejemplo, saber [matemáticas] \ sin (a + b) [/ matemáticas]? Comience con esto:

[matemáticas] \ cos (a + b) + i \ sin (a + b) = e ^ {i (a + b)} = e ^ {ia} e ^ {ib} [/ matemáticas]

Ocasionalmente necesitará usar el teorema de Pitágoras para obtener la forma precisa que desea (por ejemplo, si necesita mostrar que [math] \ cos (2x) = 1 – 2 \ sin ^ 2 x [/ math]).

Ah, y aunque no los memorizo, hay un montón de identidades triviales que son obvias si sabes cómo son las gráficas de seno y coseno, como [matemáticas] \ sin (-x) = – \ sin x [/matemáticas].

La fórmula de Euler es suficiente:

[matemáticas] \ cos (2x) + i \ sin (2x) = e ^ {i (2x)} = (e ^ {ix}) ^ 2 = (\ cos x + i \ sin x) ^ 2 [/ matemáticas ]

Equipando partes reales,

[matemáticas] \ cos (2x) = \ cos ^ 2 x – \ sin ^ 2 x [/ matemáticas]

que es un salto rápido a lo que querías.

He visto muchas fotos como estas, pero estas (de Math Stackexchange) son las mejores en mi opinión.

También he encontrado estas imágenes en Quora en algún lugar también (por supuesto, ¡no puedo recordar dónde!).

Simplemente deje que [math] \ alpha = \ beta = x [/ math] y estos den la solución.

El encabezado original tenía

= -cos (2x) ^ 2

… que no puede ser probado Herr es por qué.

De otra manera…

Simplemente use identidades reductoras de potencia para coseno y seno