设 是以 为直角顶点的等腰直角三角形(即 且 )。在边 上取一点 ,在射线 的反向射线上取一点 ,使 。
求证:
(a)
(b)
在直角顶点建立坐标系 —— 正是这一步让两问都变成例行计算。 因为直角在 、两条直角边又相等,把 放在原点、两腰放在坐标轴上不损失任何一般性,而且能把每个条件都变成坐标:
在线段 上,故 ,其中 。 在射线 的反向射线上,即在 轴负半轴上,故 ,其中 。条件 就是 ,于是
注意现在整个图形只由一个参数 决定。
用数量积证 (a)。 先写出两个方向向量:
它们的数量积是
两个向量都不是零向量( 且 ),数量积为零就意味着两直线垂直,所以 。
再从角度重读 (a),看清它为什么必然成立。 三角形 在 处是直角(两坐标轴互相垂直),两腰 ,所以它是等腰直角三角形,。三角形 同样是等腰直角三角形,故 。于是直线 与直线 成 ,直线 在另一侧也与它成 ,两个 加起来正是 。这个垂直关系,本质上说的是两个等腰直角三角形共用一对互相垂直的直线。
用同一套坐标证 (b)。 这回换另一组配对:
于是
因此 。也可以用斜率来看:,,两者之积为 ,这正是两直线垂直的斜率判据。但斜率写法要求 ,而数量积写法不需要,所以数量积的论证更干净。
指出背后的结构原因,并做数值验证。 第 (b) 问其实是垂心的另一副面孔:在三角形 中,直线 是从 出发的高(它垂直于 轴,也就是垂直于 ),而 就在这条高上;由 (a) 已知 ,所以 是从 出发的高。两条高交于 ,那么第三条高 也必须过 ,于是 。取 、 做数值检验,得到 、 都精确为零,斜率之积等于 。
Need to solve a different problem like this? Open the solver →