Heron’s Formula Calculator

ヘロンの公式（アレクサンドリアのヘロンにちなんで名付けられ、紀元前10年〜紀元後70年頃）は、三角形の3辺の長さのみから任意の三角形の面積を計算します。高さも角度も必要ありません。これは幾何学において最もエレガントで有用な公式の一つです：a, b, c が与えられたとき、面積は

面積 = √(s(s − a)(s − b)(s − c))

ここで s = (a + b + c) / 2 は半周（周囲長の半分）です。このチュートリアルでは、公式の適用方法、2つの同等な形式、有名な証明、およびヘロンの公式が ½×底辺×高さ のアプローチよりも好まれる場合について解説します。

ヘロンの公式が有用な理由

三角形の面積の標準的な公式は A = ½ × 底辺 × 高さ です。これには、底辺とその底辺に対する垂直な高さの両方が必要です。多くの問題では、3辺の長さは分かっているが高さが分からないことがあります。その場合、まず高さを計算する必要があり、追加の手順（通常は作図した垂線に対する三平方の定理）が必要です。

ヘロンの公式は高さを完全に省略します。3辺を入力すれば、面積が出力されます。ワンステップ。

2つの同等な形式

形式1（半周を使用）： 面積 = √(s(s−a)(s−b)(s−c))、ただし s = (a+b+c)/2。

形式2（半周不使用）： 面積 = (1/4)√(4a²b² − (a² + b² − c²)²)。

形式2は s を別途計算する必要はありませんが、平方根の中により複雑な式が登場します。形式1は教科書でより一般的であり、手書きでも容易です。どちらも同じ答えを生み出します。

worked example 1 — 3-4-5 の直角三角形

辺：a = 3, b = 4, c = 5 （有名なピタゴラス数）。

ステップ1： s = (3 + 4 + 5) / 2 = 6。

ステップ2： 面積 = √(6 × (6−3) × (6−4) × (6−5)) = √(6 × 3 × 2 × 1) = √36 = 6。

検証：3-4-5 は直角三角形であり、直角を挟む2辺が 3 と 4 なので、面積 = ½ × 3 × 4 = 6。✓ ヘロンの公式と一致。

worked example 2 — 不等辺三角形

辺：a = 7, b = 8, c = 9。

s = (7 + 8 + 9) / 2 = 12。

面積 = √(12 × 5 × 4 × 3) = √720 ≈ 26.833。

「きれいな」高さは必要なく、手計算で高さを求めるには、作図した垂線に対する三平方の定理を適用するか、三角法を使う必要があります。ヘロンの公式はそのすべてを省略します。

worked example 3 — 正三角形

一辺の長さが s の正三角形の場合：a = b = c = s。すると半周 = 3s/2。

面積 = √((3s/2)(3s/2 − s)(3s/2 − s)(3s/2 − s)) = √((3s/2)(s/2)³) = √(3s⁴/16) = (s²√3)/4。

これは正三角形の面積の古典的な公式 A = (√3 / 4) s² と一致し、この特殊なケースにおいてヘロンの公式が標準的な公式に還元されることを確認しています。

証明 — アウトライン

ヘロンの公式はいくつかの方法で証明できます。最もアクセスしやすい方法は次の通りです：

1. ある頂点（例えば C）から対辺（c）へ垂線を下ろします。これにより、元の三角形の中に2つの直角三角形が作成されます。
2. 垂線の長さを h、垂線が辺 c に落ちる点を端点から距離 x の地点とします。
3. 三平方の定理より：一方の部分三角形では x² + h² = b²。もう一方では (c − x)² + h² = a²。
4. 引き算：(c − x)² − x² = a² − b² より、x = (b² + c² − a²) / (2c) が得られます。
5. 戻して代入し、h² を a, b, c で表します。
6. 面積 = ½ × c × h。展開して整理するとヘロンの公式が導かれます。

代数計算は煩雑ですが、すべての手順は初等的です。演習として試してみてください。平面幾何学における最も満足感のある導出の一つです。

数値安定性に関する懸念

単純なヘロンの公式には、「針のような」三角形（非常に細長く、1辺の長さが他の2辺の和にほぼ等しい場合）に対して数值的な落とし穴があります。その場合、(s − 最長辺) は非常に小さくなり、浮動小数点演算において s(s−a)(s−b)(s−c) の乗算で重大な桁落ち（catastrophic cancellation）が発生します。

修正策はカハンの安定したヘロンの公式です：

辺を a ≥ b ≥ c のように並べ替えます。その後：

面積 = (1/4)√((a + (b + c))(c − (a − b))(c + (a − b))(a + (b − c)))

この並べ替えにより、桁落ちの問題を回避できます。当社の計算機は、本番環境での精度のためにカハンの安定形式を使用しています（calculator-engine.js の v1.20.62-68 の修正参照）。

実世界での応用

• 測量。 測量士はしばしば3辺の長さを測定しますが、内部の高さは測定しません。ヘロンの公式により面積を直接求められます。
• 建設。 境界の測定値から、三角形の屋根や土地区画に必要な資材量を計算します。
• コンピュータグラフィックス。 三角形の面積は、衝突検知、照明計算（重心座標）、メッシュ品質指標などに使用されます。
• 地図 / GIS。 3つの角座標から定義される三角形領域の面積を計算します（距離公式により3辺の長さが得られます）。

ヘロンの公式を使用すべきでない場合

• 底辺と高さが既に分かっている場合。 A = ½ × 底辺 × 高さ を直接使用してください。演算数が少なく、数値的に安定しています。
• 2辺とその間の角（SAS）が分かっている場合。 A = ½ × a × b × sin(C) を使用してください。直接的な三角法です。
• 直角辺を特定できる直角三角形の場合。 A = ½ × 直角辺1 × 直角辺2 を使用してください。

ヘロンの公式は、「特別な情報が無い」場合のフォールバックです。これらのショートカットのいずれも適用できない場合に使用します。

一般的な間違い

• 半周が周囲長の半分であることを忘れる。 s = (a + b + c) / 2 です。一部の学生は s = a + b + c（全周囲長）を使用してしまい、誤った答えを出します。
• 平方根内の符号ミス。 (s − a)、(s − b)、または (s − c) が負になる場合、その3辺は有効な三角形を形成しません（三角不等式に違反）。入力を確認してください。
• s(s−a)(s−b)(s−c) を計算した後、平方根を取るのを忘れる。 公式は平方根の中に面積の2乗を与えています。最後に √ を取ってください。
• 単位を混同する。 3辺はすべて同じ単位でなければなりません。面積は、その単位の二乗単位で出力されます。