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

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

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

長方形の等周問題

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

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

※相加相乗平均の不等式を使って，
x+(L−x)≥2x(L−x)−−−−−−−√$x+(L-x)\ge 2\sqrt{x(L-x)}$
L≥2S−−√$L\ge 2\sqrt{S}$
（等号成立条件は x=L−x$x=L-x$）
とすることもできます。

ちなみに，辺の長さの和が一定である直方体の中で，体積が最大になるものは立方体になることも分かります。

三角形の等周問題

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

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

四角形の等周問題

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

※ブレートシュナイダーの公式によると，面積は
(s−a)(s−b)(s−c)(s−d)−abcdcos2(θ2)−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−√$\sqrt{(s-a)(s-b)(s-c)(s-d)-abcd{\cos }^2\left({\displaystyle \frac{\theta }{2}}\right)}$
ただし，s=a+b+c+d2$s={\displaystyle \frac{a+b+c+d}{2}}$，θ$\theta$ は向かい合う2つの角の和。

正多角形について

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

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

正 n$n$ 角形は，底辺が Ln${\displaystyle \frac{L}{n}}$ で高さが L2n÷tanπn${\displaystyle \frac{L}{2n}}÷\tan {\displaystyle \frac{\pi }{n}}$ である三角形 n$n$ 個の集まりとみなせるので，
S(n)=L24n1tanπn=L24ππntanπn$$\begin{gathered} S(n)={\displaystyle \frac{L^2}{4n}}{\displaystyle \frac{1}{\tan \frac{\pi }{n}}} \\ ={\displaystyle \frac{L^2}{4\pi }}{\displaystyle \frac{\frac{\pi }{n}}{\tan \frac{\pi }{n}}} \end{gathered}$$
となります。これより，

• S(n)$S(n)$ は n$n$ に関して単調増加（微分すると分かります）
• limn→∞S(n)=L24π${\displaystyle \underset{n\to \mathrm{\infty }}{lim}S(n)={\displaystyle \frac{L^2}{4\pi }}}$

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

一般の等周問題

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

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