2020-08-08发表2021-03-13更新其他几秒读完 (大约38个字)数学随笔_20200808对于 $l_1$、$l_2$ 两条直线,它们的解析式分别是 $y=k_1x+b_1$ 和 $y=k_2x+b_2$。当 $l_1 \bot l_2$ 时,$$k_1 \cdot k_2 = -1$$