梅涅劳斯(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)=1 。
证明定理
过点A作AG∥BC交DF的延长线于G,则AF/FB=AG/BD , CE/EA=DC/AG 。 三式相乘得:(AF/FB)×(BD/DC)×(CE/EA)=(AG/BD)×(BD/DC)×(DC/AG)=1 。
定义理论:
使用梅涅劳斯定理可以进行直线形中线段长度比例的计算,其逆定理还可以用来解决三点共线、三线共点等问题的判定方法,是平面几何学以及射影几何学中的一项基本定理,具有重要的作用 。 梅涅劳斯定理的对偶定理是塞瓦定理 。
【梅涅劳斯定理是什么?】它的逆定理也成立:若有三点F、D、E分别在三角形的边AB、BC、CA或其延长线上,且满足AF/FB×BD/DC×CE/EA=1,则F、D、E三点共线 。 利用这个逆定理,可以判断三点共线 。