If you're seeing this message, it means we're having trouble loading external resources on our website.

If you're behind a web filter, please make sure that the domains ***.kastatic.org** and ***.kasandbox.org** are unblocked.

Main content

Current time:0:00Total duration:11:06

CCSS Math: HSG.CO.C.11

What I want to do
in this video is I want to prove that segment
AC is perpendicular to segment DB based on the
information that we have in this diagram over here. That this side has the
same length as that side, this side has the same
length as that side. And I'll give you a hint,
we're going to use one or more of our congruence postulates. I'll just stick with calling
them postulates from now on. And so the ones that
we know-- so let me draw a little line here. This is kind of our tool kit. We have the side
side side postulate, if the three sides
are congruent, then the two triangles
are congruent. We have side angle side, two
sides and the angle in between are congruent, then the two
triangles are congruent. We have ASA, two angles
with a side in between. And then we have AAS, two
angles and then a side. So any of these things
we've established-- these are our postulates--
we're going to assume that they imply congruency. And I'm also going to do this
as what we call a two column proof. And you don't have to do
something as a two column proof, but this is
what you normally see in a normal
introductory geometry class. So I thought I would
expose you to it. It's a pretty basic idea is
that you make a statement, and you just have to give the
reason for your statement. Which is what we've been
doing with any proof, but we haven't always put
it in a very structured way. So I'm just going
to do it like this. I'll have two columns like that. And I'll have a
statement, and then I will give the reason
for the statement. And so the strategy that
I'm going to try to do is it looks like,
right off the bat, it seems like I can
prove the triangle CDA is congruent to triangle
CBA based on side side side. And that's a pretty
good starting point because once I can
base congruency, then I can start to
have angles be the same. And the reason why
I can do that is because this side is
the same as that side, this side the same as that side,
and they both share that side. But I don't want to just
do it verbally this time, I want to write it out properly
early in this two column proof. So we have CD, we had
the length of segment CD is equal to the length of CB. CD is equal to CB,
and that is given. So these two characters
have the same length. We also know that DA,
the length of segment DA, is the same as the
length of segment BA. So DA is equal to BA, that's
also given in the diagram. And then we also know
that CA is equal to CA, I guess we could say. So CA is equal to itself. And it's obviously
in both triangles. So this is also given, or
it's obvious from the diagram. It's a bit obvious. Both triangles share that side. So we have two triangles. Their corresponding sides
have the same length, and so we know that
they're congruent. So we know that triangle CDA
is congruent to triangle CBA. And we know that by the
side side side postulate and the statements
given up here. Actually, let me
number our statements just so we can refer back
to this 1, 2, 3, and 4. And so side side side
postulate and 1, 2, and 3-- statements 1, 2, and 3. So statements 1, 2, and 3 and
the side side postulate let us know that these two
triangles are congruent. And then if these are congruent,
then we know, for example, we know that all of their
corresponding angles are equivalent. So for example,
this angle is going to be equal to that angle. So let's make that
statement right over there. We know that angle
DCE-- so this is going to be statement 5-- we
know that angle DCE, that's this angle right over here, is
going to have the same measure, we could even say
they're congruent. I'll say the
measure of angle DCE is going to be equal to
the measure of angle BCE. And this comes straight out
of statement 4, congruency, I could put it in parentheses. Congruency of those triangles. This implies straight,
because they're both part of this
larger triangle, they are the
corresponding angles, so they're going to have
the exact same measure. Now it seems like we could do
something pretty interesting with these two smaller
triangles at the top left and the top right of this,
looks like, a kite like figure. Because we have a side,
two corresponding sides are congruent, two corresponding
angles are congruent, and they have a side in common. They have this side in
common right over here. So let's first just
establish that they have this side in
common right over here. So I'll just write statement 6. We have CE, the measure or
the length of that line, is equal to itself. Once again, this
is just obvious. It's the same. Obvious from diagram
it's the same line. Obvious from diagram. But now we can use
that information. So we don't have three sides,
we haven't proven to ourselves that this side is the
same as this side, that DE has the
same length as EB. But we do have a side, an
angle between the sides, and then another side. And so this looks pretty
interesting for our side angle side postulate. And so we can say, by the
side angle side postulate, we can say that triangle DCE
is congruent to triangle BCE. And when I write the
labels for the triangles, I'm making sure that
I'm kind of putting the corresponding point. So I started at D, then
went to C, then to E. So the corresponding
I guess angle, or the corresponding point
or vertex I could say, for this triangle
right over here, is B. So if I start with D, I
start with B. C in the middle is the corresponding vertex
for either of these triangles, so I put it in the middle. And then they both go to E.
And that's just to make sure that we are specifying
what's corresponding to what. And we know this, we know this
is true, by side angle side. And the information
we got from-- so we got this side is established
that these two sides are congruent was from statement 1. Then that these angles are
congruent is from statement 5 right over here. And then statement 6
gave us the other side. Statement 6, just like that. And if we know that these
triangles are congruent, that means that all of
their corresponding angles are congruent. So we know, for example, that
this angle right over here is going to be congruent
to that angle over there. So let's write that down. So we know, statement number
8, the measure of angle, let's call that DEC, is equal
to the measure of angle BEC. And this comes straight
from statement 7. Once again, they're congruent. Congruency. And then we also know--
we'll make statement 9. We also know that the measure
of angle DEC-- or maybe we should just write it this way. Angle DEC and angle
BEC are supplementary. They are supplementary,
and that's kind of-- you can just look
at that from inspection but I'll write a decent--
are supplementary. Supplementary, which
means they add up, their measures add
up, to 180 degrees. And we know that because
they are adjacent and outer sides
form straight angle. And then, the next step-- if we
know that these two angles are equal to each other,
and if we know that they are
complementary-- our next step means that we could
actually deduce that they must be 90 degrees. So 10, measure of
angle DEC equals measure of angle BEC,
which equals 90 degrees. And then for the reason it might
be a little bit more involved, we could put these two
statements together. So it would be
statements 8 and 9. And then statements 8
and 9 mean that DEC, so I could write this, measure
of angle DEC plus measure of angle-- actually,
let me just, since I don't want to do
too many steps all at once, let me just take it
little bit by little bit. So let me just do
it all like this. So let me say measure of angle
DEC plus measure of angle BEC is equal to 180. And this comes
straight from point 9, that they are supplementary. And then we could
say statement-- I'm taking up a lot of
space now-- statement 11, we could say
measure of angle DEC plus measure of angle DEC
is equal to 180 degrees. And we know that
from statement 9. We know that from statement
9 and statement 8. We essentially just
took statement 9 and substituted that
BEC, the measure of BEC, is the same as the
measure of DEC. And so then, if we
want statement 12, we could say
measure of angle DEC is equal to 90, which is equal
to the measure of angle BEC. And then, this comes once again
straight out of point number 11 and 8. And what you could see, I'm
kind of taking a little bit more time, going a little bit more
granular through the steps. In some of the other proofs
I would've just said, oh, obviously this
implies this or that. And then we're done. Because if these
are 90 degrees-- so let me write the last statement. So statement 13, which is
what we wanted to prove. We wanted to prove that
AC is perpendicular to DB. So AC is perpendicular
to, what was it? AC is perpendicular
to segment DB, and it comes straight
out of point 12. And we're done. We've done a two
column proof, and we have proven that this line
segment right over here is perpendicular to that line
segment right over there. We did it with SSS,
with the SSS postulate, and the side angle
side postulate.