2025 年 CGMO 的几何题的解答(一)

1. 题目

如图,四边形 ABCDABCD 内接于圆 OOAB>BCAB>BCEEACAC 上一点使得 AE<ECAE<EC。过 EEACAC 的垂线 ll,分别交 AED\triangle AEDBED\triangle BEDCED\triangle CED 的外接圆于另一点 XXYYZZ,且 EEYYZZXX 依次排列。若 AX=BY=CZAX=BY=CZ,求证:BDBDOYOY 的交点是 ABC\triangle ABC 的内心。

题目

2. 分析

这个题的关键是确定 DD 点和 EE 点的位置。

从结论可以得出点 DDBIBIABC\triangle ABC 点外接圆的交点,由鸡爪定理可知 DI=DA=DCDI = DA = DC

这一点也比较好证,直接用 AX=CZAX=CZ 即可证明。

EE 点的位置无法直接确定,但是也比较好猜。鸡爪定理的另一个结论是旁心 JJ 也在射线 BIBI 上,且 DJ=DIDJ=DI。作出 JJ 点之后,我们会发现他就在直线 ll 上。可知点 EE 是旁切圆的切点。

而关于旁切圆的切点,有一个经典的引理:

ABC\triangle ABC 的内心为 IIXXAA- 旁切圆与 BCBC 的切点,MMBCBC 的中点,则 AXIMAX\parallel IM

上述引理的证明

引理

ABC\triangle ABC 的内切圆与 BCBC 相切于 DD,点 EEDDABC\triangle ABC 的内切圆上的对径点,由位似可知 AAEEXX 共线。

CX=BDCX = BD,可知 DM=MXDM = MX,因此 IMIMEDX\triangle EDX 的中位线,IMAXIM\parallel AX

我们可以反过来用这个结论,通过构造平行的结论来证明点 EE 是旁切圆切点。

接下来证明 IIOOYY 共线。只需要注意到点 OOIYIY 的中点即可。

3. 解答

3.1. 证明点 D 在直线 BI 上

AEX=CEZ=90\angle AEX = \angle CEZ = 90^\circ 可知 AXAXCZCZ 分别是 AED\triangle AEDCED\triangle CED 的外接圆的直径。

步骤1

连接 DADADCDCDEDE,有

DAsinDEA=AX=CZ=DCsinDEC \frac{DA}{\sin \angle DEA} = AX = CZ = \frac{DC}{\sin \angle DEC}

可得 DA=DCDA=DC

由鸡爪定理可知,ABC\triangle ABC 的内心 IIBDBD 上,且 DI=DA=DCDI=DA=DC

接下来为了简化图形,我们可以扔掉 XXZZ 两点,AX=BY=CZAX=BY=CZ 的条件简化为

BY=DCsinDEC=DEsinDCE BY = \frac{DC}{\sin \angle DEC} = \frac{DE}{\sin \angle DCE}

3.2. 证明平行

设直线 DODOACAC 交于点 MM,则 MMACAC 的中点,且 DMACDM\perp AC,因此 DMlDM\parallel l

连接 BEBEIMIM,下面证明:BEIMBE\parallel IM

步骤2

设直线 BDBDll 交于点 JJ,考虑 JBE\triangle JBEDIM\triangle DIM。由 DMlDM\parallel l 可知 J=IDM\angle J=\angle IDM,因此

JBE+JEB=DIM+DMI(i) \angle JBE + \angle JEB = \angle DIM + \angle DMI \tag{i}

BED\triangle BED 的外接圆半径为 RR,则

BYsinJEB=2R=DEsinJBE    sinJBEsinJEB=DEBY=sinDCE \begin{aligned} & \frac{BY}{\sin \angle JEB} = 2R = \frac{DE}{\sin \angle JBE} \\[2ex] \implies & \frac{\sin \angle JBE}{\sin \angle JEB} = \frac{DE}{BY} = \sin \angle DCE \end{aligned}

DIM\triangle DIM 中,

DMsinDIM=DIsinDMI    sinDIMsinDMI=DMDI=DMDC=sinDCE \begin{aligned} & \frac{DM}{\sin \angle DIM} = \frac{DI}{\sin \angle DMI} \\[2ex] \implies & \frac{\sin \angle DIM}{\sin \angle DMI} = \frac{DM}{DI} = \frac{DM}{DC} = \sin \angle DCE \end{aligned}

因此,

sinJBEsinJEB=sinDIMsinDMI(ii) \frac{\sin \angle JBE}{\sin \angle JEB} = \frac{\sin \angle DIM}{\sin \angle DMI} \tag{ii}

我们构造函数

f(x)=sin(θx)sin(x),x(0,π),θ(π2,π) f(x) = \frac{\sin(\theta-x)}{\sin(x)}, \, x \in (0, \pi), \, \theta \in \left(\frac{\pi}{2}, \pi\right)

f(x)=cos(θx)sinxsin(θx)cosxsin2x=sinθsin2x<0 \begin{aligned} f'(x)&=\frac{-\cos (\theta-x)\sin x-\sin (\theta-x)\cos x}{\sin ^2 x} \\ &= -\frac{\sin \theta}{\sin ^2x}<0 \end{aligned}

可知 f(x)f(x)(0,π)(0,\pi) 上单调递减。结合等式(i)和(ii)可知 JEB=DMI\angle JEB = \angle DMIJBE=DIM\angle JBE = \angle DIM,因此 BEIMBE\parallel IM

由上面的引理可知,点 EEABC\triangle ABC 的旁切圆切点,点 JJABC\triangle ABC 的旁心,因此 DJ=DI=DA=DCDJ=DI=DA=DC

另外,结合 DMlDM\parallel l 可知 DIMJBE\triangle DIM\sim \triangle JBE

3.3. 证明 O 是 IY 的中点

JYJE=JDJBJY\cdot JE=JD\cdot JB 可知

JDJY=JEJB=DMDI=DMDC=sinDCA \frac{JD}{JY} = \frac{JE}{JB} = \frac{DM}{DI} = \frac{DM}{DC} = \sin \angle DCA

于是

JY=JDsinDCA=DAsinDCA=2OD JY = \frac{JD}{\sin \angle DCA} = \frac{DA}{\sin\angle DCA} = 2\cdot OD

注意到 DOJYDO\parallel JY,点 DDIYIY 的中点,因此 ODODIJY\triangle IJY 的中位线,点 IIOOYY 共线,命题得证。

最后一步的另一种证明方法

连接 DYDY,由上面可知 DIMJBEJYD\triangle DIM \sim \triangle JBE \sim \triangle JYD,因此

DIJY=DMJD    DI2=DMJY \frac{DI}{JY} = \frac{DM}{JD} \implies DI^2 = DM\cdot JY

步骤3

设直线 DODOABC\triangle ABC 的外接圆的另一个交点为 NN,连接 NYNYNINI

注意到 DI2=DC2=DMDNDI^2=DC^2=DM\cdot DN,因此 DN=JYDN = JY,可知四边形 YNDJYNDJ 是平行四边形。于是有

YNDJYN=DJ=DI \begin{gathered} YN\parallel DJ \\ YN=DJ = DI \end{gathered}

因此四边形 YNIDYNID 也是平行四边形,点 OO 是对角线 DNDNIYIY 的交点。