試題分析:(1)由已知可知∠BDF=∠CEF,∠B=∠C,所以得證.
(2)四邊形ADFE面積S可以看成△ADF與△AEF的面積之和,這兩個三角形均為直角三角形,在△BDF與△CEF中,由三角函數可以用m表示出BD、DF、CE、EF的長,進而可得AD、AE的長,從而可以用含m的代數式表示S,然后通過配方,轉化為二次函數的最值問題,就可以解決問題.
(3)由已知易知AF就是圓的直徑,利用圓周角定理將∠EDF轉化為∠EAF.在△AFC中,知道tan∠EAF、∠C、AC,通過解直角三角形就可求出AF長.
試題解析:(1):∵DF⊥AB,EF⊥AC,
∴∠BDF=∠CEF=90°.
∵△ABC為等邊三角形,
∴∠B=∠C=60°.
∵∠BDF=∠CEF,∠B=∠C,
∴△BDF∽△CEF.
(2)∵∠BDF=90°,∠B=60°,
∴sin60°=

=

,cos60°=

=

.
∵BF=m,
∴DF=

m,BD=

.
∵AB=4,
∴AD=4﹣

.
∴S
△ADF=

AD•DF
=

×(4﹣

)×

m
=﹣

m
2+

m.
同理:S
△AEF=

AE•EF
=

×(4﹣

)×

(4﹣m)
=﹣

m
2+2

.
∴S=S
△ADF+S
△AEF=﹣

m
2+

m+2

=﹣

(m
2﹣4m﹣8)
=﹣

(m﹣2)
2+3

.其中0<m<4.
∵﹣

<0,0<2<4,
∴當m=2時,S取最大值,最大值為3

.
∴S與m之間的函數關系為:
S═﹣

(m﹣2)
2+3

(其中0<m<4).
當m=2時,S取到最大值,最大值為3

.
(3)如圖2,

∵A、D、F、E四點共圓,
∴∠EDF=∠EAF.
∵∠ADF=∠AEF=90°,
∴AF是此圓的直徑.
∵tan∠EDF=

,
∴tan∠EAF=

.
∴

=

.
∵∠C=60°,
∴

=tan60°=

.
設EC=x,則EF=

x,EA=2x.
∵AC=a,
∴2x+x=a.
∴x=

.
∴EF=

,AE=

.
∵∠AEF=90°,
∴AF=

=

.
∴此圓直徑長為

.