反函数连续性定理 反三角_Menelaus定理和Ceva定理

全文来自于我的回答：https://www.zhihu.com/question/312854547/answer/605653666

本文我将介绍梅涅劳斯定理、塞瓦定理和它们的推论及拓广。

梅涅劳斯定理

是D、F、C三点共线的充分必要条件。（向量除法不严谨，先不管它，一般写成标量形式，结果是1）

梅涅劳斯定理第一角元形式：

是

共线的充分必要条件。

证明：

同理：

运用梅涅劳斯定理可知，上三式相乘为1表明结论成立。

梅涅劳斯定理第二角元形式：

是

共线的充分必要条件。

证明：

同理可得另外两个因式的表达方法，三式相乘为1，梅涅劳斯定理表明结论成立。

梅涅劳斯球面三角形定理

这些点均是同一球面上的点，PQR共测地线，则

证明：不会……

（注：该定理是第一个运用到梅涅劳斯定理的结论，证明人是梅涅劳斯，原定理发现者未知）

梅涅劳斯定理向更多边形的推广：

定理一：

一直线截平面四边形ABCD于

,则

证明：

对

用梅涅劳斯，

对于

同样，得到两个式子相乘即可。

定理一的推广、拓广定理：

对于平面多边形

被一直线所截，交于

，则

证明同上。（

逆命题不成立）

定理一的推广定理的空间形式：

对于空间封闭折现

,平面

交直线

于

,则

证明：过折现顶点作平面的垂线于

,注意到

共面，仿照平面情形即可。（图形和详细过程略）

定理二：

对于空间四边形ABCD边上有点

，

共面的充分必要条件是：

证明：不会……

定理三（梅涅劳斯的拓广定理）：

在

三边上，

则

.

证明：

同理：

定理三的推论1:

M是

内一点，D、E、F是AM、BM、CM与BC、CA、AB的交点，

,则

.

定理三的推论2：

在

三边上，

则

.

---

塞瓦定理：

AA'、BB'、CC'三线共点或平行的充分必要条件是

证明：略

塞瓦定理的角元形式：

AA'、BB'、CC'三线共点或平行的充分必要条件是

证明：

同理，

三式相乘，由塞瓦定理知结论成立。

角元形式推论：

外接圆上又A'、B'、C'分别在劣弧

上，AA'、BB'、CC'三线共点的充分必要条件是

证明：运用正弦定理和角元塞瓦即可。

塞瓦定理的推广定理

定理1

是四面体

棱

上的点，平面

共点，则

证明：设交于O，AO、BO、CO、DO交对面于

，所以

交于

，所以

同理

相乘即可

定理2： E、F、G、H、M、N是四面体

棱

上的点，

中有三个成立，则平面

共点。

证明：略

定理二的推论1：过四面体一条棱重点的六个面共点（重心）

定理二的推论2：四面体中每个二面角的平分面共点（内心）

定理二的推论3：四面体三组对棱分别互相垂直，则过每条棱作对棱的垂面，这六个平面共点（垂心）

定理三：

P是四面体

内一点，

是

和面

的交点。则

证明：首先给出一个引理（角平分线性质推广）：设四面体

中E是AP和平面BCD的交点，则

（证明略过）

回到原命题，

又

同理

即可。

塞瓦定理的拓广定理：

，则

证明：CFR对

用梅涅劳斯定理，

同理

得证

---

其他：塞瓦和梅涅劳斯背景知识

塞瓦（Ceva）是意大利几何学家、水利工程师，Ceva定理载于《关于直线》一书中，用几何方法和基于静力学规律，从不同角度证明这一结论，并且与他重现发现的梅涅劳斯定理一同发表，流传至今。

梅涅劳斯（Menelaus of Alexandria），是古希腊亚历山大后期的数学家、天文学家，三角术创始人之一（球面三角术）。写过六本关于圆的弦的书，但失传了，只保留了一本《球面论》。球面梅涅劳斯定理是研究球面几何的最基础定理之一。

参考文献：

《几何瑰宝》沈文选、杨清桃，哈尔滨理工大学出版社