Как найти множества отрезков

С одной стороны это очень простая задача с решением в одну строчку. С другой стороны может представлять определенные трудности ученикам. Дело в том, что это задача на преобразование плоскости. В школе проходят вскользь преобразования плоскости не особо уделяя этому внимания. И например, ту же гомотетию, которая здесь используется упоминают вскользь, как послесловие к теме подобных треугольников.


Вспомним определение гомотетии (которое не во всех учебниках четко дается): Гомотетия — это преобразование пространства (в частности плоскости), относительно некой точки O, такое что: Любой точке М сопоставляется точка M’ так что OM’ = k•OM. При этом точка О — называется центром гомотетии, а k — коэффициентом гомотетии. Так же иногда гомотетию называют центрально-подобным преобразованием. При гомотетии любая фигура переходит в подобную ей фигуру.


Решение 1

Таким образом в задаче просто описана гомотетия с центром в точке «A» и коэффициентом k=1/2, так как любая точка M фигуры окружность переходит в точку M’, такую что OM’=(1/2)•OM.

И при гомотетии окружность перейдет в окружность. С коэффициентом 1/2 будет окружность в 2 раза меньшего радиуса.


Предположим, что ученик не помнит про гомотетию и вообще в принципе утверждение, что фигура при этом преобразовании переходит в подобную требует доказательства.

Тогда рассмотрим Решение 2

Делаем предварительно рисунок, как выше и догадываемся, что скорее всего получим окружность, но это надо доказать.

Итак есть окружность c центром O и точка A вне окружности. Расположим систему координат, так чтоб начало координат было в точке O (центр окружности), а ОA совпадала с осью Ox (положительным направлением).

И возьмем произвольную точку M(x; y) на окружности. Смотрим рисунок

Проведем отрезок AM и отметим M’ — середина AM. Точка M’имеет координаты (x’; y’)

