设 a,b,c 是正整数,p 是素数,p⩾5 且 p∣ap−12+bp−12+cp−12,证明:p∣abc.
解析 用反证法,若 p∤abc,则 p∤a,b,c,进而 p 与 a,b,c 都互质.由费马小定理有 p∣ap−1−1,即p∣(ap−12−1)(ap−12+1),而(ap−12−1,ap−12+1)=(ap−12−1,2)⩽2,故 ap−12−1 和 ap−12+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.