至少加角acb=角efd
角abc=角def
因为bf=ec所以
bf-cf=ec-cf
即bc=ef
所以可以用角边角,证明全等
全等后可推出ac平行df
ab=de
角a=角d
此图形是旋转对称图形