MathLabs

第2题

设 ABCABC 是外心为 OO 的三角形。点 PP、QQ 分别是边 CACA、ABAB 上的内点。设 KK、LL、MM 分别是线段 BPBP、CQCQ、PQPQ 的中点,设 Γ\Gamma 是过 KK、LL、MM 的圆。已知直线 PQPQ 与圆 Γ\Gamma 相切,证明 OP=OQOP = OQ。
第 4/4 步:用幂的定理完成证明
通俗地说

Q、P 分别在外接圆的弦 AB、CA 上,故它们关于外接圆的幂恰好等于刚才求出的乘积。

OA2−OQ2=AQ⋅QB=AP⋅PC=OA2−OP2  ⟹  OP=OQOA^2-OQ^2=AQ\cdot QB=AP\cdot PC=OA^2-OP^2 \implies OP=OQ
详细分析

由于 QQ 在三角形 ABCABC 外接圆(圆心 OO,半径 OAOA)的弦 ABAB 上,QQ 的幂给出 AQ⋅QB=OA2−OQ2AQ\cdot QB=OA^2-OQ^2。由于 PP 在弦 CACA 上,同理 AP⋅PC=OA2−OP2AP\cdot PC=OA^2-OP^2。第3步已证 AQ⋅QB=AP⋅PCAQ\cdot QB=AP\cdot PC,故 OA2−OQ2=OA2−OP2OA^2-OQ^2=OA^2-OP^2,从而 OP2=OQ2OP^2=OQ^2,即 OP=OQOP=OQ。■\blacksquare