合同式 → 奇素数 → 二次剰余 → Legendre 記号 → Gauss 補題 → 二次相互法則
入口
合同式
目標
二次相互法則
進捗
ルート設計中
余りで方程式を考える
二次剰余を調べる法を用意する
平方数として現れる余りを見る
二次剰余かどうかを記号化する
符号の数え上げで二次剰余を読む
二つの奇素数の二次剰余性を入れ替えて比較する