题面据 USAMO 可核档案整理;中文题意为本站自译,公式请以原始来源为准。
Consider the two triangles and shown in Figure 1. In , . Prove that .
$$
[asy] size(400); defaultpen(1); pair C=(0,1), A=(1,6), B=(4,1), D=(1.5,2); draw(D--A--B--C--D--B); draw(A--C); label("",A,N); label("",B,ESE); label("",C,SW); label("",D,NE); label("",(B+C)/2,S); label("",(C+A)/2,WNW); label("",(A+B)/2,NE); label("",(A+D)/2,E); label("",(B+D)/2,N); label("",(C+D)/2,N); pair P=(7,0), Q=(14,0), R=P+7expi(pi/3), M=(10,1.2); draw(M--P--Q--R--M--Q); draw(P--R); label("",P,W); label("",Q,E); label("",R,W); label("",M,NE); label("",(P+Q)/2,S); label("",(Q+R)/2,E); label("",(R+P)/2,W); label("",(P+M)/2,SE); label("",(Q+M)/2,N); label("",(R+M)/2,E); label("Figure 1",P-(0,1),S); [/asy]
$$
考虑图 1 中所示的两个三角形 和 。在 中,。证明。
$$
[asy] 大小(400);默认笔(1);对 C=(0,1)、A=(1,6)、B=(4,1)、D=(1.5,2);绘制(D--A--B--C--D--B);画(A--C);标签(“”,A,N);标签(“”,B,ESE);标签(“”,C,SW);标签(“”,D,NE);标签(“”,(B+C)/2,S);标签("",(C+A)/2,WNW);标签(“”,(A+B)/2,NE);标签(“”,(A+D)/2,E);标签("",(B+D)/2,N);标签(“”,(C+D)/2,N);对 P=(7,0),Q=(14,0),R=P+7expi(pi/3),M=(10,1.2);绘制(M--P--Q--R--M--Q);画(P--R);标签(“”,P,W);标签(“”,Q,E);标签(“”,R,W);标签(“”,M,NE);标签(“”,(P+Q)/2,S);标签("",(Q+R)/2,E);标签(“”,(R+P)/2,W);标签("",(P+M)/2,SE);标签("",(Q+M)/2,N);标签(“”,(R+M)/2,E); label("图1",P-(0,1),S); [/asy]
$$
提示 1
先标出固定点、动点、角、圆和长度关系。
提示 2
尝试角追、相似、圆幂、面积比、反演或坐标化中的一种。
提示 3
把关键等式还原成标准定理,或补出一个让结构闭合的辅助点。
完整解答
这页先给题面、题型和提示阶梯,完整证明留给读者逐步展开。1974 年 USAMO P5 可先归入几何:第一步把题设翻成对象、条件、目标三行;第二步沿提示寻找不变量、标准构型或关键变形;第三步补齐边界情形,并回到题目原要求核对。
这题适合先独立想一轮再打开提示。不要急着搜索完整解答,先问自己:题面里最硬的限制是哪一句?