Exercise 1 Page 586

In Algebra, you saw that the slopes of perpendicular lines are opposite reciprocals, that is, the product of their slopes is $\text{-}1.$ We showed this was true mathematically. Since this can be proven to be true, this is a theorem.