有限の場合の総和記号について勉強したことで任意桁数の場合の３の倍数の確認方法について形式化して証明することが出来そうです。ということでやってみました。 まず与えられた自然数が３の倍数かどうかの確認方法と普通の証明をざっと述べてみます。 ３の倍数の確認方法：$N, i, a_i$を自然数として$a_i$は各桁の数を表します。従って$\sum_{i=0}^{N-1} a_i\cdot 10^i$が与えられた自然数です。確認方法は、$$3 | \sum_{i=0}^{N-1} a_i\cdot 10^i \iff 3 | \sum_{i=0}^{N-1} a_i$$が成り立つので、右辺の和（各桁の数…
