Solucion al 'Problema de lista corta(de Irving)' (numero 10 en la lista de leo)

Enunciado:
Considera el sistema:
x + y = z + u
2xy = zu
Encuentra el maximo valor de la constante real m tal que m (menor o igual a) x/y para cada solucion entera positiva x, y, z, u del sistema y con x (mayor o igual a ) y.
Solucion