Так как M’ середина AM то y’ = (y+0)/2 = y/2 (координата по «y» у точки М = «y», у точки A = «0»

Для определения координаты x’, отметим дополнительно точку O’ — середину OA, таким образом OO’ = OA/2

Так как O’ и M’ середины сторон OA и MA соответсвенно, то O’M’ — средняя линия в ∆OMA => O’M’ || OM и O’M’ = (1/2) OM. Таким образом координата точки M’: x’ = x/2 + OA/2

Выразим наоборот:

х = 2•(OA/2 — x’);

y = 2•y’

Поскольку M (x; y) — точка окружности, то координаты точки удовлетворяют уравнению

OM² = (x-0)² + (y-0)²

Подставим x и y

OM² = (2•(OA/2 — x’))² + (2•y’)²

OM²/4 = (x’-OA/2)² + (y’-0)²

(OM/2)² = (x’-OA/2)² + (y’-0)²

то есть координаты x’ и y’ удовлетворяют некоему уравнению окружности

Таким образом множество точек M’ (x’; y’) — будет точками окружности с радиусом = OM/2 и центром в точке O’ (OA/2; 0)


В общем же виде получим: Множество точек при таком условии будет окружность в 2 раза меньшего радиуса от исходной окружности и с центром O’ — являющимся серединой отрезка ОA (где O — центр исходной окружности)

Пусть дано множество из отрезков и требуется найти все точки их пересечения. Очевидно, что задачу можно решить полным перебором за ; ясно также, что любой алгоритм будет в худшем случае работать за (нетрудно привести пример, когда количество пересечений квадратично, а алгоритм обязан сообщить о каждом пересечении). Однако существуют алгоритмы, которые оптимальнее, если количество точек пересечения отрезков невелико. Так алгоритм Бентли-Оттмана (англ. Bentley-Ottmann) позволяет решить задачу о пересечении отрезков, используя времени и памяти, где — количество пересечений.

Содержание

  • 1 Формальная постановка задачи
  • 2 Описание алгоритма
  • 3 Доказательство корректности
  • 4 Оценка времени работы
  • 5 Объём памяти
  • 6 Источники

Формальная постановка задачи

Дано: — множество замкнутых отрезков на плоскости. Найти все точки их взаимного пересечения, охарактеризовав каждую точку пересечения множеством отрезков, которые участвуют в этом пересечении.

Описание алгоритма

Заметающая прямая и события

Воспользуемся методом заметающей прямой (sweep line), расположенной горизонтально и двигающейся вниз (в сторону уменьшения y-координаты). Нас будут интересовать события (events, event points) трёх типов:

  • верхний конец отрезка,
  • нижний конец отрезка,
  • точка пересечения пары отрезков;

причем о событиях первых двух типов мы знаем заранее, а события, являющиеся пересечением отрезков, будут обнаружены и добавлены в множество необработанных событий динамически. Будем считать, что если у двух точек равные ординаты, то выше та, что лежит левее. Таким образом верхним концом горизонтального отрезка, в силу введенного порядка, является его левый конец. Это даст нам корректную обработку вырожденного случая, когда отрезок горизонтален.

Можно представить, что заметающая прямая не горизонтальна, а повернута на малый угол против часовой стрелки, поэтому не существует такой конфигурации, что на ней лежит больше одного события (мы, для удобства, считаем точку пересечения трёх или более отрезков одним событием).

Нам потребуется две структуры данных.

Во-первых, мы будем хранить очередь событий в виде сбалансированного бинарного дерева поиска, что позволит извлекать следующее событие и вставлять новое событие в очередь за , где — количество элементов в очереди. Дерево будет отсортировано согласно порядку, введённому выше. Причём вместе с каждым событием мы будем хранить список отрезков, верхней точкой которых он является.

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

Соседние отрезки в статусе

Главная идея заключается в том, что мы будем проверять, пересекаются ли два отрезка, если они являются соседними в статусе. Это означает, что каждый отрезок мы будем проверять на пересечение с его левым и правым соседями в статусе. Далее, по ходу выполнения алгоритма, у отрезка могут измениться соседи; когда это происходит мы снова проверяем, не пересекает ли отрезок его новых соседей в статусе?

Далее приведен псевдокод алгоритма, а ниже подробно расписана обработка события определенного типа.

findIntersections(S)
   Инициализировать Q и T
   for s in S
      вставить концы s в Q (вместе с верхним концом вставить сам s)
   while not Q.empty()
      p = Q.pop()
      handleEventPoint(p)

Рассмотрим обработку событий.

  • Верхний конец отрезка. В этом случае мы вставим отрезок в статус и проверим, не пересекает ли он соседние отрезки в статусе. Нас будут интересовать только пересечения ниже заметающей прямой. Естественно, если пересечения будут обнаружены, то они должны быть вставлены в .
  • Пересечение отрезков. Если событие — это точка пересечения двух отрезков, то эти отрезки меняют порядок и у каждого появляется, возможно, новый сосед. Мы проверим каждую пару новых соседей в статусе на пересечение. По-прежнему нас интересуют только пересечения ниже заметающей прямой. Отметим отдельно, что в этом случае найденные пересечения могли уже быть обнаружены ранее (когда пересекающиеся отрезки были соседними в статусе).
  • Нижний конец отрезка. В этом случае мы удалим отрезок из статуса и проверим пару отрезков ставших соседними на пересечение. Как и в предыдущем случае, обнаруженные пересечения могут уже находиться в очереди.

Обработка верхних концов и пересечений

Как было сказано выше, мы интерпретируем пересечение более двух отрезков в одной точке как одно событие. В этом случае обработка несколько сложнее (стоит пристально посмотреть на псевдокод и рисунок — и убедиться, что алгоритм корректно обрабатывает такие события). Псевдокод функции обработки события:

handleEventPoint(p)
   U(p) = множество отрезков, верхний конец которых есть p // Напомним, что мы храним такие отрезки в Q вместе c p
   // Далее найдём в T все отрезки, которые содержат p (они будут соседними в дереве)
   L(p) = множество отрезков, нижний конец которых есть p
   C(p) = множество отрезков, содержащих внутри себя p
   if 
      report(p, ) // сообщить о p как о точки пересечения отрезков 
   T.remove()
   T.insert()
   // отрезки должны быть вставлены в порядке,
   // в котором они пересекают горизонтальную линию,
   // лежащую немного ниже заметающей прямой
   // (при удалении-вставке отрезков из C(p) - те поменяют порядок на обратный
   if 
      s_l = левый сосед p в T
      s_r = правый сосед p в T
      findIntersection(s_l, s_r, p)
   else
      s1 = самый левый отрезок из  в T
      s_l = левый сосед s1 в T
      findIntersection(s_l, s1, p)
      s2 = самый правый отрезок из  в T
      s_r = правый сосед s2 в T
      findIntersection(s2, s_r, p)
findIntersection(s_l, s_r, p)
   if not intersects(s_l, s_r)
      return
   x = точка пересечения s_l и s_r
   if x лежит ниже заметающей прямой или на ней справа от p 
      Q.insert(x) // должно работать корректно, если x уже есть в Q

Поддержание статуса при обработке события

Доказательство корректности

То что алгоритм сообщает только точки пересечения отрезков очевидно. Покажем, что все точки пересечения будут найдены.

Лемма:

Пусть — точка пересечения нескольких отрезков, причем не совпадает ни с одним из концов отрезков, участвующих в пересечении. Отсортируем отезки по углу вокруг и пусть отрезки и окажутся соседними в сортировке. Тогда существует событие с приоритетом выше, чем у , такое что при обработке этого события и будут соседними в статусе.

Доказательство:
Рассмотрим событие которое будет обработано непосредственно перед . Предположим, что при обработке этого события и не будут соседними в статусе. Это возможно только если между ними есть третий отрезок . Но тогда или пересекает какой-то из отрезков в точке с приоритетом выше, чем у , но ниже, чем у ; или пересекает их оба в точке , что противоречит тому, что они соседние в сортировке по углу. Следовательно при обработке и будут соседними в статусе.
Теорема:

Алгоритм сообщает о всех точках пересечения

Доказательство:

Воспользуемся индукцией по событиям, отсортированным в порядке, введённом выше (). Пусть — точка пересечения. Предположим что все события были обработаны корректно. Тогда будет обнаружена.

Действительно, если — конец некоторого отрезка, то добавлена в очередь событий в начале работы. Все содержащие её отрезки из статуса, который будет текущим при обработке будут найдены. Для остальных отрезков, содержащих , верно, что — их верхний конец, и они будут найдены, т.к. мы храним их вместе с в очереди.

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

Оценка времени работы

Теорема:

Время работы алгоритма — , где — количество пересечений.

Доказательство:

Инициализация может быть выполнена за , инициализация — за .

Далее, по ходу алгоритма мы обрабатываем каждое событие. Обработка включает в себя удаление события (), вызов функции findIntersection до двух раз, что может вызвать вставку новых событий . Также при обработке события мы раз выполняем операции вставки, удаления, поиска над . Каждая из этих операций требует времени. Пусть . Тогда время работы алгоритма —

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

Итак, время работы алгоритма: .

Объём памяти

Очевидно, что статус в худшем случае занимает памяти, однако очередь событий может занимать памяти. Если модифицировать алгоритм так, что в очереди будут храниться только точки пересечения отрезков, соседних в статусе, то объём используемой памяти сократится до . Для этого нужно удалять точки пересечения отрезков, которые перестали быть соседними. Перед тем, как мы дойдём до точки удаленной точки, обязательно найдётся соседняя в статусе пара отрезков, которые пересекаются в этой точке, и она снова будет вставлена в очередь. Ясно, что такая оптимизация не влияет на время работы алгоритма.

Источники

  • Mark de Berg, Otfried Cheong, Marc van Kreveld, Mark Overmars (2008), Computational Geometry: Algorithms and Applications (3rd edition), Springer-Verlag, ISBN 978-3-540-77973-5 Chapter 2: Line Segment Intersection: pp.20–29.

Система вложенных отрезков

Определение. Множество отрезков $$ {[a_n,b_n]}_{n=1}^infty = {[a_1,b_1],; [a_2,b_2],; dots}, $$ $$ forall,ninmathbb{N} to -infty<a_n<b_n<+infty $$ называется системой вложенных отрезков, если $$ forall,ninmathbb{N} to [a_n,b_n]supset[a_{n+1},b_{n+1}],$$ то есть каждый отрезок содержит следующий за ним.

Теорема (Непрерывность множества действительных чисел по Кантору). Для всякой системы вложенных отрезков существует точка, принадлежащая всем отрезкам данной системы.

Доказательство. Для системы вложенных отрезков ${[a_n,b_n]}_{n=1}^infty$ рассмотрим два непустых множества $$ A={a_n}_{n=1}^infty={a_1,a_2, dots}, qquad B={b_n}_{n=1}^infty={b_1,b_2, dots}. $$ Так как $$ forall,n,minmathbb{N} to [a_{n+m}; b_{n+m}] subset [a_n; b_n] Rightarrow a_nle a_{n+m}; $$ $$ forall,n,minmathbb{N} to [a_{n+m}; b_{n+m}] subset [a_m; b_m] Rightarrow b_{n+m}le b_m. $$

Следовательно, $$ forall,n,minmathbb{N} to a_nle a_{n+m} < b_{n+m}le b_m. $$

То есть $$forall,ain A, bin B to ale b.$$

В силу аксиомы непрерывности существует число $c$ такое, что $$ forall,ain A, bin B to ale cle b. $$

В частности, $$ forall,ninmathbb{N} to cin[a_n,b_n], $$ что и требовалось доказать.

Определение. Система вложенных отрезков ${[a_n,b_n]}_{n=1}^infty$ называется стягивающейся системой вложенных отрезков, если $$ forall,varepsilon > 0 to exists,ninmathbb{N}: b_n — a_n < varepsilon. $$

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

Доказательство. По крайней мере, одна общая точка для отрезков рассматриваемой системы имеется в силу предыдущей теоремы. Покажем, что общих точек не больше одной.

Допуская противное, предположим, что каждая из двух различных точек $c$ и $c’$ является общей для всех отрезков системы. Пусть, для определенности, $c'<c$, то есть $varepsilon = c-c’>0$. По определению стягивающейся системы, $$exists,ninmathbb{N}: b_n — a_n<varepsilon.$$ Тогда $a_nle c’ < c le b_n$.

Отсюда $$ a_nle c’ Rightarrow -c’le -a_n Rightarrow c — c’le c — a_n; $$ $$ c le b_n Rightarrow c — a_nle b_n — a_n. $$

Поэтому $varepsilon = c — c’le c — a_nle b_n — a_n < varepsilon$.

Получили противоречие. Теорема доказана.

164. Если нам дано уравнение

y = 3x      (1)

мы можем найти бесчисленное множество решений этого уравнения: можно принять x равным любому числу (например, 0; 1; 2; 1(1/2) и т. д.); тогда найдем соотв. число для y (0; 3; 6; 4(1/2) и т. д.).

Данное уравнение можно еще написать в виде

y/x = 3      (2)

Отношение отрезков

Пусть теперь требуется построить два отрезка таких, чтобы они удовлетворяли уравнению (1). Эта задача также легко решается: построим (чер. 179) произвольный отрезок x и затем на какой-либо прямой отложим от какой-либо ее точки этот отрезок 3 раза, – получим искомый отрезок y. Таких пар отрезков, удовлетворяющих уравнению (1), можно найти бесчисленное множество. Принято и в том случае, когда x y в уравнении (1) означают не числа, а отрезки, писать это уравнение не только в виде уравнения (1), но и в форме уравнения (2), хотя мы и не умеем делить отрезок y на отрезок x. Можно смотреть на уравнение (2) с той точки зрения, что здесь дается новая форма для выражения числа 3: число 3 здесь представлено в виде символа y/x, где y и x отрезки. Этот символ y/x называется отношением отрезка y к отрезку x.

Деление отрезков на части

Подобно этому, можно также решить отрезками уравнение y = (5/6)x (см. чер. 180), для чего надо лишь умение делить любой отрезок на сколько угодно равных частей. Так же точно, согласно предыдущему условию, мы можем, понимая под y и x отрезки, написать наше уравнение в виде y/x = 5/6, которое прочтем: «отношение отрезка y к отрезку x равно числу 5/6. На последнее уравнение можно также смотреть, как на новую форму выражения числа 5/6. Из этих примеров можно прийти к общему заключению:

всякое целое или дробное число можно представить в форме отношения двух отрезков.

165. Возникает мысль о задаче, обратной тем, какие решались в предыдущем п., т. е.: даны два отрезка A и B (чер. 181); требуется для них составить уравнение вида A = k · B или A/B = k, где k — какое-либо число.

Отношение отрезков

Если действительно удастся составить такое уравнение, если, напр., получим A = 37B или получим A = (39/29)B, то мы видим, что решение этой задачи должно основаться на существовании такого третьего отрезка, который укладывается на каждом из данных по целому числу раз; в примере A = 37B таким отрезком является сам B: он укладывается 37 раз на отрезке A и 1 раз на самом себе; во втором примере (A = (39/29)B) таким отрезком является отрезок, равный 1/29 части отрезка B: он укладывается 39 раз на отрезке A и 29 раз на отрезке B.

Принято называть

общею мерою двух отрезков такой третий отрезок, который укладывается по целому числу раз на каждом из данных отрезков.

В первом из предыдущих примеров (A = 37B) общею мерою отрезков A и B служит сам отрезок B: он укладывается 37 раз на A и один раз на B.

Во втором случае (A = (39/29)B) общей мерою отрезков A и B служит 29-я доля отрезка B: она укладывается 39 раз на A и 29 раз на B.

Итак, для решения нашей обратной задачи необходима общая мера двух данных отрезков. Вот пример, на котором выясняется, как можно в некоторых случаях найти общую меру двух отрезков.

Пусть имеем отрезок AB и отрезок CD (чер. 182). Попытаемся найти общую меру отрезков AB и CD.

Общая мера отрезков

Попытаем сначала, не уложится ли меньший из них, в данном случае отрезок AB, на отрезке CD целое число раз. Если AB уложится на CD целое число раз, то AB и есть общая мера между AB и CD (на AB укладывается 1 раз и на CD укладывается, например, 3 раза). Допустим, что AB на CD укладывается 2 раза с остатком FD. Тогда попытаем, не уложится ли этот остаток FD на отрезке AB целое число раз: если бы уложился целое число раз на AB, то и уложился бы целое число раз и на CF и на CD, т. е. тогда отрезок FD был бы общею мерою. Допустим (как на чертеже), что FD на AB укладывается 1 раз с остатком KB. Тогда, исходя из тех же соображений, пробуем, не уложится ли KB на FD без остатка; допустим, что KB на FD укладывается 2 раза с остатком LD. Затем пробуем, не уложится ли LD на KB без остатка и допустим, что, наконец, достигли этого, т. е. пусть LD укладывается на KB 3 раза без остатка. (Делая это допущение, мы тем самым признаем возможность случая, что никогда не достигнем того, чтобы полученный остаток в предыдущем укладывался целое число раз без нового остатка.) Тогда LD и является общею мерою. Остается сосчитать, сколько раз эта общая мера укладывается на отрезках AB и CD. Для этого запишем те наложения, которые мы выполняли.

CD = 2AB + FD | CD = 27LD
AB = FD + KB | AB = 10LD
FD = 2KB + LD | FD = 7LD
KB = 3LD |

Второй столбец этой записи составляется по направлению снизу вверх: FD = 2KB + LD = 6LD + LD = 7LD; AB = FD + KB = 7LD + 3LD = и т. д.

Теперь мы видим, что общею мерою наших отрезков является отрезок LD, который есть 1/10 доля отрезка AB, так как AB = 10LD, т. е.

Формула отношения отрезков

Но мы получили, что CD = 27LD; следовательно,

Пропорция соотношения отрезков

Второе из этих уравнений читают: отношение отрезка CD к отрезку AB равно числу 27/10, а первое можно понимать так: отрезок CD измерили отрезком AB (принимая за единицу отрезок AB) и получили число 27/10, подобно тому, как запись:

«Высота дерева равна 5(3/4) аршина» понимают в том смысле, что высота дерева (отрезок) измерена аршином и получилось число 5(3/4).

Если бы, наоборот, нам потребовалось найти AB/CD (отношение AB к CD) или измерить отрезок AB, принимая за единицу CD, то, конечно, общая мера осталась бы та же самая, т. е. LD, но тогда отрезок LD был бы 1/27 долею единицы CD, т. е.

Выражение соотношения отрезков

Нахождение общей меры выполняется в таком порядке: укладываем меньший отрезок на большем, полученный остаток на меньшем, новый остаток на предыдущем и т. д., пока остатка не получится; последний остаток и является общею мерою двух данных отрезков.

Следует заметить, что найденная таким образом общая мера является наибольшею: всякая часть ее также будет общею мерою; например, если найденная общая мера укладывается 10 раз на AB и 27 раз на CD, то ее третья доля укладывается 30 раз на AB и 81 раз на CD.

166. Изложим теперь в общем виде ход мысли при решении задачи «найти отношение двух данных отрезков», допуская, что они имеют общую меру.

Длины отрезков

Пусть требуется найти CD/AB (чер. 183) или, что то же самое, измерить отрезок CD, принимая за единицу отрезок AB. Тогда находим согласно предыдущему общую меру отрезков CD и AB (согласно допущению это возможно) и рассуждаем теперь в общем виде: положим, что общая мера на отрезке AB укладывается n раз и на отрезке CD — m раз. Тогда общая мера равна 1/n доли единицы AB и таких долей в CD уложилось m. Следовательно,

Отношение длин отрезков

Последнее уравнение можно истолковать так: дробь m/n выражена в новой форме, в виде отношения отрезков CD и AB.

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

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

Два отрезка, имеющие общую меру, называются соизмеримыми, а неимеющие общей меры, называются несоизмеримыми.

167. Построим прямоугольный равнобедренный треугольник ABC (чер. 184); это построение легко выполняется: строим прямой угол B и на его сторонах откладываем произвольные, но равные отрезки BA = BC.

Построение прямоугольного равнобедренного треугольника

Станем искать общую меру между его гипотенузою AC и одним из катетов. Для этого надо сначала отложить, сколько возможно раз, катет AB на гипотенузе AC. Возникает вопрос, который надо решить рассуждением: сколько раз можно AB уложить на AC. Несомненно, можно один раз, ибо гипотенуза больше катета (п. 86), но двух раз уложить нельзя, так как мы знаем (п. 90), что AC < AB + BC или, в виду равенства AB = BC, AC < 2AB. Следовательно, катет AB укладывается на гипотенузе AC один раз с остатком. Чтобы найти остаток, построим дугу, принимая A за центр, радиусом = AB; тогда, называя чрез D точку пересечения дуги с гипотенузою AC, имеем AD = AB и, следовательно, остатком является отрезок DC. Теперь следует отрезок DC укладывать на катете AB, или, что то же самое, на катете BC (ведь BC = AB). Для этого из точки D строим DK ⊥ AD. Тогда 1) ∆DCK прямоугольный равнобедренный, так как ∠C является углом равнобедренного прямоугольного треугольника ABC, равен ½d, следовательно, и ∠K = ½d (так как сумма ∠C + ∠K должна равняться d). Следовательно, ∠C = ∠K, откуда KD = DC.

