西姆松定理是一個平面幾何定理。其表述為：過三角形外接圓上異于三角形頂點的任意一點作三邊或其延長線的垂線，則三垂足共線。（此線常稱為西姆松線）。西姆松定理的逆定理為：若一點在三角形三邊所在直線上的射影共線，則該點在此三角形的外接圓上。
定理定義
相關的結果有：
（1）稱三角形的垂心為H。西姆松線和PH的交點為線段PH的中點，且這點在九點圓上。
（2）兩點的西姆松線的交角等于該兩點的圓周角。
（3）若兩個三角形的外接圓相同，這外接圓上的一點P對應兩者的西姆松線的交角，跟P的位置無關。
（4）從一點向三角形的三邊所引垂線的垂足共線的充要條件是該點落在三角形的外接圓上。
相關性質證明
M為線段PH的中點連AH延長線交圓于G。
1.
M為線段PH的中點連AH延長線交圓于G。
證明：連PG交西姆松線與R,BC于Q
如圖連其他相關線段
AH⊥BC,PF⊥BC==>AG//PF==>∠1=∠2A.G.C.P共圓==>∠2=∠3
PE⊥AC,PF⊥BC==>P.E.F.C共圓==>∠3=∠4
==>∠1=∠4
PF⊥BC
==>PR=RQ
BH⊥AC,AH⊥BC==>∠5=∠6
A.B.G.C共圓==>∠6=∠7
==>∠5=∠7
AG⊥BC==>BC垂直平分GH
==>∠8=∠2=∠4
∠8+∠9=90,∠10+∠4=90==>∠9=∠10
==>HQ//DF
==>PM=MH
2.平分點在九點圓上。
證明：如圖：設O,G,H 分別為三角形ABC的外心，重心和垂心。
則O是，確定九點圓的中點三角形XYZ的垂心，而G還是它的重心。
那么三角形XYZ的外心 O1，也在同一直線上，并且
HG/GO=GO/GO1=2，所以O1是OH的中點。
三角形ABC和三角形XYZ位似，那么它們的外接圓也位似。兩個圓的圓心都在OH上，并且兩圓半徑比為1:2
所以G是三角形ABC外接圓和三角形XYZ外接圓(九點圓)的"反"位似中心(相似點在位似中心的兩邊),H 是"正"位似中心(相似點在位似中心的同一邊)。
所以H到三角形ABC的外接圓上的連線中點必在三角形DEF的外接圓上。
參考資料 >