Даны прямая l, окружность и точка M, лежащая на окружности и не лежащая на прямой l. ПустьP_M — проектирование прямойlна данную окружность из точкиM(точка Xпрямой отображается в отличную от Mточку пересечения прямойXMс окружностью),R — движение плоскости, сохраняющее данную окружность (т. е. поворот плоскости вокруг центра окружности или симметрия относительно диаметра). Докажите, что композицияP_M^-1oRoP_Mявляется проективным преобразованием.