■(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は整数である

===================================