He visto a una pregunta en yahoo pidiendo para encontrar el valor de
$\tan 1^{\circ} \cdot \tan 2^{\circ} \cdot \dots \cdot \tan 45^{\circ}$ (en grados)
He visto varios resultados con respecto a los productos de la trigonométricas valores tales como
$(1 + \tan1^{\circ}) (1 + \tan2^{\circ}) ... (1 + \tan45^{\circ}) = 2^{23} \\$ $\prod_{k=1}^{89} \sin(k \pi/180) = -\prod_{k=-89}^{89} (\sin(k \pi/180)-1) = 360/2^{180}$
He tratado de hacer varias cosas con las raíces de la unidad, pero nada que no se ha hecho antes. ¿Alguien tiene alguna idea?
Gracias
Edit: Incluyendo otras afirmaciones que considero que es equivalente a encontrar esta respuesta
$\cos 1^{\circ} ... \cos 45^{\circ}\\ \pecado 1^{\circ} ... \sin45^{\circ} \\ (1 + \bronceado 46^{\circ})...(1+\bronceado 89^{\circ}) \\ (\pecado 1^{\circ} + \cos 1^{\circ})...(\pecado 45^{\circ} + \cos45^{\circ}) \\ (\pecado 2^{\circ} + 1)(\pecado 4^{\circ} + 1)....(\el pecado 88^{\circ} + 1) \\ (1 + \tan^2 1^{\circ})(1 + \tan^2 2^{\circ}) .. (1 + \tan^2 45^{\circ})$