2019年IMO第2题

在 △ A B C \triangle ABC △ABC 中, A 1 A_{1} A1, B 1 B_{1} B1 分别是边 B C BC BC, A C AC AC 上的点, P P P, Q Q Q 分别是线段 A A 1 AA_{1} AA1, B B 1 BB_{1} BB1 上的点, 满足 P Q PQ PQ 与 A B AB AB 平行. 延长 P B 1 PB_{1} PB1 至 P 1 P_{1} P1, 使得 ∠ P P 1 C = ∠ B A C \angle PP_{1}C=\angle BAC ∠PP1C=∠BAC. 延长 Q A 1 QA_{1} QA1 至 Q 1 Q_{1} Q1, 使得 ∠ C Q 1 Q = ∠ C B A \angle CQ_{1}Q=\angle CBA ∠CQ1Q=∠CBA. 求证: P P P, Q Q Q, P 1 P_{1} P1, Q 1 Q_{1} Q1 四点共圆.

证明:

延长 B 1 P B_1P B1P 交 A B AB AB 于 P 2 P_2 P2, 延长 A 1 Q A_1Q A1Q 交 A B AB AB 于 Q 2 Q_2 Q2, 延长 P B 1 PB_1 PB1 交 B C BC BC 于 P 3 P_3 P3, 延长 Q A 1 QA_1 QA1 交 A C AC AC 于 Q 3 Q_3 Q3. 设 A A 1 AA_1 AA1 交 B B 1 BB_1 BB1 于 K K K.

下面证明: P 3 Q 3 / / A B P_3Q_3//AB P3Q3//AB

这等价于 C P 3 B P 3 = C Q 3 A Q 3 \frac{CP_3}{BP_3}=\frac{CQ_3}{AQ_3} BP3CP3=AQ3CQ3

由梅涅劳斯定理:

C P 3 B P 3 B P 2 A P 2 A B 1 C B 1 = 1 \frac{CP_3}{BP_3}\frac{BP_2}{AP_2}\frac{AB_1}{CB_1}=1 BP3CP3AP2BP2CB1AB1=1

C Q 3 A Q 3 A Q 2 B Q 2 B A 1 C A 1 = 1 \frac{CQ_3}{AQ_3}\frac{AQ_2}{BQ_2}\frac{BA_1}{CA_1}=1 AQ3CQ3BQ2AQ2CA1BA1=1

A P 1 B P 2 B B 1 K B 1 K P P A = 1 \frac{AP_1}{BP_2}\frac{BB_1}{KB_1}\frac{KP}{PA}=1 BP2AP1KB1BB1PAKP=1

B Q 2 A Q 2 A A 1 K A 1 K Q Q B = 1 \frac{BQ_2}{AQ_2}\frac{AA_1}{KA_1}\frac{KQ}{QB}=1 AQ2BQ2KA1AA1QBKQ=1

进而

C P 3 B P 3 A B 1 C B 1 B B 1 K B 1 K P P A = 1 \frac{CP_3}{BP_3}\frac{AB_1}{CB_1}\frac{BB_1}{KB_1}\frac{KP}{PA}=1 BP3CP3CB1AB1KB1BB1PAKP=1

C Q 3 A Q 3 B A 1 C A 1 A A 1 K A 1 K Q Q B = 1 \frac{CQ_3}{AQ_3}\frac{BA_1}{CA_1}\frac{AA_1}{KA_1}\frac{KQ}{QB}=1 AQ3CQ3CA1BA1KA1AA1QBKQ=1

由 P Q / / A B PQ//AB PQ//AB 可知 K P P A = K Q Q B \frac{KP}{PA}=\frac{KQ}{QB} PAKP=QBKQ

只需证明: A B 1 C B 1 B B 1 K B 1 = B A 1 C A 1 A A 1 K A 1 \frac{AB_1}{CB_1}\frac{BB_1}{KB_1}=\frac{BA_1}{CA_1}\frac{AA_1}{KA_1} CB1AB1KB1BB1=CA1BA1KA1AA1

