关键是想到做D点关于CF的对称点D'，然后用边角边证三角形D'CE和三角形CDA全等。
--
FROM 112.2.231.*