如图所示，直角梯形的直角顶点是坐标原点，边、分别在轴、轴的正半轴上，，是上一点，，其中点、分别是线段、上的两个动点，且始终保持。
直接写出点的坐标
求证：;
当是等腰三角形时，△AEF关于直线EF的对称图形为，求与五边形OEFBC的重叠部分的面积.

备用图