Perpendicular lines

Theorem 2.1 (Perpendicular lines). Two non-vertical lines with slopes \(m_1\) and \(m_2\) are perpendicular if and only if \(m_1 m_2 = -1\). A vertical line is perpendicular exactly to the horizontal lines.