灯下 登录
番外 · 闲灯 / 中国数学奥林匹克 / P1 · number-theory

1990 CMO 第 1 题

题面据中国数学奥林匹克 / AoPS 可核档案整理;中文题意为本站自译,英文行为来源英译摘要,公式请以原始来源为准。

CMO 1990 P1 number-theory

Given a convex quadrilateral ABCDABCD , side ABAB is not parallel to side CDCD . The circle O1O_1 passing through AA and BB is tangent to side CDCD at PP . The circle O2O_2 passing through CC and DD is tangent to side ABAB at QQ . Circle O1O_1 and circle O2O_2 meet at EE and FF . Prove that EFEF bisects segment PQPQ if and only if BCADBC\parallel AD .

给定凸四边形 ABCDABCD ,边 ABAB 不平行于边 CDCD 。穿过 AABB 的圆 O1O_1PP 处与边 CDCD 相切。穿过 CCDD 的圆 O2O_2QQ 处与边 ABAB 相切。圆圈 O1O_1 和圆圈 O2O_2EEFF 交汇。证明 EFEF 平分线段 PQPQ 当且仅当 BCADBC\parallel AD

提示 1

先看模小素数、最大公因数或整除链。

提示 2

把整数条件转成同余方程或 p 进指数比较。

提示 3

若要存在性,用构造;若要唯一性,用最小反例或下降。

完整解答

题面已直接收录。先把 1990 年 CMO 第 1 题的条件整理成对象、关系、目标三部分;再沿提示寻找不变量、标准构型或关键变形;最后补齐边界情形,并回到原题要求核对。

CMO 题适合作为中文竞赛语感训练:先辨清题型,再把条件改写成一句可操作的话。