WWW.DISSERS.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА

   Добро пожаловать!

Pages:     | 1 |   ...   | 21 | 22 || 24 | 25 |   ...   | 76 |

Окружность с центром (x, y) и радиусом r должна быть касательной к трем данным окружностям. Во всей процедуре решения участвуют только рациональные операции и извлечение квадратного корня. Отсюда следует, что построение x, y и r может быть выполнено с помощью только циркуля и линейки.

В общем случае будет иметься 8 решений проблемы Аполлония в соответствии с возможными 2 · 2 · 2 = 8 комбинациями в выборе знаков + и - в уравнениях (1), (2) и (3); выбор же знаков надлежит делать в зависимости от того, какого рода касание — внешнее или внутреннее — желательно иметь по отношению к каждой из данных окружностей.

Вполне возможно, что наша алгебраическая процедура не приведет к действительным значениям x, y и r. Таков будет, например, случай, когда все три данные окружности — концентрические; тогда, очевидно, наша геометрическая задача не будет иметь ни одного решения. Следует также предвидеть возможность и случаев «вырождения»; например, если все три окружности «вырождаются» в точки, лежащие на одной прямой, тогда аполлониева окружность тоже «вырождается» в эту самую прямую. Мы не видим необходимости рассматривать вопрос во всех подробностях: это сделает сам читатель, если обладает некоторыми алгебраическими навыками.

§ 2. Числа, допускающие построение, и числовые поля 1. Общая теория. В предыдущем изложении мы постарались охарактеризовать общий, так сказать, алгебраический фон геометрических построений. Каждое геометрическое построение представляет ряд последовательных этапов из числа следующих: 1) проведение прямой линии через две точки, 2) нахождение точки пересечения двух прямых, 3) проведение окружности с данным центром и радиусом, 4) нахождение точки пересечения окружности с другой окружностью или прямой линией. Элемент (точка, прямая, окружность) считается известным в том случае, если он задается условием задачи или если он построен на предыдущей стадии задачи. Проводя теоретический анализ задачи, мы относим всю рассматриваемую конструкцию к некоторой координатной системе x, y (см. стр. 92). Тогда заданные элементы изображаются в виде точек или отрезков в плоскости x, y. Если задан только один отрезок, его можно принять в качестве единичного, в результате чего 154 ГЕОМЕТРИЧЕСКИЕ ПОСТРОЕНИЯ гл. III фиксируется точка x = 1, y = 0. Иногда в процессе построения возникают произвольные элементы: проводятся произвольные прямые, строятся произвольные точки или круги. (Пример произвольного элемента мы имеем при нахождении середины отрезка: мы проводим два круга с центрами в концах отрезка и с одинаковыми, но произвольными радиусами, затем соединяем точки их пересечения.) В подобных случаях всегда можно считать произвольный элемент рациональным: произвольную точку можно выбрать так, чтобы у нее были рациональные координаты, произвольную прямую ax + by + c = 0 так, чтобы у нее были рациональные коэффициенты a, b, c, произвольный круг — так, чтобы рациональными были координаты центра и радиус. Мы условимся, что если в построении участвуют произвольные элементы, мы будем выбирать их рациональными: раз эти элементы в самом деле произвольны, такой выбор не повлияет на результат построения.

Ради простоты допустим в ближайшем рассуждении, что в условии задачи задается только один элемент — отрезок длины 1. Тогда в соответствии с результатами § 1 мы можем построить с помощью циркуля и линейки все числа, получающиеся из единицы посредством рациональных r операций, т. е. рациональные числа, где r и s — целые числа. Система s рациональных чисел «замкнута» по отношению к рациональным операциям: сумма, разность, произведение, частное (исключая, как всегда, деление на 0) двух рациональных чисел снова являются рациональными числами. Всякое множество чисел, обладающее таким свойством замкнутости по отношению к четырем рациональным операциям, мы назвали числовым полем (стр. 75).

