Main content

### Course: Geometry (all content) > Unit 11

Lesson 5: Theorems concerning quadrilateral properties# Proof: The diagonals of a kite are perpendicular

Sal proves that the diagonals of a kite are perpendicular, by using the SSS and SAS triangle congruence criteria. Created by Sal Khan.

## Want to join the conversation?

- Wouldn't when he talks about the line forming a straight angle, isn't that kind of arbitrary? Since there are two line segments, how can you tell if one isn't slightly off from the other, creating a vastly obtuse 179 degree angle? Would what he had said be equivalent to the protractor postulate?(26 votes)
- Proof 9 holds up because DB was defined as a line segment in the original premise of the question. It's not evident from the diagram, it's evident from the question (identifying AC and DB as line segments).(22 votes)

- At around5:21, is it ok to write "obvious from diagram" in formal proofs?(11 votes)
- At5:21, I would say the reason should be the reflexive property since I was taught that was used in this situation.(31 votes)

- I am a Geometry Honors student and I have lots of difficulty solving proofs. This video was somewhat helpful, but would be even more helpful is somebody cleared this up for me. What exactly is SSS, SAS, ASA, and AAS? I have only learned to state the reasons as definitions, postulates, theorems, and the different properties for solving equations? I would be really grateful if someone can define these four acronyms for me.(6 votes)
- SSS - Side Side Side Postulate (All sides are congruent, therefore the triangles are congruent)

SAS - Side Angle Side Postulate (Two sides with an angle between them are congruent, therefore the triangles are congruent)

ASA - Angle Side Angle Postulate (Two angles with a side in between them on both triangles are congruent, therefore the triangles are congruent)

AAS - Angle Angle Side Theorem (Two angles and a side that is NOT in between them on both triangle are congruent, therefore the triangles are congruent)

Hope that helps. ^_^(31 votes)

- Can you modify the SSS, ASA, SAS, etc. to prove polygons congruent?

e.g. SSSS, ASASA, etc.??(6 votes)- You could in theory come up with rules like that for polygons with more than three sides. But it would require more congruent pairs than triangles have -- for instance, SSSS wouldn't be enough and not even SASSS. SASAS and ASASA both seem like they would work though. See what you can make of it, you'd be doing the work of real mathematicians!(16 votes)

- I never was good at this.(10 votes)
- Same here, my advice is to rewatch all these congruent videos and take notes it really helps! (Especially in high school, this is going to be a pretty helpful skill)(6 votes)

- i still dont get how to write a proof. my school is teaching me all these weird are hard terms adn this is a lot easier. but i still dont get how to write a proof?(13 votes)
- look at it this way: its just proving the obvious using postulates and theorems. There is no "right way" of writing a proof. As long as you have 3-5 things proving the conjecture and you can prove it no further, you have written your proof correctly.(4 votes)

- The reason for step three and step six should be the reflexive property of congruence, right?(6 votes)
- i learned steps 3 ard 6 as reflexive which means the same thing as shared side.(2 votes)

- bro asked how its perpendicular, just look at it(3 votes)
- it could be 89 or 91 degrees(6 votes)

- I feel like the reason for statement three is slapdash. Shouldn't you justify it more rigorously and say because of the reflexive property?(4 votes)
- Yes, it would be mathematically more correct and formal to have defined the reason for statements 3 and 6 as the reflexive property instead of "obvious" as Sal did. However, in this context that is also implied and has been covered in previous lessons so for me personally it is not that big of an issue:)(2 votes)

- Around8:05, Sal says that line segment EB and DE form a straight angle. Is this an assumption, or is there a way to prove this?(4 votes)
- It is given in the question that DB is a line segment and point E is the intersection between lines segments DB and AC .So D,B and E are colinear(1 vote)

## Video transcript

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.