Art of Problem Solving
AoPS Online
Math texts, online classes, and more
for students in grades 5-12.
Visit AoPS Online ‚
Books for Grades 5-12 Online Courses
Beast Academy
Engaging math books and online learning
for students ages 6-13.
Visit Beast Academy ‚
Books for Ages 6-13 Beast Academy Online
AoPS Academy
Small live classes for advanced math
and language arts learners in grades 2-12.
Visit AoPS Academy ‚
Find a Physical Campus Visit the Virtual Campus

Difference between revisions of "Circumcenter"

m (→‎Second Proof)
m (Added stub to page)
 
(4 intermediate revisions by 4 users not shown)
Line 1: Line 1:
−
The '''circumcenter''' is the [[center]] of the [[circumcircle]] of a [[polygon]]. However, it should be noted that only certain polygons can be circumscribed by a [[circle]]. All [[triangle]]s have a circumcircle whose circumcenter is the intersection of the triangle's [[perpendicular bisector]]s.  [[Quadrilateral]]s which have circumcircles are called [[cyclic quadrilateral]]s.  Also, every [[regular polygon]] is [[cyclic]].
+
The '''circumcenter''' is the [[center]] of the [[circumcircle]] of a [[polygon]]. Only certain polygons can be circumscribed by a [[circle]]: all [[nondegenerate]] [[triangle]]s have a circumcircle whose circumcenter is the intersection of the [[perpendicular bisector]]s of the sides of the triangle.  [[Quadrilateral]]s which have circumcircles are called [[cyclic quadrilateral]]s.  Also, every [[regular polygon]] is [[cyclic]].
  
 
[[Image:Circumcircle2.PNG|center]]
 
[[Image:Circumcircle2.PNG|center]]
Line 7: Line 7:
 
=== First Proof ===
 
=== First Proof ===
  
−
We consider a [[triangle]] <math>\displaystyle ABC</math>. Let <math>\displaystyle O</math> be the intersection of the perpendicular bisectors of the [[side]]s <math>\displaystyle AB</math> and <math>\displaystyle BC</math>.  Since <math>\displaystyle O</math> lies on the perpendicular bisector of <math>\displaystyle AB</math>, it is [[equidistant]] from <math>\displaystyle A</math> and <math>\displaystyle B</math>; likewise, it is equidistant from <math>\displaystyle B</math> and <math>\displaystyle {C}</math>.  Hence <math>\displaystyle O</math> is equidistant from <math>\displaystyle A</math> and <math>\displaystyle {C}</math>; hence <math>\displaystyle O</math> also lies on the perpendicular bisector of <math>\displaystyle AC</math> (and is the circumcenter).
+
We consider a nondegenerate triangle <math>\triangle ABC</math>.   Since the triangle is nondegenerate, <math>AB</math> and <math>BC</math> lie on different [[line]]s and so their perpendicular bisectors are not parallel and thus intersect.  Let <math>O</math> be the intersection of these perpendicular bisectors.  Since <math>O</math> lies on the perpendicular bisector of <math>AB</math>, it is [[equidistant]] from <math>A</math> and <math>B</math>; likewise, it is equidistant from <math>B</math> and <math>{C}</math>.  Hence <math>O</math> is equidistant from <math>A</math> and <math>{C}</math>; hence <math>O</math> also lies on the perpendicular bisector of <math>AC</math> (and is the circumcenter).
  
 
=== Second Proof ===
 
=== Second Proof ===
Line 20: Line 20:
 
By [[SAS Similarity]] <math>\triangle BFD\sim \triangle BAC</math>.  Thus <math>\angle BFD = \angle BAC</math> making <math>FD || AC</math>.  Since <math>EO\perp AC</math> and <math>AC\| FD, EO\perp FD</math> making <math>EH</math> an [[altitude]] of <math>DEF</math>.  Likewise, <math>DG</math> and <math>FI</math> are also altitudes.  Thus, the problem is reduced to proving that the altitudes of a triangle are concurrent.  This can be done using Ceva's Theorem.
 
By [[SAS Similarity]] <math>\triangle BFD\sim \triangle BAC</math>.  Thus <math>\angle BFD = \angle BAC</math> making <math>FD || AC</math>.  Since <math>EO\perp AC</math> and <math>AC\| FD, EO\perp FD</math> making <math>EH</math> an [[altitude]] of <math>DEF</math>.  Likewise, <math>DG</math> and <math>FI</math> are also altitudes.  Thus, the problem is reduced to proving that the altitudes of a triangle are concurrent.  This can be done using Ceva's Theorem.
  
−
It is worth noting that the existance of the circumcenter is a much more fundamentally important theorem than it might seem, since it implies that three [[point]]s determine a circle.
+
It is worth noting that the existence of the circumcenter is a much more fundamentally important theorem than it might seem, since it implies that three [[point]]s determine a circle.
 +
 
 +
[[Category:Geometry]]
 +
{{stub}}

Latest revision as of 13:14, 22 November 2024

The circumcenter is the center of the circumcircle of a polygon. Only certain polygons can be circumscribed by a circle: all nondegenerate triangles have a circumcircle whose circumcenter is the intersection of the perpendicular bisectors of the sides of the triangle. Quadrilaterals which have circumcircles are called cyclic quadrilaterals. Also, every regular polygon is cyclic.

Circumcircle2.PNG

Proof that the perpendicular bisectors of a triangle are concurrent

First Proof

We consider a nondegenerate triangle $\triangle ABC$. Since the triangle is nondegenerate, $AB$ and $BC$ lie on different lines and so their perpendicular bisectors are not parallel and thus intersect. Let $O$ be the intersection of these perpendicular bisectors. Since $O$ lies on the perpendicular bisector of $AB$, it is equidistant from $A$ and $B$; likewise, it is equidistant from $B$ and ${C}$. Hence $O$ is equidistant from $A$ and ${C}$; hence $O$ also lies on the perpendicular bisector of $AC$ (and is the circumcenter).

Second Proof

We start with a diagram:

Circumproof1.PNG

One of the most common techniques for proving the concurrency of lines is Ceva's Theorem. However, there aren't any cevians in the diagram which would be needed for a direct application of Ceva's Theorem. Thus, we look for a way to make some by drawing in helpful lines. Drawing in $DE, EF$ and $FD$ (i.e. the medial triangle of $ABC$) does the trick.

Circumproof2.PNG

By SAS Similarity $\triangle BFD\sim \triangle BAC$. Thus $\angle BFD = \angle BAC$ making $FD || AC$. Since $EO\perp AC$ and $AC\| FD, EO\perp FD$ making $EH$ an altitude of $DEF$. Likewise, $DG$ and $FI$ are also altitudes. Thus, the problem is reduced to proving that the altitudes of a triangle are concurrent. This can be done using Ceva's Theorem.

It is worth noting that the existence of the circumcenter is a much more fundamentally important theorem than it might seem, since it implies that three points determine a circle. This article is a stub. Help us out by expanding it.

Retrieved from "https://artofproblemsolving.com/wiki/index.php?title=Circumcenter&oldid=235293"