📂整数論

ピタゴラス数のうち一つは必ず偶数でなければならない

定理 ¹

自然数 $a,b,c$が$a^2 + b^2 = c^2$を満たすとき、$a$または$b$は偶数である。

説明

興味深いことに、ピタゴラス数のうち一つは必ず偶数でなければならない。

証明

偶数の二乗は偶数で奇数の二乗は奇数であるから、$c^2$が奇数なら$a^2$または$b^2$が偶数でなければならない。$c^2$が偶数だと仮定すると$a^2$と$b^2$がともに奇数かともに偶数であるが、ともに奇数である場合だけを調べれば十分である。

ある自然数 $x,y,z \in \mathbb{N}$に対して$a,b,c$を次のように定義しよう。 $$ a := 2x +1 \\ b : = 2y + 1 \\ c = 2z $$ これを$a^{2} + b^{2} = c^{2}$に代入すると $$ (2x+1)^2 + (2y+1)^2 = (2z)^2 $$ 二乗を展開すると $$ 4x^2 + 4x +1 + 4y^2 + 4y +1 = 4z^2 $$ 両辺を$2$で割ると $$ 2 \left( x^2 + x + y^2 + y \right) +1 = 2z^2 $$ ここで左辺は奇数であるのに右辺は偶数であるから矛盾であり、したがって$a$または$b$が偶数でなければならない。

■