5.2 Circle Theorems: Tangents, Chords, Secants & Angles

5.2 Circle Theorems: Tangents, Chords, Secants & Angles

Circle geometry integrates synthetic Euclidean proofs with Cartesian coordinate algebra. In secondary mathematics, students study circles as geometric loci, rotational forms, and algebraic equations. Accomplished teachers must navigate the rich network of circle theorems—including central and inscribed angles, tangent orthogonalities, intersecting chords, secant power relations, and coordinate representations—while anticipating predictable student misconceptions regarding arc measurement and algebraic completing-the-square procedures.

---

1. Angle Relationships: Central, Inscribed & Corollaries

A circle is formally defined as the locus of all coplanar points equidistant from a fixed center $O$. The distance is the radius $r$. An arc is a continuous segment of the circle, measured either in angular degrees ($0^\circ$ to $360^\circ$) or in linear arc length ($s = r\theta$ with $\theta$ in radians).

Central vs. Inscribed Angles

• Central Angle: An angle whose vertex is the center $O$ of the circle. Its angular measure equals the measure of its intercepted arc: $m\angle AOB = m\widehat{AB}$
• Inscribed Angle Theorem: An angle whose vertex lies on the circle and whose sides contain chords of the circle. The measure of an inscribed angle is exactly half the measure of its intercepted arc: $m\angle APB = \frac{1}{2} m\widehat{AB}$

Proof of the Inscribed Angle Theorem

The classical proof partitions the configuration into three cases:

1. Case 1 (Center lies on a side of the angle): Let chord $PB$ pass through center $O$. Draw radius $OA$. Triangle $\triangle POA$ is isosceles because $OP = OA = r$, so base angles are congruent: $m\angle OPA = m\angle OAP$. Angle $\angle AOB$ is an exterior angle to $\triangle POA$, so by the Exterior Angle Theorem: $m\angle AOB = m\angle OPA + m\angle OAP = 2 m\angle APB$. Since $m\angle AOB = m\widehat{AB}$, we have $m\angle APB = \frac{1}{2} m\widehat{AB}$.
2. Case 2 (Center lies in the interior of the angle): Draw diameter $PC$. The angle decomposes into two sub-angles: $m\angle APB = m\angle APC + m\angle CPB = \frac{1}{2} m\widehat{AC} + \frac{1}{2} m\widehat{CB} = \frac{1}{2} m\widehat{AB}$.
3. Case 3 (Center lies in the exterior of the angle): Draw diameter $PC$. The angle is the difference of two Case 1 angles: $m\angle APB = m\angle APC - m\angle BPC = \frac{1}{2} m\widehat{AC} - \frac{1}{2} m\widehat{BC} = \frac{1}{2} m\widehat{AB}$.

Major Corollaries

• Inscribed Angles on the Same Arc: Inscribed angles that intercept the same arc (or congruent arcs) are congruent.
• Thales's Theorem (Inscribed Right Angle): An inscribed angle that intercepts a diameter (a semicircle of $180^\circ$) is a right angle ($90^\circ$). Conversely, if an inscribed angle is $90^\circ$, its hypotenuse is a diameter of the circle.
• Cyclic Quadrilateral Theorem: A quadrilateral can be inscribed in a circle if and only if its opposite angles are supplementary: $m\angle A + m\angle C = 180^\circ, \quad m\angle B + m\angle D = 180^\circ$ Proof: Inscribed angles $\angle A$ and $\angle C$ intercept non-overlapping arcs that together comprise the entire $360^\circ$ circumference. Thus $m\angle A + m\angle C = \frac{1}{2} m\widehat{BCD} + \frac{1}{2} m\widehat{BAD} = \frac{1}{2}(360^\circ) = 180^\circ$.

---

2. Tangents & External Tangent Properties

A tangent line intersects a circle at exactly one point, known as the point of tangency.

Radius-Tangent Orthogonality

Theorem: A line is tangent to a circle if and only if it is perpendicular to the radius drawn to the point of tangency ($r \perp t$).

• Proof Sketch (by contradiction): If the radius were not perpendicular, drop a perpendicular from center $O$ to the line at point $Q \ne P$. In the right triangle $\triangle OQP$, hypotenuse $OP > OQ$, meaning $OQ < r$. Thus point $Q$ lies inside the circle, forcing the line to be a secant intersecting the circle at two points, contradicting the definition of a tangent.

Two-Tangent Theorem (The "Hat" Theorem)

Theorem: Tangent segments drawn to a circle from a common external point are congruent in length ($PA = PB$).

• Proof: Given external point $P$ and tangent points $A$ and $B$, draw radii $OA$ and $OB$ and common hypotenuse $OP$. Triangles $\triangle OAP$ and $\triangle OBP$ are right triangles ($OA \perp PA$, $OB \perp PB$) sharing hypotenuse $OP$, with congruent legs $OA = OB = r$. By the Hypotenuse-Leg (HL) Theorem, $\triangle OAP \cong \triangle OBP$. By CPCTC, $PA = PB$.

---

3. Angles Formed by Chords, Secants & Tangents

The measure of an angle formed by lines intersecting a circle depends directly upon the location of its vertex:

+-----------------------------------------------------------------------------+
|                   CIRCLE ANGLE FORMULAS BY VERTEX LOCATION                  |
|                                                                             |
|  Vertex Location   | Formula                                                |
|  :---              | :---                                                   |
|  **Center**        | θ = m(Arc)                                             |
|  **On Circle**     | θ = (1/2) m(Arc)                                       |
|  **Inside Circle** | θ = (1/2) [ m(Arc₁) + m(Arc₂) ]   (Half the SUM)       |
|  **Outside Circle**| θ = (1/2) [ m(Arc_far) - m(Arc_near) ] (Half the DIFF) |
+-----------------------------------------------------------------------------+

