Problem

Source: 2023 CWMO P4

Tags: modular arithmetic, number theory



Let ${p}$ be a prime. $a,b,c\in\mathbb Z,\gcd(a,p)=\gcd(b,p)=\gcd(c,p)=1.$ Prove that: $\exists x_1,x_2,x_3,x_4\in\mathbb Z,| x_1|,|x_2|,|x_3|,|x_4|<\sqrt p,$ satisfying $$ax_1x_2+bx_3x_4\equiv c\pmod p.$$Proposed by Wang Guangting