Circle Theorems using GeoGebra

Discovering tangent lines perpendicular to the radius. Congruent segments from point outside of circle to the tangent points on the circle.