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

This is another way to reflect a point at a circle. From the Theorem pq=h² in equilateral triangles, we get

MP * MP* = MQ * MP* = r²