数学では、ピタゴラスの定理は、直角三角形の辺についての基本的で重要な定理です。直角三角形の直角をはさむ2辺を「脚」と呼び、直角に対する一番長い辺を「斜辺(しゃへん)」と呼びます。

直角三角形の角度の一つは、常に90度に等しい。この角度が直角です。直角の隣の2辺を脚と呼び、反対側の辺を次点と呼ぶ。次点は直角の反対側の辺で、常に一番長い辺です。

定義と公式

直角三角形で、脚の長さをa、もう一方の脚をb、斜辺の長さをcとすると、ピタゴラスの定理は次の等式で表されます。

a² + b² = c²

図形的には、斜辺の上に作った正方形の面積は、脚2辺の上に作った2つの正方形の面積の和に等しい、ということです。元々はギリシャの数学者ピタゴラスにちなんで名付けられていますが、この関係は古代メソポタミアやインドなどでも古くから知られていました。

{\displaystyle a^{2}+b^{2}=c^{2}}

証明の種類(代表例)

ピタゴラスの定理には数多くの証明が存在します。大まかに分類すると次の4つのタイプに分かれます。

  • 幾何学的証明:図形の面積を比較するもの(例:正方形の分割や合同図形を用いる方法)。ユークリッドの証明が有名です。
  • 代数的証明:座標を使って距離を計算する方法や方程式操作によるもの。
  • 等積変形や相似を使う証明:三角形の相似性を利用して辺の比から結論を得る方法。
  • 解析的・ベクトル的証明:内積・ベクトルノルムや三角関数を使う現代的な証明。

簡単な例

例えば脚が 3 と 4 の直角三角形では、斜辺 c は

c = √(3² + 4²) = √(9 + 16) = √25 = 5 となります。これがよく知られた「3-4-5」のピタゴラス数の例です。

ピタゴラス数(整数解)

a, b, c がすべて整数になるような直角三角形の辺の組 (a, b, c) をピタゴラス数(ピタゴラス三つ組)と呼びます。すべての原始的な(互いに素な)ピタゴラス三つ組は、整数 m > n > 0 に対して次の式で表されます:

  • a = m² − n²
  • b = 2mn
  • c = m² + n²

これに任意の正整数 k を掛けることで非原始な解も得られます(例:k(3,4,5))。

逆(合同)命題と一般化

ピタゴラスの定理の逆も成り立ちます。すなわち、三角形の辺の長さが a² + b² = c² を満たすなら、その三角形は直角三角形であり、斜辺は長さ c の辺です。これにより辺の長さから直角かどうかを判定できます。

また、ピタゴラスの定理はユークリッド平面における距離公式の特別形であり、余弦定理の特殊例(角が90度のとき)でもあります。余弦定理は任意の三角形に対して

c² = a² + b² − 2ab cos C

と表され、C = 90° のとき cos C = 0 となりピタゴラスの定理に一致します。さらに、ユークリッド空間のノルム(距離)概念により高次元にも一般化できます。

応用例

  • 測量・建築:直角の確認や斜辺の長さ計算。
  • 航法・地図作成:2次元平面での距離計算。
  • コンピュータグラフィックス・ゲーム開発:ピクセル間の距離、ベクトルの大きさ計算。
  • 三角法や解析学の基礎:三角関数や内積の性質の理解に必須。
  • 整数論:ピタゴラス数の研究は数論的関心を引きます。

歴史的な補足

この関係は紀元前のバビロニアやインドなどで独立に知られていた痕跡があり、定理の名は古代ギリシャの数学者ピタゴラスに由来します。誰が最初に証明したかは明確ではありませんが、ピタゴラス学派や後の数学者たちによって様々な証明が与えられ、広く普及しました。

まとめ

ピタゴラスの定理は、直角三角形におけるもっとも基本的な関係式 a² + b² = c² を与えます。直感的かつ多くの分野で使える道具であり、証明方法も多岐にわたるため、数学教育や応用数学の出発点として非常に重要です。