Что называется отношением двух отрезков геометрия
Что называется отношением двух отрезков?
Вспомним общие термины:
Соответственно, можно понять, что отношением двух отрезков называется результат деления одного отрезка на другой. Благодаря отношению отрезков, во сколько раз один отрезок больше/меньше другого.
Здесь нужно оговориться, что эти отрезки должны иметь длины в одних и тех же единицах измерения, например, сантиметрах. В ином случае, отношение найти не получится и оно не будет иметь смысла. Нужно будет перевести длины в одинаковые единицы измерения.
Пример
Отрезок AB = 5 см. Отрезок CD = 20 мм.
Переведём миллиметры в сантиметры: 20 мм = 2 см.
Теперь можно найти отношение: AB/CD = 5/2 = 2,5.
Значит, отрезок AB больше отрезка CD в 2,5 раз.
Отношением двух отрезков называется отношение тех чисел, которые выражают длины этих отрезков при условии, что отрезки измерены единицами одного наименования.
В арифметике отношением одного числа к другому называется частное от деления первого числа на второе, поэтому можно сказать, что отношением одного отрезка к другому является частное от деления длины первого отрезка на длину второго, если длины отрезков выражены в единицах одного наименования.
Если даны два отрезка АВ = 6 см и СD = 4 см, то отношение отрезка АВ к отрезку СD равно АВ/СД=6/4=1,5.
В этом случае делимое (АВ) называется предыдущим членом отношения,
делитель (СD) — последующим членом отношения, а частное (1,5) — отношением.
Берём циркуль с раствором больше половины длины отрезка (определяется визуально). В крайнем случае, если лень напрягать глазомер, за радиус циркуля можно взять и длину исходного отрезка. Затем устанавливаем конец циркуля с иглой сначала в один конец отрезка и проводим дугу другим концом циркуля так, чтобы дуга и отрезок были с одной стороны (будет или пересечение внутри отрезка, или дуга пройдёт через другой конец, если радиус равен длине отрезка). Такое же построение проводим и для другого конца. Через точки пересечения дуг проводим прямую. Она разделит данный отрезок на два равных отрезка. В этом построении мы не только разделили отрезок пополам, но и построили прямую перпендикулярную отрезку (серединный перпендикуляр). Аналогично можно разделить пополам и получившиеся отрезки. В результате получим деление данного отрезка на 4 равных части.
Но в последнем примере потребуется ещё строить параллельные прямые. Но это тоже конструктивная задача, которую можно решить с помощью циркуля и линейки без делений.
Поэтому предпочтительнее первый способ. Но достоинство второго метода в том, что можно делить не только на 4 части, но и на любое количество равных частей.
Что называется отношением двух отрезков геометрия
ПРОПОРЦИОНАЛЬНОСТЬ ОТРЕЗКОВ. ПОДОБИЕ ФИГУР.
§ 82. ОТНОШЕНИЕ ОТРЕЗКОВ.
Отношением двух отрезков называется отношение тех чисел, которые выражают длины этих отрезков при условии, что отрезки измерены единицами одного наименования.
В арифметике отношением одного числа к другому называется частное от деления первого числа на второе, поэтому можно сказать, что отношением одного отрезка к другому является частное от деления длины первого отрезка на длину второго, если длины отрезков выражены в единицах одного наименования.
Отношение одного отрезка к другому обычно изображается в виде частного (дроби): AB /CD.
Если даны два отрезка АВ = 6 см и СD = 4 см, то отношение отрезка АВ к отрезку СD равно 6 /4, т. е.
В этом случае делимое (АВ) называется предыдущим членом отношения,
делитель (СD) — последующим членом отношения, а частное (1,5) — отношением.
Отношение отрезка СD к отрезку АВ равно 4 /6, т. е.
Если длины отрезков выражены приближённо, то отношение тоже получится приближённым.
2. Независимость отношения от принятой единицы измерения.
Пусть мы имеем два отрезка, длины которых выражены в метрах. Например: АВ = 6 м, ОС = 2 м. Найдём их отношение:
Изменится ли величина отношения, если мы длины этих отрезков выразим в других мерах, например в сантиметрах? Тогда АВ = 600 см, ОС = 200 см. Найдём их отношение:
Отношение отрезков в том и другом случае не изменилось, так как для выражения длин отрезков в сантиметрах мы оба члена отношения АВ и ОС умножили на одно и то же число (на 100). Значит, отношение отрезков не зависит от выбора единиц измерения.
Необходимо лишь, чтобы длины обоих отрезков были выражены мерами одного и того же наименования.
1. Найти отношение отрезков AВ и СD при условии, если:
а) АВ = 12см, СD = 3 см;
б) АВ = 2 м; СD = 80 см.
2. Найти отношение отрезков АВ и СD с точностью до 0,1 и 0,01 при условии, если:
а) АВ = 7 см, СD = 3 см;
б) АВ = 13 см, СD = 7 см.
51. Планиметрия 
Читать 0 мин.
Читать 0 мин.51.506. Отношения
Зачастую в геометрических задачах в условии даются отношения отрезков и площадей или отношение отрезков нужно найти. Существует ряд теорем и свойств фигур и их элементов, в которых так или иначе используются отношения.
ОТНОШЕНИЯ ОТРЕЗКОВ:
1. Все медианы треугольника пересекаются в одной точке и точкой пересечения делятся в отношении 2 к 1, считая от вершины: AO : AM = 2 : 1.
4. Диагонали параллелограмма точкой пересечения делятся пополам.
Произвольный параллелограмм или ромб:
Прямоугольник или квадрат:
ОТНОШЕНИЯ ПЛОЩАДЕЙ:
2. Треугольник делится тремя медианами на шесть равновеликих треугольников:
ЛЕММЫ О ПЛОЩАДЯХ ТРЕУГОЛЬНИКА:
Площади подобных фигур относятся как квадрат коэффициента подобия.
Если стороны треугольников с общей вершиной лежат на одной прямой, то их площади относятся как основания.
Если два треугольника имеют общую сторону, то их площади соотносятся как длины отрезков BE и OE.
Если два треугольника имеют общий угол, то их площади соотносятся как произведения соответствующих сторон, прилежащих к этому углу.
Лемма 4 применима даже в том случае, если точки нового треугольника были взяты не на сторонах, а на продолжениях сторон. Пусть точка Е лежит на продолжении стороны AB за вершину В.
Математика
164. Если нам дано уравнение
мы можем найти бесчисленное множество решений этого уравнения: можно принять x равным любому числу (например, 0; 1; 2; 
и т. д.); тогда найдем соотв. число для y (0; 3; 6; 
и т. д.).
Данное уравнение можно еще написать в виде
(2)
Пусть теперь требуется построить два отрезка таких, чтобы они удовлетворяли уравнению (1). Эта задача также легко решается: построим (чер. 179) произвольный отрезок x и затем на какой-либо прямой отложим от какой-либо ее точки этот отрезок 3 раза, – получим искомый отрезок y. Таких пар отрезков, удовлетворяющих уравнению (1), можно найти бесчисленное множество. Принято и в том случае, когда x y в уравнении (1) означают не числа, а отрезки, писать это уравнение не только в виде уравнения (1), но и в форме уравнения (2), хотя мы и не умеем делить отрезок y на отрезок x. Можно смотреть на уравнение (2) с той точки зрения, что здесь дается новая форма для выражения числа 3: число 3 здесь представлено в виде символа 
, где y и x отрезки. Этот символ называется отношением отрезка y к отрезку x.
Подобно этому, можно также решить отрезками уравнение 
(см. чер. 180), для чего надо лишь умение делить любой отрезок на сколько угодно равных частей. Так же точно, согласно предыдущему условию, мы можем, понимая под y и x отрезки, написать наше уравнение в виде 
, которое прочтем: «отношение отрезка y к отрезку x равно числу 
. На последнее уравнение можно также смотреть, как на новую форму выражения числа . Из этих примеров можно прийти к общему заключению:
всякое целое или дробное число можно представить в форме отношения двух отрезков.
165. Возникает мысль о задаче, обратной тем, какие решались в предыдущем п., т. е.: даны два отрезка A и B (чер. 181); требуется для них составить уравнение вида A = k · B или A/B = k, где k — какое-либо число.
Если действительно удастся составить такое уравнение, если, напр., получим A = 37B или получим 
, то мы видим, что решение этой задачи должно основаться на существовании такого третьего отрезка, который укладывается на каждом из данных по целому числу раз; в примере A = 37B таким отрезком является сам B: он укладывается 37 раз на отрезке A и 1 раз на самом себе; во втором примере () таким отрезком является отрезок, равный 
части отрезка B: он укладывается 39 раз на отрезке A и 29 раз на отрезке B.
общею мерою двух отрезков такой третий отрезок, который укладывается по целому числу раз на каждом из данных отрезков.
В первом из предыдущих примеров (A = 37B) общею мерою отрезков A и B служит сам отрезок B: он укладывается 37 раз на A и один раз на 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, подобно тому, как запись:
«Высота дерева равна 
аршина» понимают в том смысле, что высота дерева (отрезок) измерена аршином и получилось число .
Если бы, наоборот, нам потребовалось найти 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 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), то всегда существует отношение этих отрезков, прямое и обратное (т. е. y/x и x/y), причем каждое отношение двух отрезков служит новою формою для выражения чисел: иногда оно выражает знакомы нам из курса арифметики рациональные числа, а иногда, если отрезки (y и x) несоизмеримы, выражает новое, иррациональное, число.
Все числа, и рациональные и иррациональные, обладают признаком равноправности: они выражаются в одной и той же форме, – в форме отношения двух отрезков.
169. О всяких двух данных рациональных числах мы можем узнать, равны ли эти числа, или одно из них больше другого. Теперь надо расширить это умение и научиться узнавать о всяких двух числах, будут ли они рациональны или иррациональны или одно из них рационально, а другое иррационально, равны ли эти числа или одно из них больше другого.
Так как каждое из тех чисел, с которыми мы имеем теперь дело, выражается отношением двух отрезков, то мы должны научиться применять понятия «больше», «меньше», «равно» к отношениям отрезков, подобно тому, как мы это умеем делать для рациональных чисел, для отрезков, для углов, для площадей, ограниченных прямыми линиями.
Для этой цели сперва рассмотрим ряд отношений с одинаковыми последующими членами, например:
Мы можем признать, что одно из этого ряда отношений равно, больше или меньше другого, смотря по тому, будет ли предыдущий член первого отношения равен, больше или меньше предыдущего члена второго, т. е
y1/x = y2/x, если y1 = y2
y1/x > y2/x, если y1 > y2
y1/x 1) Оба они соизмеримы, например, с отрезком CD и один из них меньше отрезка AB, а другой больше.
2) Разность между ними равна любой доле, сколь угодно малой, отрезка CD.
Выберем, например, пятую долю отрезка CD. Тогда, чтобы построить два указанных отрезка, поступаем следующим образом (Здесь мы пользуемся едва уловимою, благодаря своей очевидности, аксиомою Архимеда: если отрезок a больше отрезка b, то всегда можно найти такое целое число n, чтобы было nb a) : разделим отрезок CD на 5 равных частей и станем эту часть откладывать на отрезке AB, – пусть, например, она уложилась 8 раз с остатком KB, который, следовательно, AB; оба они соизмеримы с CD, 2) разность между ними = 1/5 CD, т. е.
Отсюда мы получаем на основании п. 169: так как AB > AK, то AB/CD > AK/CD, но AK/CD = 8/5 [из равенства (1)], – следовательно, AB/CD > 8/5; так как AB О всяком рациональном числе, целом или дробном, мы можем установить, равно ли оно отношению двух данных отрезков, или больше, или меньше его.
Пусть даны два отрезка 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).
Добавление. Из предыдущего мы видим свойства, которыми должны обладать новые числа, введенные нами для выражения отношения двух несоизмеримых отрезков: 1) мы можем найти такое целое или дробное число, чтобы оно отличалось от нашего нового числа, выражающего отношение двух данных несоизмеримых отрезков, меньше чем на любую долю единицы (можно вычислять это новое число с любой точностью), но оно не может равняться никакому целому или дробному числу; 2) о всяком целом или дробном числе мы можем установить, больше ли оно или меньше нового числа, выражающего отношение двух данных несоизмеримых отрезков.
Можно, обобщая понятие о числе, не опираться на отрезки, но ввести иррациональные числа, как символы, которые указывали бы возможность как-либо обосновать два предыдущих свойства. Частным случаем иррациональных чисел являются те числа, которые вводятся в курс алгебры для того, чтобы считать символы √2, ∛4, √5 и т. п. за числа. Например, для √2 мы имеем, что он не может равняться ни целому, ни дробному числу, но
Эти равенства указывают возможность вычислить √2 с любою точностью. Кроме того, для всякого рационального числа можно установить, считать ли его больше или меньше √2, например, возьмем число 1,41423 и возведем его в квадрат – получим 2,0004465129, т. е. больше 2; поэтому 1,41423 > √2; возьмем еще число 
и возведем его в квадрат, – получим 
, т. е. меньше 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 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 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+1)/n, следовательно,
Построив чрез K’ прямую K’L’ || CE, найдем на другой стороне угла точку L’ так, что DL’ > DE и, следов., DL’/AD > DE/AD, но DL’/AD = (m + 1)/n. Поэтому
Итак, даже наименьшая из дробей со знаменателем n, которая больше отношения BC/AB, оказывается больше, чем и отношение DE/AD. ]
Отсюда общее заключение: нельзя найти такого числа, которое было бы меньше одного из отношений BC/AB и DE/AD и в то же время больше другого из них; следовательно, признак равенства двух отношений (п. 173) оправдывается, т. е.
Если оказалось бы, что 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, больше первого отношения, оказывается больше и второго.] Отсюда заключаем, что
Так же точно можно выяснить и следующие равенства:
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 и т. д.
Если стороны угла пересечь параллельными, то отношение двух каких-либо отрезков на одной стороне угла равно отношению двух соответствующих отрезков на другой стороне угла.
То же свойство выражают короче:
Если стороны угла пересечь параллельными, то отрезки на одной стороне угла пропорциональны соответствующим отрезкам на другой.
Слово «пропорциональны» надо понимать в том смысле, что отношение всякой пары отрезков на одной стороне равно отношению соответствующей пары отрезков на другой.
Это определение пропорциональности совпадает с тем, которое известно из арифметики. В самом деле, возьмем одну из наших пропорций, напр.,
176. Пусть теперь ∠A (чер. 189) пересечен не параллельными прямыми BC и DE. Сравним, напр., отношения AD/AB и AE/AC. Построим DF || BC и разделим AC на такие равные части, чтобы каждая из них была меньше отрезка FE, и станем эти части откладывать на отрезке CE. Тогда конец хотя бы одной такой части попадет куда-либо между точками F и E (ибо каждая часть AD/AB
(ибо последующие члены одинаковы, а AK’ > AD), следовательно,
Мы видим, что здесь удалось найти дробь, которая меньше одного из отношений и больше другого; поэтому наши отношения не равны, а именно AD/AB 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 суть отрезки, можно переставлять средние члены, т. е., что из предыдущей пропорции вытекает другая, а именно
Для этого на сторонах угла 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 укладывается таких частей 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
Согласно условию на наклонной AC тех частей, на которые разделена AD, укладывается m с остатком, т. е.
AC > m/n AD или AC/AD > m/n или дробь m/n BC/BD.
(Отношение наклонных больше отношения их проекций).