# Intersecting Chord Theorem

## Theorem

Let $AC$ and $BD$ both be chords of the same circle.

Let $AC$ and $BD$ intersect at $E$.

Then $AE \cdot EC = DE \cdot EB$.

In the words of Euclid:

*If in a circle two straight lines cut one another, the rectangle contained by the segments of the one is equal to the rectangle contained by the segments of the other.*

(*The Elements*: Book $\text{III}$: Proposition $35$)

## Proof 1

Let $AC$ and $BD$ be intersecting chords of circle $ABCD$.

Let the point of intersection be $E$.

If $E$ is the center of $ABCD$ the solution is trivial, as $AE = EC = BE = ED$ and so $AE \cdot EC = BE \cdot ED$.

Otherwise, let $F$ be the center of $ABCD$.

Let $FG$ be drawn perpendicular to $AC$, and $FH$ be drawn perpendicular to $BD$.

From Conditions for Diameter to be Perpendicular Bisector, $G$ bisects $AC$ and $H$ bisects $BD$.

So $AG = GC$ and $BH = HD$.

From Difference of Two Squares we have that $AE \cdot EC + EG^2 = GC^2$.

Let us add $GF^2$ to these.

So $AE \cdot EC + EG^2 + GF^2 = GC^2 + GF^2$.

But from Pythagoras's Theorem we have that:

- $GC^2 + GF^2 = CF^2$
- $EG^2 + GF^2 = EF^2$

So:

- $AE \cdot EC + EF^2 = CF^2$

Using the same construction, we have that:

- $DE \cdot EB + EF^2 = BF^2$

But $BF = CF$ as both are the radius of the circle $ABCD$.

That gives us:

- $AE \cdot EC + EF^2 = DE \cdot EB + EF^2$

It follows that $AE \cdot EC = DE \cdot EB$

$\blacksquare$

## Proof 2

Join $A$ with $B$ and $C$ with $D$, as shown in this diagram:

Then we have:

\(\ds \angle AEB\) | \(\cong\) | \(\ds \angle DEC\) | Two Straight Lines make Equal Opposite Angles | |||||||||||

\(\ds \angle BAE\) | \(\cong\) | \(\ds \angle CDE\) | Angles in Same Segment of Circle are Equal |

By Triangles with Two Equal Angles are Similar we have $\triangle AEB \sim \triangle DEC$.

Thus:

\(\ds \frac {AE} {EB}\) | \(=\) | \(\ds \frac {DE} {EC}\) | ||||||||||||

\(\ds \leadsto \ \ \) | \(\ds AE \cdot EC\) | \(=\) | \(\ds DE \cdot EB\) |

$\blacksquare$

## Also known as

This result is also known as the **chord theorem**.