Problem

Source: IMO Shortlist 1989, Problem 25, ILL 83

Tags: number theory, Diophantine equation, quadratics, equation, IMO Shortlist



Let $ a, b \in \mathbb{Z}$ which are not perfect squares. Prove that if \[ x^2 - ay^2 - bz^2 + abw^2 = 0\] has a nontrivial solution in integers, then so does \[ x^2 - ay^2 - bz^2 = 0.\]