偶然の角度

左の図において
⊿ABC は ∠BAC = 72°で
AB = AC の二等辺三角形である。

∠EBC = 21°∠DCB = 39°のとき
∠CDE をもとめよ。

証明

(72,42,51;12)及び
補題3より
(72,39,51; 9) が成り立つ。つまり
∠CDE = 9°である。