椭圆上四点共圆的充要条件证明