He encontrado este interesante resultado. Demuestra que
$$\dfrac{1+\sin{6^\circ}+\cos{12^\circ}}{\cos{6^\circ}+\sin{12^\circ}}=\sqrt{3}.$$ Ver esto Resultados de Wolfram Alpha .
Mi intento es muy feo. Sabemos que $$\sin{6^\circ}=\dfrac{1}{8}(-1-\sqrt{5})+\dfrac{1}{4}\sqrt{\dfrac{3}{2}(5-\sqrt{5})}$$
$$\cos{6^\circ}=\dfrac{1}{4}\sqrt{\dfrac{1}{2}(5-\sqrt{5})}+\dfrac{1}{8}\sqrt{3}(1+\sqrt{5})$$ $$\sin{12^\circ}=2\sin{6^\circ}\cos{6^\circ}$$$$ \cos{12^\circ}=2\cos^2{6^\circ}-1$$ y es muy feo, quizás existan métodos sencillos.
Gracias.
1 votos
Me recuerda a math.stackexchange.com/questions/788303/ , math.stackexchange.com/questions/10661/ y math.stackexchange.com/questions/172471/ . En el primer enlace, he probado $$\sin54^\circ-\sin18^\circ=\frac12$$ que también se ha utilizado aquí como $$\sin54^\circ-\cos72^\circ$$ .