WWW.DISSERS.RU

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

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

Pages:     | 1 |   ...   | 62 | 63 || 65 |

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

Теорема 1 (Мейсон). Пусть a(x), b(x) и c(x) попарно взаимно простые многочлены, связанные соотношением a + b + c = 0. Тогда степень каждого из этих многочленов не превосходит n0(abc) - 1, где n0(abc) количество различных корней многочлена abc.

Доказательство. Положим f = a/c и g = b/c. Тогда f и g рациональные функции, связанные соотношением f + g + 1 = 0. Продифференцировав это равенство, получим f = -g. Поэтому b g f /f = = -.

a f g /g 526 Дополнение i Рациональные функции f и g имеют специальный вид (x - i)r, i где ri целые числа. Для функции R(x) = (x - i)r выполняется равенство R ri =.

R x - i Пусть i j k a(x) = (x - i)a, b(x) = (x - j)b, c(x) = (x - k)c.

Тогда ai ck f /f = -, x - i x - k bj ck g /g = -.

x - j x - k Поэтому после умножения на многочлен N0 = (x - i)(x - j)(x - k) степени n0(abc) рациональные функции f /f и g /g становятся многочленами степени не выше n0(abc) - 1. Таким образом, из взаимной простоты многочленов a(x) и b(x) и из равенства b N0f/f = a N0g/g следует, что степень каждого из многочленов a(x) и b(x) не превосходит n0(abc) - 1. Для многочлена c(x) доказательство аналогично.

Из теоремы 1 можно извлечь интересные следствия, которые мы сформулируем как теоремы 2–4. Степень многочлена f будем обозначать deg f.

Теорема 2 (Дэвенпорт). Пусть f и g взаимно простые многочлены ненулевой степени. Тогда deg(f3 - g2) deg f + 1.

Доказательство. Если deg f3 = deg g2, то deg(f3 - g2) deg f3 = 3 deg f deg f + 1.

Поэтому можно считать, что deg f3 = deg g2 = 6k.

Рассмотрим многочлены F = f3, G = g2 и H = F - G = f3 - g2.

Ясно, что deg H 6k. Согласно теореме max(deg F, deg G, deg H) n0(F GH) - deg f + deg g + deg H - 1, т. е. 6k 2k +3k +deg H -1. Таким образом, deg H k +1 = deg f +1.

Дополнение Теорема 3. Пусть f, g и h взаимно простые многочлены, причём хотя бы один из них не константа. Тогда равенство fn + gn = hn не может выполняться при n 3.

Доказательство. Согласно теореме 1 степень каждого из многочленов fn, gn и hn не превосходит deg f + deg g + deg h - 1, т. е.

n deg f, n deg g, n deg h deg f + deg g + deg h - 1.

Сложив эти три неравенства, получим n(deg f +deg g+deg) 3(deg f +deg g+deg h-1) < 3(deg f +deg g+deg h).

Следовательно, n < 3.

Диофантово уравнение f + g = h для многочленов f, g, h имеет очевидное решение, если одно из чисел,, равно 1. Поэтому будем считать, что,, 2.

Теорема 4. Пусть,, натуральные числа, причём 2. Тогда уравнение f + g = h имеет взаимно простые решения лишь для следующих наборов (,, ): (2, 2, ), (2, 3, 3), (2, 3, 4) и (2, 3, 5).

Доказательство. Пусть a, b и c степени многочленов f, g и h. Тогда согласно теореме a a + b + c - 1, (1) b a + b + c - 1, (2) c a + b + c - 1. (3) Следовательно, (a + b + c) a + b + c 3(a + b + c) - 3, а значит, < 3. По условию 2, поэтому = 2. При = 2 неравенство (1) принимает вид a b + c - 1. (4) Сложив неравенства (4), (2) и (3), получим b + c 3(b + c) + a - 3.

528 Дополнение Учитывая, что, и ещё раз применяя неравенство (4), получаем (b + c) 4(b + c) - 4, а значит, < 4, т. е. = 2 или 3.

Остаётся доказать, что если = 3, то 5. При = 3 неравенство (2) принимает вид 2b a + c - 1. (5) Сложив неравенства (4) и (5), получим b 2c - 2.

