求证:梅涅劳斯(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 。
证:过ABC三点向三边引垂线AA'BB'CC', 所以AD:DB=AA':BB',BE:EC=BB':CC',CF:FA=CC':AA' 所以(AF/FB)×(BD/DC)×(CE/EA)=1
勾股定理
如在直角三角形中,二直角边的平方等于斜边的平方。
梅涅劳斯还不够好,去证塞瓦定理