Me encontré con este interesante problema en mi trabajo, y suena así:
Deje $a, b, c, d\in\mathbb{Z}$ tal que $$ca-3bd=5$$ $$ad+bc=2$$ Demostrar que al menos uno de ellos es $0$.
He intentado (mediante la idea de que un cuadrado perfecto es no negativo) para multiplicar con $d$ la primera relación y, a continuación, con $c$ el segundo, y luego la primera a con $c$ la primera relación y, a continuación, con $d$ el segundo y sumar/restar he obtenido $$a(c^2+3d^2)=5c+6d$$ $$b(c^2+3d^2)=2c-5d$$ pero no ayuda mucho. ¿Cómo debo enfocar este problema?