梅内劳斯定理和塞瓦定理是什么？请附图说明

塞瓦定理
　　在△ABC内任取一点O，
　　直线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/FB)=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)/[(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）
　　塞瓦定理推论：
　　设E是△ABD内任意一点，
　　AE、BE、DE分别交对边于C、G、F，则 (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（塞瓦定理推论）

梅内劳斯定理（Menelaus’ theorem）的表述：如果一条直线和三角形ABC的三边或其延长线分别交于点P、Q、R，则有，

　　BP/PC·CQ/QA·AR/RB=-1

　　此定理得逆命题也成立。

　　梅内劳斯定理的证明

　　梅涅劳斯（Menelaus）定理是由古希腊数学家梅涅劳斯首先证明的。它指出：如果一条直线与△ABC的三边AB、BC、CA或其延长线交于F、D、E点，那么(AF/FB)×(BD/DC)×(CE/EA)=1。

　　证明：

　　过点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

　　它的逆定理也成立：若有三点F、D、E分别在的边AB、BC、CA或其延长线上，且满足(AF/FB)×(BD/DC)×(CE/EA)=1，则F、D、E三点共线。利用这个逆定理，可以判断三点共线。