Tangent Line and Radius Perpendicularity

This example demonstrates the geometric property that a tangent line to a circle is perpendicular to the radius drawn to the point of tangency. It involves core math concepts like tangent line, radius, and perpendicularity. The construction uses GeoGebra commands: Circle, Point, Segment, OrthogonalLine, and Angle. Suitable for middle school and above students learning circle geometry or for geometric construction instruction.