摘自 《高中数学竞赛解题策略·几何分册》圆中的极点极线, 全文插图请见 链接
引理1. 若凸四边形 A B C D ABCD ABCD 是 ⨀ O \bigodot O ⨀O 的一个内接四边形, 边 A B AB AB 与 C D CD CD 所在直线交于 P P P, 边 B C BC BC 与 A D AD AD 所在直线交于 Q Q Q, A B C D ABCD ABCD 对角线交点为 E E E, 则 P P P 关于 ⨀ O \bigodot O ⨀O 的极线过 E E E 和 Q Q Q, Q Q Q 关于 ⨀ O \bigodot O ⨀O 的极线过 E E E 和 P P P; P Q PQ PQ 为 E E E 的极线; E E E 是 △ O P Q \triangle OPQ △OPQ 的垂心. P Q 2 PQ^{2} PQ2 等于点 P P P, Q Q Q 的圆幂之和.
证明: (1) 设过点
Q
Q
Q 的
⨀
O
\bigodot O
⨀O 的两条切线的切点为
Q
1
,
Q
2
Q_{1}, Q_{2}
Q1,Q2 (
Q
1
Q_1
Q1 更靠近
A
C
AC
AC), 接下来证明
Q
1
,
Q
2
Q_{1}, Q_{2}
Q1,Q2 经过
E
E
E. 分别设
A
D
AD
AD,
B
C
BC
BC 分别与
Q
1
Q
2
Q_{1}Q_{2}
Q1Q2 交于
E
1
,
E
2
E_{1}, E_{2}
E1,E2,
Q
1
E
1
/
Q
2
E
1
=
S
△
Q
1
A
D
/
S
△
Q
2
A
D
=
(
Q
1
A
⋅
Q
1
D
)
/
(
Q
2
A
⋅
Q
2
D
)
Q_{1}E_{1}/Q_{2}E_{1}=S_{\triangle Q_{1}AD}/S_{\triangle Q_{2}AD}=(Q_{1}A \cdot Q_{1}D)/(Q_{2}A \cdot Q_{2}D)
Q1E1/Q2E1=S△Q1AD/S△Q2AD=(Q1A⋅Q1D)/(Q2A⋅Q2D), 同理,
Q
1
E
2
/
Q
2
E
2
=
(
Q
1
B
⋅
Q
1
C
)
/
(
Q
2
B
⋅
Q
2
C
)
Q_{1}E_{2}/Q_{2}E_{2}=(Q_{1}B \cdot Q_{1}C)/(Q_{2}B \cdot Q_{2}C)
Q1E2/Q2E2=(Q1B⋅Q1C)/(Q2B⋅Q2C). 由
△
Q
1
A
Q
∼
△
C
Q
1
Q
\triangle Q_1AQ \sim \triangle CQ_1Q
△Q1AQ∼△CQ1Q 得,
Q
1
C
/
Q
1
Q
=
Q
1
A
/
Q
A
Q_{1}C/Q_{1}Q=Q_{1}A/QA
Q1C/Q1Q=Q1A/QA,
Q
1
D
/
Q
1
Q
=
Q
1
B
/
B
Q
Q_{1}D/Q_{1}Q=Q_{1}B/BQ
Q1D/Q1Q=Q1B/BQ, 同理,
Q
2
C
/
Q
2
Q
=
Q
2
A
/
Q
A
Q_{2}C/Q_{2}Q=Q_{2}A/QA
Q2C/Q2Q=Q2A/QA,
Q
2
D
/
Q
2
Q
=
Q
2
B
/
B
Q
Q_{2}D/Q_{2}Q=Q_{2}B/BQ
Q2D/Q2Q=Q2B/BQ. 显然
Q
1
Q
=
Q
2
Q
Q_{1}Q=Q_{2}Q
Q1Q=Q2Q, 因此
Q
1
D
/
Q
2
C
=
Q
1
B
⋅
Q
A
B
Q
⋅
Q
1
A
Q_{1}D/Q_{2}C=\frac{Q_{1}B\cdot QA}{BQ\cdot Q_{1}A}
Q1D/Q2C=BQ⋅Q1AQ1B⋅QA,
Q
2
C
/
Q
2
D
=
Q
2
A
⋅
B
Q
Q
A
⋅
Q
2
B
Q_{2}C/Q_{2}D=\frac{Q_{2}A\cdot BQ}{QA\cdot Q_{2}B}
Q2C/Q2D=QA⋅Q2BQ2A⋅BQ
(
Q
1
E
1
/
Q
2
E
1
)
/
(
Q
1
E
2
/
Q
2
E
2
)
=
(
Q
1
A
⋅
Q
1
D
)
(
Q
2
B
⋅
Q
2
C
)
(
Q
2
A
⋅
Q
2
D
)
(
Q
1
B
⋅
Q
1
C
)
=
Q
1
B
⋅
Q
A
B
Q
⋅
Q
1
A
Q
2
A
⋅
B
Q
Q
A
⋅
Q
2
B
Q
1
A
⋅
Q
2
B
Q
2
A
⋅
Q
1
B
=
1
(Q_{1}E_{1}/Q_{2}E_{1})/(Q_{1}E_{2}/Q_{2}E_{2})=\frac{(Q_{1}A \cdot Q_{1}D)(Q_{2}B \cdot Q_{2}C)}{(Q_{2}A \cdot Q_{2}D)(Q_{1}B \cdot Q_{1}C)}\\=\frac{Q_{1}B\cdot QA}{BQ\cdot Q_{1}A} \frac{Q_{2}A\cdot BQ}{QA\cdot Q_{2}B}\frac{Q_{1}A\cdot Q_{2}B}{Q_{2}A\cdot Q_{1}B}=1
(Q1E1/Q2E1)/(Q1E2/Q2E2)=(Q2A⋅Q2D)(Q1B⋅Q1C)(Q1A⋅Q1D)(Q2B⋅Q2C)=BQ⋅Q1AQ1B⋅QAQA⋅Q2BQ2A⋅BQQ2A⋅Q1BQ1A⋅Q2B=1
证毕. 同理可证: 设
P
P
P 对应的两个切点为
P
1
,
P
2
P_{1}, P_{2}
P1,P2, 证明
P
1
,
P
2
P_{1}, P_{2}
P1,P2 经过
E
E
E.
(2) 由 (1) 得, P P P, Q Q Q 在 E E E 的极线上, 因此 P Q PQ PQ 是 E E E 的极线, O E ⊥ P Q OE\bot PQ OE⊥PQ.
(3) 证明 P E ⊥ O Q PE\bot OQ PE⊥OQ: 由定差幂线定理可知, 即证: P O 2 − P Q 2 = E O 2 − E Q 2 PO^{2}-PQ^{2}=EO^{2}-EQ^{2} PO2−PQ2=EO2−EQ2. 延长 O E OE OE 交 P Q PQ PQ 于 O ′ O' O′, 由定差幂线定理可知 E O 2 − E Q 2 = O Q 1 2 − Q Q 1 2 = r 2 − Q C ⋅ Q A EO^{2}-EQ^{2}=OQ_{1}^{2}-QQ_{1}^{2}=r^{2}-QC\cdot QA EO2−EQ2=OQ12−QQ12=r2−QC⋅QA ( r r r 为 ⨀ O \bigodot O ⨀O 的半径), 由密克尔点的性质可知, O ′ O' O′ 是完全四边形 B A P C Q D BAPCQD BAPCQD 的密克尔点, 因此 A C P O ′ ACPO' ACPO′ 共圆, D C Q O ′ DCQO' DCQO′ 共圆, 因此 Q C ⋅ Q A = Q O ′ ⋅ Q QC\cdot QA=QO'\cdot Q QC⋅QA=QO′⋅Q. P O 2 − P Q 2 = P O ′ ⋅ P Q PO^{2}-PQ^{2}=PO'\cdot PQ PO2−PQ2=PO′⋅PQ. P O 2 − P Q 2 − ( E O 2 − E Q 2 ) = P O ′ ⋅ P Q + Q O ′ ⋅ P Q − P Q 2 = 0 PO^{2}-PQ^{2}-(EO^{2}-EQ^{2})=PO' \cdot PQ+QO'\cdot PQ-PQ^{2}=0 PO2−PQ2−(EO2−EQ2)=PO′⋅PQ+QO′⋅PQ−PQ2=0. 同理可证, Q E ⊥ O P QE\bot OP QE⊥OP, 显然可得 E E E 为 △ O P Q \triangle OPQ △OPQ 的垂心.
(4) 由 P E ⊥ O Q PE\bot OQ PE⊥OQ, E Q ⊥ O P EQ\bot OP EQ⊥OP, 显然, P P P 在 Q 1 Q 2 Q_{1}Q_{2} Q1Q2 上, Q Q Q 在 P 1 P 2 P_{1}P_{2} P1P2 上.
(5) 略.
综上, 原命题得证.
性质1. 对于 ⨀ O \bigodot O ⨀O, 若点 B B B 在点 A A A 的极线上, 则点 A A A 在点 B B B 的极线上.
证明: 过点 A A A 作 O B OB OB 的垂线交 O B OB OB 于 B ′ B' B′, O A OA OA 交 A A A 点的极线于点 A ′ A' A′, 显然, A , A ′ , B , B ′ A, A', B, B' A,A′,B,B′ 四点共圆, 因此 O A ⋅ O A ′ = O B ′ ⋅ O B = r 2 OA \cdot OA'=OB' \cdot OB=r^{2} OA⋅OA′=OB′⋅OB=r2 ( r r r 为 ⨀ O \bigodot O ⨀O 半径 ), 证毕.
称 A A A, B B B 关于 ⨀ O \bigodot O ⨀O 共轭, 两个点互为对方关于 ⨀ O \bigodot O ⨀O 的对应点.
推论1. 若 P P P, Q Q Q 两点的极线交于点 A A A, 则 A A A 的极线是 P Q PQ PQ.
推论2. 共线的若干个点的极线共点, 共点的若干直线的极点共线.
此推论提供了证明点共线和线共点的一种有力工具. 当有圆出现时, 可以考虑用这个结论.
△ A B C \triangle ABC △ABC 内心为 I I I. 设 K 1 K_1 K1 满足 A K 1 ⊥ B C AK_1 \perp BC AK1⊥BC 且以 K 1 K_1 K1 为圆心 K 1 A K_1A K1A 为半径的圆内切于 △ A B C \triangle ABC △ABC 的内切圆, 切点为 A 1 A_1 A1. 以同样的方式定义 B 1 B_1 B1, C 1 C_1 C1. 求证:
a) A A 1 AA_1 AA1, B B 1 BB_1 BB1, C C 1 CC_1 CC1 交于一点, 记为 P P P.
b) 记 ω 1 \omega_1 ω1, ω 2 \omega_2 ω2, ω 3 \omega_3 ω3 分别为 △ A B C \triangle ABC △ABC 对应于点 A A A, B B B, C C C 的旁切圆. 圆 γ 1 \gamma_1 γ1, γ 2 \gamma_2 γ2, γ 3 \gamma_3 γ3 分别是 ω 1 \omega_1 ω1, ω 2 \omega_2 ω2, ω 3 \omega_3 ω3 关于 B C BC BC, C A CA CA, A B AB AB 中点的反射. 则 P P P 是 γ 1 \gamma_1 γ1, γ 2 \gamma_2 γ2, γ 3 \gamma_3 γ3 的根心. (2016 沙特BMO国家队选拔(Level 4+, Day3))
性质2. A A A, B B B 关于 ⨀ O \bigodot O ⨀O 共轭的充要条件是以 A B AB AB 为直径的圆与 ⨀ O \bigodot O ⨀O 正交.
证明: 如图, O O ′ 2 − A O ′ 2 = O A ⋅ O A ′ = r 2 OO'^{2}-AO'^{2}=OA\cdot OA'=r^{2} OO′2−AO′2=OA⋅OA′=r2, ( r r r 为 ⨀ O \bigodot O ⨀O 半径), 证毕.
由此得出证明两圆正交的一种方法: 在一圆上选取一点, 证明它的对径点对另一圆的极线经过它.
性质3. 设 P P P, Q Q Q 调和分割线段 A B AB AB, ⨀ O \bigodot O ⨀O 是过 P P P, Q Q Q 两点的任意圆, 则 A A A, B B B 关于 ⨀ O \bigodot O ⨀O 共轭.
证明: 如图, 由性质2, 即证以圆心的圆与 ⨀ O \bigodot O ⨀O 正交, 即证 O M 2 − O P 2 = ( 1 2 A B ) 2 OM^{2}-OP^{2}=(\frac{1}{2}AB)^{2} OM2−OP2=(21AB)2, O M 2 − O P 2 = M P ⋅ M Q OM^{2}-OP^{2}=MP\cdot MQ OM2−OP2=MP⋅MQ, 由调和分割的性质可知, M P ⋅ M Q = ( 1 2 A B ) 2 MP\cdot MQ=(\frac{1}{2}AB)^{2} MP⋅MQ=(21AB)2, 证毕.
性质4. (1) 过点 P P P 的一条割线与 ⨀ O \bigodot O ⨀O 交于 A A A, B B B 两点, 设割线与点 P P P 关于 ⨀ O \bigodot O ⨀O 的极线交于点 Q Q Q, 则 P P P, Q Q Q 调和分割 A B AB AB.
证明: 当点 P P P 在圆外时:
Q A Q M = A N B M \frac{QA}{QM}=\frac{AN}{BM} QMQA=BMAN, Q B Q N = B M A N \frac{QB}{QN}=\frac{BM}{AN} QNQB=ANBM, 相除, 得
Q
A
Q
B
Q
N
Q
M
=
A
N
2
B
M
2
\frac{QA}{QB}\frac{QN}{QM}=\frac{AN^{2}}{BM^{2}}
QBQAQMQN=BM2AN2
B
M
A
M
=
P
M
A
P
\frac{BM}{AM}=\frac{PM}{AP}
AMBM=APPM,
A
N
B
N
=
A
P
P
N
\frac{AN}{BN}=\frac{AP}{PN}
BNAN=PNAP, 得
代入得:
Q A Q B Q N Q M = B N 2 A P 4 P M 2 P N 2 A M 2 \frac{QA}{QB}\frac{QN}{QM}=\frac{BN^{2}AP^{4}}{PM^{2}PN^{2}AM^{2}} QBQAQMQN=PM2PN2AM2BN2AP4
由 P M 2 = P N 2 = P A ⋅ P B PM^{2}=PN^{2}=PA\cdot PB PM2=PN2=PA⋅PB, P A ⋅ P B = P M 2 PA\cdot PB=PM^{2} PA⋅PB=PM2, 得
Q A Q B Q N Q M = A P 2 B P 2 B N 2 A M 2 \frac{QA}{QB}\frac{QN}{QM}=\frac{AP^{2}}{BP^{2}}\frac{BN^{2}}{AM^{2}} QBQAQMQN=BP2AP2AM2BN2
其中由 △ B Q N ∼ △ M Q A \triangle BQN \sim \triangle MQA △BQN∼△MQA 得 B N 2 A M 2 = Q N Q A Q B Q M \frac{BN^{2}}{AM^{2}}=\frac{QN}{QA}\frac{QB}{QM} AM2BN2=QAQNQMQB, 进而得到 Q A 2 Q B 2 = A P 2 B P 2 \frac{QA^{2}}{QB^{2}}=\frac{AP^{2}}{BP^{2}} QB2QA2=BP2AP2, 证毕.
当点 P P P 在圆内时:
如图, 显然, P P P 在 Q Q Q 的极线上, 由 (1) 的结论可以立刻得出 Q A Q B = A P B P \frac{QA}{QB}=\frac{AP}{BP} QBQA=BPAP, 证毕.
(2) 设 P P P 为 ⨀ O \bigodot O ⨀O 外一点, Q Q Q 为 ⨀ O \bigodot O ⨀O 内一点, P P P, Q Q Q 两点互为关于 ⨀ O \bigodot O ⨀O 的共轭点, 且 P P P, Q Q Q, O O O 三点共线. l l l 为过 Q Q Q 的一条直线, 交 ⨀ O \bigodot O ⨀O 于 A A A, B B B, 则: 点 Q Q Q 的圆幂为 O Q ⋅ P Q OQ \cdot PQ OQ⋅PQ; A A A, P P P, B B B, O O O 四点共圆; ∠ A P O = ∠ B P O \angle APO=\angle BPO ∠APO=∠BPO.
证明: 作出 P P P 的极线, 交 ⨀ O \bigodot O ⨀O 于 M M M, N N N. 由定义可知, M M M, N N N 为切点, ∠ O M P = ∠ O N P = π / 2 \angle OMP=\angle ONP=\pi/2 ∠OMP=∠ONP=π/2. P P P 的极线垂直于 O P OP OP 且经过点 Q Q Q, 由射影定理可知 M Q 2 = O Q ⋅ P Q MQ^2=OQ \cdot PQ MQ2=OQ⋅PQ, 由此可知, 点 Q Q Q 的圆幂为 O Q ⋅ P Q OQ \cdot PQ OQ⋅PQ. Q A ⋅ Q B = O Q ⋅ P Q QA \cdot QB=OQ \cdot PQ QA⋅QB=OQ⋅PQ, 因此 A A A, P P P, B B B, O O O 四点共圆. A O = B O AO=BO AO=BO, 因此 ∠ A P O = ∠ B P O \angle APO=\angle BPO ∠APO=∠BPO.
这条定理给出了极线与调和点列的关系. 谨记"极线+割线出调和点列".
例. 求证: 设 △ A B C \triangle ABC △ABC 的内切圆分别与 A C AC AC, A B AB AB 切于点 E E E, F F F. E F EF EF 交 B C BC BC 于点 T T T. 过点 E E E, F F F 分别作 △ A E F \triangle AEF △AEF 的外接圆的切线, 交于点 S S S. 求证: △ B I S \triangle BIS △BIS 的九点圆 ω \omega ω 与以 S T ST ST 为直径的圆正交. (2015台湾数学奥林匹克选训营)
证明: 根据性质2, 只需证明: S S S, T T T 关于 ω \omega ω 共轭. 即 S S S 在 T T T 关于 ω \omega ω 的极线上.
注意到 M D MD MD, X Y XY XY 为过 T T T 的 ω \omega ω 的割线, 设 T T T 对于 ω \omega ω 的极线分别交 X Y XY XY, M D MD MD 于 K K K, L L L, 根据本性质易知 K K K, L L L 分别与 T T T 调和分割 X Y XY XY, M D MD MD.
显然, 只需证明直线 K L KL KL 经过 S S S, 即 K K K, L L L, S S S 共线. 选取三条过点 K K K 的直线 K M KM KM, K D KD KD, K T KT KT, 下面证明 K M KM KM, K L KL KL, K D KD KD, K T KT KT 是调和线束且 K M KM KM, K S KS KS, K D KD KD, K T KT KT 也是调和线束.
L L L, D D D 调和分割 M D MD MD, 所以 K M KM KM, K L KL KL, K D KD KD, K T KT KT 是调和线束.
延长 B X BX BX, C Y CY CY 交于点 P P P. 设 B C BC BC 边上的切点为 D D D.
由三角形内切圆的性质可知设直线 C I CI CI, 直线 B I BI BI 与直线 E F EF EF 的交点分别为 X X X 和 Y Y Y, 则 B X ⊥ C I BX \bot CI BX⊥CI, C Y ⊥ B I CY \bot BI CY⊥BI.
显然 ω \omega ω 也经过 X X X, Y Y Y, 且 I I I 为 △ P X Y \triangle PXY △PXY 的垂心, 进而 P P P, I I I, D D D 共线.
由三角形内切圆的性质可知 D D D, T T T 调和分割 B B B, C C C. 所以设 P B PB PB, P I PI PI, P C PC PC, P T PT PT 构成调和线束, P B PB PB, P K PK PK, P C PC PC, P T PT PT 构成调和线束, 所以 P K PK PK 和 P D PD PD 重合. K K K 在 I D ID ID 上.
由三角形内切圆的性质可知 A A A, K K K, M M M 共线.
显然, E F EF EF 为 S S S 关于 △ A E F \triangle AEF △AEF 的外接圆的极线. 由本性质可知 K A KA KA, K S KS KS, K D KD KD, K T KT KT 构成调和线束, 即 K M KM KM, K S KS KS, K D KD KD, K T KT KT 也是调和线束.
证毕.
性质5. 过点 P P P 的一条割线与 ⨀ O \bigodot O ⨀O 交于 A A A, B B B 两点, 另一条割线与 ⨀ O \bigodot O ⨀O 交于 C C C, D D D 两点, A C AC AC 和 B D BD BD 相交于点 Q Q Q, A D AD AD 和 B C BC BC 相交于点 R R R, 则 Q Q Q, R R R 都在 P P P 关于 ⨀ O \bigodot O ⨀O 的极线上.
证明: (1) 点 P P P 在圆外时, 由引理1可立刻得出. (2) 点 P P P 在圆内时, 如图, 显然, P P P 在 Q Q Q 和 R R R 的极线上, 因此 Q Q Q, R R R 都在 P P P 的极线上.
从性质5还可以得出一个小结论, 只有当引出的两条割线关于 P O PO PO 对称时, Q Q Q 或 R R R 有一个是 P P P 的共轭点.
定义. 如果一个三角形的顶点是令一个三角形三边所在直线关于同一个圆的极点, 则称两个三角形共轭. 如果一个三角形每个定点都是对边所在直线关于同一个圆的极点, 则称该三角形是自共轭三角形 (或极点三角形).
性质6. 设
A
A
A,
B
B
B,
C
C
C,
D
D
D 是同一个圆上的四个点, 若直线
A
B
AB
AB,
C
D
CD
CD 相交于点
P
P
P, 直线
B
C
BC
BC,
A
D
AD
AD 相交于点
Q
Q
Q, 对角线
A
C
AC
AC 与
B
D
BD
BD 相交于点
R
R
R, 则
△
P
Q
R
\triangle PQR
△PQR 是一个自共轭三角形.
证明: 由引理1可立刻得出.
性质7 (极点公式). 凸四边形
A
B
C
D
ABCD
ABCD 内接于
⨀
O
\bigodot O
⨀O, 延长
A
B
AB
AB 和
D
C
DC
DC 相交于点
P
P
P, 延长
B
C
BC
BC 和
A
D
AD
AD 相交于点
Q
Q
Q, 对角线
A
C
AC
AC 与
B
D
BD
BD 相交于点
R
R
R, 设
⨀
O
\bigodot O
⨀O 的半径为
R
R
R, 则
(
1
)
R
P
2
=
O
R
2
+
O
P
2
−
2
R
2
(
2
)
R
Q
2
=
O
R
2
+
O
Q
2
−
2
R
2
(
3
)
P
Q
2
=
O
P
2
+
O
Q
2
−
2
R
2
(1)\ RP^{2} = OR^{2} + OP^{2} -2R^{2} \\ (2)\ RQ^{2} = OR^{2} + OQ^{2} - 2R^{2}\\ (3)\ PQ^{2} = OP^{2} + OQ^{2} - 2R^{2}
(1) RP2=OR2+OP2−2R2(2) RQ2=OR2+OQ2−2R2(3) PQ2=OP2+OQ2−2R2
证明: 先证明 (1). 如图, 由引理1可得
P
R
2
=
P
O
′
2
+
R
O
′
2
PR^{2}=PO'^{2}+RO'^{2}
PR2=PO′2+RO′2,
R
2
=
O
R
⋅
O
O
′
R^{2}=OR \cdot OO'
R2=OR⋅OO′,
2
R
2
+
R
P
2
−
O
R
2
=
O
R
⋅
O
O
′
+
O
R
⋅
R
O
′
+
R
O
′
2
+
P
O
′
2
=
O
O
′
2
+
P
O
′
2
=
O
P
2
2R^{2}+RP^{2}-OR^{2}=OR \cdot OO'+OR \cdot RO'+RO'^{2}+PO'^{2}=OO'^{2}+PO'^{2}=OP^{2}
2R2+RP2−OR2=OR⋅OO′+OR⋅RO′+RO′2+PO′2=OO′2+PO′2=OP2
(2) 的证明同理; 证明 (3). 由引理1的推论可立刻得到 (
P
Q
2
PQ^{2}
PQ2 等于
P
P
P,
Q
Q
Q 两点的圆幂之和).
推论. O O O 是自共轭三角形 (极点三角形) P Q R PQR PQR 的垂心.
证明: 由引理1可立刻得出.
性质8. 设有过不在圆上的一点 (异于圆心) P P P 的3条直线依次交圆于 A A A, B B B, C C C, D D D, E E E, F F F. 直线 E F EF EF 与 P P P 关于圆的极线交于点 Q Q Q, 直线 A C AC AC 与 B D BD BD 分别交 E F EF EF 于 G , H G,H G,H, A D AD AD 与 B C BC BC 分别交 E F EF EF 于 G ′ G' G′, H ′ H' H′. 求证: P P P, Q Q Q 调和分割 G H GH GH 和 G ′ H ′ G'H' G′H′.
推论 (Candy Theorem). 如图, P P P 是 ⨀ O \bigodot O ⨀O 内的一点, A B AB AB, C D CD CD 是通过 P P P 的两条弦 (假设 P E > P F PE>PF PE>PF), 连结 A C AC AC, B D BD BD, E F EF EF 是一条通过点 P P P 且与线段 A C AC AC, B D BD BD 相交的弦, 交点分别为 E ′ E' E′, F ′ F' F′. 求证: 1 P F − 1 P E = 1 P F ′ − 1 P E ′ \frac{1}{PF}-\frac{1}{PE}=\frac{1}{PF'}-\frac{1}{PE'} PF1−PE1=PF′1−PE′1.
证明: 当 O P OP OP 不垂直于 E F EF EF 时: 如图, 设点 P P P 的极线交 E F EF EF 于点 Q Q Q, 由性质8 ( A B AB AB, C D CD CD, E F EF EF 是过 P P P 的三条割线 A D AD AD 和 B C BC BC 分别交 E F EF EF 于 E ′ E' E′, F ′ F' F′ ), 因此 E ′ E' E′, F ′ F' F′ 调和分割 P Q PQ PQ, 又由性质 4 得, E E E, F F F 调和分割 P Q PQ PQ, 由调和分割的性质可知, 1 P E − 1 P F = 1 P E ′ − 1 P F ′ = 2 P Q \frac{1}{PE}-\frac{1}{PF}=\frac{1}{PE'}-\frac{1}{PF'}=\frac{2}{PQ} PE1−PF1=PE′1−PF′1=PQ2. 当 O P ⊥ E F OP\bot EF OP⊥EF 时, 可视为交点 Q Q Q 在无穷远处, Q E = Q F = ∞ QE=QF=\infty QE=QF=∞ 显然 P E = P F PE=PF PE=PF, P E ′ = P F ′ PE'=PF' PE′=PF′ 上式成立.
例1. 四边形
A
B
C
D
ABCD
ABCD 内接于
⨀
O
\bigodot O
⨀O, 直线
A
B
AB
AB 和
C
D
CD
CD 相交于
P
P
P, 直线
A
D
AD
AD 与
B
C
BC
BC 相交于
Q
Q
Q, 过
Q
Q
Q 作
⨀
O
\bigodot O
⨀O 的两条切线, 切点为
E
E
E,
F
F
F. 求证:
P
P
P,
E
E
E,
F
F
F 三点共线.
证明: 略.
例2. 设
△
A
B
C
\triangle ABC
△ABC 的内切圆
I
I
I 与
B
C
BC
BC,
A
C
AC
AC,
A
B
AB
AB 分别切于
D
D
D,
E
E
E,
F
F
F. 直线
D
E
DE
DE 与
A
B
AB
AB 交于
P
P
P, 直线
D
E
DE
DE 与
A
B
AB
AB 交于
Q
Q
Q,
B
E
BE
BE 与
C
F
CF
CF 交于
J
J
J. 求证:
I
J
⊥
P
Q
IJ \bot PQ
IJ⊥PQ.
证明: 略.
例3. 设 △ A B C \triangle ABC △ABC 是一个等腰三角形, A B = A C AB = AC AB=AC, 假如 M M M 是 B C BC BC 的中点, O O O 是 A M AM AM 上的点, 使得 O B ⊥ A B OB \bot AB OB⊥AB, Q Q Q 是 B C BC BC 上不同于 B C BC BC 的任意一点, E E E 在 A B AB AB 上, F F F 在 A C AC AC 上, 使得 E E E, Q Q Q, F F F 是不同且共线的三个点. 求证: Q E = Q F QE=QF QE=QF 的必要条件是 O Q ⊥ E F OQ \bot EF OQ⊥EF, O Q ⊥ E F OQ \bot EF OQ⊥EF 当且仅当 Q E = Q F QE=QF QE=QF.
证明: 根据性质8, 若 Q E QE QE 不垂直于 E F EF EF, 设 Q Q Q 的极限交 E F EF EF 于 K K K, (当垂直时可视为 K K K 在无穷远), E E E, F F F 调和分割 Q K QK QK, Q E / Q F = K Q / K F QE/QF=KQ/KF QE/QF=KQ/KF, 显然 K Q / K F KQ/KF KQ/KF 当且仅当 O Q ⊥ E F OQ \bot EF OQ⊥EF, 因此 O Q ⊥ E F OQ \bot EF OQ⊥EF 当且仅当 Q E = Q F QE=QF QE=QF.
例4. 设 △ A B C \triangle ABC △ABC 的内切圆 Γ \Gamma Γ 切 B C BC BC 于点 D D D, D D ′ DD' DD′ 是 Γ \Gamma Γ 的直径, 过 D ′ D' D′ 作 Γ \Gamma Γ 的切线交 A D AD AD 于点 X X X, 过 X X X 作 Γ \Gamma Γ 的另一条切线, 切点为 N N N. 求证: △ B C N \triangle BCN △BCN 的外接圆与圆 Γ \Gamma Γ 切于 N N N.
例5. 证明双心四边形的两个圆心与其对角线的交点共线.
证明: 如图, 设 A B AB AB 与 C D CD CD 交于 M M M, B C BC BC 与 A D AD AD 交于 N N N ( M M M, N N N未画出), 由引理1得, O Q ⊥ M N OQ \bot MN OQ⊥MN, 下面证明 I Q ⊥ M N IQ \bot MN IQ⊥MN, 由牛顿定理, E G EG EG 与 F H FH FH 交于 Q Q Q, 且它们分别是 M M M, N N N 关于内圆的极线, 因此 M N MN MN 是 I I I 关于内圆的极线, I Q ⊥ M N IQ \bot MN IQ⊥MN.
例6. 设 D D D 是 △ A B C \triangle ABC △ABC 边 B C BC BC 上的一点, 满足 ∠ C A D = ∠ B C A \angle CAD=\angle BCA ∠CAD=∠BCA, ⨀ O \bigodot O ⨀O 经过 B D BD BD 且分别与 A B AB AB, A D AD AD 交于 E E E, F F F, B F BF BF 与 D E DE DE 相交于 G G G, M M M 是 A G AG AG 的中点. 求证: C M ⊥ A O CM \bot AO CM⊥AO.
证明: 如图, 延长
E
F
EF
EF 交直线
B
C
BC
BC 于
X
X
X, 延长
G
X
GX
GX 交
A
D
AD
AD 于
K
K
K,
A
C
AC
AC 于
Y
Y
Y. 由引理1可知,
X
G
⊥
A
O
XG \bot AO
XG⊥AO, 证明
X
G
/
/
C
M
XG // CM
XG//CM 即可, 由
M
M
M 是
A
G
AG
AG 的中点易证
X
G
/
/
C
M
XG // CM
XG//CM 等价于
C
Y
=
A
C
CY=AC
CY=AC. 易证
C
M
=
1
2
G
Y
CM=\frac{1}{2}GY
CM=21GY. 对
△
A
C
D
\triangle ACD
△ACD 和截线
Y
X
K
YXK
YXK 由梅涅劳斯定理,
A
Y
C
Y
=
D
X
C
X
A
K
D
K
\frac{AY}{CY}=\frac{DX}{CX}\frac{AK}{DK}
CYAY=CXDXDKAK
易证
∠
A
B
C
=
∠
D
F
X
=
∠
D
A
C
\angle ABC = \angle DFX = \angle DAC
∠ABC=∠DFX=∠DAC, 因此
X
F
/
/
A
C
XF//AC
XF//AC, 因此
D
X
C
X
=
D
F
A
F
\frac{DX}{CX}= \frac{DF}{AF}
CXDX=AFDF, 由性质4可知
A
A
A,
K
K
K 调和分割
D
F
DF
DF, 设
F
A
D
A
=
F
K
D
K
=
a
D
F
\frac{FA}{DA}=\frac{FK}{DK}=aDF
DAFA=DKFK=aDF,
A
F
A
F
+
1
=
a
1
−
a
\frac{AF}{AF+1}=\frac{a}{1-a}
AF+1AF=1−aa,
A
F
=
a
1
−
2
a
AF=\frac{a}{1-2a}
AF=1−2aa
A
Y
C
Y
=
D
F
A
F
A
K
D
K
=
D
A
−
A
F
A
F
A
F
+
K
F
D
F
−
K
F
=
(
1
−
a
a
−
1
)
(
1
1
−
2
a
+
1
)
(
1
a
−
1
)
=
2
\frac{AY}{CY}= \frac{DF}{AF}\frac{AK}{DK}= \frac{DA-AF}{AF}\frac{AF+KF}{DF-KF}=(\frac{1-a}{a}-1)\frac{(\frac{1}{1-2a}+1)}{(\frac{1}{a}-1)}=2
CYAY=AFDFDKAK=AFDA−AFDF−KFAF+KF=(a1−a−1)(a1−1)(1−2a1+1)=2
证毕.
例7. 已知一圆 O O O 和圆外一点 P P P, P P P 对应的两个切点记作 A A A, B B B, 从 P P P 引两条直线, 分别交圆于 C C C, D D D 与 E E E, F F F. 求证图中的6个三点共线关系.
证明: 证明点
M
M
M,
Q
Q
Q,
N
N
N 共线: 设
N
Q
NQ
NQ 分别与
A
E
AE
AE
B
C
BC
BC 交于
M
1
M_{1}
M1,
M
2
M_{2}
M2, 由性质8 (
Q
Q
Q 为公共点, 过
Q
Q
Q 的四条割线为
A
B
AB
AB,
C
F
CF
CF,
D
E
DE
DE,
N
Q
NQ
NQ), 设
N
Q
NQ
NQ 交
Q
Q
Q 的极线为
P
′
P'
P′, 对于割线
A
B
AB
AB,
D
E
DE
DE,
N
Q
NQ
NQ,
M
1
M_{1}
M1,
N
N
N 分别可以看作
A
E
AE
AE,
B
D
BD
BD 和
N
Q
NQ
NQ 的交点, 则
P
′
P'
P′,
M
1
M_{1}
M1,
Q
Q
Q,
N
N
N 和
P
′
P'
P′,
M
2
M_{2}
M2,
Q
Q
Q,
N
N
N 为调和点列, 显然
M
1
M_{1}
M1
M
2
M_{2}
M2 重合. 同理可证明点
M
M
M,
P
P
P,
N
N
N 共线.
其余证法类似.
练习1. 设 A A A, B B B, C C C, D D D 是同一个圆上的四个点. 求证: 如果在 A A A, B B B 两点的切线的交点在 C D CD CD 上, 则在 C C C, D D D 两点的切线的交点在 A B AB AB 上.
练习2. 过 ⨀ O \bigodot O ⨀O 内任意一点 M M M 作非直径的2条弦 A B AB AB, C D CD CD, 设在 A A A, B B B 两点的切线的交点为 P P P, 在 C C C, D D D 两点的切线的交点为 Q Q Q. 求证: O M ⊥ P Q OM \bot PQ OM⊥PQ.
练习3. 设 P P P, Q Q Q 是 ⨀ O \bigodot O ⨀O 外任意2点, 分别作切线 P A PA PA, P B PB PB Q C QC QC, Q D QD QD, 其中 A A A, B B B, C C C, D D D 为切点. P A PA PA 与 Q C QC QC 交于点 E E E, P B PB PB 与 Q D QD QD 交于点 F F F, 圆心 O O O 在直线 P Q PQ PQ 上的射影为 M M M. 求证: O M OM OM 平分 ∠ E M F \angle EMF ∠EMF.
练习4. (有改动) 设 P P P 是 ⨀ O \bigodot O ⨀O 外任意一点, 过点 P P P 作一条割线交 ⨀ O \bigodot O ⨀O 于 R R R, S S S, 其中 R R R 为离 P P P 较近的点, 且位于 P P P, Q Q Q 之间的劣弧上, 作 S M / / P R SM//PR SM//PR 交 ⨀ O \bigodot O ⨀O 于 M M M, 过 M M M 作 ⨀ O \bigodot O ⨀O 的切线交 A P AP AP 于 N N N. 求证: ∠ M R N = ∠ Q R S \angle MRN = \angle QRS ∠MRN=∠QRS.
练习5. 设 A A A, B B B, C C C, D D D 内接于圆 ⨀ O \bigodot O ⨀O, A B AB AB 与 C D CD CD 交于点 P P P, B C BC BC 与 A D AD AD 交于点 Q Q Q, 过点 A A A 作 A E / / P Q AE//PQ AE//PQ 交直线 B C BC BC 于点 E E E, A E AE AE 的中点为 M M M. 求证: O P ⊥ Q M OP \bot QM OP⊥QM.
练习6. 在 △ A B C \triangle ABC △ABC 中, A B > B C AB>BC AB>BC, 它的内切圆切 B C BC BC 于点 E E E, 连结 A E AE AE 交内切圆于点 D D D, 在线段 A E AE AE 上取异于 E E E 的一点 F F F, 使得 C E = C F CE=CF CE=CF, 连结 C F CF CF 并延长交 B D BD BD 于点 G G G. 求证: C F = F G CF = FG CF=FG.
练习7. ⨀ O \bigodot O ⨀O 外有一点 V V V, 过点 V V V 作半圆 O O O 切线 V T VT VT, V S VS VS, 切点分别为 T T T, S S S. 连结 T S TS TS 交 V O VO VO 于点 G G G, 过 G G G 作半圆 O O O 的割线交 O O O 于点 P P P, Q Q Q. 求证: V O VO VO 平分 ∠ P V Q \angle PVQ ∠PVQ.
练习8. 设 △ A B C \triangle ABC △ABC 的内切圆 I I I 与 B C BC BC, A C AC AC, A B AB AB 分别切于 D D D, E E E, F F F, 连结 A D AD AD 交内切圆于点 K K K, 过点 K K K 作内切圆切线分别交 D F DF DF, D E DE DE于点 G G G, H H H. 求证: A D AD AD, B H BH BH, C G CG CG 三线共点.
练习9. 已知 △ A B C \triangle ABC △ABC 的内切圆 I I I, 过 I A IA IA 与内切圆的交点作内切圆的切线交 B D BD BD 于点 D D D, 类似得到 E E E, F F F. 求证: D D D, E E E, F F F 三点共线.
练习10. 设 A B C D ABCD ABCD是圆 Γ \Gamma Γ 的外切四边形, 对角线 A C AC AC 交圆 Γ \Gamma Γ 于 E E E, F F F. 求证: 圆 Γ \Gamma Γ 在 E E E, F F F 两点的切线与另一条对角线 B D BD BD 共点或平行.
习题答案
练习1. 显然, P P P 在 Q Q Q 的极线上, 因此 P P P 也在 Q Q Q 的极线上, 证毕.
练习2. M M M 在 Q , P Q,P Q,P 的极线上, 因此 P Q PQ PQ 是 M M M 的极线.
练习3. 如图, 根据蝴蝶定理, O I = O J OI=OJ OI=OJ. 此外, 易证 E M EM EM 是 I I I 的极线, F M FM FM 是 J J J 的极线. 因为 O I = O J OI=OJ OI=OJ, 所以 O O O 到 E M EM EM, F M FM FM 的距离相等, 证毕.
练习4. 如图, 易得, 原命题等价于 Q Q ′ / / P R / / M S QQ'//PR//MS QQ′//PR//MS, 又等价于 P X ′ / X ′ M = P X / X M PX'/X'M=PX/XM PX′/X′M=PX/XM. 由共轭中线的性质得: R X ′ RX' RX′ 是 △ P R S \triangle PRS △PRS 的一条共轭中线, P X ′ / X ′ M = P R 2 / R M 2 PX'/X'M=PR^{2}/RM^{2} PX′/X′M=PR2/RM2, 由调和四边形的性质得: P R Q S PRQS PRQS 是调和四边形, R , S R,S R,S 处的切线与 P Q PQ PQ 共点, 因此 R Q RQ RQ 是 △ P R S \triangle PRS △PRS 的共轭中线, 因此 P X / X S = P R 2 / P S 2 PX/XS=PR^{2}/PS^{2} PX/XS=PR2/PS2. 由对称性易验证 P R 2 / R M 2 = P R 2 / P S 2 PR^{2}/RM^{2} = PR^{2}/PS^{2} PR2/RM2=PR2/PS2, 因此 P X ′ / X ′ M = P X / X S PX'/X'M=PX/XS PX′/X′M=PX/XS, 证毕.
练习5. 该命题可以反过来证明, 等价于: 过 Q Q Q 作 O P OP OP 的垂线, 交 A E AE AE 于 M M M, 证明 M M M 是 A E AE AE 中点, 即: A M = 1 2 A E AM=\frac{1}{2}AE AM=21AE. 由引理1得, O M OM OM 是 P P P 的极线, 进而 P P P, X X X 调和分割 A , B A,B A,B. 由相似关系可知, A M / P Q = A X / P X AM/PQ=AX/PX AM/PQ=AX/PX, A E / P Q = A B / P B AE/PQ=AB/PB AE/PQ=AB/PB, 即证 ( A X ⋅ P B ) / ( P X ⋅ A B ) = 1 / 2 (AX\cdot PB)/(PX \cdot AB)=1/2 (AX⋅PB)/(PX⋅AB)=1/2. A X ⋅ P B = A X ⋅ ( A P − A B ) AX\cdot PB=AX \cdot (AP-AB) AX⋅PB=AX⋅(AP−AB), P X ⋅ A B = X B ⋅ A P = ( A P − A X ) ⋅ A B PX \cdot AB=XB \cdot AP= (AP-AX)\cdot AB PX⋅AB=XB⋅AP=(AP−AX)⋅AB, 即证: A P / A B − 1 A P / A X − 1 = 1 / 2 \frac{AP/AB-1}{AP/AX-1}=1/2 AP/AX−1AP/AB−1=1/2, 设 A B = 1 AB=1 AB=1, A X = t AX=t AX=t, 则 A P / B P = A X / B X = t / ( 1 − t ) AP/BP=AX/BX=t/(1-t) AP/BP=AX/BX=t/(1−t), A P − P B = 1 AP-PB=1 AP−PB=1, 由此得 A P = t / ( 2 t − 1 ) AP=t/(2t-1) AP=t/(2t−1), 代入上式得: A P / A B − 1 A P / A X − 1 = 1 / 2 \frac{AP/AB-1}{AP/AX-1}=1/2 AP/AX−1AP/AB−1=1/2, 证毕.
练习6. 如图, 由内切圆的性质, D D D 处的切线, 直线 M N MN MN, B C BC BC 交于一点, 记为 P P P. 易证 △ D P E ∼ △ F C E \triangle DPE \sim \triangle FCE △DPE∼△FCE, D P / / C E DP//CE DP//CE. 由相似, C G = ( B C / B P ) ⋅ D P CG=(BC/BP)\cdot DP CG=(BC/BP)⋅DP, 由内切圆性质可知, P , E P,E P,E 调和分割 B , C B, C B,C, 因此 D B DB DB, D F DF DF, D C DC DC, D P DP DP 可以看作是一个调和线束, C G CG CG 可以看作是一个割 线, 且平行于 D P DP DP, 由调和点列的性质可知, C F = C G CF=CG CF=CG
练习7. 作直线 V P VP VP, V Q VQ VQ, 分别交 ⨀ O \bigodot O ⨀O 于 P ′ P' P′, Q ′ Q' Q′, 连结 P ′ Q ′ P'Q' P′Q′, 由于 P Q PQ PQ 与 P ′ Q ′ P'Q' P′Q′ 的连线必然在 V V V 的极线 T S TS TS 上, 因此必为 G G G. 设 P Q PQ PQ 与 P ′ Q ′ P'Q' P′Q′ 分别与 T S TS TS 交于 M M M, N N N, 由蝴蝶定理可知 M G = M N MG=MN MG=MN, 由此易证 P G PG PG 平分 ∠ M P N \angle MPN ∠MPN.
练习8. 由内切圆的性质, G H GH GH, F E FE FE, B C BC BC 共点, 设为 P P P, B 1 B_{1} B1 处的切线, D F DF DF, A C AC AC 共点, C 1 C_{1} C1 处的切线, D E DE DE, A B AB AB 共点, 结合练习9的结论可得 G D GD GD 与 A C AC AC 的交点, D H DH DH 与 A B AB AB 的交点, 点 P P P 共线, 因此 △ A B C \triangle ABC △ABC 和 △ D H G \triangle DHG △DHG 互为透视, 由迪沙格定理, A D AD AD, B H BH BH, C G CG CG 共点.
练习9. 如图, 易证 D F DF DF 是点 K K K 的极线, 由角元形式的塞瓦定理可知, T C 1 TC_{1} TC1, A 1 R A_{1}R A1R, B 1 S B_{1}S B1S 三线共点, 因此交于 K K K, 而 T C 1 TC_{1} TC1 是点 E E E 的极线, 因此相应地 E E E 也在 K K K 的极线 D F DF DF 上.
练习10. 如图, 设过 E E E 的切线与 A C AC AC 交于 K 1 K_{1} K1, 过 F F F 的切线与 A C AC AC 交于 K 2 K_{2} K2, 即证 K 1 K_{1} K1 与 K 2 K_{2} K2 重合. 由于 B B B 在 K K K 的极线 E F EF EF 上, 因此, K 1 K_{1} K1 在 B B B 的极线 B 1 B 2 B_{1}B_{2} B1B2 上, 对 △ A B C \triangle ABC △ABC 和截线 B 1 B 2 K 1 B_{1}B_{2}K_{1} B1B2K1 应用梅涅劳斯定理得 C K 1 / A K 1 = B 2 C / A B 1 CK_{1}/AK_{1}=B_{2}C/AB_{1} CK1/AK1=B2C/AB1, 同理可证 C K 2 / A K 2 = C D 2 / A D 1 CK_{2}/AK_{2}=CD_{2}/AD_{1} CK2/AK2=CD2/AD1, 显然 A B 1 = A D 1 AB_{1}=AD_{1} AB1=AD1, C B 2 = C D 2 CB_{2}=CD_{2} CB2=CD2, 因此 C K 1 / A K 1 = C K 2 / A K 2 CK_{1}/AK_{1}=CK_{2}/AK_{2} CK1/AK1=CK2/AK2.
最新修订于 2025/03/28