Intersecting Chords (Vertex Inside Circle)

When two chords intersect at an interior point $E$, the angle formed satisfies: $\theta = \frac{1}{2}(m\widehat{AB} + m\widehat{CD})$ Proof: Draw chord $CB$. Angle $\theta$ is an exterior angle to $\triangle CEB$, so $\theta = m\angle ECB + m\angle EBC$. By the Inscribed Angle Theorem, $m\angle ECB = \frac{1}{2} m\widehat{AB}$ and $m\angle EBC = \frac{1}{2} m\widehat{CD}$. Summing yields $\theta = \frac{1}{2}(m\widehat{AB} + m\widehat{CD})$.

External Intersections (Secants and Tangents)

When two secants, a secant and tangent, or two tangents intersect at an external point $P$, the angle satisfies: $\theta = \frac{1}{2}(m\widehat{\text{Arc}}_{\text{far}} - m\widehat{\text{Arc}}_{\text{near}})$ Proof: Draw a connecting chord. By the Exterior Angle Theorem on the resulting triangle, the inscribed angle intercepting the far arc equals $\theta$ plus the inscribed angle intercepting the near arc. Subtracting yields $\theta = \frac{1}{2}(\text{Arc}{\text{far}} - \text{Arc}{\text{near}})$.

---

4. Segment Power Theorems (Power of a Point)

The Power of a Point Theorem unifies all segment multiplication relationships for chords, secants, and tangents:

1. Intersecting Chords Theorem: If two chords intersect inside a circle at point $E$, the products of their segments are equal: $AE \cdot EB = CE \cdot ED$ Proof: Draw auxiliary chords $AC$ and $DB$. Angles $\angle ACD$ and $\angle ABD$ intercept the same arc $\widehat{AD}$, so $\angle ACD \cong \angle ABD$. Vertical angles $\angle AEC \cong \angle DEB$. By AA~ similarity, $\triangle AEC \sim \triangle DEB$. Cross-multiplying $\frac{AE}{ED} = \frac{CE}{EB}$ gives $AE \cdot EB = CE \cdot ED$.
2. Secant-Secant Theorem (External Point): If two secant segments are drawn from external point $P$ with external segments $e_1, e_2$ and whole lengths $w_1, w_2$: $e_1 \cdot w_1 = e_2 \cdot w_2 \quad \iff \quad PA \cdot PB = PC \cdot PD$
3. Tangent-Secant Theorem: If a tangent segment $PT$ and a secant segment $PAB$ are drawn from external point $P$: $t^2 = e \cdot w \quad \iff \quad PT^2 = PA \cdot PB$ (This represents the limiting case of two secants as the two points of intersection coalesce into a single point of tangency).

---

5. Circle Equations: Standard Form & Completing the Square

Standard (Center-Radius) Form

Applying the Pythagorean distance formula to a variable point $(x, y)$ equidistant from center $(h, k)$ gives: $(x - h)^2 + (y - k)^2 = r^2$

General Form and Completing the Square

Expanding the standard form yields the general second-degree quadratic in two variables with equal non-zero leading coefficients and no cross-term ($xy$): $x^2 + y^2 + Dx + Ey + F = 0$ To recover the center $(h, k)$ and radius $r$, complete the square in $x$ and $y$: $\left(x^2 + Dx + \frac{D^2}{4}\right) + \left(y^2 + Ey + \frac{E^2}{4}\right) = -F + \frac{D^2}{4} + \frac{E^2}{4}$ $\left(x + \frac{D}{2}\right)^2 + \left(y + \frac{E}{2}\right)^2 = \frac{D^2 + E^2 - 4F}{4}$

• Center: $(h, k) = \left(-\frac{D}{2}, -\frac{E}{2}\right)$
• Radius Criterion: Let $\Delta = D^2 + E^2 - 4F$.
  • If $\Delta > 0$, the equation represents a real non-degenerate circle with $r = \frac{1}{2}\sqrt{\Delta}$.
  • If $\Delta = 0$, the equation represents a degenerate point circle at $(-D/2, -E/2)$.
  • If $\Delta < 0$, the equation represents the empty set (no real points satisfy the equation).

---

6. Pedagogical Scaffolding & Student Misconceptions

Misconception 1: Linear Arc Length vs. Angular Arc Measure

Students frequently conflate arc measure (degrees) with arc length (linear units). For example, students assume that because two concentric circles subtend the same $60^\circ$ central angle, their arc lengths must be equal. Teachers must emphasize that degree measure represents rotational fraction ($\frac{60}{360} = \frac{1}{6}$ turn), whereas arc length depends directly on scale: $s = \frac{\theta}{360^\circ}(2\pi r)$.

Misconception 2: Segment Multiplication Traps (External vs. Internal)

When applying the secant-secant theorem, students often multiply the external segment by the internal segment ($PA \cdot AB = PC \cdot CD$) rather than multiplying the external segment by the whole secant ($PA \cdot PB = PC \cdot PD$). Teachers scaffold this using color-coded overlays representing "Outside $\times$ Whole = Outside $\times$ Whole".

Misconception 3: Adding vs. Subtracting Arcs

Students regularly confuse interior chord intersection angles $\frac{1}{2}(\text{Arc}1 + \text{Arc}2)$ with exterior secant intersection angles $\frac{1}{2}(\text{Arc}{\text{far}} - \text{Arc}{\text{near}})$. Teachers reinforce the underlying triangle exterior angle proofs: moving the intersection vertex outward from the center shrinks the angle, naturally corresponding to arc subtraction.