试题分析:(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=
=
.
∴此圆直径长为
.