1. 高校数学の美しい物語
  2. エルデス・モーデルの定理の証明

エルデス・モーデルの定理の証明

更新日時 2021/03/07

エルデスモーデルの定理

エルデスモーデルの定理:

任意の三角形 ABCABC において,その内部の任意の点 OO から各辺に下ろした垂線の足を P,Q,RP, Q, R とおくとき,以下の不等式が成立する:

OA+OB+OC2(OP+OQ+OR)OA+OB+OC\geq 2(OP+OQ+OR)

エルデスモーデルの定理(エルデシュモーデルの定理)は美しい幾何不等式です。なんとなくオイラーの不等式: R2rR\geq 2r の一般化っぽいです。点 OO を動かすと6本の線分の長さが同時に全て変化してしまうので,証明するのは意外と難しいです,数学オリンピック対策にどうぞ。

目次
  • 証明の準備

  • エルデスモーデルの定理の証明

  • コメント

証明の準備

実はエルデスモーデルの定理よりも強い幾何不等式が成り立ちます。

強い幾何不等式

BOC\angle BOC の二等分線と辺 BCBC の交点を XX とおきます。 Y,ZY,Z も同様に定義します。

すると,OPOX,OQOY,OROZOP\leq OX, OQ\leq OY, OR\leq OZ が成立するので,

OA+OB+OC2(OX+OY+OZ)OA+OB+OC\geq 2(OX+OY+OZ)

が示せればエルデスモーデルの不等式が証明されることになります。

すなわち,赤 \geq 2青 の代わりに赤 \geq 2緑を示せば良いわけです。

表記簡略化のために

OA=a,OB=b,OC=c,OP=p,OQ=q,OR=r,BOX=α,COY=β,AOZ=γOA=a, OB=b, OC=c, OP=p, OQ=q, OR=r,\\ \angle BOX=\alpha,\angle COY=\beta, \angle AOZ=\gamma

とおきます。

エルデスモーデルの定理の証明

方針:角の二等分線があるので,角の二等分線に関する重要な3つの公式の2番を用いて必要な関係式を導出します。次に,xx を上から抑えたいので相加相乗平均の不等式を用います。あとは機械的な計算で示すことができます。

証明

エルデスモーデルの定理の証明

三角形 BOCBOC に注目して,角の二等分線を含む三角形の公式から

(b+c)x=2bccosα(b+c)x=2bc\cos \alpha

よって,相加相乗平均の不等式より,

x=2bccosαb+cbccosαx=\dfrac{2bc\cos\alpha}{b+c}\leq \sqrt{bc}\cos \alpha

同様に,

ycacosβ,zabcosγy\leq \sqrt{ca}\cos \beta, z\leq \sqrt{ab}\cos \gamma

よって,以下の不等式を示せば良い:

a+b+c2bccosα2cacosβ2abcosβ0(1)a+b+c-2\sqrt{bc}\cos \alpha-2\sqrt{ca}\cos\beta-2\sqrt{ab}\cos\beta\geq 0\cdots(1)

(注:これは n=1n=1 の場合のKlamkinの不等式

これを a\sqrt{a} に関する二次不等式とみると,判別式が0以下であることが必要十分:

(ccosβ+bcosγ)2(b+c2bccosα)0(\sqrt{c}\cos\beta+\sqrt{b}\cos\gamma)^2-(b+c-2\sqrt{bc}\cos\alpha)\leq 0

整理すると以下と同値:

csin2βbsin2γ+2bc(cosβcosγ+cosα)0-c\sin^2\beta-b\sin^2\gamma+2\sqrt{bc}(\cos\beta\cos\gamma+\cos\alpha)\leq 0

ここで,α+β+γ=π\alpha+\beta+\gamma=\pi より,cosα=cos(β+γ)\cos\alpha=-\cos(\beta+\gamma) であり,加法定理を用いて上の不等式を更に同値変形する:

(csinβbsinγ)20-(\sqrt{c}\sin\beta-\sqrt{b}\sin\gamma)^2\leq 0

これは自明に成立する。

(1)は,a,b,c\sqrt{a},\sqrt{b},\sqrt{c} に関する2次不等式なので簡単に証明できます。平方完成や判別式による方法,二次形式を知っている人は行列式を調べることでも証明できます。上記の証明では判別式による方法を用いています。

コメント

エルデスモーデルよりも強い幾何不等式に帰着させるのが一番の難所です。

慣れている人なら角の二等分線定理による式変形,相加相乗平均の不等式,二次不等式の話などを思いつくのは難しくないと思います。

一つ一つの道具が簡単でも最後まで証明をやり抜くのはむずかしい

Tag:幾何不等式の解法パターンまとめ

人気記事
  1. 高校数学の美しい物語
  2. エルデス・モーデルの定理の証明