问题回顾 #

已知△ABC中，点A坐标为$(1,3)$，直线y=x和y=-2x是∠B和∠C的两条内角平分线，或者两条外角平分线。需要完成：

• 判断这两条直线是内角还是外角平分线
• 求解BC边的方程
• 计算△ABC的内切圆半径
• 证明这两条直线不可能是内角平分线（或说明外角平分线的合理性）

一、关键结论与验证 #

先直接给出最终结果，再逐步推导：

• BC边的方程：y=1
• 内切圆半径：$r=0.5$（即$\frac{1}{2}$）
• 角平分线类型：两条直线只能是∠B和∠C的外角平分线，不可能是内角平分线

二、BC边方程与内切圆半径的推导 #

利用角平分线的核心性质：点关于角平分线的对称点必在角的对边（或对边延长线）上。

步骤1：求A关于两条直线的对称点 #

1. 点A$(1,3)$关于y=x的对称点$A'(3,1)$：
   关于$y=x$对称的点坐标直接交换横纵坐标即可，即$(3,1)$。
2. 点A$(1,3)$关于y=-2x的对称点$A''(-3,1)$：
   设对称点为$(m,n)$，根据对称点性质：
   • 中点$(\frac{1+m}{2},\frac{3+n}{2})$在y=-2x上，即$\frac{3+n}{2}=-2\cdot\frac{1+m}{2}$，化简得$2m+n=-5$
   • 直线AA''与y=-2x垂直，斜率乘积为$-1$，即$\frac{n-3}{m-1}=\frac{1}{2}$，化简得$m=2n-5$
     联立解得$m=-3,n=1$，即$A''(-3,1)$。

步骤2：确定BC边的方程 #

因为y=x和y=-2x是∠B和∠C的外角平分线，所以$A'$和$A''$都在BC的延长线上（外角平分线的对称点在对边延长线）。
两点$A'(3,1)$和$A''(-3,1)$的纵坐标均为1，因此BC边的方程为y=1。

步骤3：求三角形顶点坐标 #

• 点B在y=x和BCy=1的交点上，解得$B(1,1)$。
• 点C在y=-2x和BCy=1的交点上，解得$C(-\frac{1}{2},1)$。

步骤4：计算内切圆半径 #

利用内切圆半径公式$r=\frac{\Delta}{s}$，其中$\Delta$是三角形面积，$s$是半周长：

1. 计算边长：
   • $AB=\sqrt{(1-1)^2+(3-1)2}=2$
   • $BC=\sqrt{(-\frac{1}{2}-1)^2+(1-1)2}=\frac{3}{2}$
   • $AC=\sqrt{(1+\frac{1}{2})^2+(3-1)2}=\frac{5}{2}$
2. 半周长$s=\frac{2+\frac{3}{2}+\frac{5}{2}}{2}=3$
3. 面积$\Delta=\frac{1}{2}\times BC\times AB=\frac{1}{2}\times\frac{3}{2}\times2=\frac{3}{2}$
4. 内切圆半径$r=\frac{\Delta}{s}=\frac{\frac{3}{2}}{3}=0.5$

三、证明两条直线不可能是内角平分线 #

我们从两个角度证明：

角度1：内角平分线的夹角性质 #

三角形中，两个内角平分线的交点（内心）与两个顶点形成的角为$\angle BIC=90^\circ+\frac{\angle A}{2}$，这个角度必然大于90°。
而直线y=x和y=-2x的夹角$\theta$满足：
$$\tan\theta=\left|\frac{k_2-k_1}{1+k_1k_2}\right|=\left|\frac{-2-1}{1+1\times(-2)}\right|=3$$
计算得$\theta=\arctan3\approx71.56^\circ$，小于90°，与内角平分线夹角大于90°的性质矛盾，因此不可能是内角平分线。

角度2：坐标验证矛盾 #

假设y=x是∠B的内角平分线，y=-2x是∠C的内角平分线，则：

1. B在y=x上，设为$(t,t)$；C在y=-2x上，设为$(s,-2s)$。
2. 根据内角平分线性质，点A和点C到y=x的距离相等，解得$|3s|=2$，即$s=\pm\frac{2}{3}$。
3. 同理，点A和点B到y=-2x的距离相等，解得$|3t|=5$，即$t=\pm\frac{5}{3}$。
4. 对所有$(t,s)$的组合验证，发现∠B的两边与y=x的夹角不相等，∠C的两边与y=-2x的夹角也不相等，不符合内角平分线的定义。

综上，两条直线只能是外角平分线。

备注：内容来源于stack exchange，提问作者Blue Cat Blues