在直角三角形ABC中角A=90度BC的垂直平分线DE分别交BC、AC边于点D、E,BE与AD相交于点F.设角C=x,角A

问题描述：

在直角三角形ABC中角A=90度BC的垂直平分线DE分别交BC、AC边于点D、E,BE与AD相交于点F.设角C=x,角AFB=y.
求y关于x的函数解析式以及定义域.需要证明全过程,明天要交!