円に内接する三角形の面積の最大値

定理

定円に内接する三角形の中で,面積が最大のものは正三角形である。

この定理を3通りの方法で証明します!

証明1.微分を使う

以下,円の半径を RR,円の中心を OO,三角形の各頂点を A,B,CA,B,C とします。

方針

図形的な考察から二等辺三角形であることが分かる → 自由度が1になれば単純な計算問題になる!

証明

B,CB,C を固定したとき,直線 BCBC から最も遠くなるように AA を取ると面積最大になる。このとき,三角形 ABCABCAB=ACAB=AC の鋭角二等辺三角形。

次に,上記の制約のもと BC=aBC=a として三角形 ABCABC の面積 S(a)S(a) を表す。

BCBC の中点を MM とすると,OM=R2a24OM=\sqrt{R^2-\dfrac{a^2}{4}} より,

S(a)=12BC×AM=a2(R+R2a24)S(a)=\dfrac{1}{2}BC\times AM\\ =\dfrac{a}{2}\left(R+\sqrt{R^2-\dfrac{a^2}{4}}\right)

これを 22 倍して aa で微分すると,

2S(a)=R+R2a24a222R2a242S'(a)=R+\sqrt{R^2-\dfrac{a^2}{4}}-\dfrac{a^2}{2\cdot 2\sqrt{R^2-\frac{a^2}{4}}}

よって S(a)=0S'(a)=0 を変形していくと,

RR2a24+R2a24a24=0R\sqrt{R^2-\dfrac{a^2}{4}}+R^2-\dfrac{a^2}{4}-\dfrac{a^2}{4}=0

R2(R2a24)=(a22R2)2R^2\left(R^2-\dfrac{a^2}{4}\right)=\left(\dfrac{a^2}{2}-R^2\right)^2

34a2R2=a44\dfrac{3}{4}a^2R^2=\dfrac{a^4}{4}

符号に注意すると,

a=3Ra=\sqrt{3}R

これと,S(a)S'(a) の符号に注意する (aa00 に近いと S(a)>0S'(a) > 0aa2R2R に近いと S(a)<0S'(a) <0 かつ S(a)S'(a) は連続) と a=3Ra=\sqrt{3}R で面積最大となることが分かる。

このとき ABCABC が正三角形になることは,簡単に分かる(例えば,正弦定理: asinA=2R=2a3\dfrac{a}{\sin A}=2R=\dfrac{2a}{\sqrt{3}} より A=60A=60^{\circ} が分かる)。

コメント:発想は難しくありませんが,対称性を崩しているので計算はあまり美しくないです。

証明2.イェンゼンの不等式を使う

方針

いろいろな道具を使って,対称性を崩さない計算で証明します。上級者向けですが,美しいです。

使う道具は, 外接円の半径と三角形の面積の関係相加相乗平均の不等式イェンゼンの不等式(凸関数の不等式)です。

証明

S=abc4RS=\dfrac{abc}{4R} と正弦定理より

S=2R2sinAsinBsinCS=2R^2\sin A\sin B\sin C

ここで,相加相乗平均の不等式より sinAsinBsinC(sinA+sinB+sinC3)3\sin A\sin B\sin C\leq \left(\dfrac{\sin A+\sin B+\sin C}{3}\right)^3

さらに,(sinx\sin x0xπ0\leq x\leq \pi で上に凸なので)イェンゼンの不等式より sinA+sinB+sinC3sinA+B+C3=332\sin A+\sin B+\sin C\leq 3\sin \dfrac{A+B+C}{3}=\dfrac{3\sqrt{3}}{2}

以上より S2R2(32)3=334R2S\leq 2R^2\left(\dfrac{\sqrt{3}}{2}\right)^3=\dfrac{3\sqrt{3}}{4}R^2

等号成立条件は A=B=CA=B=C,つまり正三角形のとき。

証明3.きわどい証明

考え方はシンプルですが,厳密な証明にするためには高校範囲を逸脱してしまいます。

証明?

ABCABC が正三角形でないとき,ABACAB\neq AC としても一般性を失わない。このとき ABCA'BCAB=ACA'B=A'C となる鋭角二等辺三角形になるような AA' を円周上に取れば ABCA'BC の面積を ABCABC の面積より大きくできる。

つまり,正三角形でないときは,より面積の大きな三角形を構成できるので,面積を最大にするのは正三角形である(注)。

重要な注:最後の議論では,最大値の存在を仮定しています。

1.正三角形でないときは改善できる
2.最大値が存在する

の両方が言えてはじめて正三角形の場合が最大と言うことができます。最大値が存在することは直感的に当たり前な気もしますが,厳密には「コンパクト集合上の連続関数は最大値を持つ」という大学数学の定理(高校数学で触れる一変数関数の最大値の原理の一般化)が必要になります。

なお,高校数学の問題集 ~最短で得点力を上げるために~ のT185では,関連する問題を紹介しています。

自分は証明2が一番好きです。