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)