Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
122=4a
a=122/4=30.5см
Найдем диагональ по теореме Пифагора:
a²+b²=c²
30.5²+30.5²=c²
930.25+930.25=1860.5=c²
c=√1860.5≈43.13см
Диагональ квадрата будет являться диаметром описанной окружности. Значит радиус равен 43.13/2≈21.57см
ответ:R≈21.57см