以三角形ABC的边AB,AC为边向外做正方形ABDE和ACFG,如果DF//BC
证AB=AC
分别自D、A、F作DM⊥BC、AN⊥BC、FQ⊥BC及其延长线于M、N、Q
易证：⊿BMD≌⊿ABN,DM=BN;⊿CQF≌⊿ANC,FQ=CN
∵DF//BC,∴DM=FQ
∴BN=CN
∴AB=AC