Рассмотрим треугольники ΔDOE и ΔPOK.
По первому признаку равенства треугольников (по двум сторонам и углу между ними), треугольники ΔDOE и ΔPOK равны:
\[ \triangle DOE = \triangle POK \]
Следовательно, равны и соответствующие стороны этих треугольников, в том числе хорды DE и PK:
\[ DE = PK \]
Что и требовалось доказать.