Точка C лежит на отрезке MN. Окружности с центрами M и N имеют радиусы CM и CN соответственно. Прямая PQ касается этих окружностей в точках P и Q.
Радиус, проведенный в точку касания, перпендикулярен касательной. Следовательно, MC перпендикулярен PQ в точке P, а NC перпендикулярен PQ в точке Q.
Угол MPC равен 90° (так как MC перпендикулярно PQ в точке P). Аналогично, угол NQC равен 90° (так как NC перпендикулярно PQ в точке Q).
Рассмотрим треугольники MPC и NQC. В треугольнике MPC угол MPC прямой, следовательно, угол MCP + угол CPM = 90°. Аналогично, в треугольнике NQC угол NQC прямой, следовательно, угол NCQ + угол CQN = 90°.
Мы знаем, что углы MPC и NQC прямые, что доказывает перпендикулярность отрезков CP и CQ прямой PQ. Следовательно, CP и CQ образуют прямые углы с прямой PQ, что и требовалось доказать.