• 5

Теорема 10.

 Пусть MN—произвольный отрезок и OA— про­извольный луч. Тогда на луче OA существует одна и только одни точка Р, обладающая тем свойством, что отрезок MN равен отрезку ОР.

Эта теорема позволяет «откладывать» отрезки. Кроме того, она позволяет ввести понятия «больше» и «меньше» для отрезков, при­чем для любых двух отрезков АВ и CD выполнено одно и только одно из соотношений

AB<CD, АВ= CD, AB>CD.

Следующую теорему мы назовем теоремой Дедекинда. Ввиду ее важности мы приведем не только формулировку, но и до­казательство этой теоремы.

Авторы: 1379 А Б В Г Д Е З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я

Книги: 1908 А Б В Г Д Е З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я