Гипермаркет знаний>>Математика>>Математика 7 класс. Полные уроки>>Геометрия: Обратная теорема. Полные уроки ТЕМА УРОКА: Обратная теорема Цели урока:
План урока:
Обратная теорема. Обратная теорема, теорема, условием которой служит заключение исходной теоремы, а заключением — условие. Обратной к Обратная теорема будет исходная теорема. Таким образом, Обратные теоремы взаимно обратны. Например, теоремы: «если два угла треугольника равны, то их биссектрисы равны» и «если две биссектрисы треугольника равны, то соответствующие им углы равны» — являются обратными друг другу. Из справедливости какой-нибудь теоремы, вообще говоря, не следует справедливость обратной к ней теоремы. Например, теорема: «если число делится на 6, то оно делится на 3» — верна, а Обратная теорема: «если число делится на 3, то оно делится на 6» — неверна. Даже если Обратная теорема верна, для её доказательства могут оказаться недостаточными средства, используемые при доказательстве прямой теоремы. Например, в евклидовой геометрии верны как теорема «две прямые на плоскости, имеющие общий перпендикуляр, не пересекаются», так и обратная к ней теорема «две непересекающиеся прямые на плоскости имеют общий перпендикуляр». Однако вторая (обратная) теорема основывается на евклидовой аксиоме параллельных, тогда как для доказательства первой эта аксиома не нужна. В Лобачевского геометрии вторая просто неверна, тогда как первая остаётся в силе. Обратная теорема равносильна теореме, противоположной к прямой, т. е. теореме, в которой условие и заключение прямой теоремы заменены их отрицаниями. Поэтому прямая теорема равносильна теореме, противоположной к обратной, т. е. теореме, утверждающей, что если неверно заключение прямой теоремы, то неверно и её условие. Известный способ «доказательства от противного» как раз и представляет собой замену доказательства прямой теоремы доказательством теоремы, противоположной к обратной. Справедливость обеих взаимно обратных теорем означает, что выполнение условия любой из них не только достаточно, но и необходимо для справедливости заключения.
Теперь немного подробней рассмотрим Лобачевского геометрию, о какой мы вспоминали выше. Лобачевского геометрия, геометрическая теория, основанная на тех же основных посылках, что и обычная евклидова геометрия, за исключением аксиомы о параллельных, которая заменяется на аксиому о параллельных Лобачевского. Евклидова аксиома о параллельных гласит: через точку, не лежащую на данной прямой, проходит только одна прямая, лежащая с данной прямой в одной плоскости и не пересекающая её. В Лобачевского геометрия вместо неё принимается следующая аксиома: через точку, не лежащую на данной прямой, проходят по крайней мере две прямые, лежащие с данной прямой в одной плоскости и не пересекающие её. Казалось бы, эта аксиома противоречит чрезвычайно привычным представлениям. Тем не менее как эта аксиома, так и вся Лобачевского геометрия имеет вполне реальный смысл.
Рассмотрим реальный примет обратной теоремы с доказательством. Файл:T.gif Теорема о трех перпендикулярах. Если прямая, проведенная на плоскости через основание наклонной, перпендикулярна её проекции, то она перпендикулярна и наклонной. Доказательство. Пусть АВ – перпендикуляр к плоскости "a", АС – наклонная и "с" - прямая в плоскости "a", проходящая через основание наклонной СK. Проведем прямую СК, параллельно прямой АВ. Прямая СК перпендикулярна плоскости "a" (по этой теореме, так как она параллельна АВ), а значит и любой прямой этой плоскости, следовательно, СК перпендикулярна прямой "с". Проведем через параллельные прямые АВ и СК плоскость "b" (параллельные прямые определяют плоскость, причем только одну). Прямая с перпендикулярна двум прямым лежащим в плоскости "b", это ВС по условию и СК по построению, значит она перпендикулярна и любой прямой, принадлежащей этой плоскости, значит перпендикулярна и прямой АС. Другими словами наклонная АС перпендикулярна прямой "с", лежащей в плоскости "a".
Файл:T.gif Обратная теореме о трех перпендикулярах. Если прямая, проведенная на плоскости через основание наклонной, перпендикулярна наклонной, то она перпендикулярна и её проекции. Доказательство. Пусть АВ – перпендикуляр к плоскости "a", АС – наклонная и "с" – прямая в плоскости "a", проходящая через основание наклонной СK. Проведем прямую СК, параллельно прямой АВ. Прямая СК перпендикулярна плоскости "a" (по этой теореме, так как она параллельна АВ), а значит и любой прямой этой плоскости, следовательно, СК перпендикулярна прямой "с". Проведем через параллельные прямые АВ и СК плоскость "b" (параллельные прямые определяют плоскость, причем только одну). Прямая "с" перпендикулярна двум прямым лежащим в плоскости "b", это АС по условию и СК по построению, значит она перпендикулярна и любой прямой, принадлежащей этой плоскости, значит перпендикулярна и прямой ВС. Другими словами проекция ВС перпендикулярна прямой "с", лежащей в плоскости "a".
Еще один вид интерпретации данной теоремы: Файл:T.gif Теорема. Если прямая на плоскости перпендикулярна наклонной, то она перпендикулярна и проекции наклонной. Доказательство. Аналогично теореме о трех перпендикулярах если прямая с перпендикулярна наклонной CA, то она, будучи перпендикулярна и прямой CA`, перпендикулярна плоскости β, а значит, и проекции наклонной BC. Теорема доказана. Интересный факт: Определения, изложенные в «Началах» Евклида, не удовлетворяют тре-бованиям современной науки. Вот некоторые из 23 определений, которыми на-чинается первая книга «Начал».
Такие определения нельзя считать логически конкретными. Во-первых, в этих определениях употребляются такие понятия (часть, длина, ширина, грани-ца и т.д.), которые сами должны быть определены. Во-вторых, идея основных понятий (в современном смысле) у Евклида вообще отсутствует. В-третьих, не-которые его определения туманны и непонятны, например, 4 и 7. Вообще же определения Евклида являются лишь описанием геометрических образов, и, как правило, для доказательства теорем он ими не пользовался.
Вопросы:
Список использованных источников:
Отредактировано и выслано Потурнаком С. А. Если у вас есть исправления или предложения к данному уроку, напишите нам. Если вы хотите увидеть другие корректировки и пожелания к урокам, смотрите здесь - Образовательный форум.
|
Авторські права | Privacy Policy |FAQ | Партнери | Контакти | Кейс-уроки
© Автор системы образования 7W и Гипермаркета Знаний - Владимир Спиваковский
При использовании материалов ресурса
ссылка на edufuture.biz обязательна (для интернет ресурсов -
гиперссылка).
edufuture.biz 2008-© Все права защищены.
Сайт edufuture.biz является порталом, в котором не предусмотрены темы политики, наркомании, алкоголизма, курения и других "взрослых" тем.
Ждем Ваши замечания и предложения на email:
По вопросам рекламы и спонсорства пишите на email: