Si $a$, $b$, $x$, $y$ es números racionales tales que
$$(ay-bx)^2+4(a-x)(b-y) = 0 $$
a continuación, ya sea (i) $x = a, y = b$o (ii) $1-ab$ y $1-xy$ son cuadrados de números racionales. (Matemáticas. Viaje. 1903)
(De varios ejemplos en capítulo I, 21)
¿Necesito aprender alguna teoría número primero?
Por cierto, saber que $(ay-bx)^2+4(a-x)(b-y) = (ay+bx-2)^2-4(1-ab)(1-xy)$, sólo no sé cómo continuar.