Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
Висота буде 20 см
Объяснение:
Позначимо точки дотику на стороні ВС через Р , на стороні СД через К Сторона ВС складається з відрізківСК=4 см та КС =25 см , з точки С відходять дві дотичні прямі :СР та СК вони рівні і дорівнюють по 4 см.А з точки Д проходять дві дотичні прямі ДК та ДМ які теж однакові і дорівнюють по 25 см. З точки С проведемо висоту до основи АД і позначимо точку перетину через Ф .Якщо ДМ=25 см МФ=4 см , то ФД= 25-4=21 см. Трикутник СФД прямокутній , то можемо знайти висоту СФ
СФ²=СД²-ФД²=29²-21²=841-441=400√400=20 Висота СФ=20см
