Interactive · 2 questions
Let us recall some basic facts about Cartesian coordinates before going into the main topic of this post.
-
Any line of the form can be written as . This implies that is the slope of the line.
-
Perpendicular lines' slopes multiply to negative 1.
-
The distance from to is .
We will use these to prove/compute numerous things.
Firstly, we will find the formula for the coordinates of the projection of a point or on to the line or .
How do we do this?
We know the has slope . Thus, any line perpendicular to it must have slope . These are precisely facts (1) and (2) at the start of this post.
Now, we want to find a perpendicular to through . It must have the form
for some constant . Plug in to get
or
. Thus, we see that the perpendicular to through is has the above equation.
Now, the foot of the perpendicular from is clearly the intersection of and the above line. So we wish to find the common solution of
and
.
This looks horrible, but we are only solving for . Everything else is just fancy butter that can be ignored! Subtracting yields
or
. Then further simplifying,
and (eww) we can substitute to see that equals
.
Thus, we have proven a theorem.
Theorem: For any point not on the line , the coordinates of the projection of onto the line are
.
Let us see an example.
What is the foot of the perpendicular from to the line ?
Now we will do something greater- we will find the distance from the point to the line .
Of course, the distance is just the length of the altitude from to , so we need only compute, using the distance formula, the distance from
to .
Let's take this one step at a time- First, we know the expression equals using fact (3) from the beginning of this post.
. We can simplify it as
.
This is just ridiculous! But since we have a term already, we can kind of expect some to materialize from the expression inside the square roots to cancel it.
Indeed:
.
Thus, we see it equals
.
Be careful when taking square roots! Always remember the absolute value sign. Thus, our final expression is equal to
and we have proven the second theorem.
** Theorem ** For any point and any line the distance from the point to the line equals
.
You should remember this second result as it is useful. For the first result, it will become natural to go through the process that we derived it with when you use it a lot.