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

This is one way to construct the reflection at a circle. You need to prove that the two angles are equal. Then the triangles MQP* and MPQ are similar. Now we get the equality shown in the construction.

A special case is MQ=1. then MP = 1 / MP*.

Here is another construction, which works in all cases.

Here is still another construction, which does not work always.

Technical Information

The default macro "reflection at circle" uses a computation instead.