The tangent to a circle is perpendicular to the radius that joins it
→ Demonstration:
