The straight line passing through the outer end of the radius and perpendicular to the radius is the tangent of the circle.

So if you know that a point is a point on a circle, just prove that this straight line is perpendicular to this radius;

If there is no point, then you need to be vertical, and then prove that this vertical line segment is exactly equal to the radius in length, so it also meets the definition of tangent.