7.2: Circles

Last updated
Save as PDF

Page ID: 34153

$ \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } $

$ \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} $

$ \newcommand{\id}{\mathrm{id}}$ $ \newcommand{\Span}{\mathrm{span}}$

( \newcommand{\kernel}{\mathrm{null}\,}\) $ \newcommand{\range}{\mathrm{range}\,}$

$ \newcommand{\RealPart}{\mathrm{Re}}$ $ \newcommand{\ImaginaryPart}{\mathrm{Im}}$

$ \newcommand{\Argument}{\mathrm{Arg}}$ $ \newcommand{\norm}[1]{\| #1 \|}$

$ \newcommand{\inner}[2]{\langle #1, #2 \rangle}$

$ \newcommand{\Span}{\mathrm{span}}$

$ \newcommand{\id}{\mathrm{id}}$

$ \newcommand{\Span}{\mathrm{span}}$

$ \newcommand{\kernel}{\mathrm{null}\,}$

$ \newcommand{\range}{\mathrm{range}\,}$

$ \newcommand{\RealPart}{\mathrm{Re}}$

$ \newcommand{\ImaginaryPart}{\mathrm{Im}}$

$ \newcommand{\Argument}{\mathrm{Arg}}$

$ \newcommand{\norm}[1]{\| #1 \|}$

$ \newcommand{\inner}[2]{\langle #1, #2 \rangle}$

$ \newcommand{\Span}{\mathrm{span}}$ $ \newcommand{\AA}{\unicode[.8,0]{x212B}}$

$ \newcommand{\vectorA}[1]{\vec{#1}} % arrow$

$ \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow$

$ \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } $

$ \newcommand{\vectorC}[1]{\textbf{#1}} $

$ \newcommand{\vectorD}[1]{\overrightarrow{#1}} $

$ \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} $

$ \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} $

$ \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } $

$ \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} $

$\newcommand{\avec}{\mathbf a}$ $\newcommand{\bvec}{\mathbf b}$ $\newcommand{\cvec}{\mathbf c}$ $\newcommand{\dvec}{\mathbf d}$ $\newcommand{\dtil}{\widetilde{\mathbf d}}$ $\newcommand{\evec}{\mathbf e}$ $\newcommand{\fvec}{\mathbf f}$ $\newcommand{\nvec}{\mathbf n}$ $\newcommand{\pvec}{\mathbf p}$ $\newcommand{\qvec}{\mathbf q}$ $\newcommand{\svec}{\mathbf s}$ $\newcommand{\tvec}{\mathbf t}$ $\newcommand{\uvec}{\mathbf u}$ $\newcommand{\vvec}{\mathbf v}$ $\newcommand{\wvec}{\mathbf w}$ $\newcommand{\xvec}{\mathbf x}$ $\newcommand{\yvec}{\mathbf y}$ $\newcommand{\zvec}{\mathbf z}$ $\newcommand{\rvec}{\mathbf r}$ $\newcommand{\mvec}{\mathbf m}$ $\newcommand{\zerovec}{\mathbf 0}$ $\newcommand{\onevec}{\mathbf 1}$ $\newcommand{\real}{\mathbb R}$ $\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}$ $\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}$ $\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}$ $\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}$ $\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}$ $\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}$ $\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}$ $\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}$ $\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}$ $\newcommand{\laspan}[1]{\text{Span}\{#1\}}$ $\newcommand{\bcal}{\cal B}$ $\newcommand{\ccal}{\cal C}$ $\newcommand{\scal}{\cal S}$ $\newcommand{\wcal}{\cal W}$ $\newcommand{\ecal}{\cal E}$ $\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}$ $\newcommand{\gray}[1]{\color{gray}{#1}}$ $\newcommand{\lgray}[1]{\color{lightgray}{#1}}$ $\newcommand{\rank}{\operatorname{rank}}$ $\newcommand{\row}{\text{Row}}$ $\newcommand{\col}{\text{Col}}$ $\renewcommand{\row}{\text{Row}}$ $\newcommand{\nul}{\text{Nul}}$ $\newcommand{\var}{\text{Var}}$ $\newcommand{\corr}{\text{corr}}$ $\newcommand{\len}[1]{\left|#1\right|}$ $\newcommand{\bbar}{\overline{\bvec}}$ $\newcommand{\bhat}{\widehat{\bvec}}$ $\newcommand{\bperp}{\bvec^\perp}$ $\newcommand{\xhat}{\widehat{\xvec}}$ $\newcommand{\vhat}{\widehat{\vvec}}$ $\newcommand{\uhat}{\widehat{\uvec}}$ $\newcommand{\what}{\widehat{\wvec}}$ $\newcommand{\Sighat}{\widehat{\Sigma}}$ $\newcommand{\lt}{<}$ $\newcommand{\gt}{>}$ $\newcommand{\amp}{&}$ $\definecolor{fillinmathshade}{gray}{0.9}$

The circle is one of the most frequently encountered geometric figures. Wheels, rings, phonograph records, clocks, coins are just a few examples of common objects with circular shape. The circle has many applications in the construction of machinery and in architectural and ornamental design.

To draw a circle we use an instrument called a compass (Figure $\PageIndex{1}$). The compass consists of two arms, one ending in a sharp metal point and the other attached to a pencil. We draw the circle by rotating the pencil while the metal point is held so that it does not move, The position of the metal point is called the center of the circle. The distance between the center and the tip of the pencil is called the radius of the circle, the radius remains the same as the circle is drawn.

Figure $\PageIndex{1}$: Using a compass to draw a circle.

The method of constructing a circle suggests the following definition:

Definition: Circle

A circle is a figure consisting of all points which are a given distance from a fixed point called the center. For example the circle in Figure 2 consists of all points which are a distance of 3 from the center 0. The radius is the distance of any point on the circle from the center.

The circle in Figure $\PageIndex{2}$ has radius 2. The term radius is also used to denote any of the line segments from a point on the circle to the center. In Figure $\PageIndex{2}$, each of the line segments $OA, OB$, and $OC$ is a radius. It follows from the definition of circle that all radii of a circle are equal. So in Figure $\PageIndex{2}$ the three radii $OA, OB$, and $OC$ are all equal to 3.

Figure $\PageIndex{2}$: A circle with radius 3. (Copyright; author via source)

A circle is usually named for its center. The circle in Figure $\PageIndex{2}$ is called circle $O$.

A chord is a line segment joining two points on a circle. In Figure $\PageIndex{2}$, $DE$ is a chord. A diameter is a chord which passes through the center. \(BC is a diameter. A diameter is always twice the length of a radius since it consists of two radii. Any diameter of circle 0 is equal to 6. All diameters of a circle are equal.

Example $\PageIndex{1}$

Find the radius and diameter and diameter.

$clipboard_ee49411164bb3f6b3388513d5e0f8bc19.png$

Solution

All radii are equal so

\[\begin{aligned}

O A &=O B \\

\frac{x}{2}+9 &=3 x-2 \\

(2)\left(\frac{x}{2}+9\right) &=(3 x-2)(2) \\

x+18 &=6 x-4 \\

22 &=5 x \\

x &=\frac{22}{5}=4.4

\end{aligned}\]

Check:

$OA = OB$

\[\begin{array}{r|l}

\frac{x}{2}+9 & 3 x-2 \\

\frac{4.4}{2}+9 & 3(4.4)-2 \\

2.2+9 & 13.2-2 \\

11.2 & 11.2

\end{array}\]

Therefore the radius = $OA = OB$ = 11.2 and the diameter = 2(11.2) =22.4.

Answer: radius =11.2, diameter =22.4.

The following three theorems show that a diameter of a circle and the perpendicular bisector of a chord in a circle are actually the same thing.

Theorem $\PageIndex{1}$

A diameter perpendicular to a chord bisects the chord.

In Figure $\PageIndex{3}$, if $AB \perp CD$ then $AE = EB$.

Screen Shot 2020-12-28 at 1.21.06 PM.png — Figure $\PageIndex{3}$: The diameter $CD$ is perpendicular to chord $AB$.

Proof: $Screen Shot 2020-12-28 at 1.22.19 PM.png$
Figure $\PageIndex{4}$: Draw $OA$ and $OB$.

Draw $OA$ and $OB$ (Figure $\PageIndex{4}$). $OA = OB$ because all radii of a circle are equal. $OE = OE$ because of identity. Therefore $\triangle ACE \cong \triangle BOE$ by Hyp-Leg = Hyp-Leg. Hence $AE = BE$ because they are corresponding sides of congruent triangles.

Example $\PageIndex{2}$

Find $AB$:

$Screen Shot 2020-12-28 at 1.27.33 PM.png$

Solution

Screen Shot 2020-12-28 at 1.28.14 PM.png — Figure $\PageIndex{5}$: Draw $OA$.

Draw $OA$ (Figure $\PageIndex{5}$). $OA = \text{radius} = OD = 18 + 7 = 25$. $\triangle AOE$ is a right triangle and therefore we can use the Pythagorean theorem to find $AE$:

$\begin{array} {rcl} {\text{AE}^2+\text{CE}^2} & = & {\text{CA}^2} \\ {\text{AE}^2 + 7^2} & = & {25^2} \\ {\text{AE}^2 + 49} & = & {625} \\ {\text{AE}^2} & = & {576} \\ {\text{AE}} & = & {24} \end{array}$

By Theorem $\PageIndex{1}$, $EB = AE = 24$ so $AB = AE + EB = 24 + 24 = 48$.

Answer: $AB = 48$.

Theorem $\PageIndex{2}$

A diameter that bisects a chord which is not a diameter is perpendicular to it.

In Figure $\PageIndex{6}$, if $AE = EB$ then $AB \perp CD$.

Screen Shot 2020-12-28 at 1.36.11 PM.png — Figure $\PageIndex{6}$: Diameter $CD$ bisects chord $AB$.

Proof: $Screen Shot 2020-12-28 at 1.37.11 PM.png$
Figure $\PageIndex{7}$: Draw $OA$ and $OB$.

Draw $OA$ and $OB$ (Figure $\PageIndex{7}$). $OA = OB$ because all radii are equal, $OE = OE$ (identity) and $AE = EB$ (given). Therefore $\triangle AOE \cong \triangle BOE$ by $SSS = SSS$. Therefore $\triangle AEO = \triangle BEO$. Since $\angle AEO$ and $\angle BEO$ are also supplementary we must also have $\angle AEO = \angle BEO = 90^{\circ}$, which is what we had to prove.

Example $\PageIndex{3}$

Find $x$:

$Screen Shot 2020-12-28 at 1.40.07 PM.png$

Solution

Screen Shot 2020-12-28 at 1.40.29 PM.png — Figure $\PageIndex{8}$: Draw $OA$.

Draw $OA$ (Figure $PageIndex{8}$). $OA = \text{radius} = OD = 25$. According to Theorem $\PageIndex{2}$, $AB \perp CD$. Therefore $\triangle AOE$ is a right triangle, and we can use the Pythagorean theorem to find $x$:

\[\begin{array} {rcl} {\text{OE}^2 + \text{AE}^2} & = & {\text{OA}^2} \\ {x^2 + 24^2} & = & {25^2} \\ {x^2 + 576} & = & {625} \\ {x^2} & = & {49} \\ {x} & = & {7} \end{array}\]

Answer: $x = 7$.

Theorem $\PageIndex{3}$

The perpendicular bisector of a chord must pass through the center of the circle (that is, it is a diameter).

In Figure $\PageIndex{9}$, if $CD \perp AB$ and $AE = EB$ then $O$ must lie on $CD$.

Screen Shot 2020-12-28 at 1.46.40 PM.png — Figure $\PageIndex{9}$: If $CD$ is a perpendicular bisector of $AB$ then $CD$ must pass through $O$.

Proof: $Screen Shot 2020-12-28 at 1.48.57 PM.png$
Figure $\PageIndex{10}$: Draw $FG$ through $O$ perpendicular to $AB$.

Draw a diameter $FG$ through $O$ perpendicular to $AB$ at $H$ (Figure $\PageIndex{10}$). Then according to Theorem $\PageIndex{1}$ $H$ must bisect $AB$. Hence $H$ and $E$ are the same point and $FG$ and $CD$ are the same line. So $O$ lies on $CD$. This completes the proof.

Example $\PageIndex{4}$

Find the radius of the circle:

$Screen Shot 2020-12-28 at 1.51.55 PM.png$

Solution

Screen Shot 2020-12-28 at 2.05.11 PM.png — Figure $\PageIndex{11}$: Draw $OA$ and let $r$ be the radius.

According to Theorem $\PageIndex{3}$, $O$ must lie on $CD$. Draw $OA$ (Figure $\PageIndex{11}$). Let $r$ be the radius. Then $OA = OD = r$ and $OE = r - 1$. To find $r$ we apply the Pythagorean theorem to right triangle $AOE$:

\[\begin{array} {rcl} {\text{AE}^2 + \text{OE}^2} & = & {\text{OA}^2} \\ {3^2 + (r - 1)^2} & = & {r^2} \\ {9 + r^2 - 2r + 1} & = & {r^2} \\ {10} & = & {2r} \\ {5} & = & {r} \end{array}\]

Answer: $r = 5$.

Example $\PageIndex{5}$

Find which chord, $AB$ or $CD$, is larger if the radius of the circle is 25:

$Screen Shot 2020-12-28 at 2.09.13 PM.png$

Solution

Screen Shot 2020-12-28 at 2.10.38 PM.png — Figure $\PageIndex{12}$: Draw $OA, OB, OC$ and $OD$.

Draw $OA, OB, OC$ and $OD$ (Figure $\PageIndex{12}$). Each is a radius and equal to 25. We use the Pythagorean theorem, applied to right triangle $AOE$, to find $AE$:

\[\begin{array} {rcl} {\text{AE}^2 + \text{OE}^2} & = & {\text{OA}^2} \\ {\text{AE}^2 + 7^2} & = & {25^2} \\ {\text{AE}^2 + 49} & = & {625} \\ {\text{AE}^2} & = & {576} \\ {\text{AE}} & = & {24} \end{array}\]

Since perpendicular $OE$ bisects $AB$ (Theorem $\PageIndex{1}$) $BE = AE = 24$ and so $AB = AE + BE = 24 + 24 = 48$.

Similarly, to find $CF$, we apply the Pythagorean theorem to right triangle $COF$:

\[\begin{array} {rcl} {\text{CF}^2 + \text{OF}^2} & = & {\text{OC}^2} \\ {\text{CF}^2 + 15^2} & = & {25^2} \\ {\text{CF}^2 + 225} & = & {625} \\ {\text{CF}^2} & = & {400} \\ {\text{CF}} & = & {20} \end{array}\]

Again, from Theorem $\PageIndex{1}$, we know $OF$ bisects $CD$, hence $DF = CF = 20$ and $CD = 40$.

Answer: $AB = 48$, $CD = 40$, $AB$ is larger than $CD$.

Example $\PageIndex{5}$ suggests the following Theorem (which we state without proof):