.
Prove that if two nonvertical lines have slopes whose product is -1, then the lines are perpendicular.
~~~~~~~~~~~~~~~~~~~
The slope of a straight line is a value of the tangent function of the angle between this line and x-axis.
So, we can write = , = , where and are the angles
that these straight line form with x-axis.
The angle between these straight lines is . Let's calculate the tangent of this angle
= .
The denominator is = 1 + (-1) = 0, so is not defined.
But the tangent function of an angle is not defined if and only if the angle is +/- 90 degrees.
Thus we proved that the angle between our lines is +/- 90 degrees.
It means that the lines are perpendicular.
At this point, the proof is complete and the problem is solved.