正七角形の対角線の性質

定理

正七角形の対角線(および辺)の長さを短い順に a,b,ca,b,c とすると, 1a=1b+1c \dfrac{1}{a} = \dfrac{1}{b} + \dfrac{1}{c} が成立する。

pic

この記事では正七角形について,シンプルで美しい等式とその証明を紹介します。

証明1:トレミーの定理を用いる方法

まずはトレミーの定理を用いる方法を紹介します。

下図のように対角線を引きます。

pic_t

トレミーの定理より AB×CE+BC×AE=AC×BE \mathrm{AB} \times \mathrm{CE} + \mathrm{BC} \times \mathrm{AE} = \mathrm{AC} \times \mathrm{BE} が成立します。

a=AB=BCa = \mathrm{AB} = \mathrm{BC}b=AC=CEb = \mathrm{AC} = \mathrm{CE}c=AE=BEc = \mathrm{AE} = \mathrm{BE} を代入すると ab+ac=bc ab+ac = bc となります。両辺を abcabc で割ると 1a=1b+1c \dfrac{1}{a} = \dfrac{1}{b} + \dfrac{1}{c} が得られます。

証明2:図形の相似を用いる方法

下図の正七角形 ABCDEFG\mathrm{ABCDEFG} を考えましょう。

pic01

2つのステップに分けて計算をしていきます。

相似な二等辺三角形を作る

直線 BC\mathrm{BC} と直線 DE\mathrm{DE} の交点を H\mathrm{H} とおきます。

下図の青い三角形と赤い三角形は相似になります。

pic02

証明

正七角形の外接円を考える。弧 ED\mathrm{ED} と弧 AB\mathrm{AB} に対する円周角より EAD=ADB\angle\mathrm{EAD}=\angle\mathrm{ADB} となる。よって AE//BD\mathrm{AE}// \mathrm{BD}

同様に AD//BC\mathrm{AD}//\mathrm{BC}

以上より,2組の角がそれぞれ等しいので AED\triangle \mathrm{AED}BDH\triangle \mathrm{BDH} は相似になる。

相似比から計算する

相似比を見ると DEAE=HDBD() \dfrac{\mathrm{DE}}{\mathrm{AE}} = \dfrac{\mathrm{HD}}{\mathrm{BD}} \quad \cdots (\ast) となります。

それぞれの辺の長さは,DE=a\mathrm{DE} = aAE=c\mathrm{AE} = cBD=b\mathrm{BD} = b となります。

また, DH=CH(HCD は二等辺三角形)=BHBC=BDBC  (BDH は二等辺三角形)=ba\begin{aligned} &\mathrm{DH}\\ &= \mathrm{CH} &(\triangle \mathrm{HCD} \ \text{は二等辺三角形})\\ &= \mathrm{BH} - \mathrm{BC}\\ &= \mathrm{BD} - \mathrm{BC} \ \ &(\triangle \mathrm{BDH} \ \text{は二等辺三角形})\\ &= b-a \end{aligned} と計算されます。

()(\ast) に代入して ac=bab\dfrac{a}{c} = \dfrac{b-a}{b},つまり ac=1ab\dfrac{a}{c} = 1 - \dfrac{a}{b} を得ます。

両辺を aa で割って 1a=1b+1c \dfrac{1}{a} = \dfrac{1}{b} + \dfrac{1}{c} が得られました。

今回紹介した等式の証明が灘高校や開成高校の入試問題として登場したこともあります。