Евклид (иначе
Эвклид) — древнегреческий математик, автор первого из дошедших до нас
теоретических трактатов по математике. Биографические сведения об Евклиде
крайне скудны. Известно лишь, что учителями Евклида в Афинах были ученики
Платона, а в правление Птолемея I (306-283 до н.э.) он преподавал
Александрийской академии. Евклид — первый математик александрийской школы.
Главная работа Евклида — «Начала» (лат. Elementa) |
Главная работа Евклида
— «Начала» (лат. Elementa) — содержит изложение планиметрии, стереометрии и
ряда вопросов теории чисел (например, алгоритм Евклида); состоит из 13-ти книг,
к которым присоединяют две книги о пяти правильных многогранниках, иногда
приписываемых Гипсиклу Александрийскому. В «Началах» он подвёл итог
предшествующему развитию греческой математики и создал фундамент дальнейшего
развития математики. На протяжении более двух тысячелетий евклидовы «Начала»
оставались основным трудом по элементарной математике.
Из других
математических сочинений Евклида надо отметить «О делении фигур», сохранившееся
в арабском переводе, четыре книги «Конические сечения», материал которых вошёл
в одноимённое произведение Аполлония Пергского, а также «Поризмы»,
представление о которых можно получить из «Математического собрания» Паппа
Александрийского.
В трудах Евклида дано
систематическое изложение т. н. евклидовой геометрии, система аксиом которой
опирается на следующие основные понятия: точка, прямая, плоскость, движение и
следующие отношения: «точка лежит на прямой на плоскости», «точка лежит между
двумя другими». В современном изложении систему аксиом евклидовой геометрии
разбивают на следующие пять групп.
Аксиомы
сочетания
- Через каждые две точки можно провести прямую и притом только одну.
- На каждой прямой лежат по крайней мере две точки. Существуют хотя бы три точки, не лежащие на одной прямой.
- Через каждые три точки, не лежащие на одной прямой, можно провести плоскость и притом только одну.
- На каждой плоскости есть по крайней мере три точки и существуют хотя бы четыре точки, не лежащие в одной плоскости.
- Если две точки данной прямой лежат на данной плоскости, то и сама прямая лежит на этой плоскости.
- Если две плоскости имеют общую точку, то они имеют ещё одну общую точку (и, следовательно, общую прямую).
Аксиомы
порядка
- Если точка В лежит между А и С, то все три лежат на одной прямой.
- Для каждых точек А, В существует такая точка С, что В лежит между А и С.
- Из трёх точек прямой только одна лежит между двумя другими.
- Если прямая пересекает одну сторону треугольника, то она пересекает ещё другую его сторону или проходит через вершину (отрезок AB определяется как множество точек, лежащих между А и В; соответственно определяются стороны треугольника).
Аксиомы
движения
- Движение ставит в соответствие точкам точки, прямым прямые, плоскостям плоскости, сохраняя принадлежность точек прямым и плоскостям.
- Два последовательных движения дают опять движение, и для всякого движения есть обратное.
- Если даны точки А, A’ и полуплоскости a, a’, ограниченные продолженными полупрямыми а, а’, которые исходят из точек А, A’, то существует движение, и притом единственное, переводящее А, а, a в A’, a’, a’ (полупрямая и полуплоскость легко определяются на основе понятий сочетания и порядка).
Аксиомы
непрерывности
- Аксиома Архимеда: всякий отрезок можно перекрыть любым отрезком, откладывая его на первом достаточное число раз (откладывание отрезка осуществляется движением).
- Аксиома Кантора: если дана последовательность отрезков, вложенных один в другой, то все они имеют хотя бы одну общую точку.
Аксиома
параллельности Евклида
Через точку А вне прямой а в плоскости, проходящей через А и а, можно провести лишь одну прямую, не
пересекающую а.
Возникновение
евклидовой геометрии тесно связано с наглядными представлениями об окружающем
нас мире (прямые линии — натянутые нити, лучи света и т. п.).
Длительный процесс
углубления наших представлений привёл к более абстрактному пониманию геометрии.
Открытие Н. И. Лобачевским геометрии, отличной от евклидовой, показало, что
наши представления о пространстве не являются априорными.
Иными словами,
евклидова геометрия не может претендовать на роль единственной геометрии,
описывающей свойства окружающего нас пространства.
Развитие естествознания
(главным образом физики и астрономии) показало, что евклидова геометрия
описывает структуру окружающего нас пространства лишь с определённой степенью
точности и не пригодна для описания свойств пространства, связанных с
перемещениями тел со скоростями, близкими к световой. Т. о., евклидова
геометрия может рассматриваться как первое приближение для описания структуры
реального физического пространства.
Евклид — автор ряда
работ по астрономии, оптике, музыке и др. Арабские авторы приписывают Евклиду и
различные трактаты по механике, в том числе сочинения о весах и об определении
удельного веса.