「正九角形の対角線の問題」の解説

---

　問題はこちらです。

AB+AC=AF 　図のABCDEFGHIは正九角形です。AB+AC=AFを示してください。

　さて、これは正九角形ですから、頂点を３つごとに結ぶと、下の図の赤い線のように正三角形になります。

　正九角形は円に内接しますから、図の青い角度は正三角形の内角と等しくなります。（円周角の定理）