Так как луч OP является биссектрисой угла KOM, то угол KOP равен углу MOP. Также даны равенства сторон OK = OM. Общая сторона OP принадлежит обоим треугольникам. Таким образом, ΔKOP и ΔMOP равны по признаку равенства треугольников по двум сторонам и углу между ними.