Параллельные прямые в курсе основной школы
Курсовой проект - Педагогика
Другие курсовые по предмету Педагогика
ки сводились к тому, что пятый постулат выводился из какого-нибудь другого положения. При этом многие не замечали этого, считая, что доказательство им удалось. Другие, более проникновенные и критичные, явно формулировали то положение, из которого выводили пятый постулат, как это сделал, например, Омар Хайям.
Одни математики старались доказать постулат о параллельных, применяя только другие постулаты и те теоремы, которые можно вывести из последних, не используя сам V постулат. Все такие попытки оказались неудачными. Их общий недостаток в том, что в доказательстве неявно применялось какое-нибудь предположение, равносильное доказываемому постулату.
Другие предлагали по-новому определить параллельные прямые или же заменить V постулат каким-либо, по их мнению, более очевидным предложением. Так, например, в XI веке Омар Хайям ввел вместо V постулата принцип, согласно которому две лежащие в одной плоскости сходящиеся прямые пересекаются и не могут расходиться в направлении схождения. С помощью этого принципа Хайям доказывает, что в четырехугольнике ABCD, в котором углы при основании А и В - прямые и стороны АС, ВD равны, углы С и D так же прямые, а из этого предложения о существовании прямоугольника выводится V постулат. Рассуждения Хайяма получили оригинальное развитие в XIII веке у Насирэдинна ат-Туси, работы которого в свою очередь стимулировали исследования Д. Валлиса. В 1663 году Валлис доказал постулат о параллельных, исходя из явного допущения, что для каждой фигуры существует подобная ей фигура произвольной величины. Это допущение он считал вытекающим из существа пространственных отношений.
С логической точки зрения результаты Хайяма или Валлиса лишь выявляли равносильность V постулата и некоторых других предложений геометрии. Так, Хайям, по существу, установил эквивалентность постулата и предложения о сумме углов треугольника, а Валлис показал, что не только из V постулата можно вывести учение о подобии, но и обратно - их евклидова учения о подобии следует V постулат.
.3 Джироламо Саккери
Критика евклидовского обоснования геометрии, продолжалась на протяжении нескольких веков и ставшая особенно острой в 19 столетии, привела к попыткам нового дедуктивного построения геометрии, отвечающего современным требованиям науки.
Одним из ученых, предвосхитивших неевклидову геометрию, был итальянский монах Джироламо Саккери (1667 - 1733), преподававший грамматику в иезуитской коллегии в Милане. Здесь под влиянием Джованни Чевы (Джованни Чева (1648 - 1734) - итальянский инженер-гидравлик и экономист) Саккери заинтересовался математикой и стал серьезно заниматься ею. Впоследствии он преподавал математику в университете города Павши. На последнем году своей жизни Саккери опубликовал (на латинском языке) книгу под заглавием Евклид, очищенный от всех пятен. В ней он поставил задачу исправить все недостатки (пятна) Начал Евклида, в первую очередь доказать V постулат. Саккери решительнее и дальше своих предшественников сделал попытку доказать этот постулат от противного.
Рассматривая четырехугольник (рис. 1), носящий его имя, Саккери стремиться доказать, что гипотезы тупого и острого углов приводит к логическим противоречиям и что остается лишь гипотеза прямого угла, из которого вытекает V постулат.
. Он легко опровергает гипотезу тупого угла, он доказывает, что:
геометрическое место точек плоскости, равноотстоящих от данной прямой по одну сторону, не является прямой или окружностью, а другой линией (которую Лобачевский впоследствии назвал эквидистантой, то есть равноотстоящей);
. две прямые, содержащиеся в одной плоскости (рис. 2), либо пересекаются в одной точке (такие прямые Лобачевский назвал сходящимися), либо не пересекаются, имея общий перпендикуляр, по обе стороны от которого они друг от друга удаляются (расходящиеся прямые в терминологии Лобачевского), либо не пересекаются, удаляясь друг от друга в одном направлении и асимптотически приближаясь к другому (параллельные Лобачевского)
Если бы Саккери пользовался лишь логическими выводами, строгой дедукцией, то никакого противоречия он в указанных выше предложениях он не нашел бы. Однако, будучи предупрежден о невозможности того, что для евклидова постулата не имелось доказательства, Саккери для опровержения гипотезы острого угла прибег к утверждению чисто интуитивного характера: существование асимптотических прямых якобы противоречит природе прямой линии. Заслуга Саккери состоит, разумеется, не в конечном его установлении промежуточных предложений, выведенных им на основе гипотезы острого угла, которые спустя 100 лет легли в основу новой неевклидовой геометрии Лобачевского.
.4 Ламберт
Идеи Ламберта, развитые им в сочинении теория параллельных линий (1766г.), близко примыкают к соображениям Саккери.
Он рассматривает четырехугольник с тремя прямыми углами. Относительно четвертого угла так же возникают три гипотезы: этот угол прямой, тупой или острый. Доказав эквивалентность пятого постулата гипотезе прямого угла и сведя к противоречию гипотезу тупого угла, Ламберт, подобно Саккери, вынужден заниматься гипотезой острого угла. Она приводит Ламберта к сложной геометрической системе, в которой ему не удалось встретить логического противоречия.