Not logged in ／ Log in

articles3/85.book（保存済みの内容） … 編集へ / ファイル一覧へ

ページ 1 / 2 … 1 2 … 次のページ →

3の倍数の判定法
import 0.book

1 準備

1.1 10 = 3⋅3 + 1

1.2 10 の冪

\(10^i\) を3で割った余りは1（\(10 = 3 \cdot 3 + 1\) から帰納法で）。
L10↑ … \(i \in \mathbb{M} \Longrightarrow \exists c \in \mathbb{M} . 10 ^ i = 3 \cdot c + 1\) \(\blacktriangleleft\) \(\mathbb{W}.\) ，𝕄0s ，IND𝕄 ，+𝕄 ，*𝕄 ，↑𝕄 ，1.

1.3 3 の倍数を足しても変わらない

L3t … \(x , t \in \mathbb{M} \Longrightarrow ( 3 \mid x + 3 \cdot t \Longleftrightarrow 3 \mid x )\) \(\blacktriangleleft\) \(\mathbb{W}.\) ，𝕄0s ，IND𝕄 ，suc𝕄 ，+𝕄 ，*𝕄

ページ 1 / 2 … 次のページ →