Доказательство:

Поскольку угол EDK равен углу PMK, то треугольники EDK и PMK подобны по углу-против-против стороне.

Отсюда следует, что отношение сторон KE и KP равно отношению сторон DE и PM, то есть KE/KP = DE/PM = KM/PM = 1.

Следовательно, KE равно KP.

Таким образом, мы доказали, что KE = KP.