Com efeito, o triângulo ROQ é isósceles pois tem dois lados cuja medida é o raio.

OM é a bissetriz do ângulo oposto à base, uma vez que os ângulos e têm ambos medida x radianos.

Mas então OM é também mediana e altura relativa à base do triângulo ROQ e, portanto, OM é perpendicular a RQ, bem como RM e MQ são iguais. Ou seja, R e Q são simétricos em relação à reta y=x.