AD是△ABC的角平分线
所以两个角相等
EF垂直平分AD
所以挨着的两个角相等切等于90°
加上两个三角形共享一条边 角边角 三角形全等
同上 可以证得四条边都相等 于是 菱形出现了