These lines are perpendicular since their slopes are negative reciprocals. If you multiply a slope times its negative reciprocal, the result is always -1. ... Let's prove that perpendicular lines have negative reciprocal slopes, AND that negative reciprocal slopes imply perpendicular lines.
