在AC上取一点,连接OF,使角AOF=角AOE
角AOE=180度-角BAD-角AEO
=180度-(1/2)角BAC-(角ABC+角BCE)
=180度-(1/2)(角BAC+角ACB)-角ABC
=180度-(1/2)(180度-角ABC)-角ABC
=90度-(1/2)角ABC
=60度
∴:角AOF=角AOE=角DOC=60度
角COF=180度-角AOE-角AOF=60度=角DOC
三角形AEO全等于三角形AFO
三角形DOC全等于三角形FOC
AE=AF
DC=FC
∴AE+CD=AF+FC=AC