[hupavi]

Bueno la idea es demostrar que \( \sen(1) \) es algebraico sobre \( \mathbb{Q} \)
no tengo ni idea como abordar el problema, de antemano gracias.

[Luis Fuentes]

Hola

 Primero prueba por inducción que, para \( n \) impar,

 \( sin(na)=p_n(sin(a)) \)
 \( cos(na)=cos(a)q_n(sin(a)) \)

 donde \( p_n,q_n \) son polinomios con coeficientes racionales.

Spoiler

Para el paso inductivo ten en cuenta que:

\(  sin(na)=sin((n-2)a+2a)=sin((n-2)a)cos(2a)+cos((n-2)a)sin(2a) \)
\(  cos(na)=cos((n-2)a+2a)=cos((n-2)a)cos(2a)-sin((n-2)a)sin(2a) \)

 y que:

\(  cos(2a)=1-2sin^2(a),\quad sin(2a)=2sin(a)cos(a) \)

[cerrar]

 Luego ten en cuenta que:

\(  sin(45\cdot 1)^2=sin(45)^2=\dfrac{1}{2} \)

Saludos.

[hupavi]

Gracias, mira me sirvio de mucho tu ayuda \( sin(45)^2=sin(2*3*(2+3))^2=\dfrac{1}{2} \) y use que \( sin(3a)=3sin(a)-4sen^3(a) \) y ademas \(  cos(2a)=1-2sin^2(a) \) aunque me quedo muy largo, pero, llegue al resultado esperado, de nuevo gracias por todo.