求证一解析几何的定理.
求证一解析几何的定理.
由于二次曲线C：ax^2+bxy+cy^2+dx+ey+f=0表示圆的充要条件是：a=c≠0；b=0；d^2+e^2-4af>0,于是我们不难得到下面的定理：
设椭圆mx^2+ny^2=1与直线ax+by+c=0有两个不同的交点,则过这两点的圆系方程为：mx^2+ny^2-1+λ(ax+by+c)(ax-by+k)=0 .这里λ=(n-m)/(a^2+b^2),k为任意实数.
首先, 由λ = (n-m)/(a²+b²), mx²+ny²-1+λ(ax+by+c)(ax-by+k)可展开为A(x²+y²)+Dx+Ey+F.
其中A = (na²+mb²)/(a²+b²) > 0.
直接验证D²+E²-4AF > 0较繁, 改用等价条件: A(x²+y²)+Dx+Ey+F = 0上至少有两个不同点.
而mx²+ny²-1+λ(ax+by+c)(ax-by+k) = 0显然经过mx²+ny² = 1与ax+by+c = 0的交点.
由已知, 二者有两个不同交点, 从而A(x²+y²)+Dx+Ey+F = 0上至少有两个不同点.
因此曲线族中都是过mx²+ny² = 1与ax+by+c = 0的交点的圆.
反之, 设A(x²+y²)+Dx+Ey+F = 0是过mx²+ny² = 1与ax+by+c = 0的交点的圆.
不妨设A = (na²+mb²)/(a²+b²), 则A(x²+y²)+Dx+Ey+F
= mx²+ny²+λ(ax+by)(ax-by)+Dx+Ey+F
= mx²+ny²-1+λ(ax+by+c)(ax-by)+D'x+E'y+F' (其中D' = D-acλ, E' = E+bcλ, F' = F+1).
将mx²+ny² = 1与ax+by+c = 0的交点坐标代入, 可知两个交点都满足D'x+E'y+F' = 0.
而过这两点的直线为ax+by+c = 0, 因此存在实数t使D'x+E'y+F' = t(ax+by+c).
由m ≠ n (椭圆), 有λ = (n-m)/(a²+b²) ≠ 0, 可取k = t/λ.
则A(x²+y²)+Dx+Ey+F
= mx²+ny²-1+λ(ax+by+c)(ax-by)+D'x+E'y+F'
= mx²+ny²-1+λ(ax+by+c)(ax-by)+λk(ax+by+c)
= mx²+ny²-1+λ(ax+by+c)(ax-by+k).
即过mx²+ny² = 1与ax+by+c = 0的交点的圆都在该曲线族中.哦，我没看清，原式中间有减号，看成加了，不好意思。