He documentado dos respuestas a esta pregunta; una es la respuesta trigonométrica que se me ocurrió, la otra es la respuesta geométrica que encontré en la red. La respuesta geométrica está en otro idioma, así que la he traducido al inglés en lugar de enlazarla.
Primero:
Para facilitar la consulta, algunas fórmulas conocidas:
$$2\sin x\sin y=\cos(x-y)-\cos(x+y)$$
$$2\sin x\cos y=\sin(x+y)+\sin(x-y)$$
$$\sin(x\pm y)=\sin x\cos y\pm\cos x\sin y$$
Segundo:
Prueba de que $\sin54^\circ\sin18^\circ=1/4$ :
Insertar $\sin72^\circ=2\sin36^\circ\sin54^\circ$ en $\sin36^\circ=2\sin18^\circ\sin72^\circ$ para conseguir $\sin54^\circ\sin18^\circ=1/4$ .
He resuelto esta cuestión con el Teorema Trig-Ceva . Del teorema:
$$ \frac{\sin12^\circ}{\sin48^\circ}\frac{\sin54^\circ}{\sin6^\circ}\frac{\sin\alpha}{\sin(60^\circ-\alpha)}=1 $$
Y llegamos:
$$ 2\cos6^\circ\sin54^\circ\sin\alpha=\sin48^\circ\sin(60^\circ-\alpha)\tag{1} $$
Desde $2\sin48^\circ\sin42^\circ=\cos6^\circ$ y $\sin54^\circ\sin18^\circ=1/4$ podemos hacer conjeturas anticipadas y encontrar $\alpha=18^\circ$ de $(1)$ . Si no, tenemos que manipular la ecuación $(1)$ más:
$$ \frac{\sin(60^\circ-\alpha)}{\sin\alpha}=\frac{\sqrt3/2+\sin48^\circ}{\sin48^\circ}\\ \frac{\sqrt3/2\cos\alpha-1/2\sin\alpha}{\sin\alpha}=\sqrt3/2\csc48^\circ+1 $$
Y lo conseguimos:
$$ \cot\alpha=\csc48^\circ+\sqrt3\tag{2} $$
Ahora podemos demostrar que $\cot18^\circ=\csc48^\circ+\sqrt3$ rastreando los pasos hasta la ecuación $(1)$ de la ecuación $(2)$ . Después de eso; porque sabemos, ya que $\cot\alpha$ es uno a uno para $0<\alpha<180^\circ$ Sólo hay una $\alpha$ valor para mantener la ecuación $(2)$ encontramos que $\alpha=18^\circ$ . $\blacksquare$
Aquí está la segunda prueba:
Dibuja la bisectriz del ángulo de $\widehat{BAD}$ , que se cruza con $[BD]$ sur $E$ . Dibujar $[CE]$ . Desde $\overset{\Delta}{ABE}$ es isósceles, $[CE]$ es el eje de simetría de $\overset{\Delta}{ABC}$ , haciendo que $m(\widehat{ECB})=30^\circ$ . Dibujar $[BF]$ tal que $m(\widehat{FBD})=6^\circ$ y $|BF|=|AB|$ . Dibujar $[AF]$ y $[CF]$ . Desde $\overset{\Delta}{BCF}$ es isósceles y $m(\widehat{CBF})=48^\circ$ entonces $m(\widehat{FCB})=66^\circ$ Por lo tanto $m(\widehat{FCA})=6^\circ$ . Dibujar $[DF]$ . Desde $\overset{\Delta}{ABF}$ es isósceles, $[BD]$ es el eje de simetría de $\overset{\Delta}{ABF}$ , haciendo que $m(\widehat{DFB})=12^\circ$ . Ampliar $[AD]$ ; ya que $[CE]$ es el eje de simetría de $\overset{\Delta}{ABC}$ y $m(\widehat{FBA})=m(\widehat{BAD})=12^\circ$ La extensión de $[AD]$ se encuentran en la intersección de dos segmentos $G$ . Desde $\widehat{FGA}$ es un ángulo exterior de $\overset{\Delta}{ABG}$ , $m(\widehat{FGA})=24^\circ$ . Desde $\widehat{FDA}$ es un ángulo exterior de $\overset{\Delta}{DFG}$ , $m(\widehat{FDA})=36^\circ$ . Desde $m(\widehat{FCG})=36^\circ$ ángulos opuestos de $\overset{\square}{CFDG}$ son complementarios, lo que hace que sea un cuadrilátero cíclico, es decir, que sus cuatro puntos están en una circunferencia. Como $\widehat{FGD}$ y $\widehat{FCD}$ ambos mirando el mismo arco en este círculo, $m(\widehat{FCD})=24^\circ$ . Y entonces, finalmente, llegamos a $\alpha=18^\circ$ . $\blacksquare$
0 votos
Puede dejar el resultado como $\arctan$ ? $1/\sin 48^o$ tiene un valor exacto $8[\sqrt{2}\sqrt{5+\sqrt{5}}+\sqrt{3}(\sqrt{5}-1) ]^{-1/2} $ .
0 votos
@Milly No. Necesito llegar a una respuesta que sea exactamente $18^\circ$ . Me olvidé de escribir eso.
0 votos
Podrías trazar una línea desde C hasta el centro de AB y construir el espejo de CD (C'D') a la derecha de la línea. A continuación, tienes que demostrar que la continuación de AD se encuentra con C'D' en un ángulo recto. La mitad izquierda del ángulo superior es ahora 18 + 12 grados. Hay una buena cantidad de pequeños triángulos con 12-90-78 grados con los que tienes que trabajar. Se facilita su conocimiento de la respuesta.
0 votos
@MikaelJensen En realidad; intento demostrar algo como lo que mencionas en el lado izquierdo de la línea dibujando el segmento de $B$ a $[CD]$ tal que $m(\widehat{EBD})=6^\circ$ ( $E$ es el punto de intersección del segmento y $[CD]$ .) y mostrando ese segmento y $[CD]$ es perpendicular, en vano. Al no poder encontrar la respuesta con los métodos "visuales", siguió la trigonometría. Si puedo demostrar la identidad $\cot 18^\circ-\sec 42^\circ=\sqrt{3}$ entonces he terminado.