Corollary 10: at any point of the circle, the perpendicular to the radius is a—

The defining property of a tangent is that it is perpendicular to the radius at the point of contact. Conversely, the line drawn perpendicular to a radius at its endpoint on the circle is therefore a tangent.