C.a.R. > Applications > Similarity and Angles> Reflection at a Circle

This is one way to reflect a point at a circle. It works, until MP gets smaller than half the circle radius.

The proof uses LaTeX, of course.