四边形 ABCD 内接于 ⊙O,对边 AB,DC 延长交于 P,AD,BC 延长交于 Q,过点 Q 作 ⊙O 的两条切线,切点分别为 E,F.求证:P,E,F 共线.
解法一
连接 PQ,并且在 PQ 上取一点 M,使得 B,C,M,P 四点共圆,如图.
根据圆幂定理,有QE2=QM⋅QP=QC⋅QB,
并且 ∠PMC=∠CBA=∠PDQ,所以 C,D,Q,M 四点共圆,从而PM⋅PQ=PC⋅PD,
进而PQ2=PM⋅PQ+QM⋅PQ=QC⋅QB+PC⋅PD.
连接 PF,设 PF 与圆的另一交点为 E′,作 QG⊥PF,垂足为 G,则PD⋅PC=PE′⋅PF,QF2=QC⋅QB,
所以PE′⋅PF+QF2=PQ2⟺PE′⋅PF=PQ2−QE2.
又因为PQ2−QF2=PG2−GF2=(PG−GF)(PG+GF)=PF(PG−GF),
从而PG−GF=PE′=PG−GE′,
从而 GF=GE′,故 E′ 与 E 重合,P,E,F 三点共线.
解法二
设过 A,D 的切线相交于 R,过 B,C 的切线相交于 S,AC,BD 相交于 T,则 R 为 AD 的极点,S 为 BC 的极点.由于 AD 过点 Q,BC 过点 Q,所以 Q 的极线 EF 过点 R,S.在退化六边形 AACDDB 中,由 帕斯卡(Pasacal)定理,P,R,T 三点共线;类似的在 ACCDBB 中,P,S,T 三点共线.所以 P,R,S,T 四点共线,即 P 在直线 EF 上,命题得证.