jurupapa https://blog.hatena.ne.jp/jurupapa/ Maxima で綴る数学の旅 https://maxima.hatenablog.jp/ 数学 有限の場合の総和記号について勉強したことで任意桁数の場合の３の倍数の確認方法について形式化して証明することが出来そうです。ということでやってみました。 まず与えられた自然数が３の倍数かどうかの確認方法と普通の証明をざっと述べてみます。 ３の倍数の確認方法：$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$$が成り立つので、右辺の和（各桁の数… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmaxima.hatenablog.jp%2Fentry%2F2024%2F04%2F06%2F224759" title="-Lean4のお勉強　3の倍数の確認法（任意桁版） - Maxima で綴る数学の旅" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/j/jurupapa/20240406/20240406224117.jpg Hatena Blog https://hatena.blog 2024-04-06 22:47:59 rich https://maxima.hatenablog.jp/entry/2024/04/06/224759 1.0 100%