形为 $p = 3k + 1$ 质数的二次型

我们采用Zagier的单句证明方法，表明一个质数 $p$ 必然可以表示为 $p=a^2+ab+b^2$（其中 $a$ 和 $b$ 为整数）当且仅当 $p=3$ 或 $p \equiv 1 \pmod{3}$。