由|OA+OB|=|OA-OB|
两边平方,移项,合并同类项可以得到:
OA·OB=0
即OA⊥OB
由课本结论知:
x1*x2+y1*y2=0
(你可以自己证一下)
这样,将A的坐标带入圆的方程左边有:
x1²+y1²-(x1+x2)*x1-(y1+y2)*y1
=x1²+y1²-x1²-x1*x2-y1²-y1*y2
=-(x1*x2+y1*y2)
=0=右边
故知A在圆上,
同理知:B在圆上
即知AB为圆的弦,
又知圆C圆心为((x1+x2)/2,(y1+y2)/2)
正好是AB中的,即AB过圆心
由此知AB是圆C的直径