hiroyukikojimaの日記で「7の倍数」の判定法が書かれていたので証明してみた。ついでに3の判定方法との違いや百の位、千の位を使う方法についても書いてみた。 x ＝ 10a+b とする。aは整数、bは1桁の正の整数か0とする。 x ≡ 10a+b (mod 7) (1) 自明「y ≡ z …