Demostración por inducción en trigonometría.

Question

Demostrar que $\cos x +\cos 2x + \cos 3x + ...+ \cos nx =\cos \left(\dfrac{n+1}{2}x\right) \sin \left(\dfrac{nx}{2}\right)\csc \dfrac{x}{2}$

Intento:

Claramente, $P(1)$ es cierto.

Supongamos que $P(m)$ es cierto.

Así, $P(m+1) = (\cos x +\cos 2x + \cos 3x + ...+ \cos mx)+ \cos((m+1)x)$

$= \cos \left(\dfrac{m+1}{2}x\right) \sin \left(\dfrac{mx}{2}\right)\csc \dfrac{x}{2} + \cos((m+1)x) \\= \csc (\dfrac x 2)\left(\cos \left(\dfrac{m+1}{2}x\right) \sin \left(\dfrac{mx}{2}\right)+ (\cos(m+1)x)\sin (\dfrac x 2)\right)$

¿Qué hago ahora?

Answer 1

Fórmula a utilizar:

$\sin A- \sin B = \cos\left(\dfrac{A+B}{2}\right)\sin \left(\dfrac{A-B}{2}\right)$

Así, $\csc \left(\dfrac x 2 \right)\left(\cos \left(\dfrac{m+1}{2}x\right) \sin \left(\dfrac{mx}{2}\right)+ (\cos(m+1)x)\sin (\dfrac x 2)\right)$

$= \csc \left(\dfrac x 2 \right)\left(\dfrac 1 2 \left(\sin \dfrac{2mx+x}{2} - \sin \dfrac x 2 \right)+ \dfrac 1 2 \left(\sin \dfrac{2mx+3x}{2} - \sin \dfrac{2mx + x}{2 } \right) \right)$

Ahora, utiliza de nuevo la fórmula en los términos que quedan fuera.

$= \csc \left(\dfrac x 2 \right)\left(\dfrac 1 2 \left(\sin \dfrac{2mx+3x}{2} - \sin \dfrac x 2 \right) \right)$

$= \cos \left(\dfrac{m+2}{2}x\right) \sin \left(\dfrac{(m+1)x}{2}\right)\csc \dfrac{x}{2} $

Así, $P(m+1)$ también es cierto.

Q.E.D.