One way to prove this is by using Pythagorean theorem.
Let's label the coordinates of point of the intersection of the two perpendicular lines as . Then, since the lines are perpendicular, if we pick any point on the first line with the coordinates
, and a point on the second line with the coordinates
, the line segments connecting these three points will form a right triangle, with the right angle at the point
.
The lengths of the sides of a right triangle must obey Pythagorean theorem. So, for our right triangle, the hypotenuse is the segment connecting points 1 and 2 an it has the length
The other sides' lengths are the distances between the point of the intersection of the two lines and points 1 and 2, respectively. They are equal
and
According to Pythagorean Theorem, . If we now plug in the expressions for the d's in terms of the coordinates x and y, then by doing a lot of algebra, we can show that the resultant equation will lead to the required relationship between the slopes.
First, rewrite the equation above as
For now, I will work with the part of the equation that involves x-coordinates only, because the part involving y-coordinates will be identical.
The part involving x-coordinates is
The first two terms make up a difference of two squares and can be factored as such:
Opening parenthesis and combining like terms in square brackets, we get:
Notice that these two terms have a common binomial factor, which can be factored out:
, or
Again, working with the y-coordinates will yield identical result, so the equation of Pythagorean Theorem will become
The factor of 2 can be canceled, and now we can separate the coordinates:
Divide both sides by :
We can recognize that the left side is the slope of the line passing through the points with the coordinates and
(let's call it
), and the right side is the negative reciprocal of the slope of the line passing through the points with the coordinates
and
(call it
). So what we get is
, which can also be written as
The product of the slopes of the two perpendicular lines is -1.
No comments:
Post a Comment