В таком случае из неравенства (4) следует, что a 3c - 3.

Из двух последних неравенств и неравенства (3) следует, что c 6c - 6, поэтому 5.

Многочлены, удовлетворяющие соотношению f + g = h, тесно связаны с правильными многогранниками. Подробно эта связь описана в книге Ф. Клейна “Лекции об икосаэдре и решении уравнений пятой степени” (М.: Наука, 1989); там же указан способ построения этих многочленов. Мы приведём лишь конечный результат.

Случай = = 2, = n связан с вырожденным правильным многогранником плоским n-угольником. Требуемое соотношение имеет вид 2 xn + 1 xn - - = xn.

2 Случай = 2, = 3, = 3 связан с правильным тетраэдром. Соотношение имеет вид 12i 3(x5 - x)2 + (x4 - 2i 3x2 + 1)3 = (x4 + 2i 3x2 + 1)3.

Случай = 2, = 3, = 4 связан с кубом и правильным октаэдром.

Соотношение имеет вид (x12 - 33x8 - 33x4 + 1)2 + 108(x5 - x)4 = (x8 + 14x4 + 1)3.

Случай = 2, = 3, = 5 связан с додекаэдром и икосаэдром.

Соотношение имеет вид T + h3 = 1728f5, где T = x30 + 1 + 522(x25 - x5) - 10005(x20 + x10), H = -(x20 + 1) + 228(x15 - x5) - 494x10, f = x(x10 + 11x5 - 1).

Дополнение Теорема 3 показывает, что уравнение xn + yn = zn, где x, y, z натуральные числа, имеет решение тогда и только тогда, когда имеет решение точно такое же уравнение для многочленов. Естественно возникает вопрос, не будет ли уравнение x + y = z иметь полиномиальные решения в том и только том случае, когда оно имеет натуральные решения.

Первый пример обнадёживает уравнение x2 + y3 = z4 имеет как полиномиальные, так и натуральные решения. А именно, бесконечную серию решений этого уравнения в натуральных числах можно построить следующим образом. Положим x = n(n - 1)/2, y = n и z2 = n(n + + 1)/2. Требуется подобрать число n так, чтобы число z было целым.

Равенство 2z2 = n(n + 1) можно записать в виде (2n + 1)2 - 2(2z)2 = 1.

Это знаменитое уравнение Ферма–Пелля, которое имеет бесконечно много решений. Например, при n = 8 получаем x = 28, y = 8, z = 6.

Помимо этой бесконечной серии решений есть и другие решения.

Но уравнение x2 + y4 = z6 опровергает наши надежды. У этого уравнения нет полиномиальных решений, но есть натуральные решения. Одно из его решений имеет вид x = 37 · 59 · 7 · 298, y = 2 · 33 · 55 · 294, z = 32 · 53 · 293.

10. Теорема Ван дер Вардена об арифметической прогрессии Теорема Ван дер Вардена об арифметической прогрессии имеет интересную историю. Боде высказал следующую гипотезу:

Утверждение 1. А Если натуральные числа разбиты каким-то образом на два класса, то для любого натурального числа l в одном из этих классов найдётся арифметическая прогрессия длины l (т. е. данному классу принадлежат числа a, a + d, a + 2d,..., a + (l - 1)d при некоторых a и d).

Эта гипотеза быстро стала известной. Её пытались доказать многие математики. Но доказать эту гипотезу оказалось нелегко. Первые существенные результаты получили известные математики Э. Артин и О. Шрайер.

Сначала Шрайер показал, что гипотеза Боде эквивалентна следующему утверждению:

530 Дополнение Утверждение 2. Б Для любого натурального числа l существует такое натуральное число N(l), что если числа 1, 2,..., N(l) разбиты на два класса, то один из этих классов содержит арифметическую прогрессию длины l.

Затем Артин показал, что утверждение (Б) эквивалентно следующему утверждению:

Утверждение 3. В Для любых натуральных l и k существует такое натуральное число N(l, k), что если числа 1, 2,..., N(l, k) разбиты на k классов, то один из этих классов содержит арифметическую прогрессию длины l.

