△ABC为等边三角形，边长为a，DF⊥AB，EF⊥AC，
（1）求证：△BDF∽△CEF；
（2）若a=4，设BF=m，四边形ADFE面积为S，求出S与m之间的函数关系，并探究当m为何值时S取最大值；
（3）已知A、D、F、E四点共圆，已知tan∠EDF=，求此圆直径．