Given: A circle with center O
The tangent at any point of a circle and the radius through this point are perpendicular to each other.