BE=CF BD=DC ∠BED=∠DFC 证明了 三角形BDE全等三角形DFC 因此 三角形EDA全等三角形FDA ∠EDA=∠FDA 所以AD是三角形ABC的角平分线
DE平行于AB 内错角相等 ∠DAB=∠ADE 因为是等腰三角形做垂线所以∠EAD=∠EDA所以三角形AED是等腰三角形