第一部分【几个著名定理】1.梅涅劳斯(Menelauss)定理设ABC的边AB,BC,CA或其延长线分别交于点RQP,,,且有奇数个点在边的延长线上(如图)则P,Q,R三点共线的充要条件是:1RACRQCBQPBAP
塞瓦定理:1:RBARQACQPCBPCRBQAPABCABCABCRQP三线共点的充要条件是、、则上,且有偶数个点在延长线边上的点,、、的分别是、、设QRPABCQRPABC3
托勒密定理:定理:四边形ABCD中,有:AB·CD+AD·BCAC·BD并当且仅当四边形ABCD内接于圆时,等号成立
西姆松定理:P是ΔABC的外接圆⊙O上的任意一点,PE⊥AB,PD⊥BC,PF⊥CA,垂足为E、D、F,则E、D、F三点共线.西姆松的逆定理:从一点P向ABC的三边(或延长线)作垂线,若其垂足L,M,N在同一直线上,则点P在ABC的外接圆上
例1.以△ABC的底边BC为直径作半圆,分别与AB、AC交于点D和E,分别过D、E作BC的垂线,垂足依次为F、G,线段DG和EF交于点M,求证:AM⊥BC(IMO-37国家队选拔题)MABC证法一:设直线AM与BC交于H,连结BE,CD,则知∠BEC=∠BDC=090,直线FME与△ACH相截,直线GMD与△ABH相截,由梅氏定理得:1EACEFCHFMHAM,1DABDGBHGMHAM两式相除得DABDBGAECECFHGFH在Rt△DBC与Rt△EBC中,有FCBCCD2,BGBCBE2即22BECDBGCF,代入上式得ADBDCEAEBECDHGFH22又ABE∽ACD,有BECDAEAD代入上式得CEBDBECDHGFH=EBCDBCSS=MGDMEGDF,从而MH//DF,而DF⊥BC,则MH⊥BC,故AM⊥BCBCADEFGMH证法