\usepackage[dvipdfmx]hyperref\usepackageamsthm,amsmath,mathtools\hypersetupcolorlinks=false,
幾何学

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

円に内接する三角形のうち,面積が最大となるのは正三角形であるということが知られています.本記事ではこのことを証明します.

証明

半径 1 の円を考え,その中心を O とする.また,P1,P2,P3 をその円周上の点とする.図1のように角 P1OP2,P2OP3,P3OP1 をそれぞれ θ1,θ2,θ3 とする.

図1

このとき P1,P2,P3 がなす三角形の面積 S(θ1,θ2,θ3)S(θ1,θ2,θ3)=12(sinθ1+sinθ2+sinθ3)で表される.

  • θi0(i=1,2,3)
  • θ1+θ2+θ3=2π

の下で S(θ1,θ2,θ3) を最大化する θ1,θ2,θ3 を求めればよい.

証明1(イェンセンの不等式を利用)

簡単な考察によりある i{1,2,3}θi>π ならば S(θ1,θ2,θ3) は最大とならないことが分かるので,既に上で述べた条件に加えて i{1,2,3}, θiπ を仮定してよい.sin:[0,π]R, tsintの凸性からイェンセンの不等式が使えて,S(θ1,θ2,θ3)=12(sinθ1+sinθ2+sinθ3)12(3sinθ1+θ2+θ33)=32sin2π3=334となる.等号成立の必要十分条件は θ1=θ2=θ3=2π3 であり,円に内接する面積最大の三角形は正三角形であることが分かった.

証明2

θ1,θ2,θ3 が動く領域のコンパクト性と S(θ1,θ2,θ3) の連続性から S(θ1,θ2,θ3) を最大化する θ1,θ2,θ3 の存在が従う.あとは正三角形以外の三角形では面積が最大とならないことを示せばよい.対称性から θ1θ2 と仮定し S(θ1,θ2,θ3) が最大値でないことを確かめれば十分である.いま θ:=(θ1+θ2)/2 とするとS(θ1,θ2,θ3)<S(θ,θ,θ3)だから S(θ1,θ2,θ3) が最大値でないことがわかる(図2参照).

図2.右の三角形の方がP1P3 を底辺としたときの高さが大きいため,面積も大きい.

 

一般化

より一般に,次のことが知られています.

事実1

n を自然数とする.円に内接する n 角形のうち面積が最大のものは正 n 角形である.

証明は三角形の場合と同様にして可能です.

また最近はこの事実を日本の高校生たちが(ほとんど)高校までの知識のみで示したことで話題になりました.彼らの論文は以下のURLから参照できますので,興味のある方はぜひ読んでみてください!

https://www.parabola.unsw.edu.au/2020-2029/volume-59-2023/issue-1/article/elementary-proof-regular-polygon-largest%C2%A0among-polygons-are