Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
Пересечение двух сфер Линия пересечения двух сфер есть окружность .
Объяснение:
Пусть O1 и O2 – центры сфер и A – их точка пересечения. Проведем через точку A плоскость α, перпендикулярную прямой O1O2.
Обозначим через B точку пересечения плоскости α с прямой O1O2. По теореме сечение шара плоскостью плоскость α пересекает обе сферы по окружности K с центром B, проходящей через точку A. Таким образом, окружность K принадлежит пересечению сфер.
Докажем, что сферы не имеют других точек пересечения, кроме точек окружности K. Допустим, точка X пересечения сфер не лежит на окружности K. Проведем плоскость через точку X и прямую O1O2 . Об этом говорит сайт https://intellect.icu . Она пересечет сферы по окружностям с центрами O1 и O2. Эти окружности пересекаются в двух точках, принадлежащих окружности K, да еще в точке X. Но две окружности не могут иметь больше двух точек пересечения.
