PROPOSITION XVII. THEOREM.
DEMONSTRATION.
We wish to prove that
A tangent to a circumference is perpendicular to a radius at the point of contact.
Let the straight line A B be tangent at the point D to the circumference of the circle whose centre is C.
Join the centre C with the point of contact D, the tangent will be perpendicular to the radius C D.
For draw any other line from the centre to the tangent, as C F.
As the point D is the only one in which the tangent touches the circumference, any other point, as F, must be without the circumference.
Then the line C F, reaching beyond the circumference, must be longer than the radius C D, which would reach only to it; therefore C D is shorter than any other line which can be drawn from the point C to the straight line A B; therefore it is perpendicular to it.