成立。利用全等三角形证明。做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
