Proof

Tangent to Circle Theorem

A line is tangent to a circle if and only if the line is perpendicular to a radius of the circle.

In the diagram above, is tangent to the circle This can be proven using the Perpendicular Postulate.


According to the Perpendicular Postulate, there is only one segment from that is perpendicular to It will be shown, using contradiction, that must be this segment.
Suppose that is not perpendicular to It follows then that there exists another segment from perpendicular to Call this segment

Because a right angle is created at their intersection. As a result, which measures units, is the hypotenuse — and the longest side — in the right triangle Therefore, the length of is shorter than
Notice that contains a radius of circle Because part of the segment lies outside the circle, the unknown portion can be assigned another variable,
By the Segment Addition Postulate, The relationship between and can be written as an inequality.
By subtracting on both sides, the inequality states that Since a length cannot be less than the assumption that is not perpendicular to must be false. Therfore, is perpendicular to the tangent
This can be summarized in the following two-column proof.
0.
Statement
0.
Reason
1.
1.
Given
2.
Draw line segment
2.
Construction of triangle
3.
3.
Right triangle
4.
4.
Express triangle's hypotenuse
5.
5.
Express leg of triangle
6.
6.
Hypotenuse longer than leg
7.
7.
Length must be positive
8.
8.
Proof by contradiction
Exercises