印象中可以用解析几何法，或是三角函数。
(1)三角函数法：
若有一直线为水平线 (斜率为 0)，则另一直线为铅直线 (斜率无定义)。
若非上述情形，令两相互垂直的直线 L_1, L_2 与 x 轴的夹角分为 θ, θ'
则由图形可知，θ' = 90 + θ (或 θ = 90 + θ')，只证一种，另一种方法类似。
故 tanθ' = tan(90 + θ) = - cotθ => tanθ' tanθ = (-1)
又 m_1 = tanθ, m_2 = tanθ' => m_1 m_2 = (-1)。
(2)解析几何法：
若有一直线为水平线 (斜率为 0)，则另一直线为铅直线 (斜率无定义)。
若非上述情形，令两相互垂直的直线 L_1, L_2 分别通过 (a, b), (a + 1, y_1)
及 (a, b), (a + 1, y_2)
则 m_1 = y_1 - b, m_2 = y_2 - b,
利用两直线与 x = a + 1 直线所围成的三角形为直角三角形，将三边长套入毕氏定理
=> m_1 m_2 = (-1)。
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 218.184.212.64
※ 编辑: armopen 来自: 218.184.212.64 (09/03 22:57)