■(2^n+1)/m型の数(その3)
[Q](14!)^2=? (mod29)
===================================
[A]ウィルソンの定理より(p-1)!=-1 (modp)
(p-1)!=[1・(p-1)][2・(p-2)][3・(p-3)]・・・[(p-1)/2・(p+1)/2]
p-1=-1 (modp)
p-2=-2 (modp)・・・
[1・(p-1)]=-[1・1]
[2・(p-2)]=-[2・2]
したがって、P=4k+1のとき
(p-1)!=[1・(p-1)][2・(p-2)][3・(p-3)]・・・[(p-1)/2・(p+1)/2]=[1・1][2・2]・・・[(p-1)/2・(p-1)/2]
(p-1)!={(p-1)/2!}^2=-1
検してみる
p=5
2!=-1 (mod5)
===================================
(p-1)!={((p-1)/2)!}^2=-1 (modp)
28!=(14!)^2=-1 (mod29)
(14!)^2+1=0 (mod29)
(14!)^2+1/29は整数である
===================================