跳到主要内容

第 16 届学而思数学竞赛联考第 13 题

题目

16th-XMO-P13

如图,在锐角 ABC\triangle ABC 中,OO 为外心,直线 AOAO 与直线 BCBC 交于点 KK。以 KK 为圆心,KAKA 为半径作圆 Ω\Omega,直线 ACACΩ\Omega 再次交于点 TT。设 DD 为平面上一点,满足 D,AD, A 在直线 BCBC 异侧,且 BCBC 平分 ABD\angle ABD。设 ABC\triangle ABC, BCD\triangle BCD 的垂心分别为 M,NM, N,已知 MNACMN \parallel AC

求证: 直线 DTDT 与圆 Ω\Omega 相切。(李天勤供题)


解析法证明

Proof by 数之谜@RynW1988

建立坐标系

BCBCxx 轴,令:

A(0,1),B(b,0),C(c,0)(b>c>0)A(0,\, 1),\quad B(-b,\, 0),\quad C(c,\, 0) \quad (b > c > 0)

确定各关键点坐标

外心 OO

O ⁣(b+c2,  1bc2)O\!\left(\frac{-b + c}{2},\; \frac{1 - bc}{2}\right)

垂心 MMABC\triangle ABC 的垂心):MNACMN \parallel ACMM 在过 AA 且垂直于 BCBC 的直线上,

M(0,bc)M(0,\, bc)

直线 AOAO 的斜率与方程:

kAO=bc+1bc,AO:  (bc)y(bc+1)x=bck_{AO} = \frac{bc + 1}{b - c},\quad AO:\; (b - c)y - (bc + 1)x = b - c

K=AOBCK = AO \cap BC(即 y=0y=0):

K ⁣(bcbc+1,  0)K\!\left(-\frac{b - c}{bc + 1},\; 0\right)

利用垂心条件确定 DD

直线 BDBDBCBC 平分 ABD\angle ABD,知 kBD=1bk_{BD} = -\dfrac{1}{b}

BD:  y+xb=1BD:\; y + \frac{x}{b} = -1

D(d,1d/b)D(d,\, -1 - d/b)

MNACMN \parallel AC kAC=kMN=1ck_{AC} = k_{MN} = -\dfrac{1}{c}

MN:  y+xc=bcMN:\; y + \frac{x}{c} = bc

NNBCD\triangle BCD 的垂心,由对称性可得 N(d,bcd/c)N(d,\, bc - d/c)

利用 CNBDCN \perp BD(即 kCN=bk_{CN} = b):

b=bcd/cdc    d=2bcb+1/c=2bc2bc+1b = \frac{bc - d/c}{d - c}\;\Longrightarrow\; d = \frac{2bc}{b + 1/c} = \frac{2bc^2}{bc + 1}

于是

D ⁣(2bc2bc+1,  bc12c2bc+1)D\!\left(\frac{2bc^2}{bc + 1},\; \frac{-bc - 1 - 2c^2}{bc + 1}\right)

平移坐标系到 AA 为原点

平移使 A(0,0)A(0, 0),则在新坐标系中:

K ⁣(bcbc+1,  1)K\!\left(-\frac{b - c}{bc + 1},\; -1\right)

Ω\Omega(以 KAKA 为半径)的方程为:

Ω:  x2+y2+2(bc)bc+1x+2y=0\odot\Omega:\; x^2 + y^2 + \frac{2(b-c)}{bc+1}\,x + 2y = 0

求切点 TT

T(t,t/c)T(t,\, -t/c)(因 TT 在直线 ACAC 上),代入 Ω\odot\Omega 方程解得:

t=2cbc+1t = \frac{2c}{bc + 1}

还原回原始坐标系:

T ⁣(2cbc+1,  bc1bc+1)T\!\left(\frac{2c}{bc + 1},\; \frac{bc - 1}{bc + 1}\right)

验证 DTDTΩ\Omega 相切

计算斜率:

kKT=bc12c+bc=bc1b+ck_{KT} = \frac{bc - 1}{2c + b - c} = \frac{bc - 1}{b + c}

kDT=(bc1)+(bc+1)+2c22c2bc2=b+c1bck_{DT} = \frac{(bc - 1) + (bc + 1) + 2c^2}{2c - 2bc^2} = \frac{b + c}{1 - bc}

验证垂直关系:

kKTkDT=bc1b+cb+c1bc=1k_{KT} \cdot k_{DT} = \frac{bc - 1}{b + c} \cdot \frac{b + c}{1 - bc} = -1

KTDTKT \perp DT,而 KTKT 为圆 Ω\Omega 的半径,因此 DTDT 与圆 Ω\Omega 相切\square