摘自 《高中数学竞赛解题策略·几何分册》圆中的极点极线, 全文插图请见 链接
引理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 的垂心.
证明:
(1) 设 Q Q Q 对应的两个切点为 Q 1 , Q 2 Q_{1}, Q_{2} Q1,Q2, 证明 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} Q1,Q2 交于 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 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 上.
综上, 原命题得证.
由上述证明过程还可以得到一个推论:
推论. P Q 2 PQ^{2} PQ2 等于点 P P P, Q Q Q 的圆幂之和.
性质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 共轭.
推论: 若 P P P, Q Q Q 两点的极线交于点 A A A, 则 A A A 的极线是 P Q PQ PQ.
性质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. 从 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.
证明: (1) 点 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, 证毕.
(2) 点 P P P 在圆内时
如图, 显然, P P P 在 P ′ P' P′ 的极线上, 由 (1) 的结论可以立刻得出 Q A Q B = A P B P \frac{QA}{QB}=\frac{AP}{BP} QBQA=BPAP, 证毕.
性质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 在 P ′ P' P′ 的极线上, 由 (1) 的结论可以立刻得出 Q A Q B = A P B P \frac{QA}{QB}=\frac{AP}{BP} QBQA=BPAP, 证毕.
定义. 如果一个三角形的顶点是令一个三角形三边所在直线关于同一个圆的极点, 则称两个三角形共轭. 如果一个三角形每个定点都是对边所在直线关于同一个圆的极点, 则称该三角形是自共轭三角形 (或极点三角形).
性质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.
证明: 如图, 由引理1, X G ⊥ A O XG \bot AO XG⊥AO, 证明 X G / / C M XG // CM XG//CM 即可, 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 Y C Y = D X C X A K D K \frac{AY}{CY}=\frac{DX}{CX}\frac{AK}{DK} CYAY=CXDXDKAK
易证 X F / / A C XF//AC XF//AC ( ∠ A B C = ∠ D F X = ∠ D A C \angle ABC = \angle DFX = \angle DAC ∠ABC=∠DFX=∠DAC), 因此 D X C X = D F A F \frac{DX}{CX}= \frac{DF}{AF} CXDX=AFDF
设 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.