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