a不被奇素数p整除,若a^(p-1)=1(modp),a^(p-1)/2=1(modp),求证必存在某个数x,使得a=x^2(modp)刚看到书上,有句话 不难证明上述问题,百思不得其解,烦请提供简单易懂的证明方法,此处=号 应为 同余符号 即三横

问题描述:

a不被奇素数p整除,若a^(p-1)=1(modp),a^(p-1)/2=1(modp),求证必存在某个数x,使得a=x^2(modp)
刚看到书上,有句话 不难证明上述问题,百思不得其解,烦请提供简单易懂的证明方法,
此处=号 应为 同余符号 即三横