Menelaus和Ceva定理
Menelaus定理
- 三角形ABC，D, E, F分别在直线BC, AC, AB上，则D, E, F共线的充分必要条件是：有符号线段比值（反方向取负比值）满足 $$\frac{BD}{DC}\frac{CE}{EA}\frac{AF}{FB}=-1$$
证明
充分性:$\frac{BD}{DC}=\frac{|BB'|}{|C'C|}$, $\frac{CE}{EA}=\frac{|C'C|}{|AA'|}$, $\frac{AF}{FB}=-\frac{|AA'|}{|BB'|}$.
必要性可通过连接$DF$交$AC$于$E'$,利用已证充分性得$\frac{CE'}{E'A}$，从而证明$E, E'$重合得到
Ceva定理
- 三角形ABC，D, E, F分别在直线BC, AC, AB上，则AD, BE, CF共点的充分必要条件是：有符号线段比值满足 $$\frac{BD}{DC}\frac{CE}{EA}\frac{AF}{FB}=1$$
证明
充分性：$\frac{BD}{DC}=\frac{S_{ABD}}{S_{ADC}}=\frac{S_{OBD}GBD}}{S_{ODC}GDC}}=\frac{S_{ABO}ABG}}{S_{ACO}ACG}}$,
同理$\frac{CE}{EA}=\frac{S_{CBO}CBG}}{S_{ABO}ABG}}$, $\frac{AF}{FB}=\frac{S_{ACO}ACG}}{S_{CBO}CBG}}$.
必要性可由连接$BO$BG$交$AC$于$E'$, 利用已证充分性证明$E, E'$重合得到。
扩展
- 上图中，已知$\frac{BD}{DC}, \frac{CE}{EA}$，求其它所有共线点间线段的比例关系，如$\frac{AF}{FB}, \frac{AO}{
OD}GD}$等。
- 引理：上图中，任取一点
o,$O$, $\overrightarrow{oO}OG}$可表示为$\overrightarrow{oO}OG}=\lambda_1 \overrightarrow{oA}OA}+\lambda_2 \overrightarrow{oB}OB}+\lambda_3 \overrightarrow{oC}OC}$，其中$\lambda_1+\lambda_2+\lambda_3=1$. -
在上述引理中，取
o点$O$点为D点$D$点，考虑共线关系，可得$\lambda_2 \overrightarrow{DB}+\lambda_3 \overrightarrow{DC}=\vec{0}$, $\overrightarrow{DO}DG}=\lambda_1 \overrightarrow{DA}$,可得$\frac{AO}AG}{OD}GD}=\frac{1-\lambda_1}{\lambda_1}$取
o为E点$O$为$E$点，可得$\lambda_1 \overrightarrow{EA}+\lambda_3 \overrightarrow{EC}=\vec{0}$，$\overrightarrow{EO}EG}=\lambda_2 \overrightarrow{EB}$取
o为F点$O$为$F$点，可得类似关系。由引理知未知参数有2个，若已知2比例关系，可求得其它所有共线比例关系。引理表明，在上图几何关系中，只有两共线比例关系是自由的。Menelaus定理和Ceva定理
可用来描写的正是在已知两比例关系，求的条件下确定所有其它所有共线的比例关系，该两定理可由上述引理概括证明。
解一
应用Ceva定理和Menelaus定理即可，比如，$B,解二
证明
O在DA上由$O$在$DA$上，$\overrightarrow{oO}OG}=v\overrightarrow{oD}OD}+(1-v)\overrightarrow{oA}OA}$.