2) DK = KB, так как это суть отрезки касательных, проведенных к кругу через точку K (KB ⊥ AB, следовательно, KB есть касательная; так же и KD), ограниченные этою точкою K и точками касания (п. 139). Итак, имеем BK = KD = DC, т. е. на катете BC уложили один раз отрезок DC, после чего остается остаток KC, который служит гипотенузою прямоугольного равнобедренного треугольника KDC. Мы уже теперь, на основании исследования прямоугольного равнобедренного треугольника ABC, можем утверждать: 1) что катет DC этого треугольника уложится на KC один раз с остатком (следовательно, DC укладывается на BC два раза с остатком), 2) что после этого мы придем опять к тому же: этот остаток (CL) должно укладывать на катете DC прямоугольного равнобедренного треугольника KDC, и он, как мы уже знаем, уложится на DC два раза с остатком (CN), который в свою очередь уложится на CL два раза с остатком и т. д. Из этого мы видим, что наш процесс нахождения общей меры никогда не должен кончиться: всякий раз, отложив последний остаток один раз на предыдущем, мы придем опять к прямоугольному равнобедренному треугольнику, катет которого надо откладывать на гипотенузе, а мы знаем, что он уложится на гипотенузе еще один раз с остатком, — следовательно, всякий раз последний остаток укладывается в предыдущем два раза с остатком. Итак, общей меры нет, т. е.

