Рамиля, а почему следствие вместо равносильности в геометрии — это плохо?
Что значит определение, свойства, признаки и следствие в геометрии?
Поскольку они являются прямым результатом доказанной теоремы или известного определения, следствия не требуют доказательства. Эти результаты очень легко проверить, поэтому их доказательство не приводится. Следствия - это термины, которые в основном встречаются в области математики. Но это не ограничивается использованием только в области геометрии. Слово «следствие» происходит от латинского Corollarium и обычно используется в математике, чаще встречается в областях логики и геометрии.
Когда автор использует следствие, он говорит, что этот результат может быть обнаружен или выведен самим читателем, используя в качестве инструмента некоторую ранее объясненную теорему или определение. Примеры следствий Ниже приведены две теоремы которые не будут доказываться , за каждой из которых следует одно или несколько следствий, выведенных из указанной теоремы. Кроме того, прилагается краткое объяснение того, как демонстрируется следствие. Теорема 1.
Следствие 1.
Если же в четырехугольник можно вписать окружность , то его стороны обладают следующим замечательным свойством: В любом описанном четырехугольнике суммы противоположных сторон равны. На рисунке 4 одинаковыми буквами обозначены равные отрезки касательных , так как отрезки касательных к окружности, проведенные из одной точки , равны. Верно и обратное утверждение: Если суммы противоположных сторон выпуклого четырехугольника равны, то в него можно вписать окружность.
Предположим, что это не так. Тогда прямая СD либо не имеет общих точек с окружностью, либо является секущей.
Через любые две точки можно провести прямую, притом только одну. Если при наложении совмещаются концы двух отрезков, то совмещаются и сами отрезки. Любая фигура равна самой себе. Иногда их еще называются постулатами.
Аксиомы могут использоваться для решения конкретных задач или применяться для доказательства теорем.
Возможно в надежде, что читатели сами смогут понять его витиеватость. Об этом говорит обширность комментариев даваемых к этому Определению. Но в любом случае оно также неприменимо для целей доказательства или опровержения чего либо. Это просто бытовое представление о прямой линии, тем более не совсем ясное. Лежандр признает: «Не подлежит сомнению, что безуспешность всех попыток вывести эту теорему о сумме углов треугольника из одних только наших сведений об условиях равенства треугольников, содержащихся в I книге Евклида, имеет свой источник в несовершенстве нашей повседневной речи и в трудности дать хорошее определение прямой линии». Лобачевский не соглашается с этим заявлением.
Ни сколько не умаляя ни труда, ни заслуг Лобачевского в поисках истины о 5-м Постулате Евклида, автору представляется, что именно эта причина, замеченная Лежандром, и есть суть проблемы. Искривление пространства и прочие физические сущности При рассуждениях о 5-м постулате Евклида, некоторые популяризаторы уходят в рассуждения об искривлении пространства, об многомерности пространства невидимой бытовому наблюдателю и прочих головокружительных сущностях. Так вот, что касается геометрии, как предмета рассматриваемого Евклидом, как и его великими последователями включая и Лежандра и Лобачевского, ни о каком физическом пространстве речи у них не идет. Геометрия Евклида — это чисто логическая абстракция, где пространство не обладает какими либо физическими параметрами. Соответственно и привлечение, каких либо физических идей в геометрии Евклида неуместно. Логика и законы сохранения окружающего нас мира. Бесконечность Наша логика строится на принципах законов сохранения.
Эти законы, например закон сохранения энергии, или закон сохранения импульса, окружают человека во всем наблюдаемом человеком пространстве. В соответствии с этими законами и строиться логические цепи во всех рассуждениях человека. В том числе все науки базируются на этих логических принципах. Попробую пояснить. Если мы положим в некий «черный ящик» два предмета, мы вполне будем уверены, что открыв этот «черный ящик», мы должны обнаружить эти же два предмета, если за время нахождения там этих предметов ничего не произошло. Иначе мы должны найти причину того, что произошло, что повлияло на количество предметов в «черном ящике». Это закон сохранения.
Хочу заметить, что наша логика родилась именно из этих законов сохранения окружающего нас мира. Если бы законы окружающего нас мира были другими, то и наша логика и математика, и геометрия была бы другой. Вполне обыденным были бы «чудеса» появления предметов из ниоткуда и такое же их исчезновение в никуда. И здесь мы подходим к понятию бесконечности. Человек никогда в своей истории не сталкивался с бесконечностью. Соответственно, какие-либо попытки применить логику, действующую в окружающем нас мире, к понятию бесконечности, представляются бессмысленными. Невозможно ответить на вопрос, сколько будет «бесконечность плюс бесконечность».
Вопрос: что такое следствие в геометрии
Первая Аксиома геометрии. Понятие Аксиома в геометрии. Аксиомы стереометрии следствия из аксиом 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 следствия из нее. Доказательство теоремы из аксиом. Доказательство Аксиомы стереометрии 10 класс. Следствия аксиом 10 класс теорема 1.
Аксиомы геометрии 10 класс теоремы. Следствия из аксиом стереометрии 10. Через прямую и точку проходит плоскость и притом. Доказательство теоремы Аксиомы стереометрии. Через прямую и не лежащую на ней точку проходит.
Следствие в геометрии предназначено для того, чтобы существеннее раскрыть суть содержание суждений, из которых это суждение было выведено. Отвечал: 0 Ответ: Следствие вытекает из аксиом, теорем или определений и служит для того что что бы полнее раскрыть их содержание Отвечал:.
Что интересно, его долгое время пытались опровергнуть, но сегодня перестали. Пятый постулат или аксиома Евклида звучит так: Если при пересечении двух прямых третьей, сумма односторонних углов менее 180 градусов, то такие прямые пересекаются, при том с той стороны, где сумма углов меньше 180. Ничего не напоминает? Конечно же, это третий признак параллельности прямых, вывернутый наизнанку: две прямые параллельны, если односторонние углы в сумме дают 180 градусов. А современная трактовка аксиомы: Через точку в плоскости может быть проведена одна и только одна прямая параллельная данной — принадлежит другому древнегреческому математику — Проклу. Вот такая небольшая историческая ошибка. Формулировка Но кто бы там ни был автором аксиомы, в любой задаче и при любом доказательстве, нужно иметь в виду: утверждение зовется аксиомой параллельных прямых и формулируется так: через точку на плоскости можно провести только одну прямую параллельную данной. Следствия Эта аксиома имеет два следствия, которые еще называют свойствами параллельных прямых. На самом деле, следствий три, но третье в своем доказательстве имеет не только аксиому, а поэтому следствием в полной мере считаться не может.
Вопрос о выводимости в формальной теории является частным, но вместе с тем важнейшим случаем более общей проблемы разрешимости. Теорема существования — утверждение, которое устанавливает, при каких условиях существует решение математической задачи или математический объект, например производная, неопределенный интеграл, определенный интеграл, решение уравнения и т. При доказательстве теорем существования используются сведения из теории множеств. Теоремы существования играют очень важную роль в различных приложениях математики, например при математическом моделировании различных явлений и процессов. Математическая модель... Задачи тысячелетия — семь открытых математических проблем, определённых Математическим институтом Клэя в 2000 году как «важные классические задачи, решение которых не найдено вот уже в течение многих лет», за решение каждой из которых обещано вознаграждение в 1 млн долларов США. Существует историческая параллель между задачами тысячелетия и списком проблем Гильберта 1900 года, оказавшим существенное влияние на развитие математики в XX веке; из 23 проблем Гильберта большинство уже решены, и только... Неконструктивное доказательство неэффективное доказательство — класс математических доказательств, доказывающих лишь существование в заданном как правило, бесконечном множестве элемента, удовлетворяющего заданным свойствам, но не дающее никакой информации о других свойствах элемента, то есть не позволяющие ни предъявить его, ни приблизительно описать. Доказательства, которые доказывают существование элемента, предъявляя способ получения этого элемента, называются конструктивными. Основания математики — математическая система, разработанная с целью обеспечить вывод математического знания из небольшого числа чётко сформулированных аксиом с помощью логических правил вывода, тем самым гарантируя надёжность математических истин. Основания математики включают в себя три компонента. Программа Гильберта в математике была сформулирована немецким математиком Давидом Гильбертом в начале 20-го века. Гильберт предположил, что согласованность более сложных систем, таких как реальный анализ, может быть доказана в терминах более простых систем. В конечном счете, непротиворечивость всей математики может быть сведена к простой арифметике. Теория доказательств — это раздел математической логики, представляющий доказательства в виде формальных математических объектов, осуществляя их анализ с помощью математических методов. Доказательства обычно представляются в виде индуктивно определённых структур данных, таких как списки и деревья, созданных в соответствии с аксиомами и правилами вывода формальных систем. Таким образом, теория доказательств является синтаксической, в отличие от семантической теории моделей. Вместе с теорией моделей... В связи с интуитивностью исходного понятия алгоритмической вычислимости, данный тезис носит характер суждения об этом понятии и его невозможно строго доказать или опровергнуть. Перед точным определением вычислимой функции математики часто использовали неофициальный термин... Парадоксы импликации — это парадоксы, возникающие в связи с содержанием условных утверждений классической логики. Главная функция этих утверждений — обоснование одних утверждений ссылкой на другие. Основная теорема англ. Hauptsatz — математическая теорема, получившая особый статус в связи с ключевой ролью для развития какой-либо из областей математики. Такой статус отражает в первую очередь значение для той или иной отрасли, при этом не обязательно он связан со сложностью или элементарностью формулировки или доказательства. Восьмая проблема Гильберта — одна из проблем, поставленных Давидом Гильбертом в его докладе на II Международном Конгрессе математиков в Париже в 1900 году. Восьмая проблема Гильберта состоит из двух задач, относящихся к теории простых чисел. Это гипотеза Римана и проблема Гольдбаха. Аксиома детерминированности — аксиома теории множеств, обычно обозначаемая AD. Эту аксиому предложили в 1962 году польские математики Ян Мычельский и Гуго Штейнгауз в качестве замены для аксиомы выбора введённой в 1904 году, обозначается AC. Причиной поиска альтернативы аксиоме выбора стали необычные следствия из этой аксиомы, которые вызывали и продолжают вызывать критику со стороны части математиков. Например, в случае применения аксиомы выбора возникают парадоксальные конструкции вроде «парадокса... Первоначальный вариант предложен Андреем Николаевичем Колмогоровым в 1929 году, окончательная версия — в 1933 году. Аксиоматика Колмогорова позволила придать теории вероятностей стиль, принятый в современной математике. Теория чисел , или высшая арифметика, — раздел математики, первоначально изучавший свойства целых чисел. В современной теории чисел рассматриваются и другие типы чисел — например, алгебраические и трансцендентные, а также функции различного происхождения, которые связаны с арифметикой целых чисел и их обобщений. Парадокс Скулема — противоречивое рассуждение, описанное впервые норвежским математиком Туральфом Скулемом, связанное с использованием теоремы Лёвенгейма — Скулема для аксиоматической теории множеств. Теорема о двух милиционерах — теорема в математическом анализе о существовании предела у функции, которая «зажата» между двумя другими функциями, имеющими одинаковый предел. Формулируется следующим образом... Логическая ошибка — в логике, философии и прочих науках, изучающих познание, ошибка, связанная с нарушением логической правильности умозаключений. Ошибочность обусловлена каким-либо логическим недочётом в доказательстве, что делает доказательство в целом неверным. Кризис оснований математики — термин, обозначающий поиск фундаментальных основ математики на рубеже XIX и XX веков. Система аксиом, обладающая этим свойством, называется независимой. Нулевая гипотеза — принимаемое по умолчанию предположение о том, что не существует связи между двумя наблюдаемыми событиями, феноменами. Так, нулевая гипотеза считается верной до того момента, пока нельзя доказать обратное. Опровержение нулевой гипотезы, то есть приход к заключению о том, что связь между двумя событиями, феноменами существует, — главная задача современной науки. Статистика как наука даёт чёткие условия, при наступлении которых нулевая гипотеза может быть отвергнута.
Что такое аксиома, теорема, следствие
Две прямые в пространстве называются пересекающимися , если они имеют ровно одну общую точку. По сути, это обычные прямые из планиметрии, которые пересекаются в одной точке. Через любые две пересекающиеся прямые можно провести плоскость, и притом только одну. И по предыдущей теореме через эту прямую и точку проходит лишь одна плоскость. Теорема о параллельных прямых Определение. Две прямые в пространстве называются параллельными , если они лежат в одной плоскости и не пересекаются. Через две параллельные прямые можно провести плоскость, и притом только одну. Однако таких плоскостей может быть несколько. Докажем, что такая плоскость всегда одна.
По Аксиоме о трёх точках они определяют плоскость однозначно. Способы задания плоскости Итого плоскость однозначно задаётся любым из четырёх способов: Тремя точками, не лежащими на одной прямой Аксиома трёх точек ; Прямой и не лежащей на ней точкой Теорема о прямой и точке ; Двумя пересекающимися прямыми; Двумя параллельными прямыми.
Из аксиомы параллельности обычно выводятся два значимых следствия, которые вкупе с теоремами о секущих будут формировать так называемые признаки параллельности прямых. Подробнее о признаках — далее, в следующем уроке. На время ограничимся определением того, что такое следствие в геометрии и тем, какие следствия предполагает аксиома параллельности: Следствия — утверждения, выводимые из определений, аксиом и теорем. Следствия из аксиомы параллельности: первое следствие Первое следствие из аксиомы параллельности. Две прямые, параллельные третьей, параллельны друг другу.
Тогда они должны пересекаться в некоторой точке. Это противоречит аксиоме параллельности, ведь через одну точку невозможно провести две параллельные прямые. Следствие доказано. Алгоритм доказательства следующий: вначале вводится утверждение от противного, чтобы после привести его к противоречию с аксиомой, теоремой или определением. Если в ходе доказательства противоречия не обнаруживается — следствие ошибочно. Это стандартная процедура «обратного» доказательства, она ранее известна нам как доказательство от противного. Насколько хорошо вы поняли алгоритм?
Восстановите правильный порядок схемы доказательства истинности утверждения методом от противного.
Хосе Матас. Кинси Л. Симметрия, форма и пространство: введение в математику через геометрию. Тригонометрия и аналитическая геометрия. Пирсон Образование.
Митчелл, C. Ослепительный дизайн Math Line. Scholastic Inc.
Следствия - это термины, которые обычно встречаются в основном в области математики. Но это не ограничивается использованием только в области геометрии. Следствие слова происходит от латинского Corollarium, и широко используется в математике, имея большее проявление в области логики и геометрии. Когда автор использует следствие, он говорит, что этот результат может быть обнаружен или получен читателем самостоятельно, используя в качестве инструмента некоторую теорему или определение, объясненное ранее.. Примеры следствий Ниже приведены две теоремы которые не будут доказаны , за которыми следуют одно или несколько следствий, которые выводятся из указанной теоремы. Кроме того, прилагается краткое объяснение того, как показано следствие.. Следствие 1. Следствие 2.
Что такое следствие в геометрии
Следствие в геометрии — это утверждение или теорема, которая вытекает из другой теоремы или аксиомы. Особенности следствия в геометрии 7 класса Следствие в геометрии 7 класса — это утверждение или правило, которое можно вывести из имеющихся данных и уже установленных фактов. Что такое следствие в геометрии. Следствие из 2 Аксиомы доказательство одними буквами. Следствия из аксиом стереометрии 10 класс теорема 1. Аксиомы стереометрии и следствия из них 2 теоремы. Следствие в геометрии — это утверждение или теорема, которая вытекает из другой теоремы или аксиомы. это утверждение, которое может быть выведено из другого утверждения, известного как теорема, с помощью логических заключений.
Следствия из аксиомы параллельности
Банка фиолетовая. О противоречиях Внимательный читатель мог заметить странность, связанную с противоречиями. Изначально, когда речь шла про следствия, мы подчеркнули важность их доказательства, дабы исключить противоречие с аксиомой-основой или теоремой-основой. Следствие не может противоречить аксиоме, из которой оно выводится, и это факт. Однако при этом мы указывали, что если в ходе доказательства следствия не обнаруживается противоречия, то следствие является ошибочным. Противоречия нет, а следствие ошибочное?
Не забывайте, что речь идет не просто о доказательстве, а о доказательстве от противного. За основу принимается отрицание следствия. При отрицании истинного следствия отсутствие противоречия недопустимо. Следствия из аксиомы параллельности: второе следствие Второе следствие из аксиомы параллельности. Прямая, пересекающая другую прямую, пересечет и параллельную другой прямую.
Еще раз внимание на доказательный алгоритм!
Чтобы ответ был наиболее исчерпывающим и информативным, я перерыла кучу справочников, а также привлекла к исследованию современные технологии. На сегодняшний день это искусственный интеллект, который знает всё. Ну или почти всё. Следствие в геометрии — это вывод или утверждение, которое следует из уже доказанного факта или теоремы. Оно позволяет нам использовать уже известные результаты для получения новых знаний о геометрических объектах и их свойствах.
Однако таких плоскостей может быть несколько.
Докажем, что такая плоскость всегда одна. По Аксиоме о трёх точках они определяют плоскость однозначно. Способы задания плоскости Итого плоскость однозначно задаётся любым из четырёх способов: Тремя точками, не лежащими на одной прямой Аксиома трёх точек ; Прямой и не лежащей на ней точкой Теорема о прямой и точке ; Двумя пересекающимися прямыми; Двумя параллельными прямыми. Есть и другие способы задать плоскость. Но, во-первых, эти четыре способа прямо следуют из аксиом и не требуют дополнительного обоснования. Можно написать в решении «Две пересекающиеся прямые однозначно задают плоскость» — и этого будет достаточно. А во-вторых, для большинства стереометрических задач хватит и этих четырёх приёмов. И прямо сейчас мы проверим это в задачах на доказательство.
Решение задач Перед вами шесть на доказательство. Некоторые из них мы будем решать напрямую — через аксиомы и теоремы.
Значит, наше предположение ошибочно.
Аналогично можно доказать, что прямая CD не может быть секущей окружности. Следовательно, окружность касается стороны СD. Советуем посмотреть:.
Следствие (математика)
Следствие геометрия – это раздел математики, который изучает пространственные свойства следа, оставленного движущимся телом на другом теле или. Презентация на тему Следствия к уроку по геометрии. Перпендикуляры, восстановленные из точек А и С, пересекутся в некой точке D. Такое построение справедливо как в геометрии Евклида, так и в геометрии Лобачевского. Следствие геометрии – это аксиома или правило, которое получается в результате доказательства в геометрической системе. Что является следствием в геометрии? следствие это результат, который очень часто используется в геометрии для обозначения немедленного результата чего-то. Знакомство со следствием в геометрии Следствия позволяют нам расширять знания и применять уже установленные результаты для решения новых геометрических задач.
Что такое следствие в геометрии?
Зачетный Опарыш Следствие вытекает из аксиом, теорем или определений и служит для того, что бы полнее раскрыть их содержание. Например, свойство средней линии треугольника: она параллельна основанию. Слово "Признак" употребляют для замены выражения "достаточное условие".
Слово "Признак" употребляют для замены выражения "достаточное условие". Например, признак параллелограмма: четырёхугольник, противоположные стороны которого попарно равны.
В математическом анализе слово "признак" употребляется довольно часто, например, признак Даламбера для бесконечных рядов с положительными членами.
Любая диагональ делит четырехугольник с четырьмя прямыми углами на два треугольника с суммой углов в два прямых. UPD2: Под спойлером рассуждения не имеющие отношения к доказательству, а именно об определении прямой линии и рамках нашей логики. Если читатель считает предыдущее доказательство наивным, то лучше не заглядывать под спойлер, чтобы более не раздражаться и не загонять карму автора ниже плинтуса.
Многословие В данной части, на правах автора, позволю себе высказать некоторые мысли напрямую или косвенно связанные с проблемой 5-го постулата Евклида. Этот раздел, возможно, будет спорным, но доказательство, приведенное выше, не зависит от идей приведенных ниже. Определение прямой линии, как причина проблемы с доказательством 5-го постулата Евклида. Казалось бы такое простое доказательство, данное выше.
Так в чем же причина того, что 5-й постулат остается спорным до сих пор? Мне представляется, что проблема, как не странно, кроется в Определении прямой линии. До сих пор не найдено красивого, лаконичного, очевидного и, что крайне важно, применимого для доказательства Определения прямой линии. Такого Определения, которое запрещало бы «кривизну» прямой линии.
Для прямой линии нет определения, подобного тому, как дано для окружности: «Окружность — это геометрическое место точек, равноудаленных от данной». Определение прямой линии вида: «Через две точки можно провести только одну прямую» трудно назвать определением. Это скорее описание одного из свойств прямой линии. Из этого свойства вытекает, что двумя точками можно задать положение прямой линии в пространстве, но к определению прямой это не имеет отношения.
Прямая линия может быть как угодно «искривлена», и если у нас нет аргументов считать это абсурдным, то у нас и нет доказательной базы для объявления это абсурдом. Всегда можно будет апеллировать к тому, что «прямота» прямой линии — это наше бытовое представление о ней. Что, например мы не видим «кривизну» в силу ограниченности наблюдаемого нами пространства и если неограниченно продолжить эту прямую линию тогда мы могли бы увидеть ее «кривизну». Определение через ось тела вращения — это скорее умозрительное описание предмета, не дающее работоспособных правил к применению.
Это не более чем бытовое представление о прямой линии, по сути равнозначное определению прямой двумя точками. Этим определением мы ничего не сможем ни доказать, ни опровергнуть. Определение типа «Прямая — это геометрическое место точек равноудаленных от двух данных», довольно строго описывает прямую, но крайне тяжело применимо для целей доказательства в случаях, где требуется опровергнуть возможную «кривизну» прямой. Евклид дал такое определение прямой линии в переводе Д.
Мордухай-Болтовского : «Прямая линия есть та, которая равно расположена по отношению к точкам на ней». В силу своей неясности, зачастую, вместе с переводом данного определения, оно приводиться в оригинальном виде. Возможно в надежде, что читатели сами смогут понять его витиеватость. Об этом говорит обширность комментариев даваемых к этому Определению.
Отвечал: 0 Ответ: Следствие вытекает из аксиом, теорем или определений и служит для того что что бы полнее раскрыть их содержание Отвечал:.
Что такое следствие в геометрии 7 класс определение кратко
На время ограничимся определением того, что такое следствие в геометрии и тем, какие следствия предполагает аксиома параллельности. В геометрии, следствие представляет собой утверждение, которое выводится из других более общих утверждений, называемых посылками. следствие-утверждение, которое выводится непосредственно из аксиом или теорем (геометрия, 7 класс, Атанасян). Ответил (1 человек) на Вопрос: Что такое следствие в геометрии?. Решение по вашему вопросу находиться у нас, заходи на Школьные это логическое утверждение, которое следует из уже доказанных или известных ранее фактов и правил.
Вписанная окружность
Учебник 8 класс Атанасян 2019. это одно из следствий определений или теорем, являющееся, по существу, некоторым утверждением о данном объекте. «Доказательство через следствие» В средней школе проходят разные теоремы геометрии, например, теорему Пифагора — квадрат длины гипотенузы равен сумме квадратов длин двух катетов. следствие-утверждение, которое выводится непосредственно из аксиом или теорем (геометрия, 7 класс, Атанасян). По своей сути следствие является выводом, неким заключением, суждением, которое вывели из других суждений.В геометрии следствием является заключение, полученное из аксиомы, теоремы, либо определения.