有一个硬算的“笨”办法， 用托勒密定理

先用椭圆定义很简单的求出Q的坐标（是 （0，-c^2y/b^2)吧）。

然后用托勒密定理：
四边形的两对边乘积之和等于其对角线乘积的充要条件是该四边形内接于一圆。

后面涉及到算式化简。不难不过我确实没有去算。