一、點對圓的冪
平面上任意一點![P\left(x,y\right)](/img/c/f62/nBnauQTYzAjY0QWYzQTMkVTOhNmNwEDOjhjZjRjMmBzMiZGMxUTZ5kDOhdzLtVGdp9yYpB3LltWahJ2Lt92YuUHZpFmYuM3b09GawlGauY2LvoDc0RHa.jpg)
![x^2+y^2+Dx+Ey+F=0](/img/6/6f0/nBnauYmMjVWOxgjZxUDMiJWMxI2NyYWZyM2N4QGOzczMwYjZwkTY0EDM4I2LtVGdp9yYpB3LltWahJ2Lt92YuUHZpFmYuM3b09GawlGauc2LvoDc0RHa.jpg)
![f\left(x,y\right)=x^2+y^2+Dx+Ey+F](/img/4/f5c/nBnauQTMyUWY3YzM4EjN4kTMhZGN2gjNxgDZ5ITM5MzN3kTYkhzM3MDM3Y2LtVGdp9yYpB3LltWahJ2Lt92YuUHZpFmYuM3b09GawlGauc2LvoDc0RHa.jpg)
![\left(x-a\right)^2+\left(y-b\right)^2-r^2=0](/img/f/fc6/nBnauATM4ADNyYGMzImZwETNjlzYiFjMyUDM2EmZ1MzNwQDZiJzN5gTMhF2LtVGdp9yYpB3LltWahJ2Lt92YuUHZpFmYuM3b09GawlGauc2LvoDc0RHa.jpg)
由此也可以把點對圓的冪定義為:
![f\left(x,y\right)=\left(x-a\right)^2+\left(y-b\right)^2-r^2=d^2-r^2](/img/e/c83/nBnauEGM4EGNyYjZzYjY2kDMjJWYykTYlRmZlJ2YidTYjdDZzY2YwUGMzczLtVGdp9yYpB3LltWahJ2Lt92YuUHZpFmYuM3b09GawlGauY2LvoDc0RHa.jpg)
這裡
![d=\sqrt{\left(x-a\right)^2+\left(y-b\right)^2}](/img/1/cf3/nBnauADM5E2M2ImN5ATZiZWMwY2M3cTN1QTO5E2Y3Q2MmNGMlBjM3IjM5kzLtVGdp9yYpB3LltWahJ2Lt92YuUHZpFmYuM3b09GawlGauM2LvoDc0RHa.jpg)
![P](/img/1/614/nBnauYTMhJTMxQ2YxEWYiBDMzQWOlNTYwE2YmdzYiNjZjBzNkNTOjlDM2YzLtVGdp9yYpB3LltWahJ2Lt92YuUHZpFmYuM3b09GawlGauQ2LvoDc0RHa.jpg)
![C\left(a,b\right)](/img/8/a95/nBnauETM2UGNkJGOzcTZyQWZ4QTM4EDO1UWO5gTM2gTOxgjZxUDMiJWMyI2LtVGdp9yYpB3LltWahJ2Lt92YuUHZpFmYuM3b09GawlGaug2LvoDc0RHa.jpg)
![r](/img/3/257/nBnauUGMwM2YlBTYmhTM5MDM1YWNllzMzIWZhNTMhhzYllTYmRWMxMmM2UzLtVGdp9yYpB3LltWahJ2Lt92YuUHZpFmYuM3b09GawlGauY2LvoDc0RHa.jpg)
點對圓的冪的幾何意義是明顯的:
若點在圓外,則冪為點到圓的切線長度的平方;
若點在圓上,則冪為0;
若點在圓內,則冪為負數,其絕對值等於過點
![P](/img/a/0e4/nBnauYDMjBzM0EDZ1kDOjNzMiRmM5MWM5EWO4MjYmBTM1UWO5gjY3Q2Y3U2LtVGdp9yYpB3LltWahJ2Lt92YuUHZpFmYuM3b09GawlGauc2LvoDc0RHa.jpg)
![CP](/img/b/551/nBnaukjZ5AzMiZGMxUTZ5kDO5cDOmljYyYWNidDM0QmYycTO4EjYhRjM4AzLtVGdp9yYpB3LltWahJ2Lt92YuUHZpFmYuM3b09GawlGauE2LvoDc0RHa.jpg)
二、根軸
平面上兩不同心的圓![x^2+y^2+D_ix+E_iy+F_i=0,\left(i=1,2\right)](/img/1/7ba/nBnauQzN2EGZyUjM5UDM2EmM1Q2YjljY1cjYiNGNhFDOmJWZ0QzN4MzMkBzLtVGdp9yYpB3LltWahJ2Lt92YuUHZpFmYuM3b09GawlGauM2LvoDc0RHa.jpg)
![(D_1-D_2)^2+(E_1-E_2)^2>0](/img/3/8fa/nBnauImZjNDZmZjYiRWOzI2YzgjZlBzMlNWZhVmNkFWNkJWM0YWZwIWMzQ2LtVGdp9yYpB3LltWahJ2Lt92YuUHZpFmYuM3b09GawlGauQ2LvoDc0RHa.jpg)
顯然,對兩圓等冪的點集是直線:
![\left(D_1-D_2\right)x+\left(E_1-E_2\right)y+\left(F_1-F_2\right)=0](/img/e/779/nBnaukjNkdTMzMmY1ITO5UmZyUGMjNGNxUDOwYWMwYWZlRTO0UzY4YGO1I2LtVGdp9yYpB3LltWahJ2Lt92YuUHZpFmYuM3b09GawlGauM2LvoDc0RHa.jpg)
該直線稱為兩圓的根軸。根軸必垂直於兩圓的連心線。
若兩圓相交,則根軸就是連線二公共點的直線;
若兩圓相切,則根軸就是過切點的公切線;
若兩圓相離或內含,則根軸完全位於兩圓之外,但仍垂直於兩圓的連心線。
當圓1和圓2相離或內含時,用尺規作出這兩圓的根軸需要依賴“根心定理”(見第三部分)。具體的做法是:另作一個適當的圓3與前兩圓都相交,圓3分別與前兩圓形成根軸,這兩條根軸的交點即是圓1、圓2和圓3的根心,它必定在圓1和圓2所形成的根軸上;同理,再找一個適當的圓4,找到圓1、圓2和圓4的根心。連線所找到的兩個根心,即得到圓1和圓2的根軸。
三、根心與根心定理(解析幾何證法)
三個兩兩不同心的圓![x^2+y^2+D_ix+E_iy+F_i=0,(i=1,2,3)](/img/b/ff1/nBnauAzNmFzMjZWY2MzNmBjZhdTY3AjNiFTNyQWZiZmYmJGNmBDNhZWYiVzLtVGdp9yYpB3LltWahJ2Lt92YuUHZpFmYuM3b09GawlGauc2LvoDc0RHa.jpg)
![(D_i-D_j)^2+(E_i-E_j)^2>0,(1\le i<j\le3)](/img/a/e68/nBnauUTZ1kTZyUmMxQmNzcTZ2UTOkVWMyUWZhZ2MxITMwkzM5UWMwATMjhzLtVGdp9yYpB3LltWahJ2Lt92YuUHZpFmYuM3b09GawlGauc2LvoDc0RHa.jpg)
任意兩圓形成一條根軸,因而共有三條根軸:
![(D_i-D_j)x+(E_i-E_j)y+(F_i-F_j)=0,(1\le i<j\le3)](/img/7/f47/nBnauI2MyETN0cjY0MmYllTMxIGM2IjNiZ2NmNzYmFmNzcjZwYGO3YGNyAzLtVGdp9yYpB3LltWahJ2Lt92YuUHZpFmYuM3b09GawlGauc2LvoDc0RHa.jpg)
這三條根軸的直線方程(以下簡稱為根軸方程)是線性相關的,即由其中兩個根軸方程進行線性組合,可以得出第三個根軸方程。因此:
(i)若平面上某一點是其中兩個根軸方程的公共解(亦即兩根軸的公共點),則必定也是第三條根軸上的點。
(ii)若某兩個根軸方程無公共解(即平行),則三個根軸方程中的任意兩個均無公共解(即三條根軸兩兩平行)。
具體而言,三個兩兩不同心的圓的根軸,僅僅包含下面三種情況:
(1)三根軸兩兩平行;
(2)三根軸完全重合;
(3)三根軸兩兩相交,此時三根軸必匯於一點,該點稱為三圓的根心。
上面所證明的即是“根心定理”。
以上用解析幾何的方法證明了根心定理。在平面上,二元方程對應一條曲線,而方程組的解對應著曲線的公共點。利用這個思想,從根軸方程的線性相關性出發,容易得到平面幾何上的根心定理。這種證明方法十分簡單。
四、根心定理的相關例題
以下例題選自2013年(第54屆)國際數學奧林匹克競賽(IMO)第二天第4題:![\Delta ABC](/img/2/4a3/nBnauIjN3AjZhFWNyAjM4AjZxcjNyQWNhNDMmNDNxQWN5gzYzMTOkdTYzQzLtVGdp9yYpB3LltWahJ2Lt92YuUHZpFmYuM3b09GawlGauY2LvoDc0RHa.jpg)
![\Delta BWN](/img/d/620/nBnaucTZ3cDN1gDNzEjYjFjYmhTYlJDZ2QTOzAjNjVTMzMmY1ITO5UmZxU2LtVGdp9yYpB3LltWahJ2Lt92YuUHZpFmYuM3b09GawlGauY2LvoDc0RHa.jpg)
![\Delta CMW](/img/e/216/nBnaugjNlVDOjFDZhNWN5YWM3IjY3QmYkdjMiRzMxQjZxQmZzQGOhVWM3E2LtVGdp9yYpB3LltWahJ2Lt92YuUHZpFmYuM3b09GawlGauY2LvoDc0RHa.jpg)
![\omega_1](/img/7/7fb/nBnauMGMhJTMxQ2YxEWYiBDMzQWOlVjNlFWZidzYiNjZjBzNkNTOjlDM2YzLtVGdp9yYpB3LltWahJ2Lt92YuUHZpFmYuM3b09GawlGauI2LvoDc0RHa.jpg)
![\omega_2](/img/c/a1b/nBnauYGM1gDZhFzM0Y2YwITYyQmM4YmM3EzN5QzMkFGN0ETYkR2N5MjMwkzLtVGdp9yYpB3LltWahJ2Lt92YuUHZpFmYuM3b09GawlGauc2LvoDc0RHa.jpg)
![\omega_1](/img/7/7fb/nBnauMGMhJTMxQ2YxEWYiBDMzQWOlVjNlFWZidzYiNjZjBzNkNTOjlDM2YzLtVGdp9yYpB3LltWahJ2Lt92YuUHZpFmYuM3b09GawlGauI2LvoDc0RHa.jpg)
![\omega_2](/img/c/a1b/nBnauYGM1gDZhFzM0Y2YwITYyQmM4YmM3EzN5QzMkFGN0ETYkR2N5MjMwkzLtVGdp9yYpB3LltWahJ2Lt92YuUHZpFmYuM3b09GawlGauc2LvoDc0RHa.jpg)
![\omega_1](/img/7/7fb/nBnauMGMhJTMxQ2YxEWYiBDMzQWOlVjNlFWZidzYiNjZjBzNkNTOjlDM2YzLtVGdp9yYpB3LltWahJ2Lt92YuUHZpFmYuM3b09GawlGauI2LvoDc0RHa.jpg)
![\omega_2](/img/c/a1b/nBnauYGM1gDZhFzM0Y2YwITYyQmM4YmM3EzN5QzMkFGN0ETYkR2N5MjMwkzLtVGdp9yYpB3LltWahJ2Lt92YuUHZpFmYuM3b09GawlGauc2LvoDc0RHa.jpg)
求證: X,Y,H 三點共線。
證明:如圖,記
![\omega_1](/img/7/7fb/nBnauMGMhJTMxQ2YxEWYiBDMzQWOlVjNlFWZidzYiNjZjBzNkNTOjlDM2YzLtVGdp9yYpB3LltWahJ2Lt92YuUHZpFmYuM3b09GawlGauI2LvoDc0RHa.jpg)
![\omega_2](/img/c/a1b/nBnauYGM1gDZhFzM0Y2YwITYyQmM4YmM3EzN5QzMkFGN0ETYkR2N5MjMwkzLtVGdp9yYpB3LltWahJ2Lt92YuUHZpFmYuM3b09GawlGauc2LvoDc0RHa.jpg)
![\omega_1](/img/7/7fb/nBnauMGMhJTMxQ2YxEWYiBDMzQWOlVjNlFWZidzYiNjZjBzNkNTOjlDM2YzLtVGdp9yYpB3LltWahJ2Lt92YuUHZpFmYuM3b09GawlGauI2LvoDc0RHa.jpg)
![\omega_2](/img/c/a1b/nBnauYGM1gDZhFzM0Y2YwITYyQmM4YmM3EzN5QzMkFGN0ETYkR2N5MjMwkzLtVGdp9yYpB3LltWahJ2Lt92YuUHZpFmYuM3b09GawlGauc2LvoDc0RHa.jpg)
顯然,B,C,M,N共圓,記該圓為
![\omega](/img/e/37e/nBnauYzMmJjMxkjYwEzN0IGOwcDNyIWNjFTM5ADMxQ2YkhjZkNjZ5czYhNzLtVGdp9yYpB3LltWahJ2Lt92YuUHZpFmYuM3b09GawlGauQ2LvoDc0RHa.jpg)
![\omega](/img/e/37e/nBnauYzMmJjMxkjYwEzN0IGOwcDNyIWNjFTM5ADMxQ2YkhjZkNjZ5czYhNzLtVGdp9yYpB3LltWahJ2Lt92YuUHZpFmYuM3b09GawlGauQ2LvoDc0RHa.jpg)
![\omega_1](/img/7/7fb/nBnauMGMhJTMxQ2YxEWYiBDMzQWOlVjNlFWZidzYiNjZjBzNkNTOjlDM2YzLtVGdp9yYpB3LltWahJ2Lt92YuUHZpFmYuM3b09GawlGauI2LvoDc0RHa.jpg)
![\omega](/img/e/37e/nBnauYzMmJjMxkjYwEzN0IGOwcDNyIWNjFTM5ADMxQ2YkhjZkNjZ5czYhNzLtVGdp9yYpB3LltWahJ2Lt92YuUHZpFmYuM3b09GawlGauQ2LvoDc0RHa.jpg)
![\omega_2](/img/c/a1b/nBnauYGM1gDZhFzM0Y2YwITYyQmM4YmM3EzN5QzMkFGN0ETYkR2N5MjMwkzLtVGdp9yYpB3LltWahJ2Lt92YuUHZpFmYuM3b09GawlGauc2LvoDc0RHa.jpg)
![\omega_1](/img/7/7fb/nBnauMGMhJTMxQ2YxEWYiBDMzQWOlVjNlFWZidzYiNjZjBzNkNTOjlDM2YzLtVGdp9yYpB3LltWahJ2Lt92YuUHZpFmYuM3b09GawlGauI2LvoDc0RHa.jpg)
![\omega_2](/img/c/a1b/nBnauYGM1gDZhFzM0Y2YwITYyQmM4YmM3EzN5QzMkFGN0ETYkR2N5MjMwkzLtVGdp9yYpB3LltWahJ2Lt92YuUHZpFmYuM3b09GawlGauc2LvoDc0RHa.jpg)
記的
![\Delta AMN](/img/a/ea2/nBnauAjNwYTYmRmZ2EDZ5IWMjNWYkNDM4EmM5YWZwkTMxcTZkRWNlVzM0gzLtVGdp9yYpB3LltWahJ2Lt92YuUHZpFmYuM3b09GawlGauU2LvoDc0RHa.jpg)
![\omega_3](/img/3/d16/nBnauITY5UTZ0AzMhBzN5QzMzQTYycTNyUGZhVWM2EmY4IDOhZ2MzUzMwI2LtVGdp9yYpB3LltWahJ2Lt92YuUHZpFmYuM3b09GawlGauY2LvoDc0RHa.jpg)
![\omega_3](/img/3/d16/nBnauITY5UTZ0AzMhBzN5QzMzQTYycTNyUGZhVWM2EmY4IDOhZ2MzUzMwI2LtVGdp9yYpB3LltWahJ2Lt92YuUHZpFmYuM3b09GawlGauY2LvoDc0RHa.jpg)
由Miquel定理,可以直接證明U也在
![\omega_3](/img/3/d16/nBnauITY5UTZ0AzMhBzN5QzMzQTYycTNyUGZhVWM2EmY4IDOhZ2MzUzMwI2LtVGdp9yYpB3LltWahJ2Lt92YuUHZpFmYuM3b09GawlGauY2LvoDc0RHa.jpg)
![\omega_1](/img/7/7fb/nBnauMGMhJTMxQ2YxEWYiBDMzQWOlVjNlFWZidzYiNjZjBzNkNTOjlDM2YzLtVGdp9yYpB3LltWahJ2Lt92YuUHZpFmYuM3b09GawlGauI2LvoDc0RHa.jpg)
![\omega_2](/img/c/a1b/nBnauYGM1gDZhFzM0Y2YwITYyQmM4YmM3EzN5QzMkFGN0ETYkR2N5MjMwkzLtVGdp9yYpB3LltWahJ2Lt92YuUHZpFmYuM3b09GawlGauc2LvoDc0RHa.jpg)
![\omega_3](/img/3/d16/nBnauITY5UTZ0AzMhBzN5QzMzQTYycTNyUGZhVWM2EmY4IDOhZ2MzUzMwI2LtVGdp9yYpB3LltWahJ2Lt92YuUHZpFmYuM3b09GawlGauY2LvoDc0RHa.jpg)
證畢。
註:Miquel定理的內容如下:在△ABC的BC,AC,AB邊上分別取點W,M,N,對△AMN,△BWN和△CWM分別作其外接圓,則這三個外接圓共點。
該定理的證明很簡單,利用“圓內接四邊形對角和為180度”及其逆定理。現在已知U是
![\omega_1](/img/7/7fb/nBnauMGMhJTMxQ2YxEWYiBDMzQWOlVjNlFWZidzYiNjZjBzNkNTOjlDM2YzLtVGdp9yYpB3LltWahJ2Lt92YuUHZpFmYuM3b09GawlGauI2LvoDc0RHa.jpg)
![\omega_2](/img/c/a1b/nBnauYGM1gDZhFzM0Y2YwITYyQmM4YmM3EzN5QzMkFGN0ETYkR2N5MjMwkzLtVGdp9yYpB3LltWahJ2Lt92YuUHZpFmYuM3b09GawlGauc2LvoDc0RHa.jpg)
![\omega_1](/img/7/7fb/nBnauMGMhJTMxQ2YxEWYiBDMzQWOlVjNlFWZidzYiNjZjBzNkNTOjlDM2YzLtVGdp9yYpB3LltWahJ2Lt92YuUHZpFmYuM3b09GawlGauI2LvoDc0RHa.jpg)
![\omega_2](/img/c/a1b/nBnauYGM1gDZhFzM0Y2YwITYyQmM4YmM3EzN5QzMkFGN0ETYkR2N5MjMwkzLtVGdp9yYpB3LltWahJ2Lt92YuUHZpFmYuM3b09GawlGauc2LvoDc0RHa.jpg)
![\omega_3](/img/3/d16/nBnauITY5UTZ0AzMhBzN5QzMzQTYycTNyUGZhVWM2EmY4IDOhZ2MzUzMwI2LtVGdp9yYpB3LltWahJ2Lt92YuUHZpFmYuM3b09GawlGauY2LvoDc0RHa.jpg)
![\omega_3](/img/3/d16/nBnauITY5UTZ0AzMhBzN5QzMzQTYycTNyUGZhVWM2EmY4IDOhZ2MzUzMwI2LtVGdp9yYpB3LltWahJ2Lt92YuUHZpFmYuM3b09GawlGauY2LvoDc0RHa.jpg)