0

ピタゴラス数の積は60の倍数となることの証明

571
0
$$$$

ピタゴラス数とは

ピタゴラス数

$a^{2}+b^{2}=c^{2}$を満たす自然数の組$(a,b,c)$をピタゴラス数という。

この記事では、中学生の頃に学習した三平方の定理(ピタゴラスの定理)を満たす自然数の組について記述する。

ピタゴラス数の積は60の倍数となる。

その主張の正しさを確認するために、例を見てみよう。

$3^{2}+4^{2}=5^{2}$より、$(3,4,5)$はピタゴラス数である。
このとき$3\times4\times5=60$となり、$60$の倍数である。

$5^{2}+12^{2}=13^{2}$より、$(5,12,13)$はピタゴラス数である。
このとき$5\times12\times13=60\times13$となり、$60$の倍数である。

証明

$60=3\times4\times5$であることから、以下のステップで$abc$$60$倍数であることを示す。

  • $a,b,c$のいずれかは$3$の倍数である。

  • $a,b,c$のいずれかは$5$の倍数である。

  • $a,b,c$のいずれかは$4$の倍数である。

3の倍数であることの証明

整数$x$において、$x^{2}$$3$で割った余りは$0$または$1$である。

  • $x\equiv0\pmod{3}$のとき、$x^{2}\equiv0\pmod{3}$
  • $x\equiv1\pmod{3}$のとき、$x^{2}\equiv1\pmod{3}$
  • $x\equiv2\pmod{3}$のとき、$x^{2}\equiv1\pmod{3}$

以上より、$x^{2}$$3$で割った余りは$0$または$1$であることが分かる。

自然数$a,b,c$$a^{2}+b^{2}=c^{2}$を満たすとき、$a,b,c$のいずれかは$3$の倍数である。

背理法

$a,b,c$いずれも$3$の倍数ではないと仮定する。
上の補題の証明から、$a^{2}\equiv1\pmod{3}$かつ$b^{2}\equiv1\pmod{3}$を満たす。
したがって、$a^{2}+b^{2}\equiv2\pmod{3}$となる。
$a^{2}+b^{2}=c^{2}$より、$c^{2}\equiv2\pmod{3}$となる。
上の補題よりこのような自然数$c$は存在しないため、矛盾。
したがって、$a,b,c$いずれかは$3$の倍数であることが分かる。

5の倍数であることの証明

整数$x$において、$x^{2}$$5$で割った余りは$0,1,4$のいずれかである。

  • $x\equiv0\pmod{5}$のとき、$x^{2}\equiv0\pmod{5}$
  • $x\equiv1\pmod{5}$のとき、$x^{2}\equiv1\pmod{5}$
  • $x\equiv2\pmod{5}$のとき、$x^{2}\equiv4\pmod{5}$
  • $x\equiv3\pmod{5}$のとき、$x^{2}\equiv4\pmod{5}$
  • $x\equiv4\pmod{5}$のとき、$x^{2}\equiv1\pmod{5}$

以上より、$x^{2}$$5$で割った余りは$0,1,4$のいずれかであることが分かる。

自然数$a,b,c$$a^{2}+b^{2}=c^{2}$を満たすとき、$a,b,c$のいずれかは$5$の倍数である。

$a,b,c$いずれも$5$の倍数ではないと仮定する。
上の補題の証明から、$a^{2}\equiv1または4\pmod{5}$かつ$b^{2}\equiv1または4\pmod{5}$を満たす。
したがって、$a^{2}+b^{2}\equiv0,2,3\pmod{5}$のいずれかとなる。
$a^{2}+b^{2}=c^{2}$より、$c^{2}\equiv0,2,3\pmod{5}$のいずれかとなる。
ここで、仮定より$c$$5$の倍数ではないので$c^{2}\equiv2,3\pmod{5}$のいずれかとなるが、
上の補題よりこのような自然数$c$は存在しないため、矛盾。
したがって、$a,b,c$いずれかは$5$の倍数であることが分かる。

4の倍数であることの証明

整数$x$において、$x^{2}$$8$で割った余りは$0,1,4$のいずれかである。

  • $x\equiv0\pmod{8}$のとき、$x^{2}\equiv0\pmod{8}$
  • $x\equiv1\pmod{8}$のとき、$x^{2}\equiv1\pmod{8}$
  • $x\equiv2\pmod{8}$のとき、$x^{2}\equiv4\pmod{8}$
  • $x\equiv3\pmod{8}$のとき、$x^{2}\equiv1\pmod{8}$
  • $x\equiv4\pmod{8}$のとき、$x^{2}\equiv0\pmod{8}$
  • $x\equiv5\pmod{8}$のとき、$x^{2}\equiv1\pmod{8}$
  • $x\equiv6\pmod{8}$のとき、$x^{2}\equiv4\pmod{8}$
  • $x\equiv7\pmod{8}$のとき、$x^{2}\equiv1\pmod{8}$

以上より、$x^{2}$$8$で割った余りは$0,1,4$のいずれかであることが分かる。

自然数$a,b,c$$a^{2}+b^{2}=c^{2}$を満たすとき、$a,b,c$のいずれかは$4$の倍数である。

$a,b,c$いずれも$4$の倍数ではないと仮定する。

上の補題より$a^{2}\equiv0,1,4\pmod8$のいずれかとなるが、
いま$a$$4$の倍数ではないと仮定しているため、$a^{2}\not\equiv0\pmod8$である。
従って、$a^{2}\equiv1,4\pmod8$のいずれかである。

同様に、$b^{2}\equiv1,4\pmod8$のいずれかであることも分かる。

このとき、$a^{2}+b^{2}\equiv0,2,5\pmod{8}$のいずれかとなる。
$a^{2}+b^{2}=c^{2}$かつ$c$$4$の倍数ではないことから
$c^{2}\equiv2,5\pmod{8}$のいずれかであることが分かる。

上の補題からこのような自然数$c$は存在しないため、矛盾。
したがって、$a,b,c$いずれかは$4$の倍数であることが分かる。

ピタゴラス数$(a,b,c)$の積$abc$$60$の倍数となる。

ピタゴラス数の積が60の倍数であることの証明

以上の3つの命題より、積$abc$$3$の倍数かつ$4$の倍数かつ$5$の倍数となることが分かる。
従って、積$abc$$60$の倍数となる。

さいごに

この記事を最後まで読んでくれた方に心から感謝を。

投稿日:20201115

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

oz
0
571

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中