Problem

Source: JBTST I , Romania, 2007

Tags: analytic geometry, algebra proposed, algebra



Let us consider $a,b$ two integers. Prove that there exists and it is unique a pair of integers $(x,y)$ such that: \[(x+2y-a)^{2}+(2x-y-b)^{2}\leq 1.\]