Main content

## Geometry (all content)

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

Lesson 4: Perpendicular bisectors# Three points defining a circle

Three points uniquely define a circle. If you circumscribe a circle around a triangle, the circumcenter of that triangle will also be the center of that circle. Created by Sal Khan.

## Want to join the conversation?

- Could someone explain to me how you can have 'o' as the circumcenter of a triangle it is not in? ( at about9:52the triangle i am confused about is drawn.)

Thanks for your help!(18 votes)- That is because the circumcenter doesn't have to be inside the triangle in all cases. In fact, in acute triangles it is always inside the triangle; in right triangles, it is always on the triangle, and in obtuse triangles, the circumcenter is always outside the triangle!(45 votes)

- At4:15, why does Sal write that any unique triangle has a unique circumcenter and circumradius?

I do agree that 3 points define a unique triangle, but different triangles can have the same circumcenter and circumradius, right? It is proven by the fact that you can draw multiple triangles inside a circle where the vertices of the triangle are on the circle.

Therefore a triangle doesn't have a unique circumcenter and circumradius, correct?(18 votes)- Okay. Your conclusion is not correct, but let me illustrate why:

(1) "Therefore a triangle doesn't have a unique circumcenter and circumradius."

This is false. This statement, however, is true:

(2) Therefore a given circle doesn't have a unique inscribed triangle.

Sal demonstrates that three noncollinear points uniquely determine a circle. You have correcly argued than the*converse is not true*. That is,

A given circle does not uniquely determine three noncollinear points.

The only mistake is your conclusion. To get a clear picture of how 'unique' can go one direction and not the other, I use parents and children. I have one and only one biological mother. My mother does not have one and only one child (I have a sister).

However, when Sal says at5:00"all of these triangles are going to have different circumcenters," that is not true, (or just ambiguous depending on what he means). Given two points, using a third point we can construct an infinite number of triangles that all lie on different circles; however, we can also use a third point to define an infinite number of triangles on the same circle.

Is*that*the error you're trying to pinpoint?

Be well and have fun.(25 votes)

- Would two points work for defining a circle if they indicated the length of the diameter?(7 votes)
- Actually, all of the points are assumed to be on the circumference, so by standard convention, you need at least three points.(5 votes)

- What are or what is Euclid's elements?(5 votes)
- so it's NOT the periodic table of elements because I was thinking about that when you said "Elements."(2 votes)

- What does arbituary mean?(4 votes)
- Arbitrary in this video sort of means 'random.' It means the triangle wasn't chosen for any special reason- he could have defined any other triangle.(9 votes)

- Re:04:06. Is Sal saying that all (emphasis) 3 points cannot be on the same line to have a triangle, though it is true that there will always be 2 of the 3 points which are on the same line.(4 votes)
- Any two points, no matter how far apart or weirdly placed (even in 3D, if the two points were at any depth), will always form a line.

But if you get three points on the same line, all it would form is a line, and not a triangle, which is a polygon and not a line.

To better explain, if you had three points that fell on a same line, you couldn't make a triangle out of them, consequently preventing you from taking a circumcenter (because you don't have a triangle), and finally not letting you make a circle.(8 votes)

- Regarding circumcentre, centroid and orthocentre, could someone please tell me more about the Euler line in a triangle?(I know this is not about circles, I am sorry.)(4 votes)
- You can have Sal tell you more about it. :)

http://www.khanacademy.org/math/geometry/triangles/v/euler-line(7 votes)

- so it is just the middle of the circle for both ones(5 votes)
- So, what he's saying is circles and triangles are the same? Triangles create circles?(3 votes)
- No, Sal is saying that you can create a circle utilizing the 3 points on a triangle.(1 vote)

- In this video at around9:20Sal has proven that 0 is the circumcenter of the triangle even though it is not in the triangle, and in the last video (Circumcenter of a right triangle) Sal proved that the circumcenter of a right triangle is the midpoint of the hypoteneuse. My question: can one construct a triangle in a bounded circle with a side through 0 that is not a right triangle?(3 votes)
- No, you can't.

If one of the sides of the triangle goes through 0, it is a diameter of the circle.

The other two sides will necessarily form a 90º angle, because this is the only angle whose subtended angle will be 180º (the diameter).

It is a very neat property of circumferences, how their diameters are related to right triangles in such a close way.

You can watch https://www.youtube.com/watch?v=b0U1NxbRU4w (Sal explains it here).(3 votes)

## Video transcript

