Следствия в геометрии помогают упростить и ускорить решение задач, а также находить новые связи между геометрическими фигурами и величинами. следствие это результат, который очень часто используется в геометрии для обозначения немедленного результата чего-то уже продемонстрированного. Определения пересекающихся и параллельных в пространстве прямых, простейшие следствия из аксиом стереометрии. Перпендикуляры, восстановленные из точек А и С, пересекутся в некой точке D. Такое построение справедливо как в геометрии Евклида, так и в геометрии Лобачевского. У аксиом стереометрии есть несколько очень нужных следствий, которые упрощают решения задач и доказательства теорем.
Следствие - определение и рисунок. Что такое следствие в геометрии - Учебник 8 класс Атанасян 2019
Атанасян, В. Бутузов, С. Кадомцев и др.
Следовательно, отрезки на сторонах CD и DA повернуты относительно друг друга на 270 градусов. Нетрудно заметить, что до полного оборота на плоскости не хватает 90 градусов, то есть прямого угла. Из этого следует, что угол четырехугольника в точке D есть прямой угол.
Соответственно, сумма углов в четырехугольнике с тремя прямыми углами по построению, будет равна четырем прямым. Любая диагональ делит четырехугольник с четырьмя прямыми углами на два треугольника с суммой углов в два прямых. UPD2: Под спойлером рассуждения не имеющие отношения к доказательству, а именно об определении прямой линии и рамках нашей логики.
Если читатель считает предыдущее доказательство наивным, то лучше не заглядывать под спойлер, чтобы более не раздражаться и не загонять карму автора ниже плинтуса. Многословие В данной части, на правах автора, позволю себе высказать некоторые мысли напрямую или косвенно связанные с проблемой 5-го постулата Евклида. Этот раздел, возможно, будет спорным, но доказательство, приведенное выше, не зависит от идей приведенных ниже.
Определение прямой линии, как причина проблемы с доказательством 5-го постулата Евклида. Казалось бы такое простое доказательство, данное выше. Так в чем же причина того, что 5-й постулат остается спорным до сих пор?
Мне представляется, что проблема, как не странно, кроется в Определении прямой линии. До сих пор не найдено красивого, лаконичного, очевидного и, что крайне важно, применимого для доказательства Определения прямой линии. Такого Определения, которое запрещало бы «кривизну» прямой линии.
Для прямой линии нет определения, подобного тому, как дано для окружности: «Окружность — это геометрическое место точек, равноудаленных от данной». Определение прямой линии вида: «Через две точки можно провести только одну прямую» трудно назвать определением. Это скорее описание одного из свойств прямой линии.
Из этого свойства вытекает, что двумя точками можно задать положение прямой линии в пространстве, но к определению прямой это не имеет отношения. Прямая линия может быть как угодно «искривлена», и если у нас нет аргументов считать это абсурдным, то у нас и нет доказательной базы для объявления это абсурдом. Всегда можно будет апеллировать к тому, что «прямота» прямой линии — это наше бытовое представление о ней.
Что, например мы не видим «кривизну» в силу ограниченности наблюдаемого нами пространства и если неограниченно продолжить эту прямую линию тогда мы могли бы увидеть ее «кривизну». Определение через ось тела вращения — это скорее умозрительное описание предмета, не дающее работоспособных правил к применению. Это не более чем бытовое представление о прямой линии, по сути равнозначное определению прямой двумя точками.
Этим определением мы ничего не сможем ни доказать, ни опровергнуть. Определение типа «Прямая — это геометрическое место точек равноудаленных от двух данных», довольно строго описывает прямую, но крайне тяжело применимо для целей доказательства в случаях, где требуется опровергнуть возможную «кривизну» прямой. Евклид дал такое определение прямой линии в переводе Д.
С их помощью мы решаем задачи или выводим новые доказательства. Некоторые из утверждений в геометрии мы используем не задумываясь. Вспомним высказывание, которое мы слышим при самом первом знакомстве с геометрией: «Через две точки можно провести прямую, и притом только одну». Чтобы лучше понять сказанное, нарисуем наглядный рисунок, где прямая a пересекает точки A и B. Казалось бы, очевидно, если попытаться провести еще одну прямую b через точки A и B, она совпадет с прямой a. Но можно ли считать подобное рассуждение доказательством? Дело в том, что утверждение, которое в своем доказательстве не опирается на выстроенную логическую цепочку доказательств, нельзя считать доказанным. Другими словами, утверждение «Через две точки можно провести прямую, и притом только одну» не является доказанным только потому, что мы нарисовали рисунок и по рисунку «на глаз» стало все понятно. В геометрии действует принцип: «Не верь глазам своим, пока не докажешь утверждение с помощью рассуждений».
Но что нам в таком случае делать? Ведь при решении задач мы используем какие-то очевидные утверждения, не задумываясь об их истинности. Нам остается, только принять их на веру без доказательств. Иначе мы не сможем доказывать следующие утверждения, чтобы двигаться дальше. Что такое аксиома Слово аксиома произошло от древнегреческого слова «axioma» — утверждение, положение.
Банка фиолетовая. О противоречиях Внимательный читатель мог заметить странность, связанную с противоречиями.
Изначально, когда речь шла про следствия, мы подчеркнули важность их доказательства, дабы исключить противоречие с аксиомой-основой или теоремой-основой. Следствие не может противоречить аксиоме, из которой оно выводится, и это факт. Однако при этом мы указывали, что если в ходе доказательства следствия не обнаруживается противоречия, то следствие является ошибочным. Противоречия нет, а следствие ошибочное? Не забывайте, что речь идет не просто о доказательстве, а о доказательстве от противного. За основу принимается отрицание следствия. При отрицании истинного следствия отсутствие противоречия недопустимо.
Следствия из аксиомы параллельности: второе следствие Второе следствие из аксиомы параллельности. Прямая, пересекающая другую прямую, пересечет и параллельную другой прямую. Еще раз внимание на доказательный алгоритм!
Аксиома параллельных прямых
В геометрии действует принцип: «Не верь глазам своим, пока не докажешь утверждение с помощью рассуждений». Но что нам в таком случае делать? Ведь при решении задач мы используем какие-то очевидные утверждения, не задумываясь об их истинности. Нам остается, только принять их на веру без доказательств. Иначе мы не сможем доказывать следующие утверждения, чтобы двигаться дальше. Что такое аксиома Слово аксиома произошло от древнегреческого слова «axioma» — утверждение, положение. Аксиома — утверждение, которое не требует доказательств.
С точки зрения учащихся, аксиома — лёгкий способ получить отличную оценку. Достаточно просто выучить формулировку. Ведь никаких доказательств для аксиомы учить не требуется. Всего в геометрии насчитывается около 15 аксиом. В школьном курсе используются далеко не все. Некоторые из них используются в школьном курсе как само собой разумеющееся для нас.
Приведем некоторые примеры довольно известных аксиом из школьного курса геометрии: через любые две точки проходит прямая, и притом только одна; через точку, не лежащую на данной прямой, проходим только одна прямая, параллельная данной; если при наложении совмещаются концы двух отрезков, то совмещаются и сами отрезки; любая фигура равна самой себе.
Зачетный Опарыш Следствие вытекает из аксиом, теорем или определений и служит для того, что бы полнее раскрыть их содержание. Например, свойство средней линии треугольника: она параллельна основанию. Слово "Признак" употребляют для замены выражения "достаточное условие".
Всего в геометрии насчитывается около 15 аксиом. Что такое аксиома в геометрии 7 класс? Аксиома — это утверждение, которое принимается в качестве исходного, без доказательства в рамках данной теории. Аксиома параллельных прямых.
Через точку, не лежащую на данной прямой, проходит только одна прямая, параллельная данной. Следствия из аксиомы. Что такое аксиомы планиметрии? Аксиомы планиметрии — это основные свойства простейших геометрических фигур.
Аксиомы стереометрии 10 класс теоремы. Аксиомы стереометрии 10 класс Погорелов. Основные понятия стереометрии Аксиомы стереометрии.
Аксиома 1 2 3 и следствия стереометрия. Основные следствия из аксиом стереометрии. Геометрия 7 параллельные прямые Аксиомы. Геометрия 7 класс теоремы и Аксиомы параллельных прямых. Первая Аксиома геометрии. Понятие Аксиома в геометрии. Аксиомы стереометрии следствия из аксиом 10 класс.
Геометрия 10 класс Аксиомы стереометрии и их следствия. Некоторые следствия из аксиом. Следствие 2 из аксиом. Следствия геометрия треугольники. Площадь ортогональной проекции многоугольника. Живая геометрия. Следствие из аксиом через 2 пересекающиеся прямые.
Что такое Аксиома и следствие в геометрии. Следствие 2 геометрия. Основные Аксиомы стереометрии. Аксиомы стереометрии следствия из аксиом. Аксиомы стереометрии и следствия из них с1 с2 с3. Сформулируйте аксиому а2 стереометрии. Сформулируйте Аксиомы стереометрии с 1.
Первая Аксиома стереометрии а1. Сфоомулируйте аксиоиу стереометрии а1. Аксиомы плоскостей 10 класс. Через две пересекающиеся прямые проходит плоскость. Аксиомы и следствия стереометрии 10 класс. Аксиомы стереометрии способы задания плоскости. Следствия из аксиом 10 класс.
Следствие из аксиом теорема 1 и 2. Следствие из аксиом теорема 1. Основные Аксиомы стереометрии 3 Аксиомы. Следствие из аксиом стереометрии теорема 1. Доказательство 2 следствия из аксиом стереометрии. Доказательство первого следствия из аксиом стереометрии. Следствие из аксиом теорема 2.
Теорема следствие из аксиом две прямые. Что не может быть следствием Аксиомы или теоремы?. Что может быть следствием Аксиомы или теоремы? Следствие — утверждение которое выводится из теорем или аксиом.. Аксиома это утверждение не требующее доказательств. Свойства параллельности прямых 7 класс геометрия. Теоремы обратные признакам параллельности прямых.
Свойства параллельных прямых 7 класс геометрия доказательство. Теорема 1 признак параллельности прямых. Предмет стереометрии. Аксиомы стереометрии.. Следствия из аксиом стереометрии 10 класс Атанасян. Аксиомы и следствия геометрия 7 класс. Следствие 1 и 2 Аксиомы в геометрии 7 класс.
Аксиома параллельности следствия из Аксиомы параллельности. Аксиома параллельных прямых и 2 следствия из нее. Доказательство теоремы из аксиом.
Что такое следствие в геометрии 7 класс?
Процесс вывода следствий в геометрии требует логического мышления и умения применять математические методы для анализа и решения задач. Особенности следствия в геометрии 7 класса Следствие в геометрии 7 класса — это утверждение или правило, которое можно вывести из имеющихся данных и уже установленных фактов. это результат, широко используемый в геометрии для обозначения немедленного результата чего-то уже доказанного. Следствие в геометрии — это вывод или утверждение, которое следует из уже доказанного факта или теоремы. Что и требовалось доказать Свойство биссектрисы имеет следствие: Биссектрисы треугольника пересекаются в одной точке. Понятие следствия в геометрии В геометрии следствие представляет собой утверждение, которое вытекает из какого-либо другого утверждения.
Что такое аксиома, теорема, следствие
Перпендикуляры, восстановленные из точек А и С, пересекутся в некой точке D. Такое построение справедливо как в геометрии Евклида, так и в геометрии Лобачевского. Что такое следствие в геометрии. Следствие из 2 Аксиомы доказательство одними буквами. Понятие следствия в геометрии В геометрии следствие представляет собой утверждение, которое вытекает из какого-либо другого утверждения. Следствие геометрия — это раздел математики, который изучает свойства и характеристики фигур и пространственных объектов. В геометрии следствием является заключение, полученное из аксиомы, аксиомы, или определения.
Что значит определение, свойства, признаки и следствие в геометрии?
В геометрии действует принцип: «Не верь глазам своим, пока не докажешь утверждение с помощью рассуждений». Урок наглядной геометрии "Следствие ведут знатоки геометрии". В геометрии 7 класса следствия активно используются для доказательства теорем, свойств геометрических фигур и решения задач. Рамиля, а почему следствие вместо равносильности в геометрии — это плохо? Слово «следствие» происходит от латинского Corollarium и обычно используется в математике, чаще встречается в областях логики и геометрии.
Секущие в окружности и их свойство. Геометрия 8-9 класс
Любая фигура равна самой себе. Иногда их еще называются постулатами. Аксиомы могут использоваться для решения конкретных задач или применяться для доказательства теорем. Примечание: не допускается искажение формулировок аксиом и большинства теорем, то есть их нужно учить наизусть. Что такое теорема В отличие от аксиомы, теорема — это суждение, которе требуется доказать.
Для посетителей из стран СНГ есть возможно задать вопросы по таким предметам как Украинский язык, Белорусский язык, Казакхский язык, Узбекский язык, Кыргызский язык. На вопросы могут отвечать также любые пользователи, в том числе и педагоги. Консультацию по вопросам и домашним заданиям может получить любой школьник или студент.
Кроме того, прилагается краткое объяснение того, как демонстрируется следствие. Теорема 1. Следствие 1. Гипотенуза прямоугольного треугольника длиннее любого катета. Теорема 2. Следствие 2. В прямоугольном треугольнике углы, прилегающие к гипотенузе, острые. Пояснение: с помощью следствия 2. У треугольника не может быть двух прямых углов. У треугольника не может быть более одного тупого угла.
Сформулируйте следствия из Аксиомы параллельных прямых. Аксиома параллельных прямых 3 следствия. Доказательства аксиом стереометрии. Теоремы об углах образованных двумя параллельными прямыми и секущей. Теоремы об углах образованных параллельными прямыми и секущей. Углы образованные двумя параллельными прямыми и секущей. Доказательство следствий из аксиом. Докажите следствия из аксиом. Следствие Аксиомы параллельных прямых 7. Первое следствие из Аксиомы параллельности прямых. Доказательство 2 следствия Аксиомы параллельных прямых. Аксиома это. Аксимора что это. Определение Аксиомы в геометрии. Следствие Аксиомы 1 стереометрии. Аксиомы из стереометрии и следствия из них. Признаки параллельности двух прямых. Аксиома параллельных прямых. Аксиома 2 параллельности прямых. Аксиома про 3 параллельные прямые. Признаки параллельности двух прямых Аксиома. Аксиомы стереометрии и следствия. Аксиома чертеж. Аксиомы стереометрии чертежи. Признаки и свойства параллельных прямых таблица. Признаки и свойства параллельности прямых. Параллельные прямые признаки параллельности. Признаки параллельности и свойства параллельных прямых 7 класс. Доказательство теоремы Пифагора через площади. Теорема Пифагора доказательство 8 класс самый простой. Геометрия доказательство теоремы Пифагора. Доказательство теоремы Пифагора кратко. Если прямая пересекает одну. Если прямая пересекает одну из двух параллельных прямых то она. Если прямая пересекает одну из прямых то она. Аксиомы стереометрии 3 Аксиомы. Методы построения плоскостей. Следствия из Аксиомы параллельности прямой и плоскости. Основные понятия и Аксиомы стереометрии. Аксиомы планиметрии и стереометрии 10 класс. Основные понятия геометрии Аксиомы геометрии. Аксиомы по стереометрии 1,2,3. Основные Аксиомы стереометрии 10 класс. Теорема 2 через 2 прямые проходит плоскость и притом. Доказать 2 следствие из аксиом стереометрии. Теорема через две пересекающиеся прямые. Соотношение между сторонами и углами треугольника. Треугольники соотношение между сторонами и углами треугольника. Соотношение между сторонами и углами треугольника таблица. Соотношения между сторонами и углами треугольника 9 класс формулы. Аксиомы параллельных прямых и следствия параллельности. Аксиома параллельных прямых доказательство следствие из Аксиомы. Аксиома параллельности прямых и следствия из нее.. Аксиомы стереометрии Аксиома 1. Аксиомы планиметрии и стереометрии.
Что такое следствие в геометрии 7 класс определение кратко
Если отрезок (луч) принадлежит прямой, касательной к окружности, и точка касания является точкой отрезка (луча), то говорят, что данный отрезок (луч) является касательным к окружности. Окружность, Окружность, Справочник по геометрии 7-9 класс. Следствие, как и теорему, необходимо доказывать. Примеры следствий из аксиомы о параллельности прямых. это одно из следствий определений или теорем, являющееся, по существу, некоторым утверждением о данном объекте. Формулируется третье следствие так: Если прямая перпендикулярна одной из двух параллельных прямых, то она перпендикулярна и второй. это результат, широко используемый в геометрии для обозначения. следствие-утверждение, которое выводится непосредственно из аксиом или теорем.
Что такое следствие в геометрии 7 класс определение кратко
A1 II признак признак равенства по стороне и прилежащим к ней углам. Если сторона и два прилежащих угла одного треугольника соответственно равны стороне и двум прилежащим к ней углам другого треугольника, то такие треугольники равны рис. B1 III признак признак равенства пo трем сторонам. Если три стороны одного треугольника соответственно равны трем сторонам другого треугольника, то такие треугольники равны рис.
Прямоугольные треугольники некоторые свойства 1. Признаки равенства прямоугольных треугольников 1. Если катеты одного прямоугольного треугольника соответственно равны катетам другого, то такие треугольники равны рис.
Если катет и прилежащий к нему острый угол одного прямоугольного треугольника соответственно равны катету и прилежащему к нему углу другого, то такие треугольники равны рис. Если гипотенуза и острый угол одного прямоугольного треугольника соответственно равны гипотенузе и острому углу другого, то такие треугольники равны рис. Если гипотенуза и катет одного прямоугольного треугольника соответственно равны гипотенузе и катету другого, то такие треугольники равны рис.
Четыре замечательные точки треугольника С каждым треугольником связаны 4 точки: 1 точка пересечения медиан; 3 точка пересечения высот или их продолжений ; 4 точка пересечения серединных перпендикуляров к сторонам. Эти четыре точки называются замечательными точками треугольника. Высотой треугольника называется длина перпендикуляра, опущенного из любой его вершины на противолежащую сторону или ее продолжение.
В тупоугольном треугольнике рис. В остроугольном треугольнике рис. В прямоугольном треугольнике катеты одновременно служат и высотами рис.
Три высоты треугольника всегда пересекаются в одной точке, называемой ортоцентром. В тупоугольном треугольнике ортоцентр лежит вне треугольника. В прямоугольном треугольнике он совпадает с вершиной прямого угла.
Медианой треугольника называется отрезок, соединяющий вершину треугольника с серединой противоположной стороны. Три медианы треугольника пересекаются в одной точке, которая является центром тяжести треугольника рис. Эта точка делит каждую медиану в отношении 2 :1 считая от соответствующей вершины.
Биссектрисой треугольника называется отрезок биссектрисы угла от вершины до пересечения с противолежащей стороной. Три биссектрисы треугольника пересекаются в одной точке, которая является центром вписанного круга рис. Три перпендикуляра к сторонам треугольника, проведенные через их середины рис.
Примечание: не допускается искажение формулировок аксиом и большинства теорем, то есть их нужно учить наизусть. Что такое теорема В отличие от аксиомы, теорема — это суждение, которе требуется доказать. Например: Теорема о сумме углов треугольника равна 180 градусам Теорема о внешнем угле треугольника Теорема о трех перпендикулярах Есть отдельный вид так называемых вспомогательных теорем, которые сами по себе не полезны и используются только для доказательства других теорем. Например: Если произведение нескольких сомножителей делится на простое число p, то по крайней мере один из сомножителей делится на p лемма Евклида. Что такое следствие Следствие — это утверждение, которое было выведено из аксиомы или теоремы.
Таким образом, теория доказательств является синтаксической, в отличие от семантической теории моделей. Вместе с теорией моделей... В связи с интуитивностью исходного понятия алгоритмической вычислимости, данный тезис носит характер суждения об этом понятии и его невозможно строго доказать или опровергнуть.
Перед точным определением вычислимой функции математики часто использовали неофициальный термин... Парадоксы импликации — это парадоксы, возникающие в связи с содержанием условных утверждений классической логики. Главная функция этих утверждений — обоснование одних утверждений ссылкой на другие. Основная теорема англ. Hauptsatz — математическая теорема, получившая особый статус в связи с ключевой ролью для развития какой-либо из областей математики. Такой статус отражает в первую очередь значение для той или иной отрасли, при этом не обязательно он связан со сложностью или элементарностью формулировки или доказательства. Восьмая проблема Гильберта — одна из проблем, поставленных Давидом Гильбертом в его докладе на II Международном Конгрессе математиков в Париже в 1900 году. Восьмая проблема Гильберта состоит из двух задач, относящихся к теории простых чисел.
Это гипотеза Римана и проблема Гольдбаха. Аксиома детерминированности — аксиома теории множеств, обычно обозначаемая AD. Эту аксиому предложили в 1962 году польские математики Ян Мычельский и Гуго Штейнгауз в качестве замены для аксиомы выбора введённой в 1904 году, обозначается AC. Причиной поиска альтернативы аксиоме выбора стали необычные следствия из этой аксиомы, которые вызывали и продолжают вызывать критику со стороны части математиков. Например, в случае применения аксиомы выбора возникают парадоксальные конструкции вроде «парадокса... Первоначальный вариант предложен Андреем Николаевичем Колмогоровым в 1929 году, окончательная версия — в 1933 году. Аксиоматика Колмогорова позволила придать теории вероятностей стиль, принятый в современной математике. Теория чисел , или высшая арифметика, — раздел математики, первоначально изучавший свойства целых чисел.
В современной теории чисел рассматриваются и другие типы чисел — например, алгебраические и трансцендентные, а также функции различного происхождения, которые связаны с арифметикой целых чисел и их обобщений. Парадокс Скулема — противоречивое рассуждение, описанное впервые норвежским математиком Туральфом Скулемом, связанное с использованием теоремы Лёвенгейма — Скулема для аксиоматической теории множеств. Теорема о двух милиционерах — теорема в математическом анализе о существовании предела у функции, которая «зажата» между двумя другими функциями, имеющими одинаковый предел. Формулируется следующим образом... Логическая ошибка — в логике, философии и прочих науках, изучающих познание, ошибка, связанная с нарушением логической правильности умозаключений. Ошибочность обусловлена каким-либо логическим недочётом в доказательстве, что делает доказательство в целом неверным. Кризис оснований математики — термин, обозначающий поиск фундаментальных основ математики на рубеже XIX и XX веков. Система аксиом, обладающая этим свойством, называется независимой.
Нулевая гипотеза — принимаемое по умолчанию предположение о том, что не существует связи между двумя наблюдаемыми событиями, феноменами. Так, нулевая гипотеза считается верной до того момента, пока нельзя доказать обратное. Опровержение нулевой гипотезы, то есть приход к заключению о том, что связь между двумя событиями, феноменами существует, — главная задача современной науки. Статистика как наука даёт чёткие условия, при наступлении которых нулевая гипотеза может быть отвергнута. Четырнадцатая проблема Гильберта — четырнадцатая из проблем, поставленных Давидом Гильбертом в его знаменитом докладе на II Международном Конгрессе математиков в Париже в 1900 году. Она посвящена вопросу конечной порождённости возникающих при определённых конструкциях колец. Исходная постановка Гильберта была мотивирована работой Маурера, в которой утверждалась конечная порождённость алгебры инвариантов линейного действия алгебраической группы на векторном пространстве; собственно же вопрос Гильберта... Основным создателем теории множеств в наивном её варианте является немецкий математик Георг Кантор.
Множество есть любое собрание определённых и различимых между собой объектов нашей интуиции или интеллекта, мыслимое как единое целое. Для задания элементов множества используется форма. В качестве основных аксиом принимаются аксиома объемности, принцип абстракции и аксиома выбора. Анзац -подход является важным методом при решении дифференциальных уравнений, где мы можем подставить пробные функции в систему уравнений и проверить наше решение. Теории Нордстрёма — одна из первых попыток создать релятивистскую теорию тяготения. Гуннар Нордстрём создал две такие теории, которые в настоящее время имеют лишь исторический интерес. Идеальные числа были введены в 1847 году немецким математиком Эрнстом Эдуардом Куммером и послужили отправной точкой для определения идеалов колец, введённых позже Дедекиндом. Подробнее: Идеальное число Математическая индукция — метод математического доказательства, который используется, чтобы доказать истинность некоторого утверждения для всех натуральных чисел.
Красота математики — восприятие математики как объекта эстетического наслаждения, схожего с музыкой и поэзией. Гипотеза об экспоненциальном времени — это недоказанное допущение о вычислительной сложности, которое сформулировали Импальяццо и Патури. Гипотеза утверждает, что 3-SAT или любая из связанных NP-полных задач не может быть решена за субэкспоненциальное время в худшем случае. Из утверждения гипотезы можно показать, что многие вычислительные задачи эквиваленты...
Доказательство от противного: задача на логику Задача. У маляра есть банки только с желтой и фиолетовой красками. Банки с желтой краской всегда большие. Есть маленькая банка с краской. Докажите, что краска в ней фиолетовая.
Давайте покажем формальную схему, как устроено доказательство от противного, на примере простой логической задачи. По условию известно, что большой банка может быть, только если краска в ней желтая. Но это невозможно, поскольку заведомо также известно, что банка-икс маленькая. Банка фиолетовая. О противоречиях Внимательный читатель мог заметить странность, связанную с противоречиями. Изначально, когда речь шла про следствия, мы подчеркнули важность их доказательства, дабы исключить противоречие с аксиомой-основой или теоремой-основой. Следствие не может противоречить аксиоме, из которой оно выводится, и это факт. Однако при этом мы указывали, что если в ходе доказательства следствия не обнаруживается противоречия, то следствие является ошибочным.