Гипотенуза и катет равнобедренного прямоугольного треугольника несоизмеримы.

168. Целые и дробные числа вместе называются рациональными числами. Если мы хотим считать, что отношение двух отрезков y и x, т. е. символ y/x всегда равен числу, то рациональных чисел недостаточно, и математика расширяет понятие о числе 1) так, чтобы всегда можно было считать, что отношение двух отрезков равно числу: если отрезки соизмеримы, то отношение их равно какому-либо рациональному числу; если отрезки несоизмеримы, то условимся, что их отношение выражает собою какое-то новое число, которое назовем иррациональным.

1) Расширение понятия о числе проводится во всем курсе математики: первоначально мы имеем дело лишь с целыми числами; желание, чтобы действие деление всегда оказалось бы выполнимым, заставляет обобщать понятие о числе, – и мы вводим в семью чисел дробные числа; желание, чтобы вычитание оказалось всегда возможным, заставляет еще в семью чисел ввести отрицательные числа. Далее вводится еще иррациональные и мнимые числа. Каждое обобщение понятия о числе должно быть сделано так: 1) надо, чтобы все члены расширенной области чисел оказались равноправными; 2) надо, чтобы о каждой паре чисел можно было бы установить, равны ли они между собою, или одно из них больше другого (или меньше), причем должны иметь место аксиомы для понятий «равно», «больше» и «меньше» [a) если A = B, то и B = A; b) если A = B и B = C, то A = C; с) если A = B и B > C, то A > C]; 3) чтобы над любыми числами расширенной области можно было выполнять все действия, причем по возможности сохранились бы все законы действий.

Таким образом, на символ y/x, где y и x суть отрезки, мы всегда можем смотреть, как на число. Если это число мы назовем через k, то имеем

y/x = k или y = kx.

Мы сперва остановимся на первом из этих уравнений. Его можно понимать так:

Если даны два отрезка (напр., y и x), то всегда существует отношение этих отрезков, прямое и обратное (т. е. y/x и x/y), причем каждое отношение двух отрезков служит новою формою для выражения чисел: иногда оно выражает знакомы нам из курса арифметики рациональные числа, а иногда, если отрезки (y и x) несоизмеримы, выражает новое, иррациональное, число.

Все числа, и рациональные и иррациональные, обладают признаком равноправности: они выражаются в одной и той же форме, – в форме отношения двух отрезков.

169. О всяких двух данных рациональных числах мы можем узнать, равны ли эти числа, или одно из них больше другого. Теперь надо расширить это умение и научиться узнавать о всяких двух числах, будут ли они рациональны или иррациональны или одно из них рационально, а другое иррационально, равны ли эти числа или одно из них больше другого.

