Gọi R1 là điểm đối xứng với R qua đường thẳng AB. Chứng minh rằng tứ giác ASQR1 nội tiếp được
Vì R1 đối xứng với R qua AB nên . Ta lại có AM // OP ; MB // SQ ; OP ┴ MB nên AM ┴ SQ. Do đó, (cạnh tương ứng vuông góc).
Suy ra và tứ giác ASQR1 nội tiếp được.