前回の【命題2】を前に使った図を使って見ていきます。 【命題2】 、 がではない異なる素数のとき、 が成り立ちます。図は , 01 ■ □ □ □ □ □ □ □ △▲[017/23] = 00 △▲■[017/23+1/2] = 01 ■[017/23+1/2]-[017/23] = 01 02 △ □ □ □ □ □ □ □ △▲[034/23] = 01 △▲■…

今回は「平方剰余の相互法則 ガウスの全証明」IIIに従って証明します。 【ガウス記号】 整数でない実数 に対して、 を超えない最大整数を で表します。これをガウス記号といいます。 となります。( が整数のときにも として定義されている場合があります。こ…