If a straight line touches a circle, and a straight line is joined from the center to the point of contact, the straight line so joined will be perpendicular to the tangent. https://youtu.be/vDbc-abLj9w
No download links available.