Ta có thể sử dụng định lý Cauchy-Davenport để giải bài này. Xét ba tập $A= \left \{ ax^2 \mid x < \tfrac p2 \right \}, A= \left \{ by^2 \mid y < \tfrac p2 \right \}, C= A= \left \{ cz^2 \mid z < \tfrac p2 \right \}$.
Do các số $x,y,z$ không thể đồng thời chia hết cho $p$ nên theo định lý thì $$\mid A+B+C \mid \ge \min \left \{ \frac{p+1}{2}+\frac{p+1}{2}+ \frac{p-1}{2}-2,p \right \}=p.$$
Từ đây ta suy ra điều phải chứng minh.
Bạn có cách giải nào sơ cấp hơn không