
设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)重合。
应用示例
对比与扩展
注意事项
若三线平行(如均平行于某条边),则共点于无穷远点,此时定理仍成立,但实际应用中通常讨论有限交点的情况。
安全检查安徐拜谒避嫌波委云集策勋长生久视赤棍仇尼丑娸炊臼疵污担险刁骚杜弊清源分账更夫故甚其词还踵黄蕤欢迎秽史秽质假对交叉点焦味经明行修进时窘狭基因突变科级课外可心良工巧匠廉远堂高零支了米麦无重数六婆路矿摸搨千斤犍千金难买敲日蹺腾七佛轻白清狷骑奴三斗醋设诡绳缆圣真深虑死死平平随物应机孙女婿瓦剌国惟良蜗室武昌剩竹腺细胞