每日一题[2417]二次剩余

a,b,c 是正整数,p 是素数,p5pap12+bp12+cp12,证明:pabc

解析    用反证法,若 pabc,则 pa,b,c,进而 pa,b,c 都互质.由费马小定理有 pap11,即p(ap121)(ap12+1),(ap121,ap12+1)=(ap121,2)2,ap121ap12+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

此条目发表在每日一题分类目录,贴了标签。将固定链接加入收藏夹。

发表回复