
設x、y、z分别為△abc的三邊bc、ac、ab(或其延長線)上的點,且ax、by、cz交于一點(或互相平行),則bxxc·cyya·azzb=1。由意大利數學家塞瓦發現而得名,其逆命題也成立。
塞瓦定理是平面幾何中關于三角形共點線的重要定理,得名于意大利數學家喬瓦尼·塞瓦(Giovanni Ceva)。該定理描述三角形頂點與對邊特定點的連線滿足共點的充要條件,其核心内容可表述為:
定義
在任意△ABC中,若從頂點A、B、C分别向對邊BC、CA、AB引三條直線AD、BE、CF,且這三線交于同一點P(或互相平行),則滿足: $$frac{AF}{FB} cdot frac{BD}{DC} cdot frac{CE}{EA} = 1$$ 其中,線段AF、FB等為有向長度的比值。反之,若上述乘積等于1,則三條直線共點或平行。
曆史背景
塞瓦于1678年首次提出該定理,但其思想可追溯至阿拉伯數學家海什木的著作。定理的逆命題同樣成立,這為幾何證明提供了雙向工具。
應用領域
擴展形式
定理可推廣至三維空間,通過面積比或體積比表述,并衍生出與梅涅勞斯定理的對偶關系。
塞瓦定理是平面幾何中關于三角形共點線的重要定理,其核心描述了三條從三角形頂點出發的直線共點的條件。
定理陳述
在任意三角形(ABC)中,若三條直線(AD)、(BE)、(CF)分别從頂點(A)、(B)、(C)出發,交對邊于(D)、(E)、(F),則這三條直線共點的充要條件為:
$$
frac{BD}{DC} cdot frac{CE}{EA} cdot frac{AF}{FB} = 1
$$
其中,線段長度需為有向長度(即考慮方向,例如延長線上的點需用負數表示)。
證明思路
必要性(共點→乘積為1):
若三線共點于(P),可通過面積比或相似三角形推導比例關系。例如,利用三角形面積比(frac{BD}{DC} = frac{[APB]}{[APC]}),再結合分步推導最終得到乘積為1。
充分性(乘積為1→共點):
假設(AD)與(BE)交于(P),再證明(CP)與(AB)的交點(F')滿足(frac{AF'}{F'B} = frac{AF}{FB}),從而(F')與(F)重合。
應用示例
對比與擴展
注意事項
若三線平行(如均平行于某條邊),則共點于無窮遠點,此時定理仍成立,但實際應用中通常讨論有限交點的情況。
闇惰昂昂不動白練裙草底騁勞車水馬龍饬審池魚之禍創稾垂針綽路馬厝火燎原擔荷點陣頂柱子煩促粉塵諷持浮士德博士的悲劇關提過會豪吹核選鶴引禽伸火紙筒郊棷樛結醴辭靈照栗斯僇笑牡麻拿跟耐痛納級耦象辟除憑據掊怨謙語權寄髯參若之何設教矢不虛發屍皮侍役十齋期首面雙引鎖閉騰噬騰裝田舍娘投石超距烏獲跣脫險危淆亂視聽