两条构造直线在底边上的共点
如图,已知 是 的高线,在 上取点 , 于点 , 交 于点 , 于点 , 交 于点 。设 与 交于点 , 与 交于点 。求证: 与 的交点在 上。
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
先独立尝试,再展开工具说明与想法来源。
正射影公式:点 投到过 、方向向量为 的直线上,垂足为 。两点所在直线的横轴截距可用二阶行列式求出,无需斜率。
想法从哪来:图上交点很多,先挑一个同时适合垂直和共点的坐标系:把底边作为横轴,高线变成竖直线,内部点只需一个高度参数。垂足可由点积投影得到,而另外两交点只涉及直线相交;将这两类计算分开,避免一开始就展开所有坐标。 待证交点在底边上,等价于两条目标直线在横轴上的截距相同。因此先用纯直线关系求一条截距,再由两个垂足求另一条,目标就成为一个有理恒等式。中间出现的共同因子不是随手约掉即可,需解释其为零时是否使题中直线或交点失去定义。保留这些非退化条件,坐标证明才能覆盖题设而不把退化图形冒当一般情形。
图中的两个垂足只涉及内积,适合把 作为横轴建立坐标。先用仿射交点计算求出 在 上的截距,再用正射影公式求 ,验证 具有同一截距。这样既保留了垂直条件,也避免追逐大量角度。
按图中非退化位置建立直角坐标系,令
其中 ,。若使用有向坐标,以下计算对相应外部位置也完全相同。
记
由 ,直线 可取方向向量 ;由 ,直线 可取方向向量 。故
以及
于是
下面先求 与 的交点。相对于 ,点 的重心坐标可写为
而
若一般地写 、、,由直线求交可得
所确定的直线与 的交点具有重心坐标
把 (1)、(2) 代入,并以 读取横坐标,得到
再求 与 的交点。令
由正射影公式,
两点 所在直线在 轴上的截距为
注意直接展开有
以及
因此
由 (3)、(4),直线 与 在 上具有同一个交点,命题得证。
图中各交点均为有限且互异的非退化情形,所约去的因子不为 ;若 ,则会出现 并使题设中的 重合,正是被构造排除的退化情形。所绘 TikZ 坐标由同一组垂足和交点公式生成, 的点线关系及两条垂线均已核对。
复杂垂足共点图形可分成两层:先用仿射或重心坐标处理只依赖直线的 ,再用点积投影处理依赖垂直关系的 。若两条目标直线落在同一基线上的截距相等,共点结论就转化为一个可核验的代数恒等式。
需要把多条垂线和交线的共点关系转化为同一底边截距,并组织两个相互对应的交点计算;原图非退化情形尚可评估,但题面允许的退化情形须先排除。
已记下,谢谢!