Утверждение (А) очевидным образом следует из (В). Но, как оказалось, доказывать удобнее всего именно утверждение (В), используя двойную индукцию по k и по l. Такое довольно сложное доказательство как раз и придумал Ван дер Варден в 1927 г.

Разбиение множества на k классов можно наглядно представить как раскраску в k цветов. В таком случае утверждение (В) формулируется следующим образом:

Утверждение 4. В Для любых натуральных l и k существует такое натуральное число N(l, k), что если числа 1, 2,..., N(l, k) раскрашены в k цветов, то найдётся одноцветная арифметическая прогрессия длины l.

Впоследствии появились как новые доказательства теоремы Ван дер Вардена, так и её обобщения. Мы обсудим одно существенное обобщение этой теоремы, доказательство которого сравнительно несложно. Это доказательство принадлежит П. Андерсону.Рассмотрим в n-мерном пространстве2 множество точек, координаты которых целые неотрицательные числа. Будем называть это множество решёткой, а точки этого множества будем называть точками решётки.

Теорема 1. Пусть S конечное множество точек решётки. Тогда для любой раскраски точек решётки в k цветов существует такое P. G. Anderson, A generalization of Baudet’s conjecture (Van der Waerden’s theorem), Amer. Math. Monthly, 83 (1976) 359–361.

Если читатель плохо знаком с понятием многомерного пространства или же совсем не знаком с этим понятием, то он может считать, что n = 2 или 3; теорема Ван дер Вардена имеет дело с n = 1.

Дополнение натуральное число a и такой вектор v с целыми неотрицательными координатами, что множество aS + v (т. е. образ S при гомотетии с коэффициентом a и сдвиге на вектор v) одноцветное. При этом для числа a и для координат вектора v можно указать оценки, зависящие только от множества S и числа k.

Замечание. Теорема Ван дер Вардена получается при n = 1 и S = = {1, 2,..., l}.

При доказательстве теоремы удобно рассматривать куб со стороной N, состоящий из всех точек решётки с координатами от 0 до N - 1.

Этот куб мы обозначим KN; он состоит из Nn точек решётки, где n размерность пространства. Утверждение теоремы для множества S можно сформулировать так:

Утверждение 5. AS Существует такое натуральное число N, зависящее от количества цветов k, что при любой раскраске точек куба KN в k цветов этот куб содержит одноцветное множество вида aS + v.

План доказательства теоремы следующий. Если S состоит из одной точки, то утверждение AS очевидно. Поэтому достаточно доказать, что если w точка решётки, не входящая в S, то из утверждения (AS) следует утверждение (ASw), где S w множество, полученное из S добавлением точки w. Для доказательства этого нам потребуется следующее вспомогательное утверждение для каждого натурального числа p:

Утверждение 6. CS,w,p Существует такое натуральное число Np, что для любой раскраски куба KN в k цветов найдутся натуральные p числа a1,..., ap и вектор v с неотрицательными целыми координатами, для которых каждое из множеств T0 = (a1 +... + ap)w + v, T1 = a1S + (a2 +... + ap)w + v, T2 = (a1 + a2)S + (a3 +... + ap)w + v,...........................

Tp = (a1 +... + ap)S + v одноцветное.

Дальнейшее доказательство состоит из двух шагов.

532 Дополнение Шаг 1. Если утверждение (AS) верно, то при всех натуральных p верно утверждение (CS,w,p).

Докажем сначала утверждение (CS,w,p) при p = 1. В этом случае нужно доказать, что в некотором кубе KN существуют одноцветные множества a1w + v и a1S + v. Из свойства (AS) следует, что в кубе KN существует одноцветное множество aS + v. Поэтому можно положить a1 = a и расширить куб KN до куба KN так, чтобы для любой точки v куба KN точка aw + v лежала в кубе KN.