Так как каждое из тех чисел, с которыми мы имеем теперь дело, выражается отношением двух отрезков, то мы должны научиться применять понятия «больше», «меньше», «равно» к отношениям отрезков, подобно тому, как мы это умеем делать для рациональных чисел, для отрезков, для углов, для площадей, ограниченных прямыми линиями.

Для этой цели сперва рассмотрим ряд отношений с одинаковыми последующими членами, например:

y/x; y1/x; y2/x; …

Мы можем признать, что одно из этого ряда отношений равно, больше или меньше другого, смотря по тому, будет ли предыдущий член первого отношения равен, больше или меньше предыдущего члена второго, т. е

y1/x = y2/x, если y1 = y2
y1/x > y2/x, если y1 > y2
y1/x < y2/x, если y1 < y2

Ясно, что мы не впадаем здесь в противоречие с тем, как мы прилагаем понятия «равно», «больше» и «меньше» к рациональным числам: если отрезки y1 и y2 соизмеримы с x, то отношения y1/x и y2/x выражают рациональные числа, и ясно, что для них предыдущие условия справедливы.

170. Прежде чем перейти к случаю, когда у рассматриваемых отношений последующие члены различны, мы должны остановиться на следующем факте.

Несоизмеримые отрезки

Если имеем два несоизмеримых отрезка AB и CD (чер. 185), то можно построить два новых отрезка, удовлетворяющих условиям:

1) Оба они соизмеримы, например, с отрезком CD и один из них меньше отрезка AB, а другой больше.

2) Разность между ними равна любой доле, сколь угодно малой, отрезка CD.

Выберем, например, пятую долю отрезка CD. Тогда, чтобы построить два указанных отрезка, поступаем следующим образом (Здесь мы пользуемся едва уловимою, благодаря своей очевидности, аксиомою Архимеда: если отрезок a больше отрезка b, то всегда можно найти такое целое число n, чтобы было nb < a, но (n + 1)b > a): разделим отрезок CD на 5 равных частей и станем эту часть откладывать на отрезке AB, – пусть, например, она уложилась 8 раз с остатком KB, который, следовательно, < 1/5 CD; тогда получим отрезок AK, удовлетворяющий уравнению

AK = 8/5 CD      (1)

Отложив от K еще 1/5 долю CD, получим отрезок AL, о котором напишем

AL = 9/5 CD      (2)

Два полученных отрезка AK и AL и суть искомые:

1) Один из них AK < AB и другой AL > AB; оба они соизмеримы с CD, 2) разность между ними = 1/5 CD, т. е.

AL – AK = KL = 1/5 CD.

Отсюда мы получаем на основании п. 169: так как AB > AK, то AB/CD > AK/CD, но AK/CD = 8/5 [из равенства (1)], – следовательно, AB/CD > 8/5; так как AB < AL, то AB/CK < AL/CD, но AL/CD = 9/5 [из равенства (2)], – следовательно, AB/CD < 9/5.

Эти неравенства можно соединить вместе:

8/5 < AB/CD < 9/5,

т. е. нам удалось установить, что отношение наших двух несоизмеримых отрезков AB и CD (или равное ему иррациональное число) заключается между числами 8/5 и 9/5. Эти числа разнятся между собою на 1/5 (9/5 – 8/5 = 1/5), а, следовательно, отношение AB/CD разнится от одного из них меньше, чем на 1/5. Поэтому говорят, что узнали отношение AB/CD с точностью до 1/5.

Если бы мы разделили сначала отрезок CD на 10 равных частей, то также нашли бы два отрезка, соизмеримых с CD, между которыми заключается отрезок AB, причем разность между ними равнялась бы 1/10 CD. Тогда получили бы, например,

17/10 < AB/CD < 18/10.

Это неравенство можно было бы толковать так: нам удалось узнать отношение AB/CD с точностью до 1/10. Так же можно было бы узнать это отношение с точностью до 1/100, до 1/1000 и т. д.

Иногда даже пишут AB/CD = (прибл.) 17/10 или = (прибл.) 18/10.

171. Мы таким образом здесь научились находить рациональные числа, меньшие и большие отношении двух несоизмеримых отрезков. Легко теперь расширить это умение, а именно:

О всяком рациональном числе, целом или дробном, мы можем установить, равно ли оно отношению двух данных отрезков, или больше, или меньше его.

Пусть даны два отрезка AB и CD (чер. 185) и дано число p/q (например, 8/15). Мы можем разделить отрезок CD на q (на 15) равных частей и взять таких частей p (8); тогда получим отрезок = p/q CD (= 8/15 CD). Если этот отрезок окажется равным отрезку AB, то (п. 169) p/q = AB/CD (8/15 = AB/CD); если этот отрезок окажется меньше AB, то p/q < AB/CD (8/15 < AB/CD); если, наконец, этот отрезок окажется больше AB, то p/q > AB/CD (8/15 > AB/CD).

Добавление. Из предыдущего мы видим свойства, которыми должны обладать новые числа, введенные нами для выражения отношения двух несоизмеримых отрезков: 1) мы можем найти такое целое или дробное число, чтобы оно отличалось от нашего нового числа, выражающего отношение двух данных несоизмеримых отрезков, меньше чем на любую долю единицы (можно вычислять это новое число с любой точностью), но оно не может равняться никакому целому или дробному числу; 2) о всяком целом или дробном числе мы можем установить, больше ли оно или меньше нового числа, выражающего отношение двух данных несоизмеримых отрезков.

Можно, обобщая понятие о числе, не опираться на отрезки, но ввести иррациональные числа, как символы, которые указывали бы возможность как-либо обосновать два предыдущих свойства. Частным случаем иррациональных чисел являются те числа, которые вводятся в курс алгебры для того, чтобы считать символы √2, ∛4, √5 и т. п. за числа. Например, для √2 мы имеем, что он не может равняться ни целому, ни дробному числу, но

1,4 < √2 < 1,5
1,41 < √2 < 1,42 и т. д.

Эти равенства указывают возможность вычислить √2 с любою точностью. Кроме того, для всякого рационального числа можно установить, считать ли его больше или меньше √2, например, возьмем число 1,41423 и возведем его в квадрат – получим 2,0004465129, т. е. больше 2; поэтому 1,41423 > √2; возьмем еще число 1(1/3) и возведем его в квадрат, – получим Возведение 1(1/3) в квадрат, т. е. меньше 2; поэтому 1(1/3) < √2.

172. Можно приближенно вычислять отношение двух несоизмеримых отрезков и без уменья делить отрезок на равные части.

Отношение двух несоизмеримых отрезков

Пусть имеем 2 несоизмеримых отрезка AB и CD (чер. 186). Отложим меньший из них CD на AB, – пусть он отложится 3 раза с остатком KB; затем отложим KB на отрезке CD — пусть он уложится 1 раз с остатком LD; затем откладываем отрезок LD на KB, – пусть он уложится 3 раза с остатком MB. Этот процесс откладывания нового отрезка на предыдущем здесь никогда не кончится, так как отрезки AB и CD предполагаются несоизмеримыми. Но мы можем для приближенного вычисления отношения AB к CD принять, применяясь к чертежу 186, что остаток MB очень близок к отрезку LD и тогда счесть приблизительно, что LD укладывается на KB ровно 4 раза. Тогда имеем:

