Sal proves that perpendicular lines have opposite reciprocal slopes using triangle similarity.
License: CC BY-NC-SA by Khan Academy