(甘志国)二次曲线上的四点共圆问题的完整结论

二次曲线上的四点共圆问题的完整结论甘志国(该文已发表数学通讯，2013(7下)：40-41)百年前，著名教材《坐标几何》(Loney著)中曾提到椭圆上四点共圆的一个必要条件是这四点的离心角之和为周角的整数倍(椭圆)0,0(12222babyax上任一点A的坐标可以表示为)(sincos,(baR)，角就叫做点A的离心角)，证明方法十分巧妙，还要运用高次方程的韦达定理.这一条件是否充分，一直是悬案.在20世纪80年代编写《数学题解辞典(平面解析几何)》时，仍未解决.到20世纪年代初编写《中学数学范例点评》时，才证明了此条件的充分性.[1,2]2011年高考全国大纲卷理科第21题，2005年高考湖北卷理科第21题(也即文科第22题)及2002年高考江苏、广东卷第20题都是关于二次曲线上四点共圆的问题(见文献[3,4]).笔者曾由2005年的这道高考题得出了二次曲线上四点共圆的一个简洁充要条件(其证明也很简洁但有技巧)：若两条直线)2,1)((:00ixxkyylii与二次曲线22:0()axbycxdyeab有四个交点，则这四个交点共圆的充要条件是021kk.文献[2]还用此结论证得了“椭圆上的四点共圆的充要条件是这四点的离心角之和为周角的整数倍”.文献[5]用较长的篇幅得出了下面的两个结论(即原文末的命题7、8)：结论1抛物线22ypx的内接四边形同时内接于圆的充要条件是该四边形的两组对边、两条对角线所在的三对直线中有一对直线的倾斜角互补.结论2圆锥曲线221(0,)mxnymnmn的内接四边形同时内接于圆的充要条件是该四边形的两组对边、两条对角线所在的三对直线中有一对直线的倾斜角互补.请注意，文献[5]中所涉及的直线的斜率均存在，所以这两个结论均正确.但不够完整，本文将给出二次曲线上的四点共圆问题的完整结论，即文末的推论4.定理1若两条二次曲线22220()0axbycxdyeabaxbycxdye，有四个交点，则这四个交点共圆.证明过这四个交点的二次曲线一定能表示成以下形式,(不同时为0)：2222()()0axbycxdyeaxbycxdye①式①左边的展开式中不含xy的项，选1时，再令式①左边的展开式中含22,yx项的系数相等，得abba,此时曲线①即220xycxdye②的形式，这种形式表示的曲线有且仅有三种情形：一个圆、一个点、无轨迹.而题中的四个交点都在曲线②上，所以曲线②表示圆.这就证得了四个交点共圆.定理2若两条直线:0(1,2)iiiilaxbyci与二次曲线22:0()axbycxdyeab有四个交点，则这四个交点共圆的充要条件是12210abab.证明由21,ll组成的曲线即111222()()0axbycaxbyc所以经过它与的四个交点的二次曲线一定能表示成以下形式,(不同时为0)：22111222()()()0axbycxdyeaxbycaxbyc③必要性.若四个交点共圆，则存在,使方程③表示圆，所以式③左边的展开式中含xy项的系数1221()0abab.而0(否则③表示曲线，不表示圆)，所以12210abab.充分性.当12210abab时，式③左边的展开式中不含xy的项，选1时，再令式③左边的展开式中含22,yx项的系数相等，即1212aaabbb，得1212aabbba.此时曲线③即220xycxdye④的形式，这种形式表示的曲线有且仅有三种情形：一个圆、一个点、无轨迹.而题中的四个交点都在曲线④上，所以曲线④表示圆.这就证得了四个交点共圆.推论1若两条直线与二次曲线22:0()axbycxdyeab有四个交点，则这四个交点共圆的充要条件是这两条直线的斜率均不存在或这两条直线的斜率均存在且互为相反数.证明设两条直线为:0(1,2)iiiilaxbyci，由定理2得，四个交点共圆的充要条件是12210abab.(1)当12//ll即1221abab时，得四个交点共圆的充要条件即12210abab也即120aa或120bb.(2)当1l与2l不平行即1221abab时，由12210abab得12210,0abab，所以四个交点共圆的充要条件即12120aabb也即直线12,ll的斜率均存在且均不为0且互为相反数.由此可得欲证成立.推论2设二次曲线22:0()axbycxdyeab上的四个点连成的四边形是圆内接四边形，在该四边形的的两组对边、两条对角线所在的三对直线中：若有一对直线的斜率均不存在，则另两对直线的斜率均存在且均互为相反数；若有一对直线的斜率均存在且均互为相反数，则另两对直线的斜率也均存在且均互为相反数，或另两对直线的斜率中有一对均不存在另一对均存在且互为相反数.证明设圆内接四边形是四边形ABCD，其两组对边AB与CD、AD与BC及对角线AC与BD所中的直线分别是1111:0(1,2)iiiilaxbyci2222:0(1,2)iiiilaxbyci3333:0(1,2)iiiilaxbyci由定理中的充分性知，若四个交点共圆，则以下等式之一成立：1112121121222221313232310,0,0abababababab再运用定理2中的必要性知，若四个交点共圆，则以上等式均成立.再由推论1的证明，可得欲证成立.推论2的极限情形是推论3设点A是定圆锥曲线(包括圆、椭圆、双曲线和抛物线)C上的定点但不是顶点，FE、是C上的两个动点，直线AFAE、的斜率互为相反数，则直线EF的斜率为曲线C过点A的切线斜率的相反数(定值).由推论3可立得以下三道高考题中关于定值的答案：高考题1(2009·辽宁·理·20(2))已知23,1A是椭圆134:22yxC上的定点，FE、是C上的两个动点，直线AFAE、的斜率互为相反数，证明EF直线的斜率为定值，并求出这个定值.(答案：21.)高考题2(2004·北京·理·17(2))如图1，过抛物线)0(22ppxy上一定点)0)(,(000yyxP作两条直线分别交抛物线于),(),,(2211yxByxA.当PA与PB的斜率存在且倾斜角互补时，求021yyy的值，并证明直线AB的斜率是非零常数.(答案：00212ypkyyyAB；.)图1高考题3(2004·北京·文·17(2))如图1，抛物线关于x轴对称，它的顶点在坐标原点，点),(),,(),2,1(2211yxByxAP均在抛物线上.当PA与PB的斜率存在且倾斜角互补时，求21yy的值及直线AB的斜率.(答案：1421ABkyy；.)推论4设二次曲线22:0()axbycxdyeab上的四个点连成的四边形是圆内接四边形，则该四边形只能是以下三种情形之一：(1)两组对边分别与坐标轴平行的矩形；(2)底边与坐标轴平行的等腰梯形；(3)两组对边均不平行的四边形，但在其两组对边、两条对角线所在的三对直线中，每对直线的斜率均存在且均不为0且均互为相反数.证明推论2中的圆内接四边形，只能是以下三种情形之一：(1)是平行四边形.由推论2知，该平行四边形只能是两组对边分别与坐标轴平行的矩形.(2)是梯形.由推论2知，该梯形的底边与坐标轴平行，两腰所在直线的斜率及两条对角线所在直线的斜率均存在且均不为0且均互为相反数，可得该梯形是底边与坐标轴平行的等腰梯形.(3)两组对边均不平行的四边形.由推论2知，该四边形的两组对边、两条对角线所在的三对直线中，每对直线的斜率均存在且均不为0且均互为相反数.参考文献1陈振宣.圆锥曲线上四点共圆的充要条件[J].数学教学，2007(2)：332甘志国著.初等数学研究(II)下[M].哈尔滨：哈尔滨工业大学出版社，2009.62-633甘志国.对一道高考题的研究[J].数学通讯，2005(22):214甘志国.2011年数学大纲全国卷压轴题研究[J].考试(高考·理科)，2011(8)：36-385张乃贵.圆锥曲线上四点共圆充要条件的探究[J].数学教学，2012(7)：8-10