设 a,b,c 是正整数,p 是素数,p⩾5 且 p∣ap−12+bp−12+cp−12,证明:p∣abc.
解析 用反证法,若 p∤,则 p\nmid a,b,c,进而 p 与 a,b,c 都互质.由费马小定理有 p\mid a^{p-1}-1,即p\mid \left(a^{\frac {p-1}2}-1\right)\left(a^{\frac{p-1}2}+1\right),而\left(a^{\frac{p-1}2}-1,a^{\frac{p-1}2}+1\right)=\left(a^{\frac{p-1}2}-1,2\right)\leqslant 2,故 a^{\frac{p-1}2}-1 和 a^{\frac{p-1}2}+1 中恰有一个数是 p 的倍数,从而 a^{\frac{p-1}2}\equiv \pm 1\pmod p,因此a^{\frac{p-1}2}+b^{\frac{p-1}2}+c^{\frac{p-1}2}\in\{-3,-1,1,3\},而 p 是不小于 5 的质数,与 p\mid a^{\frac{p-1}2}+b^{\frac{p-1}2}+c^{\frac{p-1}2} 矛盾,因此 p\mid abc.