Упражнение. Покажите, что каждое числовое поле во всяком случае содержит все рациональные числа. (Указание: если a есть какое-нибудь не a равное нулю число из поля F, то = 1 также принадлежит к F, а из 1 можно a получить все рациональные числа посредством рациональных операций.) Отправляясь от единицы, можно построить все рациональное числовое поле и, следовательно, все рациональные точки (т. е. точки, у которых обе координаты рациональны) в плоскости x, y. Дальше, с помощью циркуля можно построить новые, иррациональные числа вроде числа 2, которое, как мы знаем из главы II, § 2, находится уже за пределами рационального поля. Но построив 2, можно еще дальше с помощью «рациональных» построений (§ 1) получить все числа вида a + b 2, (1) где a и b рациональные и, следовательно, сами допускают построение.

Можно также построить и числа вида a + b или (a + b 2)(c + d 2), c + d § 2 ЧИСЛА, ДОПУСКАЮЩИЕ ПОСТРОЕНИЕ где a, b, c, d — рациональные. Однако эти числа всегда можно написать в форме (1). В самом деле, a + b 2 a + b 2 c - d 2 ac - 2bd bc - ad = = + 2 = p + q 2, · cc + d 2 c + d 2 c - d 2 - 2d2 c2 - 2dгде p и q рациональные. (Знаменатель c2 - 2d2 отличен от нуля, так как c из c2 - 2d2 = 0 следовало бы 2 =, что противоречит факту иррацио d нальности 2.) Точно так же (a + b 2)(c + d 2) = (ac + 2bd) + (bc + ad) 2 = r + s 2, где и s рациональные. Итак, все, что мы можем построить исходя r из 2, это числа вида (1), где a и b — произвольные рациональные числа.

Упражнение. Напишите в форме (1) числа p q pqr p - qr, p + p2, (p - p2),,, q r - r2 q + prгде положено p = 1 + 2, q = 2 - 2, r = -3 + 2.

Как показывает предшествующее рассуждение, числа (1) снова образуют поле. Это поле обширнее, чем поле рациональных чисел, и включает его как часть («подполе»). Но, конечно, новое поле менее обширно, чем поле всех действительных чисел. Обозначим через F0 поле рациональных чисел, а через F1 — поле чисел вида (1). Мы установили возможность построения каждого числа из «расширенного» поля F1.

Можно и дальше расширять область чисел, допускающих построение, например, таким образом: выберем число из поля F1, скажем k = 1 + 2, и, извлекая из него корень, получим новое допускающее построение число 1 + 2 = k.

Это число, в свою очередь, порождает (§ 1) поле, состоящее из всех чисел вида p + q k, (2) где p и q теперь уже числа из поля F1, т. е. вида a + b 2, где a, b из F0, т. е. рациональные.

Упражнение. Представьте числа 1 2 k + (1 + k) · (2 - k) 2 + 1 + ( k)2 k ( k)3,,, 1 + k ( k)3 - 3 1 + 3k в форме (2).

Все эти числа были построены в предположении, что первоначально был задан только один отрезок. Если задано два отрезка, то один из них можно принять за единичный. Предположим, что второй отрезок выражается через 156 ГЕОМЕТРИЧЕСКИЕ ПОСТРОЕНИЯ гл. III первый в виде числа. Тогда можно построить поле G, состоящее из всех чисел вида m m-am + am-1 +... + a1 + a, n n-bn + bn-1 +... + b1 + bгде a0,..., am и b0,..., bn — рациональные, a m и n — произвольные целые положительные числа.

Упражнение. Считая заданными отрезки 1 и, выполните построения для 2 1 + 1 + +,,.

1 - Будем исходить теперь из более общего предположения, что мы умеем строить все числа некоторого числового поля F. Убедимся, что применение одной линейки не выведет нас за пределы поля F. Уравнение прямой, проходящей через две точки с координатами a1, b1 и a2, b2 из поля F, имеет вид (b1 - b2)x + (a2 - a1)y + (a1b2 - a2b1) = 0 (см. стр. и далее); коэффициенты в этом уравнении рационально зависят от чисел из поля F и, следовательно, сами принадлежат полю F. Далее, если у нас имеются две прямые x + y + = 0 и x + y + = 0 с коэффициентами из F, то координаты точки пересечения, получающиеся при решении системы этих уравнений, суть - - x =, y =.

