■素数であるか? (その60)
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である。
===================================