等周問題に関連する高校数学の問題

周の長さが一定である図形の中で,面積が最大のものは円です。(等周定理)

等周定理の厳密な証明は少し大変なので,ここでは等周定理に関連して「対称性が高い図形は面積が大きい」というテーマで,高校数学で分かる性質をいくつか紹介します。

長方形の等周問題

まずは,高校数学の基本的な問題から始めてみます。

性質1

周の長さが一定である長方形の中で,面積が最大のものは正方形。

これを証明してみましょう。

証明

周の長さを 2L2L (定数)とする。

縦の長さを xx とすると,横の長さは LxL-x なので,長方形の面積は

S=x(Lx) S=x(L-x)

となる。よって,この二次関数の最大化問題を考えれば良い。

平方完成すると,

S=x2+Lx=(xL2)2+L24\begin{aligned} S&=-x^2+Lx\\ &=-\left(x-\dfrac{L}{2}\right)^2+\dfrac{L^2}{4} \end{aligned}

よって,x=L2x=\dfrac{L}{2} のときに最大値 L24\dfrac{L^2}{4} となる。

つまり,周の長さが一定である長方形の中で,面積が最大のものは正方形。

相加相乗平均の不等式を使って,

x+(Lx)2x(Lx)L2S\begin{aligned} x+(L-x) &\geq 2\sqrt{x(L-x)}\\ L &\geq 2\sqrt{S} \end{aligned}

(等号成立条件は x=Lxx=L-x

とすることもできます。

ちなみに,辺の長さの和が一定である直方体の中で,体積が最大になるものは立方体になることも分かります(→高校数学の問題集 ~最短で得点力を上げるために~のT90で2通りの証明を解説しています)。

三角形の等周問題

次はもう少し難しいです。

性質2

周の長さが一定である三角形の中で,面積が最大のものは正三角形。

証明方法はいくつかありますが,ここではヘロンの公式を使ってみます。

証明

三角形の周の長さを 2s2s(定数),3辺の長さを a,b,ca,b,c とおくと,面積は, S=s(sa)(sb)(sc) S=\sqrt{s(s-a)(s-b)(s-c)} となる。

一方,相加相乗平均の不等式より, (sa)+(sb)+(sc)3(sa)(sb)(sc)3\begin{aligned} &\dfrac{(s-a)+(s-b)+(s-c)}{3}\\ &\geq\sqrt[3]{(s-a)(s-b)(s-c)} \end{aligned}

以上より,

3s2s3S2s3s327S2sS2127s4S133s2\begin{aligned} \dfrac{3s-2s}{3}&\geq\sqrt[3]{\dfrac{S^2}{s}}\\ \dfrac{s^3}{27}&\geq\dfrac{S^2}{s}\\ S^2&\leq \dfrac{1}{27}s^4\\ S&\leq \dfrac{1}{3\sqrt{3}}s^2 \end{aligned}

等号成立条件は,sa=sb=scs-a=s-b=s-c,つまり正三角形の場合である。

四角形の等周問題

性質3

周の長さが一定である四角形の中で,面積が最大のものは正方形。

性質1の拡張です。これも,ヘロンの公式の四角形版(※ブレートシュナイダーの公式)を認めれば,三角形の場合と同様に相加相乗平均の不等式を使って証明できます。

※ブレートシュナイダーの公式によると,面積は

(sa)(sb)(sc)(sd)abcdcos2(θ2) \sqrt{(s-a)(s-b)(s-c)(s-d)-abcd\cos^2\left(\dfrac{\theta}{2}\right)}

ただし,s=a+b+c+d2s=\dfrac{a+b+c+d}{2}θ\theta は向かい合う2つの角の和。

正多角形について

周の長さが一定である nn 角形の中で,面積が最大のものは正 nn 角形であることが知られています。性質1や性質3の拡張です。厳密な証明は少し大変なのでここではしません。

ここでは, 周の長さが LL で一定である正 nn 角形の面積 S(n)S(n) は,nn に依存してどう変わるかを考えます。

nn 角形は,底辺が Ln\dfrac{L}{n} で高さが L2n÷tanπn\dfrac{L}{2n}\div\tan\dfrac{\pi}{n} である三角形 nn 個の集まりとみなせるので,

S(n)=L24n1tanπn=L24ππntanπn\begin{aligned} S(n)&=\dfrac{L^2}{4n}\dfrac{1}{\tan\frac{\pi}{n}}\\ &=\dfrac{L^2}{4\pi}\dfrac{\frac{\pi}{n}}{\tan\frac{\pi}{n}} \end{aligned}

となります。これより,

  • S(n)S(n)nn に関して単調増加(微分すると分かります)

  • limnS(n)=L24π\displaystyle\lim_{n\to\infty}S(n)=\dfrac{L^2}{4\pi}

であることが分かります。

一般の等周問題

長さが一定である閉曲線 CC の中で,CC が囲む面積が最大となるものは円である。

一般の場合の証明は大変です。

(閉曲線が微分可能な場合に限定した)証明が等周問題の下の方にあります。

性質1では2変数,性質2では3変数,性質3では4変数の相加相乗平均の不等式が出てくるのが楽しいです。