求一篇带有数学公式的文章（最好是高中或者大学的数学公式初中的也行有数学公式就行了！急！）
梅涅劳斯梅涅劳斯（Menelaus）定理是由古希腊数学家梅涅劳斯首先证明的。它指出：如果一条直线与△ABC的三边AB、BC、CA或其延长线交于F、D、E点，那么AFFB×BDDC×CEEA=1。 证明： 过点A作AG‖BC交DF
梅涅劳斯梅涅劳斯（Menelaus）定理是由古希腊数学家梅涅劳斯首先证明的。它指出：如果一条直线与△ABC的三边AB、BC、CA或其延长线交于F、D、E点，那么AFFB×BDDC×CEEA=1。 证明： 过点A作AG‖BC交DF