AB = 3CD + KB; CD = KB + LD; KB = (прибл.) 4LD.

Откуда

CD = (прибл.) 5LD и AB = (прибл.) 19LD.

Отсюда мы можем заключить, что

AB = (прибл.) 19/5 CD или AB/CD = (прибл.) 19/5.

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

Возможно было бы, если остаток MB оказался мал, вовсе пренебречь им и принять, что KB = (прибл.) 3LD; тогда получили бы другое приближенное значение для AB/CD.

Если бы мы продолжили дальше процесс отложения: отложили MB на LD (например, 1 раз с остатком), новый остаток на MB и т. д., то, прервав где-либо этот процесс и приняв, что один из остатков равен приблизительно последующему остатку, повторенному целое число раз, мы получили бы другое приближенное значение для AB/CD, более точное.

Теория непрерывных дробей могла бы дать указание, сколь далеко надо продолжить этот процесс, чтобы получить приближенное значение для нашего отношения с точностью, например, до 1/100.

173. Перейдем теперь к рассмотрению вопроса, как применять понятия «больше», «меньше» и «равно» к двум отношениям с различными последующими членами. Иногда удается воспользоваться арифметическими соображениями. Например, если мы получили AB/CD = 4/5 и A’B’/C’D’ = 4/5 (где AB, CD, A’B’ и C’D’ суть отрезки), то ясно, что AB/CD = A’B’/C’D’; также, если удалось узнать, что AB/CD = 2/3, а A’B’/C’D’ = 4/5, то, принимая во внимание, что 4/5 > 2/3 (4/5 = 12/15, 2/3 = 10/15), мы имеем AB/CD < A’B’/C’D’ или A’B’/C’D’ > AB/CD.

Но случай, когда возможно воспользоваться арифметикою, редки, и нам необходимо разобрать вопрос о равенстве или неравенстве двух отношений в предположении, что мы не знаем, какому именно числу равно каждое из них (а если AB и CD несоизмеримы, то символ AB/CD мы не всегда даже в состоянии заменить другим символом, выражающим то же число в арифметической форме).

Для выяснения вопроса обратимся сначала к арифметике. Пусть даны два числа 2/9 и 5/24; найти число большее одного из них и меньшее другого.

Для этого приведем наши дроби к общему знаменателю:

2/9 = 16/72 и 5/24 = 15/72.

Мы видим, что требуемое число нельзя найти в виде дроби со знаменателем 72. Поэтому, обращаясь к более мелким долям, получим: 2/9 = 32/144 и 5/24 = 30/144. Отсюда находим искомое число 31/144.

Далее, так как

2/9 = 48/216 и 5/24 = 45/216

то вот еще искомые числа: 46/216 и 47/216.

Раздробляя 2/9 и 5/24 в еще более мелкие доли, найдем, что искомых чисел бесконечно много. Возможность нахождения таких чисел имеет причиною, что 2/9 и 5/24 не равны (5/24 < 2/9). Если же нам даны два равных числа, хотя бы и в различной форме, напр., 5/8 и 10/16, то найти указанные числа невозможно.

Теперь нам числа даются в особой форме: в виде отношений отрезков. Мы не умеем изменить эту форму так, чтобы отношение двух отрезков оставалось равным самому себе, но чтобы последующий член сделался одинаковым с последующим членом другого отношения (так мы в арифметике поступаем с дробями с целью узнать, какая из них больше), но зато мы умеем (п. 171) всякое рациональное число сравнивать с отношением двух данных отрезков. Поэтому мы можем те заключения, какие вывели из решения предыдущей арифметической задачи, применить к сравнению двух отношений отрезков, независимо от того, соизмеримы ли или нет эти отрезки:

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

Если же, наоборот, удается найти такое рациональное число p, чтобы p было больше AB/CD, но чтобы p < A’B’/C’D’, то наши отношения AB/CD и A’B’/C’D’ не равны, а именно A’B’/C’D’ > AB/CD.

174. Мы можем простыми геометрическими построениями получить 2 пары отрезков, отношения которых равны между собою. Построим ∠A (чер. 187) и на одной его стороне отложим равные отрезки: AB = BC = CD, затем построим BB’ || CC’ || DD’; тогда, согласно п. 111, получим AB’ = B’C’ = C’D’. Теперь нетрудно составить несколько пар равных отношении: AB/BD = A’B’/B’D’ (каждое отношение = ½; общая мера отрезков AB и BD есть AB, а отрезков AB’ и B’D’ есть AB’) AC/AD = AC’/AD’ (каждое отношение = 2/3; общая мера для AC и AD есть также AB, а для AC’ и AD’ — также AB’) и т. п.

Параллельные отрезки

175. Можно обобщить предыдущий пример: построим ∠A (чер. 188) и пересечем его произвольно, не откладывая каких-либо равных отрезков, параллельными BD, CE, MN. Не окажется ли, что и здесь отношение каких-либо двух отрезков на одной стороне угла равным отношению соответствующих двух отрезков на другой стороне? Рассмотрим, напр., отношения BC/AB и DE/AD.

Угол и параллельные отрезки

Выберем самое большое число со знаменателем n, где n любое целое число, так, чтобы оно было меньше отношения BC/AB. Для этого разделим отрезок AB на n равных частей и станем эти части откладывать на отрезке BC; допустим, что их уложится m с остатком KC. Тогда имеем: BK < BC и, следовательно, BK/AB < BC/AB, но BK/AB = m/n; следовательно, m/n < BC/AB.

Построив ряд прямых параллельных BD и CE чрез концы отложенных n-ых долей AB, увидим, что этими прямыми отрезок AD разделится на n равных частей (п. 111) и таких частей на отрезке DE уложится m с остатком LE. Тогда DL < DE, и следовательно, DL/AD < DE/AD, но DL/AD = m/n. Отсюда заключаем, что число m/n меньше также и отношения DE к AD, т. е.
m/n < DE/AD.

Отсюда мы видим, что всякое число, меньшее одного из наших отношений, должно быть меньше другого. Мы говорим «всякое число» потому, что число n мы можем выбрать каким угодно, а числитель дроби m/n мы брали так, чтобы получилась наибольшая дробь со знаменателем n, меньшая отношения BC/AB.

[ Точно так же можно увидать, что всякое число, большее первого отношения, должно быть больше и второго, для этого надо рассмотреть наименьшее число со знаменателем n, большее отношения BC/AB, а для этого надо от точки K отложить одну n-ую долю AB, до точки K’. Тогда BK’ > BC и, следовательно, BK’/AB > BC/AB’, но BK’/AB = (m+1)/n, следовательно,

(m + 1)/n > BC/AB.

Построив чрез K’ прямую K’L’ || CE, найдем на другой стороне угла точку L’ так, что DL’ > DE и, следов., DL’/AD > DE/AD, но DL’/AD = (m + 1)/n. Поэтому

(m + 1)/n > DE/AD.

Итак, даже наименьшая из дробей со знаменателем n, которая больше отношения BC/AB, оказывается больше, чем и отношение DE/AD. ]

