小明遇到这样一个问题：如图1，△ABC中，AB=AC，点D在BC边上，∠DAB=∠ABD，BE⊥AD，垂足为E，求证：BC=2AE．

小明经探究发现，过点A作AF⊥BC，垂足为F，得到∠AFB=∠BEA，从而可证△ABF≌△BAE（如图2），使问题得到解决．