Thales' Theorem/Proof 3
Theorem
Let $A$ and $B$ be two points on opposite ends of the diameter of a circle.
Let $C$ be another point on the circle such that $C \ne A, B$.
Then the lines $AC$ and $BC$ are perpendicular to each other.
Proof
Let $O$ be the center of $ACB$.
We have that $AO$, $BO$ and $CO$ are radii of the same circle.
Thus by definition:
- $AO = BO = CO$
Thus $\triangle AOC$ and $\triangle BOC$ are isosceles triangles.
From External Angle of Triangle equals Sum of other Internal Angles:
- $\angle COB = \angle ACO + \angle CAO$
Hence:
\(\ds \angle ACO\) | \(=\) | \(\ds \angle CAO\) | Isosceles Triangle has Two Equal Angles | |||||||||||
\(\ds \leadsto \ \ \) | \(\ds \angle COB\) | \(=\) | \(\ds 2 \angle ACO\) | |||||||||||
\(\ds \leadsto \ \ \) | \(\ds \frac 1 2 \angle COB\) | \(=\) | \(\ds \angle ACO\) |
Similarly, from External Angle of Triangle equals Sum of other Internal Angles:
- $\angle COA = \angle BCO + \angle CBO$
Hence:
\(\ds \angle BCO\) | \(=\) | \(\ds \angle CBO\) | Isosceles Triangle has Two Equal Angles | |||||||||||
\(\ds \leadsto \ \ \) | \(\ds \angle COA\) | \(=\) | \(\ds 2 \angle BCO\) | |||||||||||
\(\ds \leadsto \ \ \) | \(\ds \frac 1 2 \angle COA\) | \(=\) | \(\ds \angle BCO\) |
Therefore:
\(\ds \angle ACO + \angle BCO\) | \(=\) | \(\ds \frac 1 2 \angle COB + \frac 1 2 \angle COA\) | ||||||||||||
\(\ds \leadsto \ \ \) | \(\ds \angle ACB\) | \(=\) | \(\ds \frac 1 2 \left({\angle COB + \angle COA}\right)\) |
But $\angle COB + \angle COA$ equals two right angles.
Hence $\angle ACB$ is a right angle.
$\blacksquare$
Source of Name
This entry was named for Thales of Miletus.
Historical Note
This result was known by the ancient Babylonians as early as $2000$ BCE.
The proof of what is now known as Thales' Theorem that Thales of Miletus actually used is unknown. Whether he was aware of the Interior Angles Theorem and used it in his proof cannot be decided.
The Interior Angles Theorem is traditionally ascribed to Pythagoras, who lived near Thales, and may have met him.
Thus it is possible that Pythagoras learned of the Interior Angles Theorem either directly or indirectly from Thales himself.
Sources
- 1992: George F. Simmons: Calculus Gems ... (previous) ... (next): Chapter $\text {A}.1$: Thales (ca. $\text {625}$ – $\text {547}$ B.C.)