有点难度，可以用解析法证明。以B为原点建立坐标系，设圆的半径位1，点c的坐标为a（这里可以设c的坐标为常数来简化证明过程，但要满足c>3，可以设为4），然后根据各种垂直求出G，E两点的坐标，最后证明GE平行于x轴即可
