（1）證明：在△ABC中，∵∠C=90°，∠B=30°，
∴∠CAB=60°，
又∵AD平分∠CAB，
∴∠DAB=∠DAC=

1

2

∠CAB=30°，
∴∠DAB=∠B，
∴AD=DB．
（2）在△AEF中，∵∠AFE=90°，∠EAF=60°，
∴∠AEF=30°，
∴AE=AC-EC=6-x，AF=

1

2

AE＝

1

2

(6?x)，
在Rt△ABC中，∵∠B=30°，AC=6，
∴AB=12，
∴BF=AB-AF=12-

1

2

(6?x)＝9+

1

2

x，
∴y=9+

1

2

x，
答：y關(guān)于x的函數(shù)解析式是y=9+

1

2

x（0＜x＜6）．
（3）當(dāng)∠DEF=90°時(shí)，∠CED=180°-∠AEF-∠FED=60°，
∴∠EDC=30°，ED=2x，
∵∠C=90°，∠DAC=30°，
∴∠ADC=60°，
∴∠EDA=60°-30°=30°=∠DAE，
∴ED=AE=6-x．
∴有2x=6-x，得x=2，
此時(shí)，y=9+

1

2

×2=10，
答：BF的長(zhǎng)為10．