Большая Советская Энциклопедия (ЕВ) - [6]

  Соч.: Начала Евклида, кн. 1—6, 7—10, 11—15, пер. с греческого и комментарии Д. Д. Мордухай-Болтовского, т. 1—3, М.—Л., 1948—50.

Евклида алгоритм

Евкли'да алгори'тм, способ нахождения наибольшего общего делителя двух целых чисел, двух многочленов или общей меры двух отрезков. Описан в геометрической форме в «Началах» Евклида. Для случая положительных чисел а и b, причём a ³ b, этот способ состоит в следующем. Деление с остатком числа а на число b всегда приводит к результату а = nb + b₁,где частное n — целое положительное число, а остаток b₁— либо 0, либо положительное число, меньшее b (0 £ b₁< b). Будем производить последовательное деление:

где все n_i — положительные целые числа и 0 £ b₁< b_i-1до тех пор, пока не получится остаток, равный нулю. Этот последний остаток b_k+1 можно не писать, так что ряд равенств (*) закончится так:

b_k-2 = n_k-1 + b_k,

b_k-1 = n_kb_k.

  Последний положительный остаток b_к в этом процессе и является наибольшим общим делителем чисел а и b. Е. а. служит не только для нахождения наибольшего общего делителя, но и для доказательства его существования. В случае многочленов или отрезков поступают сходным образом. В случае несоизмеримых отрезков (см. Соизмеримые и несоизмеримые величины) Е. а. оказывается бесконечным.

Евклидова геометрия

Евкли'дова геоме'трия, геометрия, систематическое построение которой было впервые дано в 3 в. до н. э. Евклидом. Система аксиом Е. г. опирается на следующие основные понятия: точка, прямая, плоскость, движение и следующие отношения: «точка лежит на прямой на плоскости», «точка лежит между двумя другими». В современном изложении систему аксиом Е. г. разбивают на следующие пять групп.

  I. Аксиомы сочетания. 1) Через каждые две точки можно провести прямую и притом только одну. 2) На каждой прямой лежат по крайней мере две точки. Существуют хотя бы три точки, не лежащие на одной прямой. 3) Через каждые три точки, не лежащие на одной прямой, можно провести плоскость и притом только одну. 4) На каждой плоскости есть по крайней мере три точки и существуют хотя бы четыре точки, не лежащие в одной плоскости. 5) Если две точки данной прямой лежат на данной плоскости, то и сама прямая лежит на этой плоскости. 6) Если две плоскости имеют общую точку, то они имеют ещё одну общую точку (и, следовательно, общую прямую).

  II. Аксиомы порядка. 1) Если точка В лежит между А и С, то все три лежат на одной прямой. 2) Для каждых точек А, В существует такая точка С, что В лежит между А и С. 3) Из трёх точек прямой только одна лежит между двумя другими. 4) Если прямая пересекает одну сторону треугольника, то она пересекает ещё другую его сторону или проходит через вершину (отрезок AB определяется как множество точек, лежащих между А и В; соответственно определяются стороны треугольника).

  III. Аксиомы движения. 1) Движение ставит в соответствие точкам точки, прямым прямые, плоскостям плоскости, сохраняя принадлежность точек прямым и плоскостям. 2) Два последовательных движения дают опять движение, и для всякого движения есть обратное. 3) Если даны точки А, A' и полуплоскости A, A‘, ограниченные продолженными полупрямыми а, а', которые исходят из точек А, A', то существует движение, и притом единственное, переводящее А, а, Aв A', a', A' (полупрямая и полуплоскость легко определяются на основе понятий сочетания и порядка).

  IV. Аксиомы непрерывности. 1) Аксиома Архимеда: всякий отрезок можно перекрыть любым отрезком, откладывая его на первом достаточное число раз (откладывание отрезка осуществляется движением). 2) Аксиома Кантора: если дана последовательность отрезков, вложенных один в другой, то все они имеют хотя бы одну общую точку.

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

  Возникновение Е. г. тесно связано с наглядными представлениями об окружающем нас мире (прямые линии — натянутые нити, лучи света и т. п.). Длительный процесс углубления наших представлений привёл к более абстрактному пониманию геометрии. Открытие Н. И. Лобачевским геометрии, отличной от Е. г., показало, что наши представления о пространстве не являются априорными. Иными словами, Е. г. не может претендовать на роль единственной геометрии, описывающей свойства окружающего нас пространства. Развитие естествознания (главным образом физики и астрономии) показало, что Е. г. описывает структуру окружающего нас пространства лишь с определённой степенью точности и не пригодна для описания свойств пространства, связанных с перемещениями тел со скоростями, близкими к световой. Т. о., Е. г. может рассматриваться как первое приближение для описания структуры реального физического пространства. См. Пространство, Геометрия, Лобачевского геометрия. Неевклидовы геометрии.

  Э. Г. Позняк.

Евклидово пространство

Евкли'дово простра'нство (в математике), пространство, свойства которого описываются аксиомами евклидовой геометрии. В более общем смысле Е. п. называется n-мepное векторное пространство, в котором возможно ввести некоторые специальные координаты (декартовы) так, что метрика его будет определена следующим образом: если точка