Theorem 3.7: A tangent line to a circle is perpendicular to the radius to the point of tangency.
We will present two proofs of this result.
Proof 1 will make use of Theorem 3.3, but
Proof 2 will make use of only the Pythagorean Theorem (Theorem 3.4)
next theorem (3.8)