Читать «Большая Советская Энциклопедия (ЕВ)» онлайн - страница 10

где все 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' (полупрямая и полуплоскость легко определяются на основе понятий сочетания и порядка).