Show that two lines with m_1 m_2 = -1 form a 90° angle via the tan formula