各位の和が3の倍数ならば、その数は3の倍数ということ。
<3の倍数の証明>
X = 10^n・a1 + 10^(n-1)・a2 + ..... + 10・an-1 + an とおくと
(n:自然数、1 ≦ j ≦ n:自然数 : 0 ≦ aj ≦ 9:自然数)
次の合同式について
10^n ≡ 1 (mod 3) より
X ≡ 10^n・a1 + 10^(n-1)・a2 + ..... + 10・an-1 + an (mod 3)
X ≡ a1 + a2 + ..... + an-1 + an (mod 3)
よって、
a1 + a2 + ..... + an-1 + an ≡ 0 (mod 3) のときに3の倍数となる。
<3けたの場合の証明>
X = 100・a1 + 10・a2 + a3
次の合同式について
100 ≡ 1 (mod 3)
10 ≡ 1 (mod 3)
X ≡ 100・a1 + 10・a2 + a3 (mod 3)
X ≡ a1 + a2 + a3 (mod 3)
よって、
a1 + a2 + a3 ≡ 0 (mod 3)
<合同式について>
17 ÷ 3 = 5 ... 2 です。
合同式は、余りの「2」に注目します。
合同式で書くと次のように書きます。
17 ≡ 2 (mod 3)
次の合同式を考えてみます。
23 ≡ 2 (mod 7)
12 ≡ 5 (mod 7)
(両辺を足し算をしてみる)
23 + 12 ≡ 35 ≡ 0 (mod 7)
2 + 5 ≡ 7 ≡ 0 (mod 7)
(両辺を掛け算をしてみる)
23 × 12 ≡ 276 ≡ 3 (mod 7)
2 × 5 ≡ 10 ≡ 3 (mod 7)
次の性質が成り立つ
X ≡ x (mod n)
Y ≡ y (mod n)
X + Y ≡ x + y (mod n)
X × Y ≡ x × y (mod n)
<3の倍数の証明>
X = 10^n・a1 + 10^(n-1)・a2 + ..... + 10・an-1 + an とおくと
(n:自然数、1 ≦ j ≦ n:自然数 : 0 ≦ aj ≦ 9:自然数)
次の合同式について
10^n ≡ 1 (mod 3) より
X ≡ 10^n・a1 + 10^(n-1)・a2 + ..... + 10・an-1 + an (mod 3)
X ≡ a1 + a2 + ..... + an-1 + an (mod 3)
よって、
a1 + a2 + ..... + an-1 + an ≡ 0 (mod 3) のときに3の倍数となる。
<3けたの場合の証明>
X = 100・a1 + 10・a2 + a3
次の合同式について
100 ≡ 1 (mod 3)
10 ≡ 1 (mod 3)
X ≡ 100・a1 + 10・a2 + a3 (mod 3)
X ≡ a1 + a2 + a3 (mod 3)
よって、
a1 + a2 + a3 ≡ 0 (mod 3)
<合同式について>
17 ÷ 3 = 5 ... 2 です。
合同式は、余りの「2」に注目します。
合同式で書くと次のように書きます。
17 ≡ 2 (mod 3)
次の合同式を考えてみます。
23 ≡ 2 (mod 7)
12 ≡ 5 (mod 7)
(両辺を足し算をしてみる)
23 + 12 ≡ 35 ≡ 0 (mod 7)
2 + 5 ≡ 7 ≡ 0 (mod 7)
(両辺を掛け算をしてみる)
23 × 12 ≡ 276 ≡ 3 (mod 7)
2 × 5 ≡ 10 ≡ 3 (mod 7)
次の性質が成り立つ
X ≡ x (mod n)
Y ≡ y (mod n)
X + Y ≡ x + y (mod n)
X × Y ≡ x × y (mod n)