Отсюда общее заключение: нельзя найти такого числа, которое было бы меньше одного из отношений BC/AB и DE/AD и в то же время больше другого из них; следовательно, признак равенства двух отношений (п. 173) оправдывается, т. е.

BC/AB = DE/AD.

Если оказалось бы, что n-ая доля AB уложилась на BC m раз без остатка, то тогда BC/AB = m/n и при помощи параллельных увидим, что и DE/AD = m/n, т. е. и здесь оправдалось бы вышенаписанное равенство.

Мы могли бы взять также на первой стороне отрезок AC и на другой — ему соответствующий отрезок AE.

Тогда, рассматривая отношения AC/AB и AE/AD, мы увидали бы, что наибольшее число со знаменателем n, которое меньше отношения AC/AB, есть (m + n)/n и оно, как легко видеть, меньше также и отношения AE/AD. [ Точно так же наименьшее число (m + n + 1)/n со знаменателем n, больше первого отношения, оказывается больше и второго.] Отсюда заключаем, что

AC/AB = AE/AD.

Так же точно можно выяснить и следующие равенства:

AB/BC = AD/DE, AC/BC = AE/DE, AB/AC = AD/AE, BC/AC = DE/AE.

Для выяснения этих равенств надо поступать так же, как выше, но делить на n равных частей не отрезок AB, но BC и затем AC. Каждое из полученных равенств называется пропорциею.

Если построить еще MN || CE, то легко распространить тем же способом полученный результат и на новые отрезки. Тогда, напр., получим BC/CM = DE/EN и т. д.

Отсюда имеем:

Если стороны угла пересечь параллельными, то отношение двух каких-либо отрезков на одной стороне угла равно отношению двух соответствующих отрезков на другой стороне угла.

То же свойство выражают короче:

Если стороны угла пересечь параллельными, то отрезки на одной стороне угла пропорциональны соответствующим отрезкам на другой.

Слово «пропорциональны» надо понимать в том смысле, что отношение всякой пары отрезков на одной стороне равно отношению соответствующей пары отрезков на другой.

Это определение пропорциональности совпадает с тем, которое известно из арифметики. В самом деле, возьмем одну из наших пропорций, напр.,

AB/BC = AD/DE.

Отсюда легко увидать: 1) если AB > BC, то и AD > DE, т. е. с увеличением одной величины — отрезки на каждой прямой можно рассматривать, как величину — другая также увеличивается: 2) если, напр., AB = 3BC, то AB/BC = 3 и, следовательно, AD/DE = 3, откуда AD = 3DE, т. е., если одна величина увеличивается в несколько раз, то и другая увеличивается во столько же раз.

Пропорциональные отрезки

176. Пусть теперь ∠A (чер. 189) пересечен не параллельными прямыми BC и DE. Сравним, напр., отношения AD/AB и AE/AC. Построим DF || BC и разделим AC на такие равные части, чтобы каждая из них была меньше отрезка FE, и станем эти части откладывать на отрезке CE. Тогда конец хотя бы одной такой части попадет куда-либо между точками F и E (ибо каждая часть < FE), – пусть K есть конец одной из таких частей. Положим, что пришлось AC разделить на n равных частей и что таких частей от A до K уложилось m. Тогда

AK/AC = дроби m/n, но AK/AC < AE/AC

(ибо последующие члены одинаковы, а AK < AE), следовательно,

дробь m/n < AE/AC.

Построив через концы отложенных частей ряд параллельных (на чертеже даны пунктиром), последнею из которых есть KK’, мы увидим, что точка K’ придется вне отрезка AD, что AB разделится на n равных частей и что таких частей на AK’ уложится m. Поэтому

AK’/AB = дроби m/n, но AK’/AB > AD/AB

(ибо последующие члены одинаковы, а AK’ > AD), следовательно,

дробь m/n > AD/AB.

Мы видим, что здесь удалось найти дробь, которая меньше одного из отношений и больше другого; поэтому наши отношения не равны, а именно AD/AB < AE/AC.

Добавление. При нашем способе построения отрезков и при том порядке, в каком мы их берем для составления отношений, то из двух отношений оказывается меньше, члены которого расположены на стороне угла, более близкой к точке пересечения непараллельных BC и DE.

Если рассматривать отношения, обратные предыдущим, т. е. AB/AD и AC/AE, то имели бы, что AB/AD > AC/AE, т. е. то отношение было бы больше, члены которого располагаются на прямой, более близкой к точке пересечения прямых BC и DE.

177. Предыдущими признаками можно пользоваться для узнавания, равно ли отношение одной пары отрезков отношению другой пары. Пусть, напр., имеем 4 отрезка a, b, c и d (чер. 190). Узнаем, равно ли отношение отрезка a к отрезку b (т. е. a/b) отношению отрезков c и d (т. е. c/d). Для этой цели построим какой-либо ∠O и на его сторонах построим отрезки OA = a, OB = b, OC = c и OD = d. Построим затем прямые AC и BD: если AC || BD, то a/b = c/d, если AC не || BD, то a/b не равно c/d (если, например, как то приблизительно имеет место на чертеже, прямые AC и BD пересекаются в какой-либо точке, более близкой к OD, чем к OB, то c/d > a/b).

Сравнение отношений отрезков

Добавление. Пусть оказалось, что AC || BD. Тогда a/b = c/d или b/a = d/c или, на основании п. 175, (b – a)/b = (d – c)/d (т. е. AB/OB = CD/OD) и т. п.

178. Если 4 данных отрезка a, b, c и d таковы, что, напр., a/b = c/d, то эти 4 отрезка составляют пропорцию, или мы имеем 4 пропорциональных отрезка. Пропорции, членами которых являются отрезки, обладают свойствами, сходными со свойствами пропорций, членами которых служат числа. Покажем, напр., что в пропорции

a/b = c/d      (1)

где a, b, c и d суть отрезки, можно переставлять средние члены, т. е., что из предыдущей пропорции вытекает другая, а именно

a/c = b/d      (2)

Для этого на сторонах угла O (чер. 191) отложим члены пропорции (1): OA = a, OB = b, OC = c и OD = d и построим прямые AC и BD.

Пропорции отрезков

Так как пропорция (1) справедлива, то AC || BD. Отложим еще: OC’ = OC = c, OD’ = OD = d, OB’ = OB = b, и построим прямые AB’, DC’, D’B’ и D’C.

