Considere $\dfrac{p}{q}=x$ y $y=\dfrac{m}{n}$ , de tal manera que $\gcd (p,q)=(m,n)=1$ y $n \neq 1$ , $q \neq 1$
$(\dfrac{p}{q})^4=1-(\dfrac{m}{n})^2=(1-\dfrac{m}{n})(1+\dfrac{m}{n})$
$=(\dfrac{n-m}{n})(\dfrac{n+m}{n})=\dfrac{(n-m)(n+m)}{n^2}$ Aquí $n^2 \nmid (n-m)(n+m)$ desde $q \neq 1$ .
Dejemos que $d$ sea un divisor de $n$ , tenga en cuenta que $d \nmid(n+m)$ y $d \nmid (n-m)$ , Utilizando el hecho: $\gcd(m,n)=1$
Ahora bien, esto implica $(n-m)(n+m)=p^4, n^2 =q^4$ (Recordando El área de un triángulo rectángulo no puede ser un cuadrado no existe como lo demostró Fermat)
2 votos
$\pm1,0$ y $0,\pm1$ son la solución obvia
0 votos
Digamos que entre 0 y 1.
0 votos
Relacionado math.stackexchange.com/questions/87756/when-is-sinx-rational
0 votos
@labbhattacharjee esta pregunta es diferente porque tomo el cuadrado de un número racional y luego pregunto por la racionalidad de $\cos\alpha$