设三边AB、BC、AC的垂足分别为D、E、F，
根据塞瓦定理逆定理，因为(AD:DB)*(BE:EC)*(CF:FA)=[(CD*ctgA）/[(CD*ctgB）]*[(AE*ctgB)/(AE*ctgC)]*[(BF*ctgC)/[(BF*ctgA)]=1，所以三条高CD、AE、BF交于一点。 可用塞瓦定理证明的其他定理;
三角形三条中线交于一点（重心）:如图5 D , E分别为BC , AC 中点 所以BD=DC AE=EC 所以BD/DC=1 CE/EA=1
且因为AF=BF 所以 AF/FB必等于1 所以AF=FB 所以三角形三条中线交于一点 此外，可用定比分点来定义塞瓦定理：
在△ABC的三边BC、CA、AB或其延长线上分别取L、M、N三点，又分比是λ=BL/LC、μ=CM/MA、ν=AN/NB。于是AL、BM、CN三线交于一点的充要条件是λμν=1。（注意与梅涅劳斯定理相区分，那里是λμν=-1）
塞瓦定理推论
1.设E是△ABD内任意一点，AE、BE、DE分别交对边于C、G、F，则(BD/BC)*(CE/AE)*(GA/DG)=1
因为(BC/CD)*(DG/GA)*(AF/FB)=1，（塞瓦定理）所以 (BD/CD)*(CE/AE)*(AF/FB)=K（K为未知参数）且(BD/BC)*(CE/AE)*(GA/DG)=K（K为未知参数）又由梅涅劳斯定理得：(BD/CD)*(CE/AE)*(AF/FB)=1
所以(BD/BC)*(CE/AE)*(GA/DG)=1 2.塞瓦定理角元形式
AD,BE,CF交于一点的充分必要条件是：
(sin∠BAD/sin∠DAC)*(sin∠ACF/sin∠FCB)*(sin∠CBE/sin∠EBA)=1 由正弦定理及三角形面积公式易证
3.如图，对于圆周上顺次6点A,B,C,D,E,F，直线AD,BE,CF交于一点的充分必要条件是：
(AB/BC)*(CD/DE)*(EF/FA)=1
由塞瓦定理的角元形式，正弦定理及圆弦长与所对圆周角关系易证。 4.还能利用塞瓦定理证三角形三条高交于一点
设三边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交于一点。
梅涅劳斯定理
梅涅劳斯定理证明
梅涅劳斯（Menelaus）定理（简称梅氏定理）是由古希腊数学家梅涅劳斯首先证明的。它指出：如果一条直线与△ABC的三边AB、BC、CA或其延长线交于F、D、E点，那么(AF/FB)×(BD/DC)×(CE/EA)=1。 或：设X、Y、Z分别在△ABC的BC、CA、AB所在直线上，则X、Y、Z共线的充要条件是(AZ/ZB)*(BX/XC)*(CY/YA)=
证明一：
过点A作AG∥BC交DF的延长线于G,
则AF/FB=AG/BD , BD/DC=BD/DC , CE/EA=DC/AG。
三式相乘得：(AF/FB)×(BD/DC)×(CE/EA)=(AG/BD)×(BD/DC)×(DC/AG)=1
证明二：
过点C作CP∥DF交AB于P，则BD/DC=FB/PF，CE/EA=PF/AF 所以有AF/FB×BD/DC×CE/EA=AF/FB×FB/PF×PF/AF=1
它的逆定理也成立：若有三点F、D、E分别在△ABC的边AB、BC、CA或其延长线上，且满足(AF/FB)×(BD/DC)×(CE/EA)=1，则F、D、E三点共线。利用这个逆定理，可以判断三点共线。
梅涅劳斯(Menelaus)定理
证明三：
过ABC三点向三边引垂线AA'BB'CC'，
所以AD：DB=AA'：BB'，BE：EC=BB'：CC'，CF：FA=CC'：AA' 所以(AF/FB)×(BD/DC)×(CE/EA)=1
证明四：
连接BF。
（AD：DB）·（BE：EC）·（CF:FA)
=（S△ADF：S△BDF）·（S△BEF：S△CEF）·（S△BCF：S△BAF） =（S△ADF：S△BDF）·（S△BDF：S△CDF）·（S△CDF：S△ADF） =1
此外，用定比分点定义该定理可使其容易理解和记忆：
在△ABC的三边BC、CA、AB或其延长线上分别取L、M、N三点，又分比是λ=BL/LC、μ=CM/MA、ν=AN/NB。于是L、M、N三点共线的充要条件是λμν=1。 第一角元形式的梅涅劳斯定理
如图：若E，F，D三点共线，则
(sin∠ACF/sin∠FCB)(sin∠BAD/sin∠DAC)(sin∠CBA/sin∠ABE)=1 即图中的蓝角正弦值之积等于红角正弦值之积 该形式的梅涅劳斯定理也很实用 第二角元形式的梅涅劳斯定理
在平面上任取一点O，且EDF共线，则（sin∠AOF/sin∠FOB)(sin∠BOD/sin∠DOC)(sin∠COA/sin∠AOE)=1。(O不与点A、B、C重合)
记忆
ABC为三个顶点，DEF为三个分点 (AF/FB)×(BD/DC)×(CE/EA)=1
（顶到分/分到顶）*（顶到分/分到顶）*（顶到分/分到顶）=1 空间感好的人可以这么记：（上1/下1）*（整/右）*（下2/上2）=1
实际应用
为了说明问题，并给大家一个深刻印象，我们假定图中的A、B、C、D、E、F是六个旅游景点，各景点之间有公路相连。我们乘直升机飞到这些景点的上空，然后选择其中的任意一个景点降落。我们换乘汽车沿公路去每一个景点游玩，最后回到出发点，直升机就停在那里等待我们回去。
我们不必考虑怎样走路程最短，只要求必须“游历”了所有的景点。只“路过”而不停留观赏的景点，不能算是“游历”。
例如直升机降落在A点，我们从A点出发，“游历”了其它五个字母所代表的景点后，最终还要回到出发点A。
另外还有一个要求，就是同一直线上的三个景点，必须连续游过之后，才能变更到其它直线上的景点。
从A点出发的旅游方案共有四种，下面逐一说明：
方案 ① ——从A经过B（不停留）到F（停留），再返回B（停留），再到D（停留），之后经过B（不停留）到C（停留），再到E（停留），最后从E经过C（不停留）回到出发点A。
按照这个方案，可以写出关系式：
（AF：FB）*（BD：DC）*（CE：EA）=1。
现在，您知道应该怎样写“梅涅劳斯定理”的公式了吧。 从A点出发的旅游方案还有：
方案 ② ——可以简记为：A→B→F→D→E→C→A，由此可写出以下公式：
（AB：BF）*（FD：DE）*（EC：CA）=1。从A出发还可以向“C”方向走，于是有： 方案 ③ —— A→C→E→D→F→B→A，由此可写出公式：
（AC：CE）*（ED：DF）*（FB：BA）=1。 从A出发还有最后一个方案： 方案 ④ —— A→E→C→D→B→F→A，由此写出公式： （AE：EC）*（CD：DB）*（BF：FA）=1。
我们的直升机还可以选择在B、C、D、E、F任一点降落，因此就有了图中的另外一些公式。
值得注意的是，有些公式中包含了四项因式，而不是“梅涅劳斯定理”中的三项。当直升机降落在B点时，就会有四项因式。而在C点和F点，既会有三项的公式，也会有四项的公式。公式为四项时，有的景点会游览了两次。
不知道梅涅劳斯当年是否也是这样想的，只是列出了一两个典型的公式给我们看看。 还可以从逆时针来看，从第一个顶点到逆时针的第一个交点比上到下一个顶点的距离，以此类推，可得到三个比例，它们的乘积为1.
现在是否可以说，我们对梅涅劳斯定理有了更深刻的了解呢。那些复杂的相除相乘的关系式，不会再写错或是记不住吧。
西姆松定理
西姆松定理图示
西姆松定理是一个几何定理。表述为：过三角形外接圆上异于三角形顶点的任意一点作三边的垂线，则三垂足共线。（此线常称为西姆松线）。西姆松定理的逆定理为：若一点在三角形三边所在直线上的射影共线，则该点在此三角形的外接圆上。
西姆松定理说明
相关的结果有：
（1）称三角形的垂心为H。西姆松线和PH的交点为线段PH的中点，且这点在九点圆上。
（2）两点的西姆松线的交角等于该两点的圆周角。
（3）若两个三角形的外接圆相同，这外接圆上的一点P对应两者的西姆松线的交角，跟P的位置无关。
（4）从一点向三角形的三边所引垂线的垂足共线的充要条件是该点落在三角形的外接圆上。
证明
证明一： △ABC外接圆上有点P，且PE⊥AC于E，PF⊥AB于F，PD⊥BC于D，分别连DE、DF.
高中数学竞赛平面几何基本定理
