Что может быть следствием аксиомы или теоремы
Что такое аксиома и теорема
Решение всех задач в геометрии построено на логических рассуждениях. С их помощью мы решаем задачи или выводим новые доказательства.
Некоторые из утверждений в геометрии мы используем не задумываясь. Вспомним высказывание, которое мы слышим при самом первом знакомстве с геометрией:
«Через две точки можно провести прямую, и притом только одну».
Но можно ли считать подобное рассуждение доказательством?
Другими словами, утверждение «Через две точки можно провести прямую, и притом только одну» не является доказанным только потому, что мы нарисовали рисунок и по рисунку «на глаз» стало все понятно.
В геометрии действует принцип: «Не верь глазам своим, пока не докажешь утверждение с помощью рассуждений».
Но что нам в таком случае делать? Ведь при решении задач мы используем какие-то очевидные утверждения, не задумываясь об их истинности.
Что такое аксиома
Слово аксиома произошло от древнегреческого слова «axioma» — утверждение, положение.
С точки зрения учащихся, аксиома — лёгкий способ получить отличную оценку. Достаточно просто выучить формулировку. Ведь никаких доказательств для аксиомы учить не требуется.
Всего в геометрии насчитывается около 15 аксиом. В школьном курсе используются далеко не все. Некоторые из них используются в школьном курсе как само собой разумеющееся для нас. Приведем некоторые примеры довольно известных аксиом из школьного курса геометрии:
Что такое теорема
Совсем по-другому обстоят дела с теоремами. Слово теорема происходит от древнегреческого слова «theorema» — смотреть, рассматривать какое-либо утверждение.
Теоремы менее «любимы» учащимися, чем аксиомы. Если учитель попросит рассказать теорему, будет недостаточно, как для аксиомы, сообщить только её формулировку. Потребуется также дать доказательство теоремы.
Примеры формулировок теорем:
Каждое слово или предлог в формулировке играет существенную роль в передаче смысла выражения. Даже просто поменяв порядок слов можно сильно изменить смысл утверждения.
Помните, что все формулировки в геометрии были выверены несколькими тысячами лет развития математики лучшими умами планеты и не терпят никаких словесных изменений.
Что такое лемма
Среди теорем выделяют такие теоремы, которые сами по себе не используются в решениях задач. Но их используют для доказательства других теорем.
Лемма происходит от древнегреческого слова «lemma» – предположение.
Что такое следствие в геометрии
Приведем примеры следствий из аксиомы о параллельности прямых:
Если подытожить все вышесказанное, то сравнивая геометрию с высотным домом, можно представить, что:
Каждая доказанная теорема служит основанием доказательства для следующей теоремы. Именно поэтому так важно изучать геометрию последовательно, переходя с самых основ (аксиом) к теоремам.
Невозможно понять геометрию 9 и 10 класса, не выучив аксиомы и теоремы 7 и 8 класса.
Что такое аксиома, теорема и доказательство теоремы
Понятие аксиомы
Аксиома — это правило, которое считают верным и которое не нужно доказывать. В переводе с греческого «аксиома» значит принятое положение — то есть взяли и договорились, что это истина, с которой не поспоришь.
Аксиоматический метод — это подход к получению знаний, при котором сначала разрабатывают аксиомы, а потом с их помощью формулируют новые теории.
Синоним аксиомы — постулат. Антоним — гипотеза.
Основные аксиомы евклидовой геометрии
Учить наизусть эти аксиомы не обязательно. Главное — помнить о них и держать под рукой, чтобы при доказательстве теоремы сослаться на одну из них.
А теперь давайте рассмотрим несколько аксиом из геометрии за 7 и 8 класс.
Самая известная аксиома Евклида — аксиома о параллельных прямых. Звучит она так:
Это значит, что если дана прямая и любая точка, которая не лежит на этой прямой, то через неё можно провести только одну единственную прямую, которая будет параллельна этой первой данной прямой.
У этой аксиомы два следствия:
Аксиома Архимеда заключается в том, что, если отложить достаточное число раз меньший из двух отрезков, то можно покрыть больший из них. Звучит так:
Если на прямой есть меньший отрезок А и больший отрезок B, то, можно сложить А достаточное количество раз, чтобы покрыть B.
На картинке можно увидеть, как это выглядит:
Из этого следует, что не существует бесконечно малых и бесконечно больших величин. В качестве математической формулы аксиому можно записать так: А + А + … + А = А * n > В, где n — это натуральное число.
Понятие теоремы
Что такое аксиома мы уже поняли, теперь узнаем определение теоремы.
Теорема — логическое следствие аксиом. Это утверждение, которое основано на аксиомах и общепринятых утверждениях, которые были доказаны ранее, и доказывается на их основе.
Состав теоремы: условие и заключение или следствие.
Среди теорем выделяют такие, которые сами по себе не используются в решениях задач. Но их используют для доказательства других теорем.
Лемма — это вспомогательная теорема, с помощью которой доказываются другие теоремы. Пример леммы: если одна из двух параллельных прямых пересекает плоскость, то и вторая прямая тоже пересекает эту плоскость.
Следствие — утверждение, которое выводится из аксиомы или теоремы. Следствие, как и теорему, необходимо доказывать.
Примеры следствий из аксиомы о параллельности прямых:
Доказательство теоремы — это процесс обоснования истинности утверждения.
Каждая доказанная теорема служит основанием доказательства для следующей теоремы. Именно поэтому так важно изучать геометрию последовательно, переходя от аксиом к теоремам.
Способы доказательства геометрических теорем
Часть аналитического способа — доказательство от противного, когда для доказательства данного предложения убеждают в невозможности предположения противоположного.
Приемы для доказательства в геометрии:
Обратная теорема — это такой перевертыш: в ней условие исходной теоремы дано заключением, а заключение — условием.
Прямая и обратная теорема взаимно-обратные. Например:
В первой теореме данное условие — это равенство сторон треугольника, а заключение — равенство противолежащих углов. А во второй всё наоборот.
Противоположная теорема — это утверждение, в котором из отрицания условия вытекает отрицание заключения.
Вот, как выглядит взаимное отношение теорем на примере:
В геометрическом изложении достаточно доказать только две теоремы, тогда остальные справедливы без доказательства.
Записывайся на онлайн обучение по математике для учеников с 1 по 11 классы!
Доказательство через синтез
Рассмотрим пример синтетического способа доказательства.
Теорема: сумма углов треугольника равна двум прямым.
Дан треугольник: ABC. Нужно доказать, что A + B + C = 2d.
Доказательство:
Проведем прямую DE, так чтобы она была параллельна AC.
Сумма углов, лежащих по одну сторону прямой, равна двум прямым, следовательно, α + B + γ = 2d.
Так как α = A, γ = C, то заменим в предыдущем равенстве углы α и γ равными им углами: A + B + C = 2d. Что и требовалось доказать.
Здесь исходным предложением в цепи доказательств выбрана теорема о сумме углов, которые лежат по одну сторону прямой. Есть связь с теоремами о равенстве углов накрест-лежащих при пересечении двух параллельных третьею косвенною. Доказываемая теорема есть необходимое следствие всех предложенных теорем и является в цепи доказательств последним заключением.
Доказательство через анализ
Рассмотрим пример аналитического способа доказательства.
Теорема: диагонали параллелограмма пересекаются пополам.
Дан параллелограмм: ABCD.
Доказательство:
Если диагонали пересекаются пополам, то треугольники AOB и DOC равны.
Равенство же треугольников AOB и DOC вытекает из того, что AB = CD, как противоположные стороны параллелограмма и ∠α = ∠γ, ∠β = ∠δ, как накрест-лежащие углы.
Таким образом мы видим, что последовательно данное предложение заменяется другим и такое замещение совершается до тех пор, пока не дойдем до уже доказанного предложения.
Теоремы без доказательств
Теорема Пифагора: квадрат гипотенузы равен сумме квадратов катетов.
Доказательств может быть несколько. Одно из них звучит так: если построить квадраты на сторонах прямоугольного треугольника, то площадь большего из них равна сумме площадей меньших квадратов. На картинке понятно, как это работает:
Теорема косинусов: квадрат одной стороны треугольника равен сумме квадратов двух других сторон минус удвоенное произведение этих сторон на косинус угла между ними. В виде формулы это выглядит так:
где a, b и c — стороны плоского треугольника,
α — угол напротив стороны а.
Следствия из теоремы косинусов:
Понятия свойств и признаков
У нас есть список аксиом и мы уже знаем, что такое теорема и как ее доказывать. Есть два типа утверждений среди теорем, которые часто встречаются при изучении новых фигур: свойства и признаки.
Свойства и признаки — понятия из обычной жизни, которые мы часто используем.
Свойство — такое утверждение, которое должно выполняться для данного типа объектов. У ноутбука есть клавиатура — это свойство есть у каждого ноутбука. А у электронной книги такого свойства нет.
Примеры геометрических свойств мы уже знаем: у квадрата все стороны равны. Это верно для любого квадрата, поэтому это — свойство.
Такое свойство можно встретить у другого четырехугольника. И клавиатура может быть на других устройствах, помимо ноутбука. Из этого следует, что свойства не обязательно должны быть уникальными.
Признак — это то, по чему мы однозначно распознаем объект.
Звезды в темном небе — признак того, что сейчас ночь. Если человек ходит с открытым зонтом — это признак того, что сейчас идет дождь. При этом ночью не обязательно должны быть видны звезды, иногда может быть облачно. Значит это не свойство ночи.
А теперь вернемся к геометрии и рассмотрим четырехугольник ABCD, в котором AB = BD = 10 см.
Является ли равенство диагоналей признаком прямоугольника? У такого четырехугольника, где AB = BD, диагонали равны, но он не является прямоугольником. Это свойство, но не его признак.
Но если в четырехугольнике противоположные стороны параллельны AB || DC и AD || BC и диагонали равны AB = BD, то это уже верный признак прямоугольника. Смотрите рисунок:
Иногда свойство и признак могут быть эквивалентны. Лужи — это верный признак дождя. У других природных явлений не бывает луж. Но если приходит дождь, то лужи на асфальте точно будут. Значит, лужи — это не только признак, но и свойство дождя.
Такие утверждения называют необходимым и достаточным признаком.
Тест с ответами: “Аксиома параллельных прямых”
1. Утверждения о свойствах геометрических фигур, которые принимаются в качестве исходных положений называются:
а) аксиомами +
б) признаками
в) теоремами
2. Утверждение, которое выводится непосредственно из аксиом или теорем:
а) вывод
б) следствие +
в) истина
3. Если при пересечении двух прямых секущей накрест лежащие углы равны, то прямые параллельны, так ли это:
а) нет
б) отчасти
в) да +
4. Сколько параллельных прямых можно провести через точку не лежащую на данной прямой:
а) одну +
б) сколько угодно
в) ни одной
5. Если прямая а параллельна прямой с, а прямая с параллельна прямой b, то прямые а и b параллельны, так ли это:
а) нет
б) отчасти
в) да +
6. Две прямые параллельны, если при пересечении их секущей:
а) сумма соответственных углов равна 180 градусов
б) соответственные углы равны +
в) соответственные углы не равны
7. Что может быть следствием аксиомы или теоремы:
а) утверждение, не требующее доказательства
б) утверждение, непосредственно выводимое из аксиомы или теоремы
в) новая теорема, для доказательства которой использована аксиома или теорема +
8. Две прямые параллельны, если при пересечении их секущей:
а) сумма внутренних односторонних углов равна 180 градусов +
б) внутренние односторонние углы не равны
в) внутренние односторонние углы равны
9. Через точку, не лежащую на данной прямой, можно провести параллельную ей прямую, и притом несколько, так ли это:
а) да
б) отчасти
в) нет +
10. Две прямые параллельны, если при пересечении их секущей:
а) внутренние накрест лежащие углы не равны
б) внутренние накрест лежащие углы равны +
в) сумма внутренних накрест лежащих углов равна 90 градусов
11. Если прямая а перпендикулярна прямой с, а прямая с перпендикулярна прямой b, то прямые а и b пересекаются, так ли это:
а) нет +
б) да
в) отчасти
12. Две прямые называются параллельными, если они:
а) пересекаются под углом 90 градусов
б) не пересекаются на плоскости +
в) пересекаются
13. Через точку, не лежащую на данной прямой, проходит:
а) всегда проходит прямая, параллельная данной +
б) только одна прямая, не пересекающаяся с данной
в) только одна прямая, параллельная данной
14. Соответственные углы всегда равны при:
а) двух прямых и секущей
б) одной прямой и секущей
в) двух параллельных прямых и секущей +
15. Укажите следствие аксиомы параллельных прямых:
а) Если прямая пересекает одну из параллельных прямых, то она пересекает и другую +
б) Если прямая пересекает одну из параллельных прямых, то она не может не пересекать другую
в) Если отрезок или луч пересекает одну из параллельных прямых, то он пересекает и другую
16. Утверждения, которые выводятся из аксиом или теорем, называются следствиями, и:
а) они не доказываются
б) они доказываются +
в) зависит от условия задачи
17. Почему, если одна из прямых, проходящих через точку, лежащую вне заданной прямой, параллельна этой прямой, то другие прямые, проходящие через эту точку, не могут быть ей параллельны? Указать неправильный ответ на этот вопрос:
а) любая другая прямая, если она также параллельна заданной, совпадает с первой
б) то противоречит аксиоме параллельных прямых
в) все другие прямые имеют точку пересечения с заданной прямой, хотя она может находиться на сколь угодно большом расстоянии от исходной точки +
18. Современная трактовка аксиомы: Через точку в плоскости может быть проведена только и только одна прямая параллельная данной – принадлежит древнегреческому математику:
а) Архимеду
б) Проклу +
в) Леонту
19. Если через точку, лежащую вне прямой, проведено несколько прямых, то сколько из них пересекаются с исходной прямой:
а) неизвестно, так как не сказано, сколько прямых проведено через точку
б) все, которые имеют на рисунке точку пересечения с исходной прямой
в) все, кроме параллельной прямой +
20. Аксиома параллельных прямых имеет:
а) одно следствие
б) два следствия +
в) три следствия
21. Через точку, не лежащую на прямой, проведены четыре прямые. Сколько из этих прямых пересекают прямую:
а) 3 +
б) 2
в) 1
22. Как еще называются следствия аксиомы параллельных прямых:
а) свойствами параллельных кривых
б) свойствами параллельных прямых +
в) методами параллельных прямых
23. Через точку, не лежащую на прямой, проведены четыре прямые. Сколько из этих прямых пересекают прямую:
а) 5
б) 1
в) 4 +
24. Две прямые, которые лежат в одной плоскости и не пересекаются, называются … прямыми:
а) симметричными
б) параллельными +
в) перпендикулярными
25. Какие углы равны при пересечении двух параллельных прямых третьей:
а) вертикальные
б) односторонние
в) соответственные +
27. Какие углы равны при пересечении двух параллельных прямых третьей:
а) накрест лежащие +
б) вертикальные
в) смежные
28. Если две прямые параллельны третьей прямой, то:
а) они перпендикулярны
б) они пересекаются, и точка пересечения принадлежит третьей прямой
в) они параллельны +
29. Является ли аксиомой приведенное ниже выражение:
Через любые две точки проходит прямая, притом только одна:
а) да +
б) нет
в) отчасти
30. Является ли аксиомой приведенное ниже выражение:
Если при пересечении двух прямых секущей накрест лежащие углы равны, то эти прямые параллельны:
а) да
б) нет +
в) отчасти
Что такое аксиома, теорема, следствие
В данной публикации мы рассмотрим, что из себя представляют аксиомы, теоремы и следствия. Определения сопровождаются соответствующими примерами для лучшего понимания.
Что такое аксиома
Для того, чтобы решить многие математические задачи, очень часто требуется выполнить определенные логические действия, благодаря которым удается получить то или иное решение/доказательство.
Но есть в математике такие утверждения, которые не требуют никаких доказательств.
Например:
Эти и другие подобные утверждения, не нуждающиеся в доказательстве и принимаемые в качестве исходных в какой-либо теории, называются аксиомами (от древнегреческого “axioma”, что означает “положение”, “утверждение”). Иногда их еще называются постулатами.
Аксиомы могут использоваться для решения конкретных задач или применяться для доказательства теорем.
Примечание: не допускается искажение формулировок аксиом и большинства теорем, т.е. их нужно учить наизусть.
Что такое теорема
В отличие от аксиомы, теорема – это суждение, которе требуется доказать. Т.е. в рассматриваемой теории для нее есть определенное доказательство.
Например:
Есть отдельный вид так называемых вспомогательных теорем, которые сами по себе не полезны и используются только для доказательства других теорем. Их называются леммами (от древнегреческого “lemma”, что означает “предположение”).
Например:
Если произведение нескольких сомножителей делится на простое число p, то по крайней мере один из сомножителей делится на p (лемма Евклида).
Что такое следствие
Следствие – это утверждение, которое было выведено из аксиомы или теоремы. И оно, также, требуется доказательства.
Например:
Тест по геометрии для 7 класса «Свойства параллельных прямых»
Тест «Свойства параллельных прямых»
1. Вычеркнуть ненужные слова в скобках:
Аксиома – это ( очевидные, принятые, исходные) положения геометрии, не требующие (объяснения, доказательства, обоснований).
2. Выбрать окончание формулировки аксиомы параллельных прямых :
Через точку, не лежащую на данной прямой, проходит:
а) Только одна прямая, параллельная данной;
б) Всегда проходит прямая, параллельная данной;
в) Только одна прямая, не пересекающаяся с данной.
3. Что может быть следствием аксиомы или теоремы? Указать неверные ответы.
а) Утверждение, не требующее доказательства,
б) Новая теорема, для доказательства которой использована аксиома или теорема,
в) Утверждение, непосредственно выводимое из аксиомы или теоремы.
4. Указать следствия аксиомы параллельных прямых.
а) Если отрезок или луч пересекает одну из параллельных прямых, то он пересекает и другую,
б) Если две прямые параллельны третьей, то они параллельны друг другу,
в) Если прямая пересекает одну из параллельных прямых, то она пересекает и другую,
г) Если три прямые параллельны, то любые две из них параллельны друг другу,
д) Если две пряые не параллельны третьей прямой, то они не параллельны между собой,
е) Если прямая пересекает одну из параллельных прямых, то она не может не пересекать другую,
ж) Если две прямые параллельны третьей прямой, то они не могут быть не параллельны между собой.
Если через точку, лежащую вне прямой, проведено несколько прямых, то сколько из них пересекаются с исходной прямой?
а) Неизвестно, т.к. не сказано, сколько прямых проведено через точку,
б) Все, кроме параллельной прямой,
в) Все, которые имеют на рисунке точку пересечения с исходной прямой.
6. Указать неправильный ответ на этот вопрос. Почему, если одна из прямых, проходящих через точку, лежащую вне заданной прямой, параллельна этой прямой, то другие прямые, проходящие через эту точку, не могут быть ей параллельны?
а) Это противоречит аксиоме параллельных прямых,
б) Любая другая прямая, если она так же параллельна заданной, совпадет с первой,
в) Все другие прямые имеют точку пересечения с заданной прямой, хотя она может находиться на сколь угодно большом расстоянии от исходной точки.
Ответы: 1. Следует вычеркнуть слова: очевидно, принятые, объяснений, обоснований; 2. а; 3. а, б; 4. б, в, е, ж; 5. б; 6. б, в.
Если Вы считаете, что материал нарушает авторские права либо по каким-то другим причинам должен быть удален с сайта, Вы можете оставить жалобу на материал.