成立。利用全等三角乱乎派形证明。做CG垂直L1,垂足为G,AB与L1,哗贺AD与L1交点为E,FBC=CG=a,∠EBC=CGE=90,EC=EC,利用等边三角形的定顷姿理证明得,EBC,EGC两三角形全等,得出BE=EG同理:GF=FD△AEF=AE+AF+EF=AE+AF+EG+GF=AB+AD=2a