Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
Дано: шар с центром в точке
R=13- радиус шара
плоскость а -сечение шара
р(а, О)=5 (расстояние от центра шара О до плоскости а
Найти: r-радиус круга в сечении
Решение
Сечением будет круг. Найдем его радиус. От центра шара до центра сечения 5 - это катет треугольника, который получится, если соединим центр шара, центр сечения и точку пересечения шара с его сечением. 13 - гипотенуза, по теорПифагора:r=√13²-5²=√144=12. S=πr²=π144=144πкв.ед
Вписанный в окружность шестиугольник имеет сторону, равную радиусу окружности.Поэтому, найдём радиус, как половину диагонали квадрата.