当存在符合要求的1~n-1的排列时，如果去掉n=2^k+1的条件，也可以推出n一定是p或2p的形式，p是素数
因为从1到n-1所含的偶数有[(n-1)/2]个，如果存在符合要求的排列，那至少存在[(n-1)/2]个不同整数a在1≤a≤n-1的范围内，使x²≡a(mod n)有解
0≤a≤n-1范围内符合要求的a的个数可以看这个贴子里的公式
一道数论题，求教大神！！！
可以推出n最多只有一种奇素因子，也不会被奇素数的平方整除，当n＞4时也不可以是4的倍数
对应的结果在oeis A000224 (要求非0减去1之后，对应的结果在A105612)
然后再加上条件n=2^k+1的话，n是奇数，只能是奇素数，就证明充分性了
因为从1到n-1所含的偶数有[(n-1)/2]个，如果存在符合要求的排列，那至少存在[(n-1)/2]个不同整数a在1≤a≤n-1的范围内，使x²≡a(mod n)有解
0≤a≤n-1范围内符合要求的a的个数可以看这个贴子里的公式
一道数论题，求教大神！！！
可以推出n最多只有一种奇素因子，也不会被奇素数的平方整除，当n＞4时也不可以是4的倍数
对应的结果在oeis A000224 (要求非0减去1之后，对应的结果在A105612)
然后再加上条件n=2^k+1的话，n是奇数，只能是奇素数，就证明充分性了
