Envelope of circle tangents

Envelope of circle tangents is the circle itself.

Drag the point.