Теперь нужно доказать, что если верны утверждения (AS) и (CS,w,p), то верно и утверждение (CS,w,p+1). Это доказательство использует одну важную идею, на которую опиралось и первоначальное доказательство Ван дер Вардена. Пусть задана раскраска решётки в k цветов. Сопоставим точке v куб v + KN. Этот куб состоит из Nn точек, поэтому n всего возможно kN различных раскрасок точек такого куба в k цвеn n тов. Сопоставим этим kN раскраскам новые цвета в количестве kN и окрасим такими цветами каждую точку v в соответствии с раскраской куба v + KN. Теперь цветов будет гораздо больше, но новая раскраска обладает следующим свойством: новый цвет точек u и v одинаков тогда и только тогда, когда старый цвет точек u + x и v + x одинаков для всех точек x куба KN, т. е. кубы u + KN и v + KN одинаково раскрашены в старой раскраске. Будем называть новую раскраску индуцированной;

она зависит от исходной раскраски и от размера куба KN.

Пусть верны утверждения (AS) и (CS,w,p). Тогда существует такое натуральное число Np, что для любой раскраски куба KN в k цветов p найдутся натуральные числа a1,..., ap и вектор v, для которых каждое из множеств T0, T1,..., Tp одноцветное. Рассмотрим индуцированную n p раскраску в k = kN цветов, соответствующую кубу KN. Доказанное p выше утверждение (CS,w,1) можно применить к этой раскраске. В ре зультате получим, что существует куб KN, содержащий одноцветные (в индуцированной раскраске) множества a w + v и a S + v. Одноцветность в индуцированной раскраске множества a S + v означает, что в исходной раскраске кубы KN +a s+v одинаково раскрашены для всех p точек s множества S. Каждый из этих одинаково раскрашенных кубов содержит одноцветные множества Tq + a s + v, q = 0, 1,..., p, причём цвет этих множеств не зависит от s. Таким образом, получаем одноцветные множества Tq+1 = a S + Tq + v.

Дополнение Добавив к ним одноцветное множество T0 = a w + T0 + v, получим требуемый набор одноцветных множеств T0 = (a + a1 +... + ap)w + v, T1 = a S + (a1 + a2 +... + ap)w + v,............................

Tp+1 = (a + a1 +... + ap)S + v, где v = v + v.

Шаг 2. Если утверждение (CS,w,p) верно при всех натуральных p, то верно утверждение (ASw).

Мы воспользуемся лишь тем, что утверждение (CS,w,p) верно при p = k, где k количество цветов. В таком случае получаем одноцветные множества T0, T1,..., Tk. Этих множеств больше, чем цветов, поэтому у двух из них цвета одинаковые. Пусть, например, цвета множеств Tr и Tq, где r < q, одинаковые. Напомним, что Tr = (a1 +... + ar-1)S + (ar +... + aq-1)w+ + (aq +... + ap)w + v, Tq = (a1 +... + ar-1)S + (ar +... + aq-1)S+ + (aq +... + ap)w + v.

Положим a = ar +...+aq-1 и v = (a1 +...+ar-1)s+(aq +...+ap)w+v, где s некоторая точка множества S. Тогда a (S w)+v одноцветное множество требуемого вида.

11. Происхождение математических терминов Алгебра в русском языке с 1717 г. Происходит из немецкого Algebra, которое, в свою очередь, арабского происхождения. Арабский математик Мухаммед ибн Муса ал-Хорезми (787 ок. 850), уроженец Хивы, написал книгу под названием Хисаб ал-джабр ва-лмукабала ( Исчисление восполнения и противопоставления ). Значительная часть этой книги была посвящена решению уравнений. Для решения уравнений ал-Хорезми применял две основные операции: алджабр (восполнение) и ал-мукабала (противопоставление). Операция ал-джабр заключалась в избавлении от членов со знаком минус в одной части уравнения посредством добавления к обеим частям уравнения 534 Дополнение одного и того же члена. Операция ал-мукабала заключалась в сокращении равных членов в обеих частях уравнения. Словом ал-джабр вскоре стали называть все арабские трактаты на эту тему. Затем это слово распространилось на всю теорию уравнений. В таком виде оно пришло в Европу в XIV в. В течение долгого времени алгебра как раз и была теорией уравнений.

Pages:     | 1 |   ...   | 62 | 63 || 65 |



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

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