问题背景如图1，在正方形ABCD的内部，作∠DAE=∠ABF=∠BCG=∠CDH，根据三角形全等的条件，易得△DAE≌△ABF≌△BCG≌△CDH，从而得到四边形EFGH是正方形．类比探究如图2，在正△ABC的内部，作∠

Question

问题背景
如图1，在正方形ABCD的内部，作∠DAE=∠ABF=∠BCG=∠CDH，根据三角形全等的条件，易得△DAE≌△ABF≌△BCG≌△CDH，从而得到四边形EFGH是正方形．
类比探究
如图2，在正△ABC的内部，作∠BAD=∠CBE=∠ACF，AD，BE，CF两两相交于D，E，F三点（D，E，F三点不重合）

（1）△ABD，△BCE，△CAF是否全等？如果是，请选择其中一对进行证明．
（2）△DEF是否为正三角形？请说明理由．
（3）进一步探究发现，△ABD的三边存在一定的等量关系，设BD=a，AD=b，AB=c，请探索a，b，c满足的等量关系．

Answer 1

（1）△ABD≌△BCE≌△CAF；理由如下：
∵△ABC是正三角形，
∴∠CAB=∠ABC=∠BCA=60°，AB=BC，
∵∠ABD=∠ABC-∠2，∠BCE=∠ACB-∠3，∠2=∠3，
∴∠ABD=∠BCE，
在△ABD和△BCE中，

∠1=∠2

AB=BC

∠ABD=∠BCE

，
∴△ABD≌△BCE（ASA）；

（2）△DEF是正三角形；理由如下：
∵△ABD≌△BCE≌△CAF，
∴∠ADB=∠BEC=∠CFA，
∴∠FDE=∠DEF=∠EFD，
∴△DEF是正三角形；

（3）作AG⊥BD于G，如图所示：
∵△DEF是正三角形，
∴∠ADG=60°，
在Rt△ADG中，DG=(1)/(2)b，AG=(√(3))/(2)b，
在Rt△ABG中，c²=（a+(1)/(2)b）²+（(√(3))/(2)b）²，
∴c²=a²+ab+b²．