几何定理选集.docVIP

第八章 几何证明 §8.1 共线点 定义8.1.1：同在一条直线上的若干点叫做共线点，或称这些点共线。 一、证题术1：证明A、B、C三点共线的基本方法是：适当选择一条通过A点的直线PAQ，连接AB、AC，那么： ①当B、C在A的异侧时，证明∠BAQ =∠PAC、或∠PAB +∠PAC = 180o； ②当B、C在A的同侧时，证明∠PAB =∠PAC。 例1（西姆松线）：证明三角形外接圆上任意一点在三边所在直线上的射影共线。 证明：如图所示：点P是三角形ABC的外接圆圆周上任意一点,不失一般性，不妨设P在劣弧内，过P作PE⊥AB，PF⊥BC，PG⊥CA，连接EF，FG，那么P、B、E、F四点共圆，P、G、C、F四点共圆，P、G、A、E也共圆。 由于∠BFE =∠BPE =∠BPC－∠EPC =∠BPC－(∠EPG－∠CPG)= ∠BPC－∠EPG +∠CFG 而∠BPC与∠A互补,∠EPG与∠A也互补，所以∠BPC =∠EPG 于是∠BFE =∠CFG，而∠EFP +∠PFC =∠EFB + 90o +90o 所以E、G两点在直线BC异侧，故∠BFE 与∠CFG是对顶角，即E、F、G三点共线。 这条直线通常叫做西姆松线（实际应该叫瓦里斯线，因为是瓦里斯在1797年首先发现的）。 二、证题术2：证明点共线，可以借助某些特殊点线的唯一性。 例2（欧拉线）：证明三角形的外心、重心、垂心