Аксиомы и постулаты. Существует набор исходных посылок, называемых аксиомами и постулатами, на которых базируется вся структура геометрии.

Аксиомы. Аксиомы – это утверждения, принимаемые за истинные без доказательств. Аксиомы обычно подразделяются на две группы: общие, относящиеся ко всей математике, и геометрические.

К числу общих аксиом относятся следующие.

1. Равные одному и тому же равны между собой.

2. Если к равным прибавляются равные, то суммы будут равны.

3. Если от равных отнимаются равные, то остатки будут равны.

4. Если равные умножить на равные, то произведения будут равны.

5. Если равные разделить на равные, то частные будут равны. Деление на нуль запрещается.

6. Одинаковые степени равных, а также корни одинаковой степени из равных равны.

7. Целое больше любой своей части.

8. Целое равно сумме своих частей.

К числу геометрических аксиом относятся следующие.

1. Через любые две данные точки можно провести только одну прямую.

2. Геометрическую фигуру можно перемещать в пространстве, не изменяя ни ее размеров, ни ее формы.

3. Геометрические фигуры, которые совпадают после наложения, конгруэнтны (т.е. равны).

4. Прямая есть кратчайшее расстояние между двумя точками.

Постулаты. Следующие постулаты касаются построений и принимаются за истинные без доказательств.

1. Через любые две данные точки можно провести прямую.

2. Прямая может быть продолжена бесконечно или же ограничена в любой своей точке.

3. Окружность может быть описана вокруг любой данной точки как центра и с любым радиусом.

4. Все прямые углы равны.

5. Через точку, не лежащую на прямой, можно провести одну и только одну прямую, ей параллельную.

Некоторые геометрические фигуры, построения и заключения. Многие термины, используемые для описания фигур в геометрии, настолько фундаментальны, что определить их не представляется возможным. Все попытки сделать это приводили лишь к замене одних терминов другими, столь же неопределимыми, или к простому описанию некоторых свойств фигур. Например, термин «точка» не поддается определению.

Линии. Термин «линия» (или «кривая» в широком смысле слова) не имеет определения, хотя мысленно линию можно представить как след движущейся точки. Бесчисленные попытки определить прямую линию (рис. 1,а) не имели успеха. Многие из этих попыток апеллировали к физическому эксперименту, например, «прямая – это туго натянутая линия». Чаще других приводится описание прямой, предложенное Архимедом: «Прямая – это кратчайшее расстояние между двумя точками». Это «определение», однако, лишь заменяет неопределяемое понятие прямизны столь же неопределяемым понятием расстояния. Предполагается, что прямая бесконечна, т.е. ее можно неограниченно продолжить в обе стороны. Часть прямой называется отрезком. Ломаная (рис. 1,б) состоит из прямолинейных отрезков. Кривой (рис. 1,в) называется линия, никакая часть которой не является прямой.

(4.71 Кб)

Как показано на рис. 1,г, 1,д и 1,е, прямые могут быть параллельными, перпендикулярными и наклонными. Параллельные прямые – это прямые, расстояние между которыми всюду одинаково. На рис. 1,г показано, как построить прямую, параллельную данной прямой L и отстоящую от нее на заданное расстояние. Берется окружность, радиус которой равен данному расстоянию. Проводятся две дуги с центрами в двух различных точках прямой L. Прямая, касательная к обеим дугам, и есть та прямая, которую требовалось построить.

На рис. 1,д показано, как построить прямую, проходящую через точку Р и перпендикулярную прямой L. Порядок, в котором делаются засечки дугами, указаны номерами [первыми следует провести (в любой последовательности) либо дугу 1, либо дугу 1ў]. Для проведения дуг 2 и 2ў циркуль устанавливается в точки пересечения прямой L дугами 1 и 1ў соответственно, радиусы остаются те же самые. Прямая, проходящая через точку Р и точку пересечения дуг 2 и 2ў, есть искомый перпендикуляр. Перпендикуляр – это кратчайшая линия, которую можно провести от точки до прямой, на которую он опущен, и расстояние от точки до прямой по определению равно длине перпендикуляра, опущенного из нее на прямую.

назад   дальше