ピタゴラス数の求め方とその証明

更新日時 2021/03/07

ピタゴラス数

ピタゴラス数 とは， $a^2+b^2=c^2$ を満たす正の整数の組 $(a,b,c)$ のこと。

ピタゴラス数の意味と，ピタゴラス数の求め方についてわかりやすく説明します。

ピタゴラス数とは
ピタゴラス数を作り出す公式
原始ピタゴラス数とは

ピタゴラス数とはピタゴラス数は，a2+b2=c2a^2+b^2=c^2a2+b2=c2 を満たす正の整数の組のことです。
例
9+16=259+16=259+16=25，つまり 32+42=523^2+4^2=5^232+42=52 なので (3,4,5)(3,4,5)(3,4,5) はピタゴラス数である。
他にも 52+122=1325^2+12^2=13^252+122=132 なので (5,12,13)(5,12,13)(5,12,13) もピタゴラス数である。
ピタゴラス数と三平方の定理ピタゴラスの定理（三平方の定理）によると，直角三角形の3辺の長さについて，a2+b2=c2a^2+b^2=c^2a2+b2=c2 が成立します。→三平方の定理の４通りの美しい証明
つまり，ピタゴラス数とは，直角三角形の3辺の長さとなるような3つの整数の組のこととも言えます。

ピタゴラス数を作り出す公式正の整数
m,n (m>n)m,n\:(m>n)m,n(m>n)
 を用いて，
a=m2−n2,b=2mn,c=m2+n2a=m^2-n^2,b=2mn,c=m^2+n^2a=m2−n2,b=2mn,c=m2+n2
とすると，(a,b,c)(a,b,c)(a,b,c)
 はピタゴラス数になります。
この公式を使うと，いくらでもピタゴラス数を作ることができます。
例
m=2,n=1m=2,n=1m=2,n=1
とすれば，(a,b,c)=(3,4,5)(a,b,c)=(3,4,5)(a,b,c)=(3,4,5)
m=3,n=2m=3,n=2m=3,n=2
とすれば，(a,b,c)=(5,12,13)(a,b,c)=(5,12,13)(a,b,c)=(5,12,13)
となり，さきほどのピタゴラス数の例を作り出すことができました。
実際，
(m2−n2)2+(2mn)2=(m2+n2)2(m^2-n^2)^2+(2mn)^2=(m^2+n^2)^2(m2−n2)2+(2mn)2=(m2+n2)2
なので，
a=m2−n2,b=2mn,c=m2+n2a=m^2-n^2,b=2mn,c=m^2+n^2a=m2−n2,b=2mn,c=m2+n2
とすれば
(a,b,c)(a,b,c)(a,b,c)
 はピタゴラス数になることが分かります。
では，逆に「全てのピタゴラス数」をこの方法で生み出せるでしょうか？

原始ピタゴラス数とは

ピタゴラス数は，定数倍してもピタゴラス数です。例えば， $(3, 4, 5)$ はピタゴラス数ですが，それを2倍した $(6, 8, 10)$ や3倍した $(9,12,15)$ もピタゴラス数です。
定数倍して一致するものは「同じ」ピタゴラス数とみなしましょう。つまり，最大公約数が $1$ のピタゴラス数のみを考えしょう。
最大公約数が $1$ のピタゴラス数を原始ピタゴラス数と言います。以下では，原始ピタゴラス数について考えます。

全ての原始ピタゴラス数を生み出す

実は，さきほどの公式：

$a=m^2-n^2,b=2mn,c=m^2+n^2$

で「全ての原始ピタゴラス数」を作り出すことができます！

定理(ピタゴラス数を作り出す公式)

ピタゴラス数の中で $a,b,c$ の最大公約数が $1$ のものは，ある正の整数 $m,n$ を用いて

$a=m^2-n^2,b=2mn,c=m^2+n^2$

（または $b=m^2-n^2,a=2mn,c=m^2+n^2$ ）

という形で表せる。

この定理を知っていると，ピタゴラス数にまつわる入試問題の見通しが良くなることがあります。

では，定理を証明してみます。

証明の方針

以下の順番で証明していきます。

$a$ と $b$ のどちらか一方のみ奇数で他方は偶数。 $c$ は奇数である。
$\dfrac{c+a}{2}, \dfrac{c-a}{2}$ はともに平方数である。
定理を証明する。

1の証明

$(a,b,c)$ を原始ピタゴラス数とする。

$a,b$ ともに偶数と仮定すると， $c$ も偶数となり最大公約数が $1$ でなくなるので矛盾。
$a,b$ ともに奇数と仮定すると， $a^2+b^2$ は $4$ で割って $2$ 余る。しかし， $c^2$ は平方数であり $4$ で割った余りが $2$ になることはない（ $c$ が偶数なら $c^2$ は $4$ の倍数， $c$ が奇数なら $c^2$ は $4$ で割って $1$ 余る）。よって矛盾。

つまり， $a$ と $b$ のどちらか一方のみ奇数で他方は偶数。

よって， $a^2+b^2$ が奇数なので $c$ も奇数

$a$ を奇数， $b$ を偶数としても一般性を失わない。

次に2を背理法で証明します。

2の証明

$\dfrac{c+a}{2}$ と $\dfrac{c-a}{2}$ のどちらか一方でも平方数でないとすると，それらの積は平方数である（ $\dfrac{c+a}{2}\cdot \dfrac{c-a}{2}=\dfrac{b^2}{4}$ に注意）ので

$\dfrac{c+a}{2}$ と $\dfrac{c-a}{2}$ は共通因数 $p\geq 2$ を持つ。つまり， $c+a=2up, c-a=2vp$ ただし $u,v$ は自然数，と書ける。

これを $a,c$ について解くと，

$a=(u-v)p, c=(u+v)p$

よって， $a,c$ はともに $p$ の倍数となり，さらに $b$ も $p$ の倍数となるので原始ピタゴラス数であるという仮定に矛盾。

最後に整理します。

3の証明

2より $\dfrac{c+a}{2}=m^2,\dfrac{c-a}{2}=n^2$ と書けるので，これを $a,c$ について解くと

$a=m^2-n^2,c=m^2+n^2$ となり証明完了。

なお，この証明中には整数問題の重要なテクニックが2つ含まれています。

「割った余りを考える（平方剰余）」により1の証明が，

「整数問題の不定方程式は因数分解すべし」により2の証明が自然と思いつくようになれば玄人です。

発展：原始ピタゴラス数の木

ピタゴラス数を全て作り出せるというのはすごい！

Tag:不定方程式の解き方まとめ

この記事の編集者

マスオ

高校数学の美しい物語の管理人。「わかりやすいこと」と「ごまかさないこと」の両立を意識している。著書に『高校数学の美しい物語』『超ディープな算数の教科書』。記事の誤植やわかりにくい等のご指摘はお気軽にメールください！