DE=DC=1/2AC => AEC为直角三角形
在EC上取一点F 使得BE=EF FC=EC-EF=EC-EB
下证FC=AB
因为ABF是等腰三角形 AB=AF ∠B=∠AFB=∠C+∠CAF 于是AFC也是等腰三角形 AF=FC
得证