設 是直角在 的等腰直角三角形(即 且 )。在邊 上取一點 ,並在射線 的反向射線上取一點 ,使得 。
證明:
(a)
(b)
把座標架在直角上——正是這一步讓兩小題都變成例行公事。 因為直角在 、兩股又等長,把 放在原點、兩股沿著座標軸不花任何代價,卻能把每一個題設都變成座標:
在線段 上,所以 且 。 在射線 的反向射線上,也就是 軸的負向部分,所以 且 。條件 表示 ,於是
注意:現在單一個參數 就編碼了整個圖形。
用內積證明 (a)。 先組出兩個方向向量:
它們的內積是
因為兩個向量都不是零向量( 且 ),內積為零就代表兩直線垂直,所以 。
再用角度把 (a) 讀一次,看看它為什麼是必然的。 三角形 的直角在 (兩軸互相垂直),且兩股 ,所以它是等腰直角三角形,。三角形 也是等腰直角三角形,所以 。因此直線 與直線 夾 ,直線 則在另一側與它夾 ,兩個 加起來就是 。這個垂直關係,說穿了是兩個等腰直角三角形共用一組互相垂直的直線。
用同一套座標證明 (b)。 這次換另一組配對:
於是
因此 。等價地,用斜率來看,,,兩者的乘積是 ,正是兩線垂直的斜率判準。斜率的寫法需要 ,內積的寫法則不需要,所以內積是比較乾淨的論證。
指出背後的結構理由,並做數值驗證。 (b) 其實是垂心換了個面貌:在三角形 中,直線 是從 出發的高(它垂直於 ,也就是 軸),而 落在它上面;同時 (a) 給出的 使 成為從 出發的高;兩條高交於 ,所以第三條高 也必定通過它,於是 。取 、 做數值檢查, 與 都恰好成立,而斜率乘積等於 。
Need to solve a different problem like this? Open the solver →