Тогда будем иметь ∠OCA = ∠ODB (ибо AC || BD) = ∠OD’B’ (ибо ∆OBD = ∆OB’D’ — у этих треугольников OB’ = OB, OD’ = OD и ∠O общий). Отсюда следует, что ∠ACB’ + ∠AD’B’ = 2d (ибо ∠AD’B’ = ∠OCA), т. е. около четырехугольника ACB’D’ можно описать круг (этот круг на чертеже не дан). Поэтому углы CAB’ и CD’B’ суть углы, вписанные в этот круг и опирающиеся на одну и ту же дугу CB’, откуда заключаем, что ∠CA’ = ∠CD’B’, но ∠CD’B’ = ∠C’DB, ибо ∆CD’B’ = ∆C’DB (из равенства ∆OBD и ∆OB’D’ вытекает, что BD = B’D’; также из равенства ∆OCD’ и ∆OC’D вытекает, что DC’ = D’C и, наконец, BC’ = B’C, ибо BC’ = OB – OC’, а B’C = OB’ – OC), следовательно, ∠CAB’ = ∠C’DB. Теперь ∠CB’A является внутренним углом ∆CAB’, а ∠OCA есть внешний угол для этого же треугольника.

Поэтому ∠CB’A или ∠OB’A = ∠OCA – ∠CAB’.

Далее непосредственно видим ∠ODC’ = ∠ODB – ∠C’DB.

Но мы видели, что ∠OCA = ∠ODB и ∠CAB’ = ∠C’DB, откуда следует, что ∠OB’A = ∠ODC’, т. е., что AB’ || C’D.

Поэтому имеем право написать пропорцию

OA/OC’ = OB’/OD или a/c = b/d,

что и доказывает возможность переставлять средние члены пропорции. (Это доказательство заимствовано из D. Hilbert. Grundlagen der Geometrie.)

179. Чтобы лучше усвоить мысль, выраженную в п. 173, рассмотрим здесь еще пример.

Сравнение отношения наклонных с отношением их проекций

Пусть (чер. 192) через точку A построены: AB ⊥ BD и наклонные AC и AD. Сравним отношение наклонных с отношением их проекций, т. е. AC/AD с BC/BD. Построим прямую CE || BA; затем разделим AD (большую наклонную) на столько равных частей, чтобы каждая часть была меньше разности между AC и AE (AC > AE, что видно из ∆ACE, где ∠E тупой). Называя это число равных частей, на которые делим AD, через n, имеем:

AC – AE > 1/n AD.

Поэтому, если на AC укладывается таких частей m с остатком, то на AE их уложится по крайней мере на одну меньше, т. е. m таких частей составят отрезок больший, чем AE.
Разделив AD на указанные равные части, мы найдем отрезок AK, больший чем AE и равный m/n AD. Построив через точки деления ряд параллельных перпендикуляру AB, найдем, что BD разделится на n равных частей и получим отрезок BL = m/n BD, причем BL > BC. Итак, имеем:

BL = m/n BD, или BL/BD = m/n

но BC < BL, поэтому BC/BD < BL/BD, или

дробь m/n > BC/BD.

Согласно условию на наклонной AC тех частей, на которые разделена AD, укладывается m с остатком, т. е.

AC > m/n AD или AC/AD > m/n или дробь m/n < AC/AD.

Итак, нам удалось найти такое число m/n, что оно больше отношения проекций (BC/BD), и меньше отношения наклонных (AC/AD), откуда заключаем, что

AC/AD > BC/BD.

(Отношение наклонных больше отношения их проекций).

Пусть на числовой оси G_n, ~n=1,2,... задано некоторое множество промежутков G_n, ~n=1,2,..., удовлетворяющих условию

    [G_1supset G_2 supset ...supset G_n supset ...]

Такое множество называют системой вложенных промежутков.

Множество, состоящее из всех точек, принадлежащих каждому из множеств ~G_n~, называется пересечением множеств bigcaplimits_{n} G_n и обозначается bigcaplimits_{n} G_n.

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

Теорема. Для любой системы [a_1,~b_1]supset [a_2,~b_2]supset...supset[a_n,~b_n] supset... вложенных отрезков ~[xi,~eta] существует отрезок ~G, принадлежащий всем отрезкам системы ~G.

Доказательство. Пусть ~F={b_n}- множество левых и ~G множество правых концов отрезков системы ~[a_n,~b_n]supset [a_m,~b_m]~. Для любых двух отрезков ~G~ системы ~a_nleq a_mleq b_m leq b_n имеем ~m~, так что для любых номеров ~n~ и ~a_mleq b_n exists ~[xi=sup~E]&[eta=inf~F]. Из 6.3 (2) следует, что ~xileq eta, причем ~[a_n, b_n]in G. Для любого a_nleqxileqetaleq b_nимеем [a_n, b_n]supset [xi,eta], так что bigcaplimits_{n} [a_n,~b_n]supset [xi,~eta], откуда и ~bigcaplimits_{n} [a_n,b_n]~. Нетрудно убедиться, что ~[xi,~eta] состоит только из точек отрезка ~x~: для любой точки ~[xi,~eta], не принадлежащей отрезку x<xi, например, для ~a_n, найдется левый конец x < a_nleq xi=sup{a_n}, для которого ~x~, и, следовательно, ~[a_n,~b_n] не принадлежит соответствующему отрезку ~xi=eta. Если ~[xi,~eta], то, говоря об отрезке ~xi=eta, подразумевают точку ~xi=eta.

Теорема. Пересечение системы ~epsilon>0~ вложенных отрезков состоит из одной единственной точки тогда и только тогда, когда для любого ~G~ в системе ~[a_n,~b_n]~ имеется отрезок ~b_n-a_n< epsilon длины ~b_n-a_n< epsilon.

Доказательство. По принципу Кантора пересечением отрезков системы ~[xi,~eta] является отрезок ~xi=eta, который сводится к одной точке, если ~xi neq eta. Если ~[a_n,~b_n]supset [xi,~eta]~, то длина каждого отрезка ~G~ системы ~eta-xi не меньше, чем ~G~; поэтому если в системе ~G~ имеются отрезки произвольно малой длины, то их пересечением является одна точка.

Обратно, поскольку

    [eta=in f{b_n|~[a_n,~b_n]in G}, ~~xi=sup{a_n|~[a_n,~b_n]in G},]

в системе ~epsilon>0~ для заданного ~[a_p,~b_p] есть отрезок ~a_p>xi-epsilon/2, для которого ~[a_q,~b_q], и отрезок ~b_q<eta+epsilon/2, для которого ~[a_p,~b_p]supset [a_q,~b_q]. Если, например, ~[a_p,~b_p]supset [a_q,~b_q], то мы имеем

    [a_qgeq a_p>xi-epsilon/2, ~~b_q<eta+epsilon/2.]

Если ~b_q-a_q<epsilon, то ~G~, так что в системе ~l<epsilon имеется отрезок длины ~l<epsilon, и теорема доказана.



Понравилась статья? Поделить с друзьями:
  • Как найти приколы для ватсап
  • Как найти дор в поиске
  • Фразеологизм как найти в тексте огэ
  • Как найти сопротивление фигуры
  • Как найти госномер по стс