- - Так как и они тоже являются числами из F, то ясно, что применение одной только линейки не выведет нас за пределы F.

Упражнение. Прямые x + 2y - 1 = 0, 2x - y + 2 = 0 имеют коэффициенты, принадлежащие полю (1). Вычислите коэффициенты точки их пересечения и проверьте, что они также вида (1); соедините точки (1, 2) и ( 2, 1 - 2) прямой линией ax + by + c = 0 и проверьте, что коэффициенты a, b, c имеют вид (1). То же сделйте по отношению к полю (2) для прямых 1 + 2x + 2y = 1, (1 + 2)x - y = 1 - 1 + и для точек ( 2, -1), (1 + 2, 1 + 2).

Но с помощью циркуля можно выбраться за пределы поля F. Для этой цели выберем в поле такое число k, что число k уже не будет F принадлежать F. Число k можно построить с помощью циркуля, так же как и все числа вида a + b k, (3) где a, b — произвольные числа из F. Сумма и разность двух таких чисел a + b k и c + d k, их произведение (a + b k)(c + d k) = (ac + kbd) + (ad - bc) k § 2 ЧИСЛА, ДОПУСКАЮЩИЕ ПОСТРОЕНИЕ и их отношение a + b k (a + b k)(c - d k) - kbd bc - ad ac = = + k c2 - kd2 c2 - kd2 c2 - kdc + d k — снова числа вида p + q k, где p и q принадлежат F. (Знаменатель c2 - kd2 не обращается в нуль, так как c и d одновременно не обращаются c в нуль: иначе мы получили бы k =, что противоречит допущению, d что k не принадлежит F.) Итак, множество чисел вида a + b k об разует некоторое поле F. Поле F включает поле F как «подполе» (достаточно положить b = 0). Будем называть F «расширенным» полем.

В качестве примера рассмотрим поле F чисел вида a + b 2, где a, b рациональные: возьмем k = 2. Тогда числа расширенного поля F имеют вид p + q 2, где p и q принадлежат F, p = a + b 2, q = a + b 2, a числа a, b, a, b — рациональные. Всякое число из F может быть записано в этой форме, например, 4 4 1 2 - 2 2 - 2 2 = = - = = 4 4 2 + 2 ( 2 + 2)( 2 - 2) 2 - 2 2 - 2 2 - 2(2 + 2) (2 + 2) 1 = - 2 = (1 + 2) - 1 + 2 2.

4 - 2 4 - 2 Упражнение. Пусть F есть поле p + q 2 + 2, где p, q — вида a + b 2, 1 + 2 + а числа a, b рациональные. Представьте в таком же виде.

2 - 3 2 + Мы убедились, что, отправляясь от некоторого поля F чисел, допускающих построение, и выбрав произвольное число k из этого поля, мы можем с помощью циркуля и линейки построить число k, а значит, и все числа вида a + b k, где a, b принадлежат F.

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

или найти точку пересечения окружности и прямой, или найти точку пересечения двух окружностей (то и другое равносильно построению координат точки пересечения). Окружность с центром (, ) и радиусом r имеет уравнение (x - )2 + (y - )2 = r2; поэтому, если,, r принадлежат F, то уравнение окружности, записанное в виде x2 + y2 + 2 x + 2 y + = 0, будет иметь коэффициенты,,, принадлежащие также F. Прямая линия ax + by + c = 0, соединяющая две точки с координатами F, имеет также коэффициенты из F (см. стр. 150). Исключая y из этих двух уравнений, мы получаем 158 ГЕОМЕТРИЧЕСКИЕ ПОСТРОЕНИЯ гл. III для координаты x точки пересечения окружности и прямой квадратное уравнение вида Ax2 + By + C = с коэффициентами A, B, C из F (именно, A = a2 + b2, B = 2(ac + b2 - ab ), C = c2 - 2bc + b2 ). Решение дается формулой -B ± B2 - 4AC x =, 2A которая имеет вид p + q k, где p, q, k принадлежат F. Такая же формула получается и для координаты y точки пересечения.

С другой стороны, если речь идет о двух окружностях x2 + y2 + 2 x + 2 y + = 0, x2 + y2 + 2 x + 2 y + = 0, то, вычитая одно уравнение из другого, мы получим линейное уравнение ( - )x + ( - )y + ( - ) = 0, которое можно решить совместно с одним из уравнений двух окружностей.

В обоих случаях построение дает нам обе координаты одной или двух новых точек, и эти новые величины имеют вид p + q k, причем p, q, k принадлежат F. В частности, k может сам оказаться принадлежащим F, например, если k = 4. Но, вообще говоря, этого не будет.

Упражнение. Рассмотрим окружность с центром в начале координат и радиусом 2 2 и прямую, соединяющую точки, 0, (4 2, 2). Определите поле F, порождаемое точками пересечения окружности и прямой. Сделайте то же по отношению к точкам пересечения данной окружности с окружно стью, у которой радиус равен, а центр есть (0, 2 2).

Подведем еще раз итоги. Отправляясь от некоторых заданных величин (отрезков или чисел), с помощью одной только линейки мы можем построить все величины из поля F, порождаемого данными величинами с помощью рациональных операций, но не выйдем за пределы этого поля. Воспользовавшись циркулем, мы расширяем поле величин, допускающих построение, и получаем новое расширенное поле F, состоящее из чисел вида a + b k, где a, b, k принадлежат F. Поле F есть подполе поля F :

всякое число из F принадлежит также F, так как в формуле a + b k можно положить b = 0. (Предполагается, что k есть новое число, не принадлежащее F ; иначе F совпало бы с F.) Мы убедились, что в результате каждого геометрического построения (т. е.

проведения прямой через две известные точки; проведения окружности, имеющей известный центр и известный радиус; нахождения пересечения двух известных прямых или окружностей) или получаются величины, § 2 ЧИСЛА, ДОПУСКАЮЩИЕ ПОСТРОЕНИЕ принадлежащие первоначальному полю, или же, при построении квадратного корня, открывается новое, расширенное поле величин, допускающих построение.

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

Будем исходить из некоторого поля F0, определяемого величинами, входящими в условие задачи; например, это будет поле рациональных чисел, если задан только один отрезок, выбираемый в качестве единичного.

Далее, «присоединяя» к полю величину k0, (где k0 принадлежит F0, но k0 ему не принадлежит), строим новое поле F1 чисел, допускающих построение вида a0 + b0 k0, где a0, b0 принадлежат F0. Еще дальше, посредством «присоединения» k1 (где k1 принадлежит F1, но k1 не принадлежит), получается новое поле F2 чисел вида a1 + b1 k1, где aи b1 принадлежат F1. Повторяя эту процедуру, приходим вообще к полю Fn после «присоединения» n квадратных корней. С помощью только циркуля и линейки допускают построение те и только те числа, которые после конечного числа «присоединений» описанного выше типа включаются в расширенное поле Fn. Число n необходимых «присоединений» не имеет особенно большого значения; но оно до некоторой степени характеризует, насколько сложна рассматриваемая проблема.

Иллюстрируем описанную процедуру следующим примером. Нужно построить число 6 + 1 + 2 + 3 + 5.

Пусть F0 — поле рациональных чисел. Полагая k0 = 2, получаем по ле F1, содержащее число 1 + 2. Возьмем затем k1 = 1 + 2 и k2 = 3.

Pages:     | 1 |   ...   | 21 | 22 || 24 | 25 |   ...   | 76 |



© 2011 www.dissers.ru - «Бесплатная электронная библиотека»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.