四點共圓指的是平面上四個點位于同一圓的圓周上。這一概念在平面幾何中非常重要，并被廣泛地應用于數學問題解決、建筑設計、藝術構圖等領域。四點共圓有三個性質：（1）共圓的四個點所連成同側共底的兩個三角形的頂角相等；（2）圓內接四邊形的對角互補；（3）圓內接四邊形的外角等于內對角。以上性質可以根據圓周角等于它所對弧的度數的一半進行證明。
定理
判定定理
方法1：把被證共圓的四個點連成共底邊的兩個三角形，且兩三角形都在這底邊的同側，若能證明其頂角相等，從而即可肯定這四點共圓。證明：作△ABC的外接圓，則當且僅當點D在該圓上時，∠ACB = ∠ADB，從而A、B、C、D四點共圓。
（可以說成：若線段同側二點到線段兩端點連線夾角相等，那么這二點和線段二端點四點共圓）
方法2 ：把被證共圓的四點連成四邊形，若能證明其對角互補或能證明其一個外角等于其鄰補角的內對角時，即可肯定這四點共圓。
（可以說成：若平面上四點連成四邊形的對角互補或一個外角等于其內對角，那么這四點共圓）
托勒密定理
若ABCD四點共圓（ABCD按順序都在同一個圓上），那么。
例題：證明對于任意正整數n都存在n個點使得所有點間兩兩距離為整數。
解答：歸納法。我們用歸納法證明一個更強的定理：對于任意n都存在n個點使得所有點間兩兩距離為整數，且這n個點共圓，并且有兩點是一條直徑的兩端。很輕松。當時，一個邊長為整數的勾股三角形即可：比如說邊長為3，4，5的三角形。我們發現這樣的三個點共圓，邊長最長的邊是一條直徑。假設對于n大于等于3成立，我們來證明n+1。假設直徑為r（整數）。找一個不跟已存在的以這個直徑為斜邊的三角形相似的一個整數勾股三角形ABC（邊長）。把原來的圓擴大到原來的c倍，并把一個邊長為的三角形放進去，使得rc邊和放大后的直徑重合。這個三角形在圓上面對應了第n+1個點，記為P。于是根據Ptolomy定理，P和已存在的所有點的距離都是一個有理數。（考慮P，這個點Q和直徑兩端的四個點，這四點共圓，于是PQ是一個有理數因為Ptolomy定理里的其它數都是整數。）引入一個新的點P增加了n個新的有理數距離，記這n個有理數的最大公分母為M。最后只需要把這個新的圖擴大到原來的M倍即可。歸納法成立，故有這個命題。
反證法證明
現就“若平面上四點連成四邊形的對角互補。那么這個四點共圓”證明如下（其它畫個證明圖如后）
已知：四邊形ABCD中，
求證：四邊形ABCD內接于一個圓（A，B，C，D四點共圓）
證明：用反證法
過A，B，D作圓O，假設C不在圓O上，點C在圓外或圓內，
若點C在圓外，設BC交圓O于C’，連結DC’，根據圓內接四邊形的性質得 ，
∵
這與三角形外角定理矛盾，故C不可能在圓外。類似地可證C不可能在圓內。
∴C在圓O上，也即A，B，C，D四點共圓。
證明方法
方法1
從被證共圓的四點中先選出三點作一圓，然后證另一點也在這個圓周上，若能證明這一點，即可肯定這四點共圓．
方法2
把被證共圓的四個點連成共底邊的兩個三角形，且兩三角形都在這底邊的同側，若能證明其頂角相等(同弧所對的圓周角相等），從而即可肯定這四點共圓。
幾何描述：四邊形ABCD中，，則ABCD四點共圓。
證明：過ABC作一個圓，明顯D一定在圓上。若不在圓上，可設射線BD與圓的交點為，那么，與外角定理矛盾。
方法3
把被證共圓的四點連成四邊形，若能證明其對角互補或能證明其一個外角等于其鄰補角的內對角時，即可肯定這四點共圓。
證法見上
方法4
把被證共圓的四點兩兩連成相交的兩條線段，若能證明它們各自被交點分成的兩線段之積相等，即可肯定這四點共圓（相交弦定理的逆定理）；或把被證共圓的四點兩兩連結并延長相交的兩線段，若能證明自交點至一線段兩個端點所成的兩線段之積等于自交點至另一線段兩端點所成的兩線段之積，即可肯定這四點也共圓．（割線定理的逆定理）
上述兩個定理統稱為圓冪定理的逆定理，即ABCD四個點，分別連接AB和CD,它們（或它們的延長線）交點為P，若PA*PB=PC*PD，則ABCD四點共圓。
證明：連接AC,BD，∵
∴
∵
∴
當P在AB,CD上時，由相似得，且A和D在BC同側。根據方法2可知ABCD四點共圓。
當P在AB,CD的延長線上時，由相似得，且A和D在BC同側。同樣根據方法2可知ABCD四點共圓。
方法5
證被證共圓的點到某一定點的距離都相等，從而確定它們共圓．即連成的四邊形三邊中垂線有交點，可肯定這四點共圓．
方法6
四邊形ABCD中，若有，即兩對邊乘積之和等于對角線乘積，則ABCD四點共圓。該方法可以由托勒密定理逆定理得到。
任何凸四邊形都滿足托勒密不等式（如AB·CD+BC·DA≥AC·BD），當且僅當ABCD四點共圓時取等號。
如圖，在四邊形內作（只需要作）
由相似得
即
又由相似得
∴
∴
兩個等式相加，得,等號成立的充要條件是APC三點共線
而APC共線意味著
根據方法2，ABCD四點共圓
方法7
西姆松定理逆定理：若一點在一三角形三邊上的射影共線，則該點在三角形外接圓上。
設有一△ABC，P是平面內與ABC不同的點，過P作三邊垂線，垂足分別為L,M,N，若L,M,N共線，則P在△ABC的外接圓上。
如圖，，且L,N,M在一條線上。
連接PB,PC，∵
∴PLBN四點共圓
∴
同理，，即
根據方法2，P在△ABC外接圓上
判定與性質
圓內接四邊形的對角和為180°,并且任何一個外角都等于它的內對角。
【如圖A：四點共圓的圖片】
四邊形ABCD內接于圓O，延長AB和DC交至E，過點E作圓O的切線EF，AC、BD交于P，則有：
（1）（即圖中）
（3）（外角等于內對角，可通過（1）、（2）得到）
（6）（割線定理）
（7）（切割線定理）
（8）（托勒密定理）
說明：切割線定理，割線定理，相交弦定理統稱圓冪定理
其他定理：弦切角定理：弦切角的度數等于它所夾的弧的圓心角的度數的一半。
參考資料 >