He aquí un problema coreano de mitad de curso de secundaria con el que he estado luchando durante bastante tiempo.
" $X$ es un número irracional tal que $X>0$ et $Y$ es la parte fraccionaria de $X$ . Si $$X^2+Y^2=27$$ encuentra $X$ ."
Así que si decimos
$X=(Y+N)$ tal que $N=|X|$ obtenemos
$(Y+N)^2+Y^2=27$ que es
$(Y^2+2YN+N^2)+Y^2$
$=2(Y^2)+2NY+N^2=27$ .
Como ambos $N^2$ y $27$ son racionales, debemos demostrar que existe $Y$ y $N$ tal que
$2(Y^2)+2NY$ es racional, lo que también significa
$Y^2+NY$
$=Y(N+Y)$
$=XY$ es racional.
No encuentro tal número irracional que se convierta en un número racional al multiplicarlo por su parte fraccionaria.
¿Alguien puede decir cómo resolver este problema, o al menos demostrar si es solucionable/no solucionable?