偶然の角度

証明

(20,50,70;10) が成り立つので
補題３より
(20,60,70;20) が成り立つ。
∠EDC = 20°である。