Решение оформлено во вложении...
Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
Поскольку в условии задачи не указано, что точка пересечения биссектрис находится вне прямоугольника, у задачи есть и второе решение.
Так как по свойству углов, образующихся при пересечении двух параллельных прямых третьей, накрестлежащие углы равны, треугольник КРМ - равнобедренный и прямоугольный.
Отсюда КМ=КР√2
КР=4:√2=2√2
КР=РМ
Периметр треугольника КМР равен КМ+2КР=4+2*2√2=4(1+√2)