http://ytsumura.cocolog-nifty.com/blog/2004/08/post_3.html
△ＡＢＣは２等辺３角形で、∠ＣＡＢ＝２０°なので
∠ＡＢＣ＝∠ＢＣＡ＝８０°になります。これは説明略。
んで、
∠ＡＢＥ＝３０°、∠ＤＣＡ＝２０°になります。これも説明略。
ということは
∠ＣＡＤ＝∠ＤＣＡ＝２０°なので
△ＡＤＣも２等辺３角形です。
あとは、延長線を引きまくる。
まず、２等辺３角形の△ＡＤＣと対称な３角形を書きます。
その３角形で点Ｄが辺ＡＣと対称になる点を、点Ｆとします。
すると、辺ＡＦ//辺ＤＣですから（//は並行の意）、
ＡＤＣＦは平行４辺形になるわけです。
さらに、線ＤＦと線ＡＣの交点を点Ｇとします。
ＡＤＣＦは平行４辺形なので、辺ＤＧ＝辺ＧＦ、
よって、△ＤＥＧ＝△ＥＦＧとなります。
ということは、∠ＧＤＥ＝∠ＥＦＧ
つまり、∠ＥＤＣ＝∠ＣＦＥ。
ここまでくれば、後は計算のみでオッケィ。
