图“略”;
证明:在AC上截取AF=AE,CG=CD,连结DF、EG、DE,
易证△AED≌△AFD,△CDE≌△CGE,
∴GE=ED=FD
∵AE=CD,∴AF=CG,
∴AG=CF,
∴△AEG≌△CDF
∴∠BAC=∠BCA
∴BA=BC。