做一下这道平面几何题，给我完整的步骤和解题思路。

下面给出一种解析几何证明。思路是：把 $HD\parallel BC$ 这条线放成 $x$ 轴，使外接圆、点 $E,F,I,J$ 的坐标都能较快算出来；最后证明在直线 $NJ$ 上，外接圆方程会分解成“点 $N$”与“直线 $AI$”两部分，因此 $AI$ 与 $NJ$ 的交点必在外接圆上。

---

1. 建立坐标系

令垂心

$$H=(0,0),$$

并取 $HD$ 为 $x$ 轴。因为 $HD\parallel BC$，所以 $BC$ 是一条水平直线。再作平移、旋转、同比缩放，可设

$$BC:\ y=1.$$

又因为 $AH\perp BC$，所以 $A,H$ 在同一条竖直线上，设

$$A=(0,t),\qquad B=(b,1),\qquad C=(c,1).$$

因为 $H$ 是垂心，所以 $BH\perp AC$。于是

$$\overrightarrow{BH}=(-b,-1),\qquad \overrightarrow{AC}=(c,1-t).$$

两向量垂直，故点积为 $0$：

$$(-b,-1)\cdot(c,1-t)=0.$$

即

$$-bc-(1-t)=0,$$

所以

$$t=bc+1.$$

因此三角形可以写成

$$A=(0,t),\qquad B=(b,1),\qquad C=(c,1),\qquad t=bc+1.$$

---

2. 写出外接圆方程

设 $\triangle ABC$ 的外接圆为 $\omega$。代入 $A,B,C$ 可得

$$\omega:\ x^2+y^2-(b+c)x-(t+2)y+2t=0.$$

因为 $D,N$ 都在 $HD$ 上，而 $HD$ 是 $x$ 轴，所以设

$$D=(d,0),\qquad N=(n,0).$$

把 $y=0$ 代入外接圆方程，得到

$$x^2-(b+c)x+2t=0.$$

所以 $d,n$ 是这个二次方程的两根，因此

$$d+n=b+c,\qquad dn=2t.$$

于是

$$n=\frac{2t}{d},\qquad b+c=d+\frac{2t}{d}.$$

---

3. 求出 $E,F$ 的坐标

先写出两边的方程。

因为

$$A=(0,t),\qquad B=(b,1),$$

所以

$$AB:\ y=t-cx.$$

同理，

$$AC:\ y=t-bx.$$

求 $E$

由题意，$DE\perp AB$，且 $E\in AC$。

因为 $AB$ 的斜率为 $-c$，所以 $DE$ 的斜率为 $\frac1c$。又 $D=(d,0)$，故

$$DE:\ y=\frac{x-d}{c}.$$

与

$$AC:\ y=t-bx$$

联立：

$$t-bx=\frac{x-d}{c}.$$

整理得

$$(ct+d)=(bc+1)x=tx.$$

所以

$$x_E=c+\frac dt.$$

代入 $AC$ 得

$$y_E=t-b\left(c+\frac dt\right)=1-\frac{bd}{t}.$$

因此

$$E=\left(c+\frac dt,\ 1-\frac{bd}{t}\right).$$

求 $F$

同理，$DF\perp AC$，且 $F\in AB$。

因为 $AC$ 的斜率为 $-b$，所以 $DF$ 的斜率为 $\frac1b$，于是

$$DF:\ y=\frac{x-d}{b}.$$

与

$$AB:\ y=t-cx$$

联立，得到

$$F=\left(b+\frac dt,\ 1-\frac{cd}{t}\right).$$

---

4. 求 $I,J$ 的坐标

由上面两点坐标，

$$E=\left(c+\frac dt,\ 1-\frac{bd}{t}\right),$$ $$F=\left(b+\frac dt,\ 1-\frac{cd}{t}\right).$$

于是直线 $EF$ 的斜率为

$$\frac{\left(1-\frac{bd}{t}\right)-\left(1-\frac{cd}{t}\right)} {\left(c+\frac dt\right)-\left(b+\frac dt\right)} = \frac{\frac{d(c-b)}{t}}{c-b} = \frac dt.$$

所以 $EF$ 的方程可写成

$$y-\left(1-\frac{bd}{t}\right) = \frac dt\left(x-c-\frac dt\right).$$

求 $I=EF\cap DH$

因为 $DH$ 是 $x$ 轴，即 $y=0$，代入上式：

$$0-\left(1-\frac{bd}{t}\right) = \frac dt\left(x_I-c-\frac dt\right).$$

解得

$$x_I=b+c+\frac dt-\frac td.$$

又

$$b+c=d+\frac{2t}{d},$$

所以

$$x_I=d+\frac td+\frac dt.$$

因此

$$I=\left(d+\frac td+\frac dt,\ 0\right).$$

求 $J=EF\cap BC$

因为 $BC:y=1$，代入 $EF$ 方程：

$$1-\left(1-\frac{bd}{t}\right) = \frac dt\left(x_J-c-\frac dt\right).$$

解得

$$x_J=b+c+\frac dt.$$

所以

$$x_J=d+\frac{2t}{d}+\frac dt.$$

因此

$$J=\left(d+\frac{2t}{d}+\frac dt,\ 1\right).$$

---

5. 证明 $K=AI\cap NJ$ 在外接圆上

现在我们只需要证明：直线 $NJ$ 与直线 $AI$ 的交点在圆 $\omega$ 上。

因为

$$N=\left(\frac{2t}{d},0\right),$$ $$J=\left(d+\frac{2t}{d}+\frac dt,\ 1\right),$$

所以直线 $NJ$ 上任意一点可以写成

$$P_\lambda= \left( \frac{2t}{d}+\left(d+\frac dt\right)\lambda,\ \lambda \right).$$

这里 $\lambda$ 就是点的纵坐标。

---

5.1 写出 $P_\lambda\in AI$ 的条件

因为

$$A=(0,t),$$ $$I=\left(d+\frac td+\frac dt,\ 0\right),$$

所以直线 $AI$ 的方程为

$$t x+\left(d+\frac td+\frac dt\right)y = t\left(d+\frac td+\frac dt\right).$$

把

$$P_\lambda= \left( \frac{2t}{d}+\left(d+\frac dt\right)\lambda,\ \lambda \right)$$

代入，化简得到：

$$\left(dt+2d+\frac td+\frac dt\right)\lambda +\frac{t^2}{d}-d(t+1)=0.$$

记

$$L(\lambda)= \left(dt+2d+\frac td+\frac dt\right)\lambda +\frac{t^2}{d}-d(t+1).$$

那么

$$P_\lambda\in AI \Longleftrightarrow L(\lambda)=0.$$

---

5.2 把 $P_\lambda$ 代入外接圆方程

外接圆为

$$\omega:\ x^2+y^2-\left(d+\frac{2t}{d}\right)x-(t+2)y+2t=0.$$

把

$$x=\frac{2t}{d}+\left(d+\frac dt\right)\lambda,\qquad y=\lambda$$

代入圆方程，直接整理可得

$$\omega(P_\lambda) = \frac{d\lambda}{t}\,L(\lambda).$$

这一步非常关键：在直线 $NJ$ 上，外接圆方程分解成

$$\omega(P_\lambda)=0 \Longleftrightarrow \lambda=0 \quad\text{或}\quad L(\lambda)=0.$$

其中 $\lambda=0$ 对应点 $N$，而 $L(\lambda)=0$ 对应点在直线 $AI$ 上。

因此，直线 $NJ$ 与外接圆的另一个交点，恰好落在直线 $AI$ 上。

---

6. 得出结论

设

$$K=AI\cap NJ.$$

因为 $K\in NJ$，所以 $K=P_\lambda$ 对某个 $\lambda$ 成立。

又因为 $K\in AI$，所以

$$L(\lambda)=0.$$

于是

$$\omega(K)=\omega(P_\lambda) = \frac{d\lambda}{t}L(\lambda)=0.$$

因此 $K$ 在外接圆 $\omega$ 上。

即证：

$$\boxed{K\in (ABC)}.$$

---

核心思路可以概括为一句话：
把 $HD$ 设为 $x$ 轴后，直线 $NJ$ 上的点代入外接圆方程，会分解出“点 $N$”和“直线 $AI$”两个因子，因此 $AI\cap NJ$ 必为外接圆上的点。