【2025年7月】平面几何研讨

G1. 在 $△ABC$ 中, $D$, $E$, $F$ 分别是 $BC$, $AC$, $AB$ 三边上的旁切圆切点, $\angle BAC$ 的角平分线交 $DE$ 于点 $Y$, $\angle BCA$ 的角平分线交 $EF$ 于点 $X$. 求证: $XY$ 的中点在边 $AC$ 的垂直平分线上. (2025, 俄罗斯Tuymaada数学奥林匹克)

证明: 只需证明: $AY\cos (A/2)=CX\cos (C/2)$, 即 $AY/CX=\cos (C/2)/\cos (A/2)$.

设 $Y$ 到 $AC$ 的距离为 $d$, $X$ 到 $AC$ 的距离为 $d^{\prime }$.

$AY/CX=(d/d^{\prime })\cdot (\sin (C/2)/\sin (A/2))$.

所以只需证明 $d/d^{\prime }=\tan (A/2)/\tan (C/2)$.

设 $DY$ : $YE=1-\lambda$ : $\lambda$.

$d(Y$, $AB)=(1-\lambda )d(D$, $AB)+(1-\lambda )d(E$, $AB)$.

$d(Y$, $AC)=(1-\lambda )d(E$, $AC)$.

$d(D$, $AB)=BD\sin B$, $d(E$, $AB)=AE\sin A$, $d(E$, $AC)=CD\sin C$.

$BD$ : $AE$ : $CD=\frac{1}{\tan (C/2)}$ : $\frac{1}{\tan (C/2)}$ : $\frac{1}{\tan (B/2)}$.

$\sin B$ :$\sin A$ :$\sin C=a$ : $b$ : $c$.

解得: $\lambda =\frac{-a\tan (B/2)}{b\tan (B/2)-c\tan (C/2)-a\tan (B/2)}$.

进而 $d=\frac{-a\sin C}{b\tan (B/2)-c\tan (C/2)-a\tan (B/2)}$.

类似地 $(A$, $C$ 互换), 得到:

$d^{\prime }=\frac{-c\sin A}{b\tan (B/2)-a\tan (A/2)-c\tan (B/2)}$.

$\frac{d}{d^{\prime }}=\frac{b\tan (B/2)-a\tan (A/2)-c\tan (B/2)}{b\tan (B/2)-c\tan (C/2)-a\tan (B/2)}$.

$\frac{d}{d^{\prime }}=\tan (A/2)/\tan (C/2)$ 等价于

$(b-a)\tan (B/2)\tan (A/2)+(c-b)\tan (C/2)\tan (B/2)+(a-c)\tan (A/2)\tan (C/2)=0$.

左右同乘 $\cos (A/2)\cos (B/2)\cos (C/2)$, 再经整理, 得到:

$a\sin A(\sin (C/2)\cos (B/2)-\sin (B/2)\cos (C/2))+b\sin B(\sin (A/2)\cos (C/2)-\sin (C/2)\cos (A/2))+c\sin C(\sin (B/2)\cos (A/2)-\sin (A/2)\cos (B/2))=0$.

进一步:

$a\cos \frac{C+B}{2}\sin \frac{C-B}{2}+b\cos \frac{A+C}{2}\sin \frac{A-C}{2}+c\cos \frac{B+A}{2}\sin \frac{B-A}{2}=0$.

和差化积, 得到:

$a(\sin C-\sin B)+b(\sin A-\sin C)+c(\sin B-\sin A)=0$.

由正弦定理, $a(\sin C-\sin B)+b(\sin A-\sin C)+c(\sin B-\sin A)=a(c-b)+b(a-c)+c(b-a)=0$.

证毕.

G2. 在 $△ABC$ 中, $X$ 为 $(ABC)$ 的弧 $\stackrel{⌢}{\mathrm{BC}}$ 上的一动点, $Y$, $Z$ 分别为射线 $XC$, $XB$ 上的两个点, 使得 $XA=XY=XZ$. 求证: $YZ$ 恒过定点. (2025, 俄罗斯Tuymaada数学奥林匹克)

证明:

恒过 $△ABC$ 的内心(记为 $I$).

过 $X$ 向 $YZ$ 作垂线, 垂足记为 $H$.

$HX/XA=HX/XY=\cos \frac{\angle BXC}{2}$ 为定值.

$\angle AXH=|\angle BXA-\frac{\angle BXC}{2}|=|\angle BCA-\frac{\angle BXC}{2}|$ 为定值.

所以 $△AHX$ 形状固定.

$\angle HAX$ 大小固定, 且 $HA/XA$ 是定值, 所以 $H$ 的轨迹是缩放加旋转后的 $X$ 的轨迹, 为一条定弧.

下面证明这条弧所在地圆过点 $I$.

分别让 $X$ 趋于 $B$ 和 $C$.

$X$ 趋于 $B$ 时 $Y$, $Z$, $H$ 的极限位置的记法在原基础上加以下标1, $X$ 趋于 $C$ 时加以下标2.

显然 $B{Z}_1$ 和 $C{Y}_2$ 是 $(ABC)$ 的切线.

显然 $Y_1$ 是 $A$ 关于 $BI$ 的对称点.

$\angle I{Y}_{1}B=\angle IAB=\frac{\angle BAC}{2}=\angle H_1{Y}_{1}B$.

所以 $Y_1$, $I$, $H_1$ 三点共线.

类似地, $Z_2$, $I$, $H_2$ 三点共线.

上述定弧所在的圆显然为 $(A{H}_1{H}_2)$.

易知 $\angle H_{1}I{H}_2=\pi -\angle BAC$, 所以上述定弧也经过 $I$.

$\angle IHA=\angle I{H}_{1}A=\frac{\pi }{2}$, 所以 $I$ 在 $XY$ 上.

证毕.

G3. 在梯形 $ABCD$ 中, $M$ 是 $AD$ 中点, $E$ 在线段 $BM$ 上. 已知 $\angle ADB=\angle MAE=\angle BMC$. 求证: $△BCE$ 是等腰三角形. (2021, 俄罗斯Tuymaada数学奥林匹克)

证明:

设 $CM$ 与 $BD$ 交于点 $F$.

$\angle EAM=\angle BMC$, $\angle EMA=\angle CBM$, 所以 $△EAM\sim △CMB$.

$EM=BC\cdot (AM/BM)=BC\cdot (MD/BM)$.

$ME/MF=(BC/BM)\cdot (MD/MF)$.

其中 $MD/MF=BC/CF=MC/BC$.

所以 $ME/MF=MC/BM$

进而 $△MEF\sim △MCB$.

显然 $B$, $E$, $F$, $C$ 四点共圆.

$\angle BEC=\angle BFC=\angle MBC$.

证毕.

G4. 已知$△ABC$. 点$D$和$E$分别位于射线$BC$ 和 $AC$ 上, 因此 $B$ 位于 $C$ 和 $D$, $C$ 在 $A$ 和 $E$ 之间, $BC=BD$, $\angle BAD=\angle CDE$. $△ABC$ 和 $△ADE$ 的周长之比为2. 求出这些三角形的面积. (2020, 俄罗斯Tuymaada数学奥林匹克)

证明:

显然 $\angle ABC=\angle ADE$, 结合 $△ABC$ 和 $△ADE$ 的外接圆半径之比是1/2可知 $AE=2AC$.

结合 $BC=BD$ 可知 $S_{△ABC}/S_{△ADE}=4$.