�僊BCと�僊EDで
正五角形の性質から、
すべての辺はどれも等しいので、
AB=AE=BC=ED。
正五角形の定義から、
∠ABC=∠AED。
三角形の２組の辺と、その間の角がそれぞれ
等しいので、
�僊BC=�僊EDである。
合同な三角形の対応する辺は等しいので、
AC=ADである。