如图,在Rt△ABC中,∠C=90°,∠B=30°,BC=4.
问题描述：
如图,在Rt△ABC中,∠C=90°,∠B=30°,BC=4.
如图,在RT△ABC中,∠C=90°,∠B=30°,左右平移等边三角形DEF时,两个顶点E、F始终在BC上,DE、DF分别与AB相交于点G、H,当点F与点C重合时,点D恰好在斜边AB上
（1）求三角形DEF的边长
（2）求证CF=DG
（3）设CF为x,三角形DEF与△ABC重叠部分的面积为y,求y与x的函数解析式并写出定义域
以前百度一样的问题都是两句话就没了,不行,一定要完整的,第一题不用解答,）
答