Tangent line

tangent_line(Circumference, Real)

tangent_line(Circumference, Point)

Given a circumference and a real $\alpha$, constructs the tangent line passing through the point of angle $\alpha$.

Given a circumference and a point $P$ belonging to the circumference, constructs the tangent line passing through $P$.

Tangent lines, Tangent points