等价于 A B 1 C B 1 C A 1 B A 1 = A A 1 K A 1 K B 1 B B 1 \frac{AB_1}{CB_1}\frac{CA_1}{BA_1}=\frac{AA_1}{KA_1}\frac{KB_1}{BB_1} CB1AB1BA1CA1=KA1AA1BB1KB1

设 C K CK CK 交 A B AB AB 于 R R R. 由塞瓦定理:

A B 1 C B 1 C A 1 B A 1 = R A B R \frac{AB_1}{CB_1}\frac{CA_1}{BA_1}=\frac{RA}{BR} CB1AB1BA1CA1=BRRA

等价于 A A 1 K A 1 K B 1 B B 1 B R R A = 1 \frac{AA_1}{KA_1}\frac{KB_1}{BB_1}\frac{BR}{RA}=1 KA1AA1BB1KB1RABR=1

由梅涅劳斯定理:

A A 1 K A 1 C K C R B R A B = 1 \frac{AA_1}{KA_1}\frac{CK}{CR}\frac{BR}{AB}=1 KA1AA1CRCKABBR=1

K B 1 B B 1 A B A R C R C K = 1 \frac{KB_1}{BB_1}\frac{AB}{AR}\frac{CR}{CK}=1 BB1KB1ARABCKCR=1

两式相乘, 得:

A A 1 K A 1 K B 1 B B 1 B R R A = 1 \frac{AA_1}{KA_1}\frac{KB_1}{BB_1}\frac{BR}{RA}=1 KA1AA1BB1KB1RABR=1

所以 P 3 Q 3 / / A B P_3Q_3//AB P3Q3//AB

∠ P P 1 C = ∠ P 3 Q 3 C \angle PP_1C=\angle P_3Q_3C ∠PP1C=∠P3Q3C, ∠ Q Q 1 C = ∠ Q 3 P 3 C \angle QQ_1C=\angle Q_3P_3C ∠QQ1C=∠Q3P3C, 所以 P 1 P_1 P1, C C C, Q 1 Q_1 Q1, Q 3 Q_3 Q3, P 3 P_3 P3 共圆.

∠ P 3 Q 3 Q 1 = ∠ Q 1 P 1 P = ∠ P Q Q 2 \angle P_3Q_3Q_1=\angle Q_1P_1P=\angle PQQ_2 ∠P3Q3Q1=∠Q1P1P=∠PQQ2, 所以 Q 1 Q_1 Q1, P 1 P_1 P1, P P P, Q Q Q 共圆.

证毕.

2025年1月7日

相关推荐
一直学习永不止步2 小时前
LeetCode题练习与总结:随机翻转矩阵--519
java·数学·算法·leetcode·哈希表·水塘抽样·随机化
魔理沙偷走了BUG1 天前
【苏德矿高等数学】第4讲:数列极限定义-1
数学·微积分·高等数学
魔理沙偷走了BUG2 天前
【苏德矿高等数学】第1讲:有界函数、无界函数、复合函数
数学·微积分·高等数学
Rongxi._9 天前
【机器学习】机器学习基础与入门:从零开始的全面学习指南
人工智能·python·学习·数学·机器学习·工具库
fanstuck13 天前
数学建模软件工具详解(附安装下载教程
数学·数据挖掘·数据分析
山顶夕景14 天前
【ML】机器学习中常见的25个数学公式
人工智能·数学·机器学习
martian66515 天前
【人工智能数学基础】——深入详解贝叶斯理论:掌握贝叶斯定理及其在分类和预测中的应用
人工智能·数学·分类·数据挖掘·贝叶斯
__lost16 天前
MATLAB直接推导函数的导函数和积分形式(具体方法和用例)
数学·算法·matlab·微积分·高等数学
亦枫Leonlew16 天前
微积分复习笔记 Calculus Volume 2 - 5.1 Sequences
笔记·数学·微积分