来自陶大军的问题
已知：如图，在△ABC中，∠C=90°，∠B=30°，AC=6，点D在边BC上，AD平分∠CAB，E为AC上的一个动点（不与A、C重合），EF⊥AB，垂足为F．（1）求证：AD=DB；（2）设CE=x，BF=y，求y关于x的函数解析式
已知：如图，在△ABC中，∠C=90°，∠B=30°，AC=6，点D在边BC上，AD平分∠CAB，E为AC上的一个动点（不与A、C重合），EF⊥AB，垂足为F．
（1）求证：AD=DB；
（2）设CE=x，BF=y，求y关于x的函数解析式；
（3）当∠DEF=90°时，求BF的长？
