Многие другие аксиомы, хотя и не были выделены особо, но фактически использовались в наших рассуждениях. Так, сравнение двух отрезков мы проводили с помощью наложения одного отрезка на другой. Возможность такого наложения вытекает из следующей аксиомы:
Сравнение двух углов основано на аналогичной аксиоме:
Все эти аксиомы являются наглядно очевидными и не вызывают сомнений. Само слово «аксиома» происходит от греческого «аксиос», что означает «ценный, достойный». Полный список аксиом планиметрии, принятых в нашем курсе геометрии, мы приводим в конце учебника. Такой подход к построению геометрии, когда сначала формулируются исходные положения — аксиомы, а затем на их основе путём логических рассуждений доказываются другие утверждения, зародился ещё в глубокой древности и был изложен в знаменитом сочинении «Начала» древнегреческого учёного Евклида. Некоторые из аксиом Евклида (часть из них он называл постулатами) и сейчас используются в курсах геометрии, а сама геометрия, изложенная в «Началах», называется евклидовой геометрией. В следующем пункте мы познакомимся с одной из самых известных аксиом геометрии. Аксиома параллельных прямыхРассмотрим произвольную прямую а и точку М, не лежащую на ней (рис. 110, а). Докажем, что через точку М можно провести прямую, параллельную прямой а. Для этого проведём через точку М две прямые: сначала прямую с перпендикулярно к прямой а, а затем прямую b перпендикулярно к прямой с (рис. 110, (б). Так как прямые а и b перпендикулярны к прямой с, то они параллельны.
Рис. 110 Итак, через точку М проходит прямая b, параллельная прямой а. Возникает следующий вопрос: можно ли через точку М провести ещё одну прямую, параллельную прямой а? Нам представляется, что если прямую b «повернуть» даже на очень малый угол вокруг точки М, то она пересечёт прямую а (прямая b' на рисунке 110,6). Иными словами, нам кажется, что через точку М нельзя провести другую прямую (отличную от b), параллельную прямой а. А можно ли это утверждение доказать? Этот вопрос имеет большую историю. В «Началах» Евклида содержится постулат (пятый постулат Евклида), из которого следует, что через точку, не лежащую на данной прямой, можно провести только одну прямую, параллельную данной. Многие математики, начиная с древних времён, предпринимали попытки доказать пятый постулат Евклида, т. е. вывести его из других аксиом. Однако эти попытки каждый раз оказывались неудачными. И лишь в прошлом веке было окончательно выяснено, что утверждение о единственности прямой, проходящей через данную точку параллельно данной прямой, не может быть доказано на основе остальных аксиом Евклида, а само является аксиомой. Огромную роль в решении этого непростого вопроса сыграл великий русский математик Николай Иванович Лобачевский (1792—1856). Итак, в качестве ещё одного из исходных положений мы принимаем аксиому параллельных прямых.
Утверждения, которые выводятся непосредственно из аксиом или теорем, называются следствиями. Например, утверждения 1 и 2 (см. с. 35) являются следствиями из теоремы о биссектрисе равнобедренного треугольника. Рассмотрим некоторые следствия из аксиомы параллельных прямых.
Действительно, пусть прямые а и b параллельны и прямая с пересекает прямую а в точке М (рис. 111, а). Докажем, что прямая с пересекает и прямую b. Если бы прямая с не пересекала прямую b, то через точку М проходили бы две прямые (прямые а и с), параллельные прямой b (рис. 111, б). Но это противоречит аксиоме параллельных прямых, и, значит, прямая с пересекает прямую b.
Рис. 111
Действительно, пусть прямые а и Ь параллельны прямой с (рис. 112, а). Докажем, что а || b. Допустим, что прямые а и b не параллельны, т. е. пересекаются в некоторой точке М (рис. 112,6). Тогда через точку М проходят две прямые (прямые а и b), параллельные прямой с.
Рис. 112 Но это противоречит аксиоме параллельных прямых. Поэтому наше предположение неверно, а значит, прямые а и b параллельны. Теоремы об углах, образованных двумя параллельными прямыми и секущейВо всякой теореме различают две части: условие и заключение. Условие теоремы — это то, что дано, а заключение — то, что требуется доказать. Рассмотрим, например, теорему, выражающую признак параллельности двух прямых: если при пересечении двух прямых секущей накрест лежащие углы равны, то прямые параллельны. В этой теореме условием является первая часть утверждения: «при пересечении двух прямых секущей накрест лежащие углы равны» (это дано), а заключением — вторая часть: «прямые параллельны» (это требуется доказать). Теоремой, обратной данной, называется такая теорема, в которой условием является заключение данной теоремы, а заключением — условие данной теоремы. Докажем теоремы, обратные трём теоремам п. 25. Теорема
Доказательство Пусть параллельные прямые а и b пересечены секущей MN. Докажем, что накрест лежащие углы, например 1 и 2, равны (рис. 113).
Рис. 113 Допустим, что углы 1 и 2 не равны. Отложим от луча MN угол PMN, равный углу 2, так, чтобы ∠PMN и ∠2 были накрест лежащими углами при пересечении прямых МР и b секущей MN. По построению эти накрест лежащие углы равны, поэтому МР || b. Мы получили, что через точку М проходят две прямые (прямые а и МР), параллельные прямой Ь. Но это противоречит аксиоме параллельных прямых. Значит, наше допущение неверно и ∠1 = ∠2. Теорема доказана. Замечание При доказательстве этой теоремы мы использовали способ рассуждений, который называется методом доказательства от противного. Мы предположили, что при пересечении параллельных прямых а и b секущей MN накрест лежащие углы 1 и 2 не равны, т. е. предположили противоположное тому, что нужно доказать. Исходя из этого предположения, путём рассуждений мы пришли к противоречию с аксиомой параллельных прямых. Это означает, что наше предположение неверно и, следовательно, ∠1 = ∠2. Такой способ рассуждений часто используется в математике. Мы им пользовались и ранее, например в п. 12 при доказательстве того, что две прямые, перпендикулярные к третьей, не пересекаются. Этим же методом мы пользовались в п. 28 при доказательстве следствий 10 и 20 из аксиомы параллельных прямых. Следствие
Действительно, пусть а || b, с ⊥ a, т. е. ∠1 = 90° (рис. 114). Прямая с пересекает прямую а, поэтому она пересекает также прямую b. При пересечении параллельных прямых а и Ь секущей с образуются равные накрест лежащие углы: ∠1=∠2. Так как ∠1 = 90°, то и ∠2 = 90°, т. е. с ⊥ b, что и требовалось доказать.
Рис. 114 Теорема
Доказательство Пусть параллельные прямые а и b пересечены секущей с. Докажем, что соответственные углы, например 1 и 2, равны (см. рис. 102). Так как а || b, то накрест лежащие углы 1 и 3 равны. Углы 2 и 3 равны как вертикальные. Из равенств ∠1 = ∠3 и ∠2 = ∠3 следует, что ∠1 = ∠2. Теорема доказана. Теорема
Доказательство Пусть параллельные прямые а и b пересечены секущей с (см. рис. 102). Докажем, например, что ∠1 + ∠4 = 180°. Так как а || b, то соответственные углы 1 и 2 равны. Углы 2 и 4 смежные, поэтому ∠2 + ∠4 = 180°. Из равенств ∠1 = ∠2 и ∠2 + ∠4 = 180° следует, что ∠1 + ∠4 = 180°. Теорема доказана. Замечание Если доказана некоторая теорема, то отсюда ещё не следует справедливость обратного утверждения. Более того, обратное утверждение не всегда верно. Приведём простой пример. Мы знаем, что если углы вертикальные, то они равны. Обратное утверждение: «если углы равны, то они вертикальные», конечно же, неверно. Углы с соответственно параллельными или перпендикулярными сторонамиДокажем теорему об углах с соответственно параллельными сторонами. Теорема
Доказательство Пусть ∠AOB и ∠A1O1B1 — данные углы и ОА || О1А1, ОВ || О1В1. Если угол АОВ развёрнутый, то и угол А1О1В1 — развёрнутый (объясните почему), поэтому эти углы равны. Пусть ∠AOB — неразвёрнутый угол. Возможные случаи расположения углов АОВ и А1О1В1 изображены на рисунке 115, а и б. Прямая О1В1 пересекает прямую О1А1 и, следовательно, пересекает параллельную ей прямую ОА в некоторой точке М. Параллельные прямые ОВ и О1В1 пересечены секущей ОМ, поэтому один из углов, образованных при пересечении прямых О1В1 и ОА (угол 1 на рисунке 115), равен углу АОВ (как накрест лежащие углы). Параллельные прямые ОА и О1А1 пересечены секущей О1М, поэтому либо ∠1 = ∠A1O1B1 (рис. 115, а), либо ∠1 + ∠A1O1B1 = 180° (рис. 115, б). Из равенства ∠1 = ∠AOB и последних двух равенств следует, что либо ∠AOB = ∠A1O1B1 (см. рис. 115, а), либо ∠AOB + ∠A1O1B1 = 180° (см. рис. 115, б). Теорема доказана.
Рис. 115 Докажем теперь теорему об углах с соответственно перпендикулярными сторонами. Теорема
Доказательство Пусть ∠AOB и ∠A1O1B1 — данные углы, OA ⊥ O1A1, OB ⊥ O1B1. Если угол АОВ развёрнутый или прямой, то и угол А1О1В1 развёрнутый или прямой (объясните почему), поэтому эти углы равны. Пусть ∠AOB < 180°, О ∉ О1А1, О ∉ О1В1 (случаи О ∈ O1А1, О ∈ О1В1 рассмотрите самостоятельно). Возможны два случая (рис. 116). 10. ∠AOB < 90° (см. рис. 116, а). Проведём луч ОС так, чтобы прямые ОА и ОС были взаимно перпендикулярными, а точки В и С лежали по разные стороны от прямой О А. Далее, проведём луч OD так, чтобы прямые ОВ и OD были взаимно перпендикулярными, а точки С и D лежали по одну сторону от прямой О А. Поскольку ∠AOB = 90° - ∠AOD и ∠COD = 90° - ∠AOD, то ∠AOB = ∠COD. Стороны угла COD соответственно параллельны сторонам угла А1О1В1 (объясните почему), поэтому либо ∠COD = ∠A1O1B1, либо ∠COD + ∠A1O1B1 = 180°. Следовательно, либо ∠AOB = ∠A1O1B1, либо ∠AOB + ∠A1O1B1 = 180°. 20. ∠AOB > 90° (см. рис. 116, б). Проведём луч ОС так, чтобы угол АОС был смежным с углом АОВ. Угол АОС острый, и его стороны соответственно перпендикулярны сторонам угла А1О1В1. Следовательно, либо .∠AOC + ∠A1O1B1 = 180°, либо ∠AOC = ∠A1O1B1. В первом случае ∠AOB = ∠A1O1B1, во втором случае ∠AOB + ∠A1O1B1 = 180°. Теорема доказана. Задачи196. Дан треугольник АВС. Сколько прямых, параллельных стороне АВ, можно провести через вершину С? 197. Через точку, не лежащую на прямой р, проведены четыре прямые. Сколько из этих прямых пересекают прямую р? Рассмотрите все возможные случаи. 198. Прямые а и b перпендикулярны к прямой р, прямая с пересекает прямую а. Пересекает ли прямая с прямую b? 199. Прямая р параллельна стороне АВ треугольника АВС. Докажите, что прямые ВС и АС пересекают прямую р. 200. На рисунке 117 AD || p и PQ || ВС. Докажите, что прямая р пересекает прямые АВ, АЕ, АС, ВС и PQ.
Рис. 117 201. Сумма накрест лежащих углов при пересечении двух параллельных прямых секущей равна 210°. Найдите эти углы. 202. На рисунке 118 прямые а, b и с пересечены прямой d, ∠1 = 42°, ∠2 = 140°, ∠3 = 138°. Какие из прямых а, b и с параллельны?
Рис. 118 203. Найдите все углы, образованные при пересечении двух параллельных прямых а и b секущей с, если: а) один из углов равен 150°;
204. Концы отрезка АВ лежат на параллельных прямых а и b. Прямая, проходящая через середину О этого отрезка, пересекает прямые а и b в точках С и D. Докажите, что СО = ОD. 205. По данным рисунка 119 найдите ∠1.
Рис. 119 206. ∠ABC = 70°, a ABCD = 110°. Могут ли прямые АВ и CD быть: а) параллельными;
207. Ответьте на вопросы задачи 206, если ∠АВС = 65°, а ∠BCD= 105°. 208. Разность двух односторонних углов при пересечении двух параллельных прямых секущей равна 50°. Найдите эти углы. 209. На рисунке 120 а || b, с || d, ∠4 = 45°. Найдите углы 1, 2 и 3.
Рис. 120 210. Два тела Р1 и Р2 подвешены на концах нити, перекинутой через блоки А и В (рис. 121). Третье тело Р3 подвешено к той же нити в точке С и уравновешивает тела Р1 и Р2. (При этом АР1 || ВР2 || СР3.) Докажите, что ∠ACB = ∠CAP1 + ∠CBP2.
Рис. 121 211. Две параллельные прямые пересечены секущей. Докажите, что: а) биссектрисы накрест лежащих углов параллельны; б) биссектрисы односторонних углов перпендикулярны. 212. Прямые, содержащие высоты АА1 и ВВ1 треугольника АВС, пересекаются в точке Н, угол В — тупой, ∠C = 20°. Найдите угол АHВ. Ответы к задачам196. Одну прямую. 197. Три или четыре. 198. Да. 201. 105°, 105°. 202. а || с. 203. б) Четыре угла по 55°, четыре других угла по 125°. 205. 92°. 206. а) Да; б) да. 207. а) Нет; б) да. 208. 115° и 65°. 209. ∠1 = 135°, ∠2 = 45°, ∠3=135°. 210. Указание. Рассмотреть продолжение луча СР3.
Содержание
|
