Что называют теоремой в геометрии кратко
Что такое аксиома, теорема и доказательство теоремы
Статья находится на проверке у методистов Skysmart.
Если вы заметили ошибку, сообщите об этом в онлайн-чат
(в правом нижнем углу экрана).
Понятие аксиомы
Аксиома — это правило, которое считают верным и которое не нужно доказывать. В переводе с греческого «аксиома» значит принятое положение — то есть взяли и договорились, что это истина, с которой не поспоришь.
Аксиоматический метод — это подход к получению знаний, при котором сначала разрабатывают аксиомы, а потом с их помощью формулируют новые теории.
Синоним аксиомы — постулат. Антоним — гипотеза.
Основные аксиомы евклидовой геометрии
Учить наизусть эти аксиомы не обязательно. Главное — помнить о них и держать под рукой, чтобы при доказательстве теоремы сослаться на одну из них.
А теперь давайте рассмотрим несколько аксиом из геометрии за 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, то это уже верный признак прямоугольника. Смотрите рисунок:
Иногда свойство и признак могут быть эквивалентны. Лужи — это верный признак дождя. У других природных явлений не бывает луж. Но если приходит дождь, то лужи на асфальте точно будут. Значит, лужи — это не только признак, но и свойство дождя.
Такие утверждения называют необходимым и достаточным признаком.
Теорема
Из Википедии — свободной энциклопедии
Многие математические теоремы являются условными утверждениями. В этом случае доказательство выводит заключение из условий, называемых гипотезами или предпосылками. В свете интерпретации доказательства как оправдания истины, заключение часто рассматривается как необходимое следствие гипотез, а именно, что заключение верно в случае, если гипотезы верны, без каких-либо дополнительных предположений. Тем не менее, условия могут интерпретироваться по-разному в некоторых дедуктивных системах, в зависимости от значений, присвоенных правилам вывода и символа условия.
Хотя теоремы могут быть написаны в полностью символической форме, например, с помощью исчисления высказываний, они часто выражаются на естественном языке (английском, русском, французском и др.). То же верно и для доказательств, которые часто выражаются в виде логически организованной и четко сформулированной цепи неформальных аргументов, предназначенных для того, чтобы убедить читателей в истинности формулировки теоремы, из каковой цепи в принципе можно построить формальное символическое доказательство. Такие аргументы, как правило, легче проверить, чем чисто символические, и, на самом деле, многие математики отдают предпочтение доказательству, которое не только демонстрирует справедливость теоремы, но и каким-то образом объясняет, почему она, очевидно, верна. В некоторых случаях одной картины достаточно для доказательства теоремы.
Поскольку теоремы лежат в основе математики, они также играют центральную роль в её эстетике. Теоремы часто описываются как «тривиальные», «сложные», «глубокие» или даже «красивые». Эти субъективные суждения варьируются не только от человека к человеку, но и со временем: например, когда доказательство упрощено или лучше понято, теорема, которая когда-то была трудной, может стать тривиальной. С другой стороны, глубокая теорема может быть сформулирована просто, но её доказательство может включать в себя удивительные и тонкие связи между различными областями математики. Особенно известным примером такой теоремы является Великая теорема Ферма.
Термины, определения и формулы по геометрии за 7 класс
Геометрия – наука, занимающаяся изучением геометрических фигур (в переводе с греческого слово «геометрия» означает «землемерие»).
В планиметрии изучаются свойства фигур на плоскости. В стереометрии изучаются свойства фигур в пространстве.
Отрезок — это часть прямой, ограниченная двумя точками. Эти точки называются концами отрезка.
Угол — это геометрическая фигура, которая состоит из точки и двух лучей, исходящих из этой точки.
Лучи называются сторонами угла, а точка — вершиной угла.
Окружностью называется геометрическая фигура, состоящая из всех точек, расположенных на заданном расстоянии от данной точки. Данная точка называется центром окружности.
Радиус окружности – отрезок, соединяющий центр окружности с какой-либо её точкой.
Отрезок, соединяющий две точки окружности, называется ее хордой.
Хорда, проходящая через центр окружности, называется диаметром.
Круг — это часть плоскости, ограниченная окружностью.
Угол называется развёрнутым, если обе его стороны лежат на одной прямой. ( Развёрнутый угол равен 180°).
Две геометрические фигуры называются равными, если их можно совместить наложением.
Середина отрезка — это точка отрезка, делящая его пополам, т.е. на два равных отрезка.
Биссектриса угла — это луч, исходящий из вершины угла и делящий его на два равных угла.
Угол называется прямым, если он равен 90°.
Угол называется острым, если он меньше 90° (т.е. меньше прямого угла).
Угол называется тупым, если он больше 90°, но меньше 180°. (т.е. больше прямого, но меньше развёрнутого).
Два угла, у которых одна сторона общая, а две другие являются продолжениями одна другой, называются смежными. Сумма смежных углов равна 180°.
Два угла называются вертикальными, если стороны одного угла являются продолжениями сторон другого. Вертикальные углы равны.
Расстоянием от точки до прямой называется длина перпендикуляра, проведённого из этой точки к прямой.
Перпендикулярные прямые — прямые, которые при пересечении образуют прямой угол.
Параллельные прямые — прямые, лежащие в одной плоскости и не имеющие общих точек.
Треугольник — это геометрическая фигура, которая состоит из трех точек, не лежащих на одной прямой и трех отрезков, соединяющих эти точки. Точки называются вершинами, а отрезки — сторонами треугольника.
Сумма углов треугольника равна 180°.
Внешним углом треугольника называется угол, смежный с каким-нибудь углом этого треугольника.
Внешний угол треугольника равен сумме двух углов треугольника, не смежных с ним.
Если все три угла треугольника острые, то треугольник называется остроугольным.
Если один из углов треугольника тупой, то треугольник называется тупоугольным.
Если один из углов треугольника прямой, то треугольник называется прямоугольным.
Сторона прямоугольного треугольника, лежащая против прямого угла, называется гипотенузой, а две стороны, образующие прямой угол — катетами.
(Т. о соотношениях между сторонами и углами треугольника) В треугольнике против большей стороны лежит больший угол, и обратно, против большего угла лежит большая сторона.
В прямоугольном треугольнике гипотенуза больше катета.
(Признак равнобедр. треугольника) Если два угла треугольника равны, то треугольник равнобедренный.
(Т. Неравенство треугольника) Каждая сторона треугольника меньше суммы двух других сторон.
Если два треугольника равны, то элементы (т.е. стороны и углы) одного треугольника соответственно равны элементам другого треугольника.
Теорема – утверждение, справедливость которого устанавливается путём рассуждений. Сами рассуждения называются доказательством теоремы.
Первый признак равенства треугольников
«Если две стороны и угол между ними одного треугольника равны двум сторонам и углу между ними другого треугольника, то эти треугольники равны.»
Сокращенно его называют равенство «по двум сторонам и углу между ними».
На рисунке 1 представлен треугольник ABС. Который имеет три вершины (А, В и С). И стороны – АВ, АС и ВС.
Треугольники считаются равными, когда все их стороны и углы соответственно равны друг другу (в случае, когда равны лишь углы, а стороны пропорциональны, треугольники называются подобными). Таким образом очевидно, что равные треугольники можно наложить друг на друга – и они полностью совпадут.
Доказательство первого признака равенства треугольников
Два треугольника: ABC и DEF (рисунок 2).
По условию теоремы две пары отрезков этих треугольников равны между собой (АС = FD и СВ = EF). Углы между отрезками также равны (т.е. ∠АСВ = ∠EFD).
Доказать, что треугольник ABC равен треугольнику DEF.
Поскольку имеется равенство углов (∠АСВ = ∠EFD), треугольники можно наложить друг на друга, так чтобы вершина С совпадала с вершиной F.
При этом отрезки СА и СВ наложатся на отрезки FE и FD.
А поскольку отрезки двух треугольников равны между собой (АС = FD и СВ = EF по условию), то отрезок АВ также совпадёт со стороной ED.
Это в свою очередь даст совмещение вершин А и D, В и Е.
Следовательно, треугольники полностью совместятся, а значит, они равны.
Теорема доказана.
Второй признак равенства треугольников
Если сторона и два прилежащих к ней угла одного треугольника соответственно равны стороне и двум прилежащим к ней углам другого треугольника, то такие треугольники равны.
Как и в доказательстве первого признака, нужно убедиться, достаточно ли этого для равенства треугольников, можно ли их полностью совместить?
1. Так как MN=PR, то эти отрезки совмещаются, если совместить их конечные точки.
2. Так как∡N=∡R и∡M=∡P, то лучи MK и NK наложатся соответственно на лучи PT и RT.
3. Если совпадают лучи, то совпадают точки их пересечения K и T.
4. Совмещены все вершины треугольников, то есть ΔMNK и ΔPRT полностью совместятся, значит они равны.
Третий признак равенства треугольников
Если три стороны одного треугольника соответственно равны трём сторонам другого треугольника, то такие треугольники равны.
Опять попробуем совместить треугольникиΔMNK и ΔPRT наложением и убедится, что соответственно равные стороны гарантирует и равенство соответственных углов этих треугольников и они полностью совпадут.
Совместим, например, одинаковые отрезки MK иPT. Допустим, что точки N и R при этом не совмещаются.
Пусть O — середина отрезка NR. Соответственно данной информацииMN=PR, KN=TR. Треугольники MNR и KNR равнобедренные с общим основанием NR.
Поэтому их медианы MO и KO являются высотами, значит перпендикулярны NR. Прямые MO и KO не совпадают, так как точки M, K, O не лежат на одной прямой. Но через точку O прямой NR можно провести только одну перпендикулярную ей прямую. Мы пришли к противоречию.
Доказано, что должны совместиться и вершины N и R.
Третий признак позволяет назвать треугольник очень сильной, устойчивой фигурой, иногда говорят, что треугольник — жёсткая фигура. Если длины сторон не меняются, то углы тоже не меняются. Например, у четырёхугольника такого свойства нет. Поэтому разные поддержки и укрепления делают треугольными.
Перпендикуляр к прямой
Из точки не лежащей на прямой можно провести перпендикуляр к этой прямой и притом только один
Медианы,биссектриссы и высоты треугольника
В любом треугольнике медианы пересекаются в одной точке. Биссектрисы пересекаются в одной точке. Высоты или их продолжения также пересекаются в одной точке
Свойства равнобедренного треугольника
Признаки параллельности двух прямых. Теорема 1
Если при пересечении двух прямых секущей накрест лежащие углы равны то прямые параллельны.
Признаки параллельности прямых.Теорема 2
Если при пересечении двух прямых секущей соответственные углы равны, то прямые параллельны.
Признаки параллельности прямых. Теорема 3.
Если при пересечении двух прямых секущей сумма односторонних углов равна 180⁰ то прямые параллельны.
Теорема об углах образованных двумя параллельными прямыми и секущей.
Если две параллельные прямые пересечены секущей, то накрест лежащие углы равны.
Аксиома параллельных прямых.
В одной плоскости с заданной прямой через точку, не лежащую на этой прямой, можно провести только одну прямую, параллельную заданной прямой.
Теоремы об углах, образованных двумя параллельными прямыми и секущей
Теорема Сумма углов треугольника равна 180°.
Рассмотрим произвольный треугольник KLM и докажем, что ∡K+∡L+∡M=180°.
Проведём через вершину L прямую a, параллельную стороне KM.
Углы, обозначенные 1, являются накрест лежащими углами при пересечении параллельных прямых a и KMсекущей KL, а углы, обозначенные 2 — накрест лежащими углами при пересечении тех же параллельных прямых секущей ML.
Очевидно, сумма углов 1, 2 и 3 равна развёрнутому углу с вершиной L, т. е.
∡1+∡2+∡3= 180°или ∡K+∡L+∡M=180°.
Следствия из теоремы о сумме углов треугольника
Следствие 1. Сумма острых углов прямоугольного треугольника равна 90°.
Следствие 2. В равнобедренном прямоугольном треугольнике каждый острый угол равен 45°.
Следствие 3. В равностороннем треугольнике каждый угол равен 60°.
Следствие 4. В любом треугольнике либо все углы острые, либо два угла острые, а третий — тупой или прямой.
Следствие 5. Внешний угол треугольника равен сумме двух внутренних углов, не смежных с ним.
Из равенств ∡KML+∡BML= 180° и ∡K+∡L+∡KML=180° получаем, что ∡BML=∡K+∡L.
Четырёхугольники
Многоугольник — фигура, состоящая из нескольких точек плоскости, поочередно соединённых между собой непересекающимися отрезками.
Выпуклый многоугольник — это многоугольник, который весь лежит по одну сторону от каждой прямой, проходящей через две его соседние вершины.
Теорема:Сумма внутренних углов выпуклого n-угольника равна (n-2)*1800.
Параллелограмм- это четырёхугольник, у которого противоположные стороны попарно параллельны.
Свойство:в параллелограмме противоположные стороны равны и противоположные углы равны.
Свойство:диагонали параллелограмма точкой пересечения делятся пополам.
Теорема(признакпараллелограмма): Если в четырёхугольнике две стороны равны и параллельны, то этот четырёхугольник – параллелограмм.
Теорема(признак параллелограмма): Если в четырёхугольнике противоположные стороны попарно равны, то этот четырёхугольник – параллелограмм.
Теорема(признак параллелограмма): Если в четырёхугольнике диагонали пересекаются и точкой пересечения делятся пополам, то этот четырёхугольник – параллелограмм.
Трапеция — это четырёхугольник, у которого две стороны параллельны, а две другие не параллельны.Параллельные стороны-основания, непараллельные стороны-боковые.
Равнобедренная трапеция — это трапеция, у которой боковые стороны равны.
Прямоугольная трапеция — это трапеция, у которой один из углов прямой.
Теорема Фалеса: если на одной из двух прямых отложить последовательно несколько равных отрезков и через их концы провести параллельные прямые, пресекающие вторую прямую, то они отсекут на второй прямой равные между собой отрезки.
Прямоугольник — это параллелограмм, у которого все углы прямые.
Свойство: диагонали прямоугольника равны.
Теорема(признакпрямоугольника): если в параллелограмме диагонали равны, то этот параллелограмм – прямоугольник.
Ромб — это параллелограмм, у которого все стороны равны.
Свойство: диагонали ромба взаимно перпендикулярны и делят его углы пополам.
Квадрат — это прямоугольник, у которого все стороны равны.
Площадь
Площадь плоской фигуры-это количество единичных квадратов, вмещающихся в данную фигуру.
Площадь квадрата равна квадрату его стороны.
Площадь прямоугольника равна произведению его смежных сторон.
Площадь параллелограмма равна произведению его основания на высоту.
Площадь треугольника равна половине произведения его основания на высоту.
Площадь прямоугольного треугольника равна произведению его катетов.
Если высоты двух треугольников равны, то их площади относятся как основания.
Если угол одного треугольника равен углу другого треугольника, то площади этих треугольников относятся как произведения сторон, заключающих равные углы.
Площадь трапеции равна полусумме её оснований на высоту.
Теорема Пифагора: в прямоугольном треугольнике квадрат гипотенузы равен сумме квадратов катетов.
Теорема(обр.): если квадрат одной стороны треугольника равен сумме квадратов двух других его сторон, то треугольник прямоугольный.
Подобные треугольники
Отрезки m и n пропорциональны отрезкам m1и n1,если отношения их длин равны m:m1= n: n1.
Подобные треугольники — это треугольники,у которых соответственные углы равны, а сходственные стороны пропорциональны.
Коэффициент подобия — это число, равное отношению сходственных сторон подобных треугольников.
Теорема: Отношение площадей двух подобных треугольников равно квадрату коэффициента подобия.
Свойство биссектрисы тр-ка: биссектриса треугольника делит противоположную сторону на отрезки, пропорциональные прилежащим сторонам треугольника.
Теорема(первый признак подобия треугольников): если два угла одного треугольника равны двум углам другого треугольника, то такие треугольники подобны.
Теорема(второй признак подобия треугольников): если две стороны одного треугольника пропорциональны двум сторонам другого треугольника и углы, заключённые между этими сторонами, равны, то такие треугольники подобны.
Теорема(первый признак подобия треугольников): если три стороны одного треугольника пропорциональны трём сторонам другого треугольника, то такие треугольники подобны.
Средняя линия треугольника – это отрезок, соединяющий середины двух его сторон.
Теорема: Средняя линия треугольника параллельна одной из его сторон и равна половине этой стороны.
С. Высота прямоугольного треугольника, проведённая из вершины прямого угла, разделяет треугольник на два подобных прямоугольных треугольника, каждый из которых подобен данному треугольнику.
Среднее пропорциональное(среднее геометрическое)двух величин – это квадратный корень из произведения этих величин.
С. Высота прямоугольного треугольника, проведённая из вершины прямого угла, есть среднее пропорциональное между отрезками, на которые делится гипотенуза этой высотой.
С. Катет прямоугольного треугольника есть среднее пропорциональное между гипотенузой и отрезком гипотенузы,заключённым между катетом и высотой, проведённой из вершины прямого угла.
Синус острого угла прямоугольного треугольника — это отношение противолежащего катета к гипотенузе.
Косинус острого угла прямоугольного треугольника- это отношение прилежащего катета к гипотенузе.
Окружность
Касательная к окружности – это прямая, имеющая с окружностью только одну общую точку.
Т. Касательная к окружности перпендикулярна к радиусу, проведённому в точку касания.
Т.(обр.) Если прямая проходит через конец радиуса, лежащий на окружности, и перпендикулярна к этому радиусу, то она является касательной.
Центральный угол – это угол с вершиной в центре окружности.
Дуга окружности измеряется центральным углом, который на неё опирается.
Вписанный угол – это угол, вершина которого лежит на окружности, а стороны пересекают окружность.
Т.Вписанный угол равен половине дуги, на которую он опирается.
С. Вписанные углы, опирающиеся на одну и ту же дугу, равны.
С. Вписанный угол, опирающийся на полуокружность, — прямой.
Т. Если две хорды окружности пересекаются, произведение отрезков одной хорды равно произведению отрезков другой хорды.