We know that three
points define a triangle. So if I were to take
three random points here, so let's call that point
A, point B, and then let's say this is point
C right over here. If we say that these
three points are the vertices of a triangle,
they define a unique triangle. So this would be
triangle A-- try to draw my lines as straight
as possible-- triangle ABC. Now we've also learned
in the last few videos that triangle ABC has
a unique circumcenter. And that is a point that is
equidistant to these three vertices, it equidistant
to these three points. So the way can we can find
it is we draw a perpendicular bisector of each of
these sides and where the three perpendicular
bisectors intersect-- and we show that
they always intersect at a unique point-- that
is that circumcenter. And I'll do it really
quick right over here. So let's say that this
is the perpendicular bisector of that side, this
is the perpendicular bisector of that side, and this is
the perpendicular bisector of that side. So these are all perpendicular,
this is perpendicular, and they each bisect the sides. B to this point is going to
be equal to this point to A. A to this point is going
to be equal to that point to C. C to this point is going
to be equal to that point to B. And this point right over here,
we've already talked about, we'll call that point O. We
call that the circumcenter. O is the circumcenter. This is all a little
bit of review. So if you have three points,
you have a unique triangle. That unique triangle has a
unique circumcenter, which is equidistant to the three
points of the triangle, three-- I should say the three
vertices of the triangle-- and that distance
between the circumcenter and the three points, the
three vertices, I should say. So let me draw that
in a different color. So this distance, OA, the
length of OA, the length of OC, and the length of OB,
so OA is equal to OC is equal to OB, which
is the c circumradius. And we've learned when we
first talked about circles, if you give me a
point, and if we find the locus of
all points that are equidistant from that
point, then that is a circle. And when I say a locus, all I
mean is, the set of all points. If you give me any
point right over here, so that's an arbitrary point,
and you also specify a radius, and say what is the set of
all the points on this two dimensional plane
that are equidistant, that are that radius
away from the center? It uniquely defines a circle. That's how we defined a
circle right over here. And similarly, if
you say, look, if you start with the
center at O, and you say all of the points that are
the circumradius away from O, it will uniquely
identify a circle. And that circle will contain
the points A, B, and C because those are the
circumradius away from O. So they are included
in that set. So the circle would
look something like-- let me draw it. It would look
something like this-- trying my best to draw
it, just like that. Everything we've
talked about, just now within the last few
minutes, is all review. We know all of this. But I went over it just
to kind of reinstate a pretty interesting idea, that
if you give me three points that defines a unique
triangle, and if you have a unique triangle--
And let me make it clear. This is three
non-collinear points, so three points not
on the same line. If you have three points that
are not on the same line, that defines a unique triangle. For any unique triangle you
have a unique circumcenter and circumradius. I'll rewrite it, I don't
want to get lazy and confuse you-- circumradius. And if you give me
any point in space, any unique point, and a radius,
the set of all points that are exactly that
radius away from it, that defines a unique circle. So we went through
all of this business of talking about
the unique triangle, and the unique circumcenter,
and the unique radius, to really just show you that
if you give me any three points that eventually, really,
just defines a unique circle. So just as you need three
points to define a triangle, you also need three
points to define a circle, two points won't do it. And one way to think about it
is, if you give me two points, there's an infinite
number of triangles that I construct with
those two points, because I could put the
third point anywhere. I could construct this triangle. I could construct
this triangle, I could construct this triangle,
I can construct this triangle. And all of these
triangles are going to have different circumcenters
and different radiuses. And so they're going to
have different circles that circumscribe about
those triangles. So this one-- so
for example, this would be one circle
that could go around, that could circumscribe
that triangle. You could have this
circle right over here. So you see clearly,
very clearly, that two points are not enough. You need three points, three
points lead to a triangle, lead to a unique circle. So that by itself
is kind of cool. Now, another question is,
if I have just a circle, and if it's circumscribed
about an arbitrary triangle, is the center of that circle
necessarily the circumcenter? So let's think about
that a little bit, because there are some
non-intuitive cases here. So if I draw a circle
right over here, its center is right over there. And if I draw an
arbitrary triangle where all of the vertices of that
triangle are on this circle, is this center necessarily the
circumcenter of that triangle? So let me draw a
crazy situation. So let me draw one where
this thing is clearly outside of the
triangle, so that we could have a triangle
that looks like this. And it's clearly all three
vertices sit on the circle. So you might at first
say, wait, there's no way this could
be the circumcenter, it's not even
inside the triangle. But remember, this
point right here is equidistant to every
point on the circle. I should say, every
point on this circle is equidistant from this point,
they're all the radius away. And all three points of this
triangle are on the circle, so they are all exactly a radius
away from this point right over here. So this distance right over
here is going to be a radius, this distance right over
here is going to be a radius, and this distance right over
here is going to be a radius. Now, this point is clearly
equidistant from that point and that point. We know that, it's
exactly R away from both of those
vertices of the triangle. So if it's equidistant--
and we proved this in a previous
video-- if it's equidistant from
both of those points, it must be on the
perpendicular bisector of the segment that
joins those two points. So this must be on the
perpendicular bisector-- so that's perpendicular
and it bisects that segment right over there. But we can make the same
argument for this segment right over here, because this point
is R from the center-- we'll call it O, I am tired of
just saying this point. Point O is equidistant
from-- let me label these, so let's call this A, B, C. So we already said point O
is equidistant from C and B, so it must be on the
perpendicular bisector of BC. And it's also
equidistant from A and B. It's R away from both, because
A and B both sit on the circle, they're both a radius
away from the center. So it also must sit on the
perpendicular bisector of AB. Let me draw it a little
bit neater, there you go. So it must also be on this
perpendicular bisector. And then finally, it also
is equidistant from A. It's for the same distance
from A is it is from C. Because those are both R away,
they both sit on the circle, so it must be on the
perpendicular bisector of AC as well. So AC is right over here. This is what the
interesting thing is, we're seeing that the
three perpendicular bisectors of the three sides
of this triangle, they do definitely
intersect, but they are intersecting at a point
outside of that triangle. And that point is the
center of the circle. So once again, the last idea is,
O is equidistant from A and C, so it must sit on the
perpendicular bisector of AC, which would look
something like this, which would look something like that. So once again, we see the three
perpendicular bisectors are intersecting at a unique
point, and O really is the circumcenter. So if you take any circle,
if you take a circle, and if you put any
triangle whose vertices sit on the circle, the
center of that circle is its circumcenter. So we just drew
a situation where this is the circumcenter that
sits outside of the triangle proper. So point O is also going
to be the circumcenter of this triangle
right over here. And point O is also going
to be the circumcenter of this triangle
right over here. It's going to sit on
all three perpendicular bisectors of this, and
we know that because it's equidistant from all
three points of any of these triangles where the
vertices sit on the circle itself.