ハドヴィッガー・フィンスラー不等式

ハドヴィッガー・フィンスラー不等式

概要

ハドヴィッガー・フィンスラー不等式は、平面幾何学の分野における重要な幾何不等式の一つです。この不等式は、三角形の各辺の長さと面積との間に成り立つ特定の関係性を示しており、三角形の幾何的な性質を定量的に分析する際に用いられます。単にハドヴィッガーの不等式と呼ばれることもあります。

三角形に関する不等式

任意の三角形について、その3辺の長さをそれぞれ $a, b, c$ とし、面積を $T$ とした場合、以下の不等式が常に成り立ちます。

$$ a^2 + b^2 + c^2 \ge 4\sqrt{3} T + (a-b)^2 + (b-c)^2 + (c-a)^2 $$

この式は、三角形の形状と大きさが面積にどのように影響を与えるかを示すものです。不等式の右辺には、面積を示す項と、3辺の長さの差の二乗和を示す項が含まれています。

等号成立条件

上記の不等式において等号が成り立つのは、問題としている三角形が正三角形、すなわち $a=b=c$ の場合に限られます。このとき、辺の長さの差の二乗項 $(a-b)^2 + (b-c)^2 + (c-a)^2$ はすべてゼロとなり、不等式は $a^2 + b^2 + c^2 \ge 4\sqrt{3} T$ となります。正三角形では $a=b=c$ であり、$T = \frac{\sqrt{3}}{4} a^2$ ですから、$3a^2 \ge 4\sqrt{3} \frac{\sqrt{3}}{4} a^2 = 3a^2$ となり、等号が成立します。

関連する不等式：ヴァイツェンベックの不等式

ハドヴィッガー・フィンスラー不等式は、有名なヴァイツェンベックの不等式と密接な関係があります。ヴァイツェンベックの不等式は、$a^2 + b^2 + c^2 \ge 4\sqrt{3} T$ という形で与えられます。これは、ハドヴィッガー・フィンスラー不等式の右辺から辺の差の二乗和を取り除いた形に相当し、実際にハドヴィッガー・フィンスラー不等式から直接導かれる系として位置づけられます。

逆に、特定の幾何的な構築物（例えばcircummidarc triangle）にヴァイツェンベックの不等式を適用することで、ハドヴィッガー・フィンスラー不等式を導出することも可能です。

ヴァイツェンベックの不等式自体の証明は、三角形の面積を表現するヘロンの公式を利用して比較的容易に行うことができます。この証明過程においても、等号が正三角形の場合のみで成立することが示されます。

凸四角形への拡張

ハドヴィッガー・フィンスラー不等式は、三角形だけでなく、より一般的な図形である凸四角形にも拡張することができます。凸四角形の4辺の長さをそれぞれ $a, b, c, d$ とし、その面積を $T$ とすると、以下の不等式が成り立ちます。

$$ a^2+b^2+c^2+d^2 \ge 4T + \sum{(a-b)^2} $$

ここで、$\sum{(a-b)^2}$ は、四角形の4辺の長さから可能な全ての2辺を選んで差を取り、その二乗を計算したものの総和を意味します。具体的には、$(a-b)^2 + (a-c)^2 + (a-d)^2 + (b-c)^2 + (b-d)^2 + (c-d)^2$ となります。

四角形の等号成立条件

四角形への拡張版において等号が成り立つのは、その四角形が正方形である場合、すなわち4辺の長さがすべて等しい $a=b=c=d$ 場合に限られます。この条件のもとでは、辺の差の二乗和はゼロとなり、等号が成立します。

証明の概要（三角形の場合）

三角形に関するハドヴィッガー・フィンスラー不等式の証明は、三角形の基本的な性質と解析的な手法を組み合わせて行われます。一般的な証明の流れとしては、まず余弦定理を用いて辺の長さを角度で表現し、これと三角形の面積公式を結びつけます。次に、半角公式や倍角公式などの三角関数の関係式を適用して式を変形します。最終的に、正接関数（タンジェント）が特定の区間で下に凸であるという性質を利用し、イェンセンの不等式を用いることで目的の不等式が導出されます。この証明は、幾何学的な命題を代数や解析の手法を用いて解き明かす典型的な例として、数学教育においても興味深いテーマとなります。

歴史

ハドヴィッガー・フィンスラー不等式は、スイスの数学者であるポール・フィンスラー（Paul Finsler）とヒューゴ・ハドヴィッガー（Hugo Hadwiger）によって共同で発見されました。彼らは1937年に発表した論文「Einige Relationen im Dreieck」（日本語訳：三角形におけるいくつかの関係）の中でこの不等式を提示し、その功績から彼らの名前が冠されることとなりました。

関連項目

ヴァイツェンベックの不等式
三角形に関する不等式の一覧
等周定理
ペドーの不等式

もう一度検索