
如图,在锐角 △ABC 中,O 为外心,直线 AO 与直线 BC 交于点 K。以 K 为圆心,KA 为半径作圆 Ω,直线 AC 与 Ω 再次交于点 T。设 D 为平面上一点,满足 D,A 在直线 BC 异侧,且 BC 平分 ∠ABD。设 △ABC, △BCD 的垂心分别为 M,N,已知 MN∥AC。
求证: 直线 DT 与圆 Ω 相切。(李天勤供题)
解析法证明
Proof by 数之谜@RynW1988
建立坐标系
以 BC 为 x 轴,令:
A(0,1),B(−b,0),C(c,0)(b>c>0)
确定各关键点坐标
外心 O:
O(2−b+c,21−bc)
垂心 M(△ABC 的垂心): 由 MN∥AC 及 M 在过 A 且垂直于 BC 的直线上,
M(0,bc)
直线 AO 的斜率与方程:
kAO=b−cbc+1,AO:(b−c)y−(bc+1)x=b−c
点 K=AO∩BC(即 y=0):
K(−bc+1b−c,0)
利用垂心条件确定 D
直线 BD: 由 BC 平分 ∠ABD,知 kBD=−b1,
BD:y+bx=−1
设 D(d,−1−d/b)。
由 MN∥AC: kAC=kMN=−c1,
MN:y+cx=bc
点 N 是 △BCD 的垂心,由对称性可得 N(d,bc−d/c)。
利用 CN⊥BD(即 kCN=b):
b=d−cbc−d/c⟹d=b+1/c2bc=bc+12bc2
于是
D(bc+12bc2,bc+1−bc−1−2c2)
平移坐标系到 A 为原点
平移使 A(0,0),则在新坐标系中:
K(−bc+1b−c,−1)
圆 Ω(以 KA 为半径)的方程为:
⊙Ω:x2+y2+bc+12(b−c)x+2y=0
求切点 T
设 T(t,−t/c)(因 T 在直线 AC 上),代入 ⊙Ω 方程解得:
t=bc+12c
还原回原始坐标系:
T(bc+12c,bc+1bc−1)
验证 DT 与 Ω 相切
计算斜率:
kKT=2c+b−cbc−1=b+cbc−1
kDT=2c−2bc2(bc−1)+(bc+1)+2c2=1−bcb+c
验证垂直关系:
kKT⋅kDT=b+cbc−1⋅1−bcb+c=−1
故 KT⊥DT,而 KT 为圆 Ω 的半径,因此 DT 与圆 Ω 相切。□