2.5: Circumscribed and Inscribed Circles
- Page ID
- 3258
\( \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}\)Recall from the Law of Sines that any triangle \(\triangle\,ABC\) has a common ratio of sides to sines of opposite angles, namely
\[ \frac{a}{\sin\;A} ~=~ \frac{b}{\sin\;B} ~=~ \frac{c}{\sin\;C} ~.
\nonumber \]
This common ratio has a geometric meaning: it is the diameter (i.e. twice the radius) of the unique circle in which \(\triangle\,ABC\) can be inscribed, called the circumscribed circle of the triangle. Before proving this, we need to review some elementary geometry.
![alt](https://math.libretexts.org/@api/deki/files/2116/2.5.1.png?revision=1&size=bestfit&width=639&height=195)
An inscribed angle of a circle is an angle whose vertex is a point \(A\) on the circle and whose sides are line segments (called chords) from \(A\) to two other points on the circle. In Figure 2.5.1(b), \(\angle\,A\) is an inscribed angle that intercepts the arc \(\overparen{BC} \). We state here without proof a useful relation between inscribed and central angles:
If an inscribed angle \(\angle\,A\) and a central angle \(\angle\,O\) intercept the same arc, then \(\angle\,A = \frac{1}{2}\,\angle\,O\, \). Thus, inscribed angles which intercept the same arc are equal.
Figure 2.5.1(c) shows two inscribed angles, \(\angle\,A\) and \(\angle\,D \), which intercept the same arc \(\overparen{BC}\) as the central angle \(\angle\,O \), and hence \(\angle\,A = \angle\,D = \frac{1}{2}\,\angle\,O\) (so \(\;\angle\,O = 2\,\angle\,A = 2\,\angle\,D\,) \).
We will now prove our assertion about the common ratio in the Law of Sines:
For any triangle \(\triangle\,ABC \), the radius \(R\) of its circumscribed circle is given by:
\[2\,R ~=~ \frac{a}{\sin\;A} ~=~ \frac{b}{\sin\;B} ~=~ \frac{c}{\sin\;C}\label{2.35} \]
Note: For a circle of diameter \(1 \), this means \(a=\sin\;A \), \(b=\sin\;B \), and \(c=\sin\;C \).)
To prove this, let \(O\) be the center of the circumscribed circle for a triangle \(\triangle\,ABC \). Then \(O\) can be either inside, outside, or on the triangle, as in Figure 2.5.2 below. In the first two cases, draw a perpendicular line segment from \(O\) to \(\overline{AB}\) at the point \(D \).
![alt](https://math.libretexts.org/@api/deki/files/2117/2.5.2.png?revision=1&size=bestfit&width=620&height=206)
The radii \(\overline{OA}\) and \(\overline{OB}\) have the same length \(R \), so \(\triangle\,AOB\) is an isosceles triangle. Thus, from elementary geometry we know that \(\overline{OD}\) bisects both the angle \(\angle\,AOB\) and the side \(\overline{AB} \). So \(\angle\,AOD = \frac{1}{2}\,\angle\,AOB\) and \(AD = \frac{c}{2} \). But since the inscribed angle \(\angle\,ACB\) and the central angle \(\angle\,AOB\) intercept the same arc \(\overparen{AB} \), we know from Theorem 2.4 that \(\angle\,ACB = \frac{1}{2}\,\angle\,AOB \). Hence, \(\angle\,ACB = \angle\,AOD \). So since \(C =\angle\,ACB \), we have
\[ \sin\;C ~=~ \sin\;\angle\,AOD ~=~ \frac{AD}{OA} ~=~ \frac{\frac{c}{2}}{R} ~=~ \frac{c}{2R}
\quad\Rightarrow\quad 2\,R ~=~ \frac{c}{\sin\;C} ~,
\nonumber \]
so by the Law of Sines the result follows if \(O\) is inside or outside \(\triangle\,ABC \).
Now suppose that \(O\) is on \(\triangle\,ABC \), say, on the side \(\overline{AB} \), as in Figure 2.5.2(c). Then \(\overline{AB}\) is a diameter of the circle, so \(C = 90^\circ\) by Thales' Theorem. Hence, \(\sin\;C = 1 \), and so \(2\,R = AB = c = \frac{c}{1} = \frac{c}{\sin\;C}\; \), and the result again follows by the Law of Sines. QED
![alt](https://math.libretexts.org/@api/deki/files/2118/2.5.3.png?revision=1&size=bestfit&width=186&height=158)
Solution:
We know that \(\triangle\,ABC\) is a right triangle. So as we see from Figure 2.5.3, \(\sin\;A = 3/5 \). Thus,
\[ 2\,R ~=~ \frac{a}{\sin\;A} ~=~ \frac{3}{\frac{3}{5}} ~=~ 5 \quad\Rightarrow\quad \boxed{R ~=~ 2.5} ~.\nonumber \]
Note that since \(R =2.5 \), the diameter of the circle is \(5 \), which is the same as \(AB \). Thus, \(\overline{AB}\) must be a diameter of the circle, and so the center \(O\) of the circle is the midpoint of \(\overline{AB} \).
For any right triangle, the hypotenuse is a diameter of the circumscribed circle, i.e. the center of the circle is the midpoint of the hypotenuse.
For the right triangle in the above example, the circumscribed circle is simple to draw; its center can be found by measuring a distance of \(2.5\) units from \(A\) along \(\overline{AB} \).
We need a different procedure for acute and obtuse triangles, since for an acute triangle the center of the circumscribed circle will be inside the triangle, and it will be outside for an obtuse triangle. Notice from the proof of Theorem 2.5 that the center \(O\) was on the perpendicular bisector of one of the sides (\(\overline{AB}\)). Similar arguments for the other sides would show that \(O\) is on the perpendicular bisectors for those sides:
For any triangle, the center of its circumscribed circle is the intersection of the perpendicular bisectors of the sides.
![alt](https://math.libretexts.org/@api/deki/files/2119/2.5.4.png?revision=1&size=bestfit&width=220&height=192)
Find the radius \(R\) of the circumscribed circle for the triangle \(\triangle\,ABC\) from Example 2.6 in Section 2.2: \(a = 2 \), \(b = 3 \), and \(c = 4 \). Then draw the triangle and the circle.
Solution:
In Example 2.6 we found \(A=28.9^\circ \), so \(2\,R = \frac{a}{\sin\;A} = \frac{2}{\sin\;28.9^\circ} = 4.14 \), so \(\boxed{R = 2.07}\; \).
In Figure 2.5.5(a) we show how to draw \(\triangle\,ABC\): use a ruler to draw the longest side \(\overline{AB}\) of length \(c=4 \), then use a compass to draw arcs of radius \(3\) and \(2\) centered at \(A\) and \(B \), respectively. The intersection of the arcs is the vertex \(C \).
![alt](https://math.libretexts.org/@api/deki/files/2120/2.5.5.png?revision=1&size=bestfit&width=577&height=199)
In Figure 2.5.5(b) we show how to draw the circumscribed circle: draw the perpendicular bisectors of \(\overline{AB}\) and \(\overline{AC}\); their intersection is the center \(O\) of the circle. Use a compass to draw the circle centered at \(O\) which passes through \(A \).
Theorem 2.5 can be used to derive another formula for the area of a triangle:
For a triangle \(\triangle\,ABC \), let \(K\) be its area and let \(R\) be the radius of its circumscribed circle. Then
\[K ~=~ \frac{abc}{4\,R} \quad ( \text{and hence }\; R ~=~ \frac{abc}{4\,K} ~) ~. \label{2.36} \]
To prove this, note that by Theorem 2.5 we have
\[ 2\,R ~=~ \frac{a}{\sin\;A} ~=~ \frac{b}{\sin\;B} ~=~ \frac{c}{\sin\;C} \quad\Rightarrow\quad
\sin\;A ~=~ \frac{a}{2\,R} ~,~~ \sin\;B ~=~ \frac{b}{2\,R} ~,~~ \sin\;C ~=~ \frac{c}{2\,R} ~.
\nonumber \]
Substitute those expressions into Equation 2.26 from Section 2.4 for the area \(K\):
\[ K ~=~ \frac{a^2 \;\sin\;B \;\sin\;C}{2\;\sin\;A} ~=~
\frac{a^2 \;\cdot\; \frac{b}{2\,R} \;\cdot\; \frac{c}{2\,R}}{2\;\cdot\; \frac{a}{2\,R}}
~=~ \frac{abc}{4\,R} \qquad \textbf{QED}
\nonumber \]
Combining Theorem 2.8 with Heron's formula for the area of a triangle, we get:
For a triangle \(\triangle\,ABC \), let \(s = \frac{1}{2}(a+b+c) \). Then the radius \(R\) of its circumscribed circle is
\[R ~=~ \frac{abc}{4\,\sqrt{s\,(s-a)\,(s-b)\,(s-c)}} ~~.\label{2.37} \]
![alt](https://math.libretexts.org/@api/deki/files/2121/2.5.6.png?revision=1&size=bestfit&width=406&height=202)
Let \(r\) be the radius of the inscribed circle, and let \(D \), \(E \), and \(F\) be the points on \(\overline{AB} \), \(\overline{BC} \), and \(\overline{AC} \), respectively, at which the circle is tangent. Then \(\overline{OD} \perp \overline{AB} \), \(\overline{OE} \perp \overline{BC} \), and \(\overline{OF} \perp \overline{AC} \). Thus, \(\triangle\,OAD\) and \(\triangle\,OAF\) are equivalent triangles, since they are right triangles with the same hypotenuse \(\overline{OA}\) and with corresponding legs \(\overline{OD}\) and \(\overline{OF}\) of the same length \(r \). Hence, \(\angle\,OAD =\angle\,OAF \), which means that \(\overline{OA}\) bisects the angle \(A \). Similarly, \(\overline{OB}\) bisects \(B\) and \(\overline{OC}\) bisects \(C \). We have thus shown:
For any triangle, the center of its inscribed circle is the intersection of the bisectors of the angles.
We will use Figure 2.5.6 to find the radius \(r\) of the inscribed circle. Since \(\overline{OA}\) bisects \(A \), we see that \(\tan\;\frac{1}{2}A = \frac{r}{AD} \), and so \(r = AD \,\cdot\, \tan\;\frac{1}{2}A \). Now, \(\triangle\,OAD\) and \(\triangle\,OAF\) are equivalent triangles, so \(AD =AF \). Similarly, \(DB = EB\) and \(FC = CE \). Thus, if we let \(s=\frac{1}{2}(a+b+c) \), we see that
\[\nonumber\begin{align*}
2\,s ~&=~ a ~+~ b ~+~ c ~=~ (AD + DB ) ~+~ (CE + EB) ~+~ (AF + FC)\\ \nonumber
&=~ AD ~+~ EB ~+~ CE ~+~ EB ~+~ AD ~+~ CE ~=~ 2\,(AD + EB + CE)\\ \nonumber
s ~&=~ AD ~+~ EB ~+~ CE ~=~ AD ~+~ a\\ \nonumber
AD ~&=~ s - a ~.
\end{align*} \nonumber \]
Hence, \(r = (s-a)\,\tan\;\frac{1}{2}A \). Similar arguments for the angles \(B\) and \(C\) give us:
For any triangle \(\triangle\,ABC \), let \(s = \frac{1}{2}(a+b+c) \). Then the radius \(r\) of its inscribed circle is
\[ r ~=~ (s-a)\,\tan\;\tfrac{1}{2}A ~=~ (s-b)\,\tan\;\tfrac{1}{2}B ~=~
(s-c)\,\tan\;\tfrac{1}{2}C ~.\label{2.38} \]
We also see from Figure 2.5.6 that the area of the triangle \(\triangle\,AOB\) is
\[ \text{Area}(\triangle\,AOB) ~=~ \tfrac{1}{2}\,\text{base} \times \text{height} ~=~
\tfrac{1}{2}\,c\,r ~.
\nonumber \]
Similarly, \(\text{Area}(\triangle\,BOC) = \frac{1}{2}\,a\,r\) and \(\text{Area}(\triangle\,AOC) = \frac{1}{2}\,b\,r \). Thus, the area \(K\) of \(\triangle\,ABC\) is
\[\nonumber \begin{align*}
K ~&=~ \text{Area}(\triangle\,AOB) ~+~\text{Area}(\triangle\,BOC) ~+~ \text{Area}(\triangle\,AOC)
~=~ \tfrac{1}{2}\,c\,r ~+~ \tfrac{1}{2}\,a\,r ~+~ \tfrac{1}{2}\,b\,r\\ \nonumber
&=~ \tfrac{1}{2}\,(a+b+c)\,r ~=~ sr ~,~\text{so by Heron's formula we get}\\ \nonumber
r ~&=~ \frac{K}{s} ~=~ \frac{\sqrt{s\,(s-a)\,(s-b)\,(s-c)}}{s} ~=~
\sqrt{\frac{s\,(s-a)\,(s-b)\,(s-c)}{s^2}} ~=~ \sqrt{\frac{(s-a)\,(s-b)\,(s-c)}{s}} ~~.
\end{align*} \nonumber \]
We have thus proved the following theorem:
For any triangle \(\triangle\,ABC \), let \(s = \frac{1}{2}(a+b+c) \). Then the radius \(r\) of its inscribed circle is
\[\label{2.39}r ~=~ \frac{K}{s} ~=~ \sqrt{\frac{(s-a)\,(s-b)\,(s-c)}{s}} ~~. \]
Recall from geometry how to bisect an angle: use a compass centered at the vertex to draw an arc that intersects the sides of the angle at two points. At those two points use a compass to draw an arc with the same radius, large enough so that the two arcs intersect at a point, as in Figure 2.5.7. The line through that point and the vertex is the bisector of the angle. For the inscribed circle of a triangle, you need only two angle bisectors; their intersection will be the center of the circle.
![alt](https://math.libretexts.org/@api/deki/files/2122/2.5.7.png?revision=1&size=bestfit&width=216&height=144)
Find the radius \(r\) of the inscribed circle for the triangle \(\triangle\,ABC\) from Example 2.6 in Section 2.2: \(a = 2 \), \(b = 3 \), and \(c = 4 \). Draw the circle.
![alt](https://math.libretexts.org/@api/deki/files/2123/2.5.8.png?revision=1&size=bestfit&width=338&height=162)
Solution:
Using Theorem 2.11 with \(s = \frac{1}{2}(a+b+c) =\frac{1}{2}(2+3+4) = \frac{9}{2} \), we have
\[ r ~=~ \sqrt{\frac{(s-a)\,(s-b)\,(s-c)}{s}} ~=~
\sqrt{\frac{\left(\frac{9}{2}-2\right)\,\left(\frac{9}{2}-3\right)\,\left(\frac{9}{2}-
4\right)}{\frac{9}{2}}} ~=~ \sqrt{\frac{5}{12}}~.\nonumber \]
Figure 2.5.8 shows how to draw the inscribed circle: draw the bisectors of \(A\) and \(B \), then at their intersection use a compass to draw a circle of radius \(r = \sqrt{5/12} \approx 0.645 \).