We can prove this by modeling the slope of a line as x, and since perpendicular lines have the opposite reciprocal slope of the first line, its slope will be .
From here, you multiply the two slopes together, which is . Simplifying this expression gives , which is equal to -1 when you cancel out x.