直线垂直斜率公式推导过程（两条直线垂直斜率的关系推导过程）

垂直直线斜率是两条直线相乘为-1。对于一条直线，其斜率k可以表示为k = (y2-y1)/(x2-x1)。

当另一条直线与之垂直时，其斜率为-k的倒数即为k' = -1/k，因为k * k' = -1满足两条直线垂直的条件。

因此，我们可以通过对斜率求倒数取负得到垂直直线的斜率，用这个公式求解任意两条垂直直线间的斜率。

两条直线垂直时，它们的斜率乘积为-1。这可以通过几何推导得出：

假设两条垂直直线分别为y=k_1x+b_1和y=k_2x+b_2，由于垂直直线的斜率为-k_1和-k_2，根据斜率的乘积公式k_1 imes k_2=-1。

另外，也可以通过代数推导得出这个结果：

考虑两条直线的斜率分别为m_1和m_2，假设它们相乘得到-1，然后用直线的斜率公式y=mx+b得出两条直线的交点为(-bdiv(m_1-m_2),b_1div(m_1-m_2))。因此，两直线垂直时，斜率乘积为-1。