■整数であるか? (その27)

 2^560=1  (mod561)

561=3・11・17は最小のカーマイケル数である.

その平方根

 2^280=?  (mod561)

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

2^280=1 (mod561)

その平方根

 2^140=67≠-1  (mod561)

 2^280=(2^140)^2=67^2=4481=1 (mod561)

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

2次合同式

  x^2=1  (mod561)

の4つの解は±1,±67である。

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