Что такое аксиома и теорема
Решение всех задач в геометрии построено на логических рассуждениях. С их помощью мы решаем задачи или выводим новые доказательства.
Некоторые из утверждений в геометрии мы используем не задумываясь. Вспомним высказывание, которое мы слышим при самом первом знакомстве с геометрией:
«Через две точки можно провести прямую, и притом только одну».
Чтобы лучше понять сказанное, нарисуем наглядный рисунок, где прямая a пересекает точки A и B .
Казалось бы, очевидно, если попытаться провести еще одну прямую b через точки A и B , она совпадет с прямой a .
Но можно ли считать подобное рассуждение доказательством?
Важно! 
Дело в том, что утверждение, которое в своем доказательстве
не опирается на выстроенную логическую цепочку доказательств, нельзя считать доказанным .
Другими словами, утверждение «Через две точки можно провести прямую, и притом только одну» не является доказанным только потому, что мы нарисовали рисунок и по рисунку «на глаз» стало все понятно.
В геометрии действует принцип: «Не верь глазам своим, пока не докажешь утверждение с помощью рассуждений».
Но что нам в таком случае делать? Ведь при решении задач мы используем какие-то очевидные утверждения, не задумываясь об их истинности.
Нам остается, только принять их на веру без доказательств . Иначе мы не сможем доказывать следующие утверждения, чтобы двигаться дальше.
Что такое аксиома
Слово аксиома произошло от древнегреческого слова «axioma» — утверждение, положение.
Запомните! 
Аксиома — утверждение , которое не требует доказательств.
С точки зрения учащихся, аксиома — лёгкий способ получить отличную оценку. Достаточно просто выучить формулировку. Ведь никаких доказательств для аксиомы учить не требуется.
Всего в геометрии насчитывается около 15 аксиом. В школьном курсе используются далеко не все. Некоторые из них используются в школьном курсе как само собой разумеющееся для нас. Приведем некоторые примеры довольно известных аксиом из школьного курса геометрии:
- через любые две точки проходит прямая, и притом только одна;
- через точку, не лежащую на данной прямой, проходим только одна прямая, параллельная данной;
- если при наложении совмещаются концы двух отрезков, то совмещаются и сами отрезки;
- любая фигура равна самой себе.
Что такое теорема
Совсем по-другому обстоят дела с теоремами. Слово теорема происходит от древнегреческого слова «theorema» — смотреть, рассматривать какое-либо утверждение.
Запомните!
Теорема — утверждение , которое требует доказательства.
Теоремы менее «любимы» учащимися, чем аксиомы. Если учитель попросит рассказать теорему, будет недостаточно, как для аксиомы, сообщить только её формулировку. Потребуется также дать доказательство теоремы.
Примеры формулировок теорем:
- сумма углов треугольника равна 180 градусов;
- площадь прямоугольника равна произведению его смежных сторон;
- теорема Пифагора. В прямоугольном треугольнике квадрат гипотенузы равен сумме квадратов катетов.
Важно!
Формулировки аксиом и теорем необходимо учить строго наизусть
без искажений .
Каждое слово или предлог в формулировке играет существенную роль в передаче смысла выражения. Даже просто поменяв порядок слов можно сильно изменить смысл утверждения.
Помните, что все формулировки в геометрии были выверены несколькими тысячами лет развития математики лучшими умами планеты и не терпят никаких словесных изменений.
Что такое лемма
Среди теорем выделяют такие теоремы, которые сами по себе не используются в решениях задач. Но их используют для доказательства других теорем.
Лемма происходит от древнегреческого слова «lemma» – предположение.
Запомните!
Лемма — это вспомогательная теорема , с помощью которой доказываются другие теоремы.
- если одна из двух параллельных прямых пересекает плоскость, то и вторая прямая тоже пересекает эту плоскость.
Что такое следствие в геометрии
Запомните!
Следствие — утверждение, которое выводится непосредственно из аксиомы или теоремы. Следствие, как и теорему, необходимо доказывать .
Приведем примеры следствий из аксиомы о параллельности прямых:
- если прямая пересекает одну из двух параллельных прямых, то она пересекает и другую;
- если две прямые параллельны третьей прямой, то они параллельны.
Если подытожить все вышесказанное, то сравнивая геометрию с высотным домом, можно представить, что:
- аксиомы — фундамент дома;
- теоремы — основные кирпичи дома;
- леммы и следствия — вспомогательные кирпичи для упрочнения конструкции.
Каждая доказанная теорема служит основанием доказательства для следующей теоремы. Именно поэтому так важно изучать геометрию последовательно, переходя с самых основ (аксиом) к теоремам.
Невозможно понять геометрию 9 и 10 класса, не выучив аксиомы и теоремы 7 и 8 класса.
Ваши комментарии
Важно!
Чтобы оставить комментарий, вам нужно войти на наш сайт при помощи «ВКонтакте».
Sergey Semenov 
Профиль Благодарили: 0
Сообщений: 1
Sergey Semenov
Профиль
Благодарили: 0
Сообщений: 1
Помогите решить пожалуйста буду благодарен, очень срочно нужно
Владимир Константинович 
Профиль Благодарили: 0
Сообщений: 1
Владимир Константинович
Профиль
Благодарили: 0
Сообщений: 1
Евгений Омелин 
Профиль Благодарили: 0
Сообщений: 1
Евгений Омелин
Профиль
Благодарили: 0
Сообщений: 1
Объясните почему так получается
Нужно найти объёмV= ширана*длина*высотадлина — 3дм
ширина-2дм
высота -10см
Вот тут и начинается самое интересное
v=3*2*1=6дм=60см
или
v=30*20*10=6000cмПочему получаются разные ответы, если по сути это одно и тоже?
Что такое аксиома, теорема, следствие
В данной публикации мы рассмотрим, что из себя представляют аксиомы, теоремы и следствия. Определения сопровождаются соответствующими примерами для лучшего понимания.
- Что такое аксиома
- Что такое теорема
- Что такое следствие
Что такое аксиома
Для того, чтобы решить многие математические задачи, очень часто требуется выполнить определенные логические действия, благодаря которым удается получить то или иное решение/доказательство.
Но есть в математике такие утверждения, которые не требуют никаких доказательств.
Например:
- Через точку, не лежащую на прямой, проходит только одна прямая, параллельная данной.
- Через любые две точки можно провести прямую, притом только одну.
- Если при наложении совмещаются концы двух отрезков, то совмещаются и сами отрезки.
- Любая фигура равна самой себе.
Эти и другие подобные утверждения, не нуждающиеся в доказательстве и принимаемые в качестве исходных в какой-либо теории, называются аксиомами (от древнегреческого “axioma”, что означает “положение”, “утверждение”). Иногда их еще называются постулатами.
Аксиомы могут использоваться для решения конкретных задач или применяться для доказательства теорем.
Примечание: не допускается искажение формулировок аксиом и большинства теорем, т.е. их нужно учить наизусть.
Что такое теорема
В отличие от аксиомы, теорема – это суждение, которе требуется доказать. Т.е. в рассматриваемой теории для нее есть определенное доказательство.
Например:
Есть отдельный вид так называемых вспомогательных теорем, которые сами по себе не полезны и используются только для доказательства других теорем. Их называются леммами (от древнегреческого “lemma”, что означает “предположение”).
Например:
Если произведение нескольких сомножителей делится на простое число p, то по крайней мере один из сомножителей делится на p (лемма Евклида).
Что такое следствие
Следствие – это утверждение, которое было выведено из аксиомы или теоремы. И оно, также, требуется доказательства.
Аксиома параллельных прямых что такое аксиома
Что такое аксиома, теорема и доказательство теоремы
О чем эта статья:
Понятие аксиомы
Аксиома — это правило, которое считают верным и которое не нужно доказывать. В переводе с греческого «аксиома» значит принятое положение — то есть взяли и договорились, что это истина, с которой не поспоришь.
Аксиоматический метод — это подход к получению знаний, при котором сначала разрабатывают аксиомы, а потом с их помощью формулируют новые теории.
Синоним аксиомы — постулат. Антоним — гипотеза.
Основные аксиомы евклидовой геометрии
- Через любые две точки проходит единственная прямая.
- Каждая точка на прямой разбивает эту прямую на две части так, что точки из разных частей лежат по разные стороны от данной точки. А точки из одной части лежат по одну сторону от данной точки.
- На любом луче от его начала можно отложить только один отрезок, равный данному.
- Отрезки, полученные сложением или вычитанием соответственно равных отрезков — равны.
- Каждая прямая на плоскости разбивает эту плоскость на две полуплоскости. При этом если две точки принадлежат разным частям, то отрезок, который соединяет эти две точки, пересекается с прямой. Если две точки принадлежат одной части, то отрезок, соединяющий эти точки, не пересекается с прямой.
- От любого луча на плоскости в заданную сторону можно отложить только один угол, который равен данному. Все развернутые углы равны.
- Углы равны, если они получились путем сложения или вычитания соответственно равных углов.
Учить наизусть эти аксиомы не обязательно. Главное — помнить о них и держать под рукой, чтобы при доказательстве теоремы сослаться на одну из них.
А теперь давайте рассмотрим несколько аксиом из геометрии за 7 и 8 класс.
Самая известная аксиома Евклида — аксиома о параллельных прямых. Звучит она так:
Это значит, что если дана прямая и любая точка, которая не лежит на этой прямой, то через неё можно провести только одну единственную прямую, которая будет параллельна этой первой данной прямой.
У этой аксиомы два следствия:
- прямая, которая пересекает одну параллельную прямую, обязательно пересекает и другую;
- если две прямые параллельны третьей, то между собой они также параллельны.
Аксиома Архимеда заключается в том, что, если отложить достаточное число раз меньший из двух отрезков, то можно покрыть больший из них. Звучит так:
Если на прямой есть меньший отрезок А и больший отрезок B, то, можно сложить А достаточное количество раз, чтобы покрыть B.
На картинке можно увидеть, как это выглядит:
Из этого следует, что не существует бесконечно малых и бесконечно больших величин. В качестве математической формулы аксиому можно записать так: А + А + … + А = А * n > В, где n — это натуральное число.
Понятие теоремы
Что такое аксиома мы уже поняли, теперь узнаем определение теоремы.
Теорема — логическое следствие аксиом. Это утверждение, которое основано на аксиомах и общепринятых утверждениях, которые были доказаны ранее, и доказывается на их основе.
Состав теоремы: условие и заключение или следствие.
Среди теорем выделяют такие, которые сами по себе не используются в решениях задач. Но их используют для доказательства других теорем.
Лемма — это вспомогательная теорема, с помощью которой доказываются другие теоремы. Пример леммы: если одна из двух параллельных прямых пересекает плоскость, то и вторая прямая тоже пересекает эту плоскость.
Следствие — утверждение, которое выводится из аксиомы или теоремы. Следствие, как и теорему, необходимо доказывать.
Примеры следствий из аксиомы о параллельности прямых:
- если прямая пересекает одну из двух параллельных прямых, то она пересекает и другую;
- если две прямые параллельны третьей прямой, то они параллельны.
Доказательство теоремы — это процесс обоснования истинности утверждения.
Каждая доказанная теорема служит основанием доказательства для следующей теоремы. Именно поэтому так важно изучать геометрию последовательно, переходя от аксиом к теоремам.
Способы доказательства геометрических теорем
- Синтетический или синтез — метод, при котором данное предложение выступает, как необходимое следствие другого, уже доказанного.
- Аналитический или анализ — обратный синтезу способ. Рассуждения всегда начинаются с доказываемой теоремы и закачиваются другой известной истиной.
Часть аналитического способа — доказательство от противного, когда для доказательства данного предложения убеждают в невозможности предположения противоположного.
Приемы для доказательства в геометрии:
- Способ наложения — когда одну геометрическую величину накладывают на другую. Этим способом убеждаются в равенстве или неравенстве геометрических протяжений в зависимости от того, совмещаются они или нет при наложении.
- Способ пропорциональности — применение свойств пропорций. Этот способ пригодится для доказательства теорем про подобные фигуры и пропорциональные отрезки.
- Способ пределов — когда вместо данной величины берут свойства другой, близкой к ней. А потом перекладывают эти выводы на исходные данные.
Обратная теорема — это такой перевертыш: в ней условие исходной теоремы дано заключением, а заключение — условием.
Прямая и обратная теорема взаимно-обратные. Например:
- прямая теорема: в треугольнике против равных сторон лежат равные углы.
- обратная теорема: в треугольнике против равных углов лежат равные стороны.
В первой теореме данное условие — это равенство сторон треугольника, а заключение — равенство противолежащих углов. А во второй всё наоборот.
Противоположная теорема — это утверждение, в котором из отрицания условия вытекает отрицание заключения.
Вот, как выглядит взаимное отношение теорем на примере:
- Прямая: если при пересечении двух прямых третьей соответственные углы равны, то данные прямые параллельны.
- Обратная: если две прямые параллельны, то при пересечении их третьей, соответственные углы равны.
- Противоположная: если при пересечении двух прямых третьей соответственные углы не равны, прямые не параллельны.
- Обратная противоположной: если прямые не параллельны, соответственные углы не равны.
В геометрическом изложении достаточно доказать только две теоремы, тогда остальные справедливы без доказательства.
Для тех, кто хочет связать свою жизнь с точными науками, Skysmart предлагает курс подготовки к ЕГЭ по математике (профиль).
Теоремы без доказательств
Теорема Пифагора: квадрат гипотенузы равен сумме квадратов катетов.
Доказательств может быть несколько. Одно из них звучит так: если построить квадраты на сторонах прямоугольного треугольника, то площадь большего из них равна сумме площадей меньших квадратов. На картинке понятно, как это работает:
Теорема косинусов: квадрат одной стороны треугольника равен сумме квадратов двух других сторон минус удвоенное произведение этих сторон на косинус угла между ними. В виде формулы это выглядит так:
где a, b и c — стороны плоского треугольника,
α — угол, противолежащий стороне а.
Следствия из теоремы косинусов:
- при b² + c² – a² > 0 угол α будет острым;
- при b² + c² – a² = 0 угол α будет прямым, что соответствуем теореме Пифагора;
- при b² + c² – a²
Понятия свойств и признаков
У нас есть список аксиом и мы уже знаем, что такое теорема и как ее доказывать. Есть два типа утверждений среди теорем, которые часто встречаются при изучении новых фигур: свойства и признаки.
Свойства и признаки — понятия из обычной жизни, которые мы часто используем.
Свойство — такое утверждение, которое должно выполняться для данного типа объектов. У ноутбука есть клавиатура — это свойство есть у каждого ноутбука. А у электронной книги такого свойства нет.
Примеры геометрических свойств мы уже знаем: у квадрата все стороны равны. Это верно для любого квадрата, поэтому это — свойство.
Такое свойство можно встретить у другого четырехугольника. И клавиатура может быть на других устройствах, помимо ноутбука. Из этого следует, что свойства не обязательно должны быть уникальными.
Признак — это то, по чему мы однозначно распознаем объект.
Звезды в темном небе — признак того, что сейчас ночь. Если человек ходит с открытым зонтом — это признак того, что сейчас идет дождь. При этом ночью не обязательно должны быть видны звезды, иногда может быть облачно. Значит это не свойство ночи.
А теперь вернемся к геометрии и рассмотрим четырехугольник ABCD, в котором AB = BD = 10 см.
Является ли равенство диагоналей признаком прямоугольника? У такого четырехугольника, где AB = BD, диагонали равны, но он не является прямоугольником. Это свойство, но не его признак.
Но если в четырехугольнике противоположные стороны параллельны AB || DC и AD || BC и диагонали равны AB = BD, то это уже верный признак прямоугольника. Смотрите рисунок:
Иногда свойство и признак могут быть эквивалентны. Лужи — это верный признак дождя. У других природных явлений не бывает луж. Но если приходит дождь, то лужи на асфальте точно будут. Значит, лужи — это не только признак, но и свойство дождя.
Такие утверждения называют необходимым и достаточным признаком.
Геометрия. 7 класс
Конспект урока
Аксиома параллельных прямых
Перечень рассматриваемых вопросов:
- Аксиомы и теоремы.
- Исторические сведения об аксиоматическом построении евклидовой геометрии.
- Параллельные и перпендикулярные прямые.
- Признаки параллельности прямых.
- Решение задач на доказательство параллельности прямых.
Аксиома – это утверждение, которое принимается в качестве исходного, без доказательства в рамках данной теории.
Аксиома параллельных прямых.
Через точку, не лежащую на данной прямой, проходит только одна прямая, параллельная данной.
Следствия из аксиомы.
Если прямая пересекает одну из двух параллельных прямых, то она пересекает и другую.
Если две прямые, параллельны третьей прямой, то они параллельны.
- Атанасян Л. С. Геометрия: 7–9 класс. // Атанасян Л. С., Бутузов В. Ф., Кадомцев С. Б. – М.: Просвещение, 2017. – 384 с.
- Атанасян Л. С. Геометрия: Методические рекомендации 7 класс. // Атанасян Л. С., Бутузов В. Ф., Глазков Ю. А. и др. – М.: Просвещение, 2019. – 95 с.
- Зив Б. Г. Геометрия: Дидактические материалы 7 класс. // Зив Б. Г., Мейлер В. М. – М.: Просвещение, 2019. – 127 с.
- Мищенко Т. М. Дидактические материалы и методические рекомендации для учителя по геометрии 7 класс. // Мищенко Т. М., – М.: Просвещение, 2019. – 160 с.
- Атанасян Л. С. Геометрия: Рабочая тетрадь 7 класс. // Атанасян Л. С., Бутузов В. Ф., Глазков Ю. А., Юдина И. И. – М.: Просвещение, 2019. – 158 с.
- Иченская М. А. Геометрия: Самостоятельные и контрольные работы 7–9 классы. // Иченская М. А. – М.: Просвещение, 2019. – 144 с.
Теоретический материал для самостоятельного изучения
Геометрия на плоскости изучает фигуры: сначала даются их определения, затем доказываются свойства или отношения в виде теорем.
Однако есть утверждения, которые принимаются в качестве исходных, они не доказываются. Это аксиомы.
Аксиома – происходит от греческого «аксиос», что означает «ценный, достойный». Изначально имело смысл «самоочевидная истина».
Теорема – греческое слово, означает «зрелище, представление». В математике греков употреблялось в смысле «истина, доступная созерцанию».
Аксиома параллельных прямых.
Через точку, не лежащую на данной прямой, проходит только одна прямая, параллельная данной.
Следствия из аксиомы.
Если прямая пересекает одну из двух параллельных прямых, то она пересекает и другую.
Если две прямые параллельны третьей прямой, то они параллельны.
Впервые аксиоматический подход к изложению геометрии был изложен в знаменитом сочинении Евклида «Начала» в III веке до нашей эры. Геометрию, которую мы изучаем, по сей день, называют евклидовой. Схема изучения геометрии представлена так: задаются начальные понятия (точка, прямая, плоскость), определения фигур (отрезок, луч, треугольник и др.). Затем изучаются свойства или отношения между ними в виде аксиом или теорем.
Приведём примеры аксиом, которые уже встречали в предыдущих параграфах, хотя они не назывались аксиомами.
- Через любые две точки проходит прямая, и притом только одна.
- На любом луче от его начала можно отложить отрезок, равный данному, и притом только один.
- От любого луча можно отложить угол, равный данному неразвёрнутому углу, и притом только один.
Евклид является автором аксиоматического подхода к построению геометрии.
Аксиома параллельных прямых:
через точку, не лежащую на данной прямой, проходит только одна прямая, параллельная данной.
На рисунке через точку М проведены две прямые. Но только одна из них прямая b параллельна прямой а.
Утверждения, которые выводятся из аксиом или теорем, называются следствиями, и они доказываются.
Следствия из аксиомы параллельных прямых.
1. Если прямая пересекает одну из двух параллельных прямых, то она пересекает и другую.
Доказательство методом от противного.
Пусть a ║b, c пересекает прямую a в точке M. Предположим, что прямая c не пересекает b. Тогда через точку M проходит две прямые a и c параллельные b. Это противоречит аксиоме, значит предположение неверно, т. е. прямая c пересекает b.
2. Если две прямые параллельны третьей прямой, то они параллельны.
Доказательство методом от противного.
Пусть a ║ c, b ║ c.
Предположим, что прямые a и b не параллельны, т. е. пересекаются в точке M. Тогда через точку M проходит две прямые a и b параллельные c. Это противоречит аксиоме, значит, предположение неверно, т. е. прямая a параллельна прямой b.
Разбор заданий тренировочного модуля
№ 1. Доказать существование прямой, параллельной данной.
- Проведём через точку М прямую c ┴ а.
- Затем проведём прямую b ┴ c.
- Так как прямые a и b перпендикулярны прямой c, то они параллельны.
№ 2. Через точку А, не лежащую на прямой р, проведены четыре различные прямые.
Сколько из них пересекает прямую р?
1 случай. Если одна из прямых параллельна р. Тогда три других пересекают прямую р, согласно следствию 1 из аксиомы параллельных прямых.
2 случай. Если ни одна из прямых не параллельна р. Тогда все четыре пересекают прямую р.
Свойства параллельных прямых
Этот видеоурок доступен по абонементу
У вас уже есть абонемент? Войти
С помощью данного видеоурока вы сможете самостоятельно изучить тему «Свойства параллельных прямых». В ходе него вам предстоит параллельные прямые, рассмотреть их свойства, а также сформулировать одну из самых важных аксиом геометрии.
Если у вас возникнет сложность в понимании темы, рекомендуем посмотреть урок «Основы геометрии»
Чем отличается теорема от аксиомы? Аксиома доказывается как в плюс так и в минус?
Теорема (др. -греч. θεώρημα — «зрелище, вид; взгляд; представление, положение» ) — утверждение, для которого в рассматриваемой теории существует доказательство (иначе говоря, вывод) . В отличие от теорем, аксиомами называются утверждения, которые, в рамках конкретной теории, принимаются истинными без всяких доказательств или обоснований.
В математических текстах теоремами обычно называют только достаточно важные утверждения. При этом требуемые доказательства обычно кем-либо найдены (исключение составляют в основном работы по логике, в которых изучается само понятие доказательства, а потому в некоторых случаях теоремами называют даже неопределённые утверждения) . Менее важные утверждения-теоремы обычно называют леммами, предложениями, следствиями, условиями и прочими подобными терминами. Утверждения, о которых неизвестно, являются ли они теоремами, обычно называют гипотезами.
Аксиома (др. -греч. ἀξίωμα — утверждение, положение) — утверждение, в определённых рамках (теории, концепции, дисциплины) принимаемое истинным без доказательств, которое в последующем служит «фундаментом» для построения доказательств.
Аксиоматизация теории — явное указание конечного или счётного, рекурсивно перечислимого (как, например, в аксиоматике Пеано) набора аксиом и правил вывода. После того как даны названия изучаемым объектам и их основным отношениям, а также аксиомы, которым эти отношения должны подчиняться, всё дальнейшее изложение должно основываться исключительно лишь на этих аксиомах, не опираясь на обычное конкретное значение этих объектов и их отношений. Утверждения на основе аксиом называются теоремами. С формальной точки зрения, сами аксиомы также входят в число теорем.
Примеры различных, но равносильных наборов аксиом можно встретить в математической логике и Евклидовой геометрии.
Набор аксиом называется непротиворечивым, если из аксиом набора, пользуясь правилами логики, нельзя прийти к противоречию, то есть доказать одновременно и некое утверждение и его отрицание. Аксиомы являются своего рода «точками отсчёта» (фактами) для построения любой науки, при этом сами они не доказываются, а выводятся непосредственно из эмпирического наблюдения.