通过 tan 公式证明两条 m_1 m_2 = -1 的直线成 90° 角。