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

Proof: radius is perpendicular to a chord it bisects

Sal proves that if a radius in a circle is drawn so it bisects a chord, then the radius is also perpendicular to that chord. The proof uses SSS congruence. Created by Sal Khan.

Want to join the conversation?

  • male robot hal style avatar for user Cozmo Kramer
    WHAT IS THE DEFFINITION OF A CHORD?
    (21 votes)
    Default Khan Academy avatar avatar for user
    • area 52 blue style avatar for user Puneet
      Cozmo Kramer, Your answer is as follows:
      A Chord is a line segment which connects two points on a circle.
      or
      A Chord is a line segments whose endpoints are points on the coircle.
      or
      A Chord is a straight line joinng two points on the circumference of a circle.
      Diameter is also a chord and it is the longest, the reason why it is not called a chord because it passes from the centre of the circle.

      Hope that helps you.........
      (16 votes)
  • leaf blue style avatar for user Paolo Miguel Bartolo
    What are corollaries and lemmas? Are they just theorems used for specific purposes?
    (23 votes)
    Default Khan Academy avatar avatar for user
    • duskpin tree style avatar for user Arohee Bhoja
      A corollary is basically another theorem that can extremely easily be proved with the first one. A lemma is like a proof of a theorem inside of a theorem (mostly used for lesser-known or less useful theorems that generally aren't actually considered theorems)!
      (4 votes)
  • male robot hal style avatar for user Richard Song
    What does Sal mean when he says that line AE is equal to itself?
    (3 votes)
    Default Khan Academy avatar avatar for user
    • piceratops ultimate style avatar for user Just Keith
      That is the Law of Identity (abbreviated LOI). It is sometimes used in geometry proofs when the same line, line segment, angle or other measure is used in two different figures. The Law of Identity states that every figure is congruent to itself.

      For example, In a proof that two triangles are congruent, if you already know that two sides are congruent and you have the two triangles sharing the third side, then you can establish SSS congruency by pointing out that the remaining side of each triangle must be congruent due to LOI.
      (10 votes)
  • aqualine ultimate style avatar for user Lakshit A
    In the beginning of the video, Sal said that the previous video was about SSS congruence. But for me, it's the inscribed quadrilaterals proof. Just to be clear, I'm watching the video through Math => High School Geometry => Circles => Proofs with inscribed shapes. Am I missing something??
    (5 votes)
    Default Khan Academy avatar avatar for user
  • mr pants teal style avatar for user Elaine Xie
    Whats the difference between a postulate and an axiom? Are they the same thing?
    (2 votes)
    Default Khan Academy avatar avatar for user
  • marcimus pink style avatar for user Shaunsimgy
    I still don't understand:
    What is an axiom and a postulate?
    (3 votes)
    Default Khan Academy avatar avatar for user
  • marcimus pink style avatar for user Miranda
    Somewhere in the video (probably where he drew the chord on the circle) he said something about secant? what is that?
    (2 votes)
    Default Khan Academy avatar avatar for user
    • piceratops ultimate style avatar for user Just Keith
      The term "secant" is used in mathematics in more than one way. In this case, it means a line that (locally) intersects the curve in exactly two places.

      "Secant" (abbreviated "sec") is also the name a trigonometric function this is the reciprocal of the cosine.
      Thus sec θ = 1 / cos θ
      (4 votes)
  • female robot grace style avatar for user jiwon02
    What is the difference between theorems and postualtes?
    (2 votes)
    Default Khan Academy avatar avatar for user
    • marcimus pink style avatar for user Tyler
      Both theorems and postulates are statements of truth, but the difference is that postulates are assumed to be true without proof, while theorems must be proven true. For example, the statement "a line contains at least two points" is a postulate. It is nearly a part of the definition of a line, and as a result, it requires no proof.

      However, the statement "if two lines intersect, then they must intersect at only exactly one point" is a little less obvious. This is a theorem, because it must be proven before it is accepted as true.

      For some more examples of these, see this page:
      http://www.cliffsnotes.com/math/geometry/fundamental-ideas/postulates-and-theorems
      (2 votes)
  • leaf red style avatar for user Amber Harrington
    Can you bisect any given chord?
    (1 vote)
    Default Khan Academy avatar avatar for user
  • piceratops tree style avatar for user thomas paul
    what does postulate mean?
    (1 vote)
    Default Khan Academy avatar avatar for user

Video transcript

In the last video, we learned that if we have two different triangles and if all of the corresponding sides of the two triangles have the same length, then by side-side-side, we know that the two triangles are congruent. And I also touched a little bit on the idea of an axiom or postulate. But I want to be clear. Sometimes you will hear this referred to as a side-side-side theorem, and sometimes you'll hear it as a side-side-side postulate or axiom. And I think it's worth differentiating what these mean. A postulate or an axiom is something that you just assume, you assume from the get-go, while a theorem is something you prove using more basic or using some postulates or axioms. Really in all of mathematics, you make some core assumptions. You call these the axioms or the postulates. And then using those, you try to prove theorems. So maybe using that one, I can prove some theorem over here. And maybe using that theorem, and then this axiom, I can prove another theorem over here. And then using both of those theorems, I can prove another theorem over here. I think you get the picture. This axiom might lead us to this theorem. These two might lead us to this theorem right over here. And we essentially try to build our knowledge or we build a mathematics around these core assumptions. In an introductory geometry class, we don't rigorously prove the side-side-side theorem. And that's why in a lot of geometry classes, you kind of just take it as a given, as a postulate or an axiom. And the whole reason why I'm doing this is one, just so you know the difference between the words theorem and postulate or axiom. And also so that you don't get confused. It is just a given, but in a lot of books-- and I've looked at several books-- they do refer to it as the side-side-side theorem, even though they never prove it rigorously. They do just assume it. So it really is more of a postulate or an axiom. Now with that out of the way, we're just going to assume going forward that we just know that this is true. We're going to take it as a given. I want to show you that we can already do something pretty useful with it. So let's say that we have a circle. And there's many useful things that we can already do with it. And this circle has a center, right here at A. And let's say that we have a chord in the circle that is not a diameter. So let me draw a chord here. So let me draw a chord in this circle. So it's kind of a segment of a secant line. And let's say that I have a line that bisects this chord from the center. And I guess I call it a radius because I'm going to go from the center to the edge of the circle right over there. So I'm going to the center to the circle itself. And when I say bisects it-- so these are all-- I'm just setting up the problem right now. When I say bisecting it, it means it splits that line segment in half. So what it tells is, is that the length of this segment right over here is going to be equivalent to the length of this segment right over there. I've set it up. I have a circle. This radius bisects this chord right over here. And the goal here is to prove that it bisects this chord at a right angle. Or another way to say it-- let me add some points here. Let's call this B. Let's call this C, And let's call this D. I want to prove that segment AB is perpendicular. It intersects it at a right angle. It is perpendicular to segment CD. And as you could imagine, I'm going to prove it pretty much using the side-side-side whatever you want to call it, side-side-side theorem, postulate, or axiom. So let's do it. Let's think about it this way. So you can imagine if I'm going to use this, I need to have some triangles. There's no triangles here right now. But I can construct triangles, and I can construct triangles based on things I know. For example, I can construct-- this has some radius. That's a radius right over here. The length of that is just going to be the radius of the circle. But I can also do it right over here. The length of AC is also going to be the radius of the circle. So we know that these two lines have the same length, which is the radius of the circle. Or we could say that AD is congruent to AC, or they have the exact same lengths. We know from the set-up in the problem that this segment is equal in length to this segment over here. Let me add a point here so I can refer to it. So if I call that point E, we know from the set-up in the problem, that CE is congruent to ED, or they have the same lengths. CE has the same length as ED. And we also know that both of these triangles, the one here on the left and the one here on the right, they both share the side EA. So EA is clearly equal to EA. So this is clearly equal to itself. It's the same side. The same side is being used for both triangles. The triangles are adjacent to each other. And so we see a situation where we have two different triangles that have corresponding sides being equal. This side is equivalent to this side right over here. This side is equal in length to that side over there. And then, obviously, AE is equivalent to itself. It's a side on both of them. It's the corresponding side on both of these triangles. And so by side-side-side, AEC. Let me write it over here. By side-side-side, we know that triangle AEC is congruent to triangle AED. But how does that help us? How does that help us knowing that we used our little theorem? But how does that actually help us here? Well, what's cool is once we know that two triangles are congruent-- so because they are congruent, from that, we can deduce that all the angles are the same. And in particular, we can deduce that this angle right over here, that the measure of angle CEA is equivalent to the measure of angle DEA. And the reason why that's useful is that we also see, just by looking at this, that they're supplementary to each other. They're adjacent angles. Their outer sides form a straight angle. So CEA is supplementary and equivalent to DEA. So, they're are also supplementary. So we also have the measure of angle CEA plus the measure of angle DEA is equal to 180 degrees. But they're equivalent to each other. So I could replace the measure of DEA with the measure of CEA. Or I could rewrite this as 2 times the measure of angle CEA is equal to 180 degrees. Or I could divide both sides by 2. And I say the measure of angle CEA is equal to 90 degrees, which is going to be the same as the measure of angle DEA because they're equivalent. So we know that this angle right over here is 90 degrees. So I can do it with that little box. And this angle right over here is 90 degrees. And because AB intersects where it intersects CD, we have a 90 degree angle here and there. And we could also prove this over there as well. They are perpendicular to each other.