梅涅劳斯（Menelaus）定理（简称梅氏定理）最早出现在由古希腊数学家梅涅劳斯的著作《球面学》（Sphaerica）中。一条截线在三角形各边上确定出的六条线段，三条不连续线段的乘积等于剩下三条线段的乘积。这一定理同样可以轻而易举地用初等几何或通过应用简单的三角比关系来证明．梅涅劳斯把这一定理扩展到了球面三角形。
塞瓦定理是指在△ABC内任取一点O，延长AO、BO、CO分别交对边于D、E、F，则 (BD/DC)×(CE/EA)×(AF/FB)=1。 塞瓦(Giovanni Ceva，1648~1734)意大利水利工程师，数学家。塞瓦定理载于塞瓦于1678年发表的《直线论》一书，也有书中说塞瓦定理是塞瓦重大发现。
梅涅劳斯定理和塞瓦定理的相关性：
梅涅劳斯定理的对偶定理是塞瓦定理。它的逆定理也成立：若有三点F、D、E分别在三角形的边AB、BC、CA或其延长线上，且满足AF/FB×BD/DC×CE/EA=1，则F、D、E三点共线。利用这个逆定理，可以判断三点共线。
使用梅涅劳斯定理可以进行直线形中线段长度比例的计算，其逆定理还可以用来解决三点共线、三线共点等问题的判定方法，是平面几何学以及射影几何学中的一项基本定理，具有重要的作用。
1、利用梅涅劳斯定理(梅氏定理)证明：
∵△ADC被直线BOE所截，
∴(CB/BD)*(DO/OA)*(AE/EC)=1①
∵△ABD被直线COF所截，
∴ (BC/CD)*(DO/OA)*(AF/FB)=1②
②/①约分得：
(DB/CD)×(CE/EA)×(AF/FB)=1
2、利用面积关系证明
∵BD/DC=S△ABD/S△ACD=S△BOD/S△COD=(S△ABD-S△BOD)/(S△ACD-S△COD)=S△AOB/S△AOC ③
同理 CE/EA=S△BOC/ S△AOB ④ ，AF/FB=S△AOC/S△BOC ⑤
③×④×⑤得
扩展资料：
塞瓦定理是指在△ABC内任取一点O，延长AO、BO、CO分别交对边于D、E、F，则 (BD/DC)×(CE/EA)×(AF/FB)=1。
塞瓦(Giovanni Ceva，1648~1734)意大利水利工程师，数学家。塞瓦定理载于塞瓦于1678年发表的《直线论》一书，也有书中说塞瓦定理是塞瓦重大发现。
塞瓦定理记忆法：三顶点选一个作为起点，定一方向，绕一圈，三组比例相乘为1。
参考资料来源：百度百科-塞瓦定理
塞瓦定理设O是△ABC内任意一点，
AO、BO、CO分别交对边于D、E、F，则 BD/DC*CE/EA*AF/FB=1
证法简介
（Ⅰ）本题可利用梅涅劳斯定理证明：
∵△ADC被直线BOE所截，
∴ CB/BD*DO/OA*AE/EC=1 ①
而由△ABD被直线COF所截，∴ BC/CD*DO/OA*AF/DF=1②
①÷②:即得：BD/DC*CE/EA*AF/FB=1
（Ⅱ）也可以利用面积关系证明
∵BD/DC=S△ABD/S△ACD=S△BOD/S△COD=(S△ABD-S△BOD)/(S△ACD-S△COD)=S△AOB/S△AOC ③
同理 CE/EA=S△BOC/ S△AOB ④ AF/FB=S△AOC/S△BOC ⑤
③×④×⑤得BD/DC*CE/EA*AF/FB=1
利用塞瓦定理证明三角形三条高线必交于一点:
设三边AB、BC、AC的垂足分别为D、E、F，
根据塞瓦定理逆定理，因为(AD:DB)*(BE:EC)*(CF:FA)=[(CD*ctgA）/[(CD*ctgB）]*[(AE*ctgB)/(AE*ctgC)]*[(BF*ctgC)/
[(AE*ctgB)]=1，所以三条高CD、AE、BF交于一点。
