解:(1)由题意AC=6,∠B=30°,故BC=12,AB=6√3,又△EAF为等腰直角三角形,故AE=AF,即6-x=6√3-y,即y=x+6√3-6 (0(2)因为AD垂直平分于EF,当△DEF为Rt△时,四边形AFDE为正方形,此时x/(6-x)=tg30°(或根据Rt△CED∽Rt△CAB,边长比),解得x=3√3-3,故y=3√3-3+6√3-6=9√3-9,即BF=9√3-9
(1)y=6跟3+x-6(x定义域为0到6)(2)bf为6跟3-6+6/(1+跟3)