4. Дві сторони трикутника дорівнюють 3 см і 8 см. Якому найбільшому цілому числу сантиметрів може дорівнювати третя сторона? А. 12 см Б.11 см В. 10 см • о n с
Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
Лично я бы доказывал это так. Вокруг треугольника можно описать окружность. В ней все углы - это вписанные углы. Каждая из сторон соответствует хорде. Большей хорде соответствует (в этой окружности) большая дуга - это очень легко доказать поворотом вокруг центра. (Надо так повернуть одну из хорд вокруг центра окружности, чтобы две хорды стали параллельны. И сразу видно, что большая хорда стягивает большую дугу) Поэтому угол треугольника, лежащий напротив большей стороны опирается на большую дугу. Остается вспомнить, как связаны вписанный угол и дуга, на которую он опирается.
Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.