9.3: Points on a common circle
- Page ID
- 23635
\( \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 that the diameter of a circle is a chord that passes thru the center. If \([XY]\) is the diameter of a circle with center \(O\), then \(\measuredangle XOY = \pi\). Hence Theorem 9.2.1 implies the following:
Suppose \(\Gamma\) is a circle with the diameter \([AB]\). A triangle \(ABC\) has right angle at \(C\) if and only if \(C \in \Gamma\).
Given four points \(A, B, A'\), and \(B'\), construct a point \(Z\) such that both angles \(AZB\) and \(A'ZB'\) are right.
- Hint
-
Construct the circles \(\Gamma\) and \(\Gamma'\) on the diameters \([AB]\) and \([A'B']\) respectively. By Corollary \(\PageIndex{1}\), any point \(Z\) in the intersection \(\Gamma \cap \Gamma'\) will do.
Let \(\triangle ABC\) be a nondegenerate triangle, \(A'\) and \(B'\) be foot points of altitudes from \(A\) and \(B\) respectfully. Show that the four points \(A, B, A'\), and \(B'\) lie on one circle. What is the center of this circle?
- Hint
-
Note that \(\measuredangle AA'B = \pm \dfrac{\pi}{2}\) and \(\measuredangle AB'B = \pm \dfrac{\pi}{2}\). Then apply Corollary \(\PageIndex{2}\) to \(\square AA'BB'\).
If \(O\) is the center of the circle, then \(\measuredangle AOB \equiv 2 \cdot \measuredangle AA'B \equiv \pi\). That is, \(O\) is the midpoint of \([AB]\).
Assume a line \(\ell\), a circle with its center on \(\ell\) and a point \(P \not\in \ell\) are given. Make a ruler-only construction of the perpendicular to \(\ell\) from \(P\).
- Hint
-
Guess the construction from the diagram. To prove it, apply Theorem 8.2.1 and Corollary \(\PageIndex{1}\).
Suppose that lines \(\ell\), \(m\) and \(n\) pass thru a point \(P\); the lines \(\ell\) and \(m\) are tangent to a circle \(\Gamma\) at \(L\) and \(M\); the line \(n\) intersects \(\Gamma\) at two points \(X\) and \(Y\). Let \(N\) be the midpoint of \([XY]\). Show that the points \(P, L, M\), and \(N\) lie on one circle.
We say that a quadrangle \(ABCD\) is inscribed in circle \(\Gamma\) if all the points \(A, B, C\), and \(D\) lie on \(\Gamma\).
- Hint
-
Denote by \(O\) the center of \(\Gamma\). Use Corollary \(\PageIndex{1}\) to show that the point lie on the circle with diameter \([PO]\).
A nondegenerate quadrangle \(ABCD\) is inscribed in a circle if and only if
\(2 \cdot \measuredangle ABC \equiv 2 \cdot \measuredangle ADC.\)
- Proof
-
Since \(\square ABCD\) is nondegenerate, so is \(\triangle ABC\). Let \(O\) and \(\Gamma\) denote the circulcenter and circumcircle of \(\triangle ABC\) (they exist by Exercise 8.1.1).
According to Theorem 9.2.1,
\(2 \cdot \measuredangle ABC \equiv \measuredangle AOC\).
From the same theorem, \(D \ni \Gamma\) if and only if
\(2 \cdot \measuredangle ADC \equiv \measuredangle AOC,\)
hence the result.
Let \(\Gamma\) and \(\Gamma'\) be two circles that intersect at two distinct point: \(A\) and \(B\). Assume \([XY]\) and \([X'Y']\) are the chords of \(\Gamma\) and \(\Gamma'\) respectively, such that \(A\) lies between \(X\) and \(X'\) and \(B\) lies between \(Y\) and \(Y'\). Show that \((XY) \parallel (X'Y')\).
- Hint
-
Apply Corollary \(\PageIndex{2}\) twice for \(\square ABYX\) and \(\square ABY'X'\) and use the transversal property (Theorem 7.3.1).