Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Th_Numb+Combi (2).doc
Скачиваний:
171
Добавлен:
05.03.2016
Размер:
2.43 Mб
Скачать

§ 4. Abc – Теорема для многочленов и её следствия

Теоретико-числовая abc-проблема формулируется следующим образом: при любом > 0 существует такая константа K(ε) > 0, что для всех ненулевых взаимно простых натуральных чисел a, b, c со свойством a + b = c, верно неравенство c K(ε)·(r(abc))1+ , где для заданного натурального числа n с каноническим разложением n = символr(n) обозначает выражение p1pk и называется радикалом числа n.

Именно в таком довольно неестественном виде эта гипотеза была сформулирована Массером и Остерле в 1986 г. Её значение состоит в том, что в случае её справедливости получаются изящные и короткие доказательства известных трудных теорем теории чисел, в том числе и доказательство Великой теоремы Ферма. Массер и Остерле не сразу сформулировали эту гипотезу. Они работали над много более общей задачей, которая ни в коей мере не элементарна. abc-гипотеза возникла из глубокого изучения алгебраической геометрии и теории модулярных функций, которые слишком сложны, чтобы их здесь обсуждать.

Следует упомянуть, что аналог этой гипотезы может быть доказан для многочленов над полем комплексных чисел. Этот интересный, и что более удивительно, ранее неизвестный факт доказал в 1983 г. Р. Мейсон [20]. Впоследствии обнаружилось, что полученный им результат в действительности уже был открыт ранее В. Стотерсом [21], но математики не обратили внимания на эту работу.

Теорема (Мейсона-Стотерса). Пусть a(t), b(t), c(t) C[t] – не равные константе взаимно простые полиномы со свойством a(t) + b(t) = c(t). Тогда max(d(a) , d(b), d(c)) < r(abc) – 1, где для заданного многочлена p(t) с каноническим разложением p(t) = символr(p) обозначает выражение p1(t)pk(t) и называется радикальным многочленом для p(t).

Замечание: На самом деле r(p) – это просто количество различных корней многочлена p(t) в поле комплексных чисел без учёта их кратностей. Действительно, все простые многочлены p1(t), … , pk(t) в каноническом разложении многочлена p(t) имеют степень 1 и определяют один корень многочлена, так что для многочлена p(t) = верно r(p) = kколичество различных корней многочлена.

Доказательство. Данное доказательство принадлежит ученику выпускного класса Н. Снайдеру, который нашёл его после беседы с С. Ленгом, сформулировавшим для него теорему Мейсона-Стотерса. Сейчас этот школьник окончил гарвардский университет.

Лемма. Пусть f(t) – многочлен положительной степени, f(t) – его производная. Тогда d(f) = d(НОД(f , f ')) + r(f).

Доказательство. Во-первых, сделаем замечание о корнях полинома f(t). Пусть корень f(t), т.е. такое комплексное число, что f() = 0. Разложим f(t) по степеням двучлена t, записав f(t) = fn(t)n + … + fk(t)m, где fn 0 fm , m 1 – кратность корня . Тогда можно вычислить производную f(t) = nfn(t)n–1 + … + mfm(t)m–1, т.е. m – 1 является наибольшей степенью двучлена t , делящей f(t).

Пусть теперь 1 , … , rвсе различные корни многочлена f(t) кратностей m1 , … , mr соответственно. Тогда f(t) = . Сделанное в предыдущем абзаце замечание и однозначность разложения на множители дают разложение НОД(f , f ) = для некоторой ненулевой константы pn . Поэтому

d(f) = m1 + … + mr = (m1 – 1) + … + (mr – 1) + r = d(НОД(f , f)) + r(f).

Лемма доказана.

Закончим доказательство теоремы Мейсона-Стотерса. Прежде всего, три многочлена Da(t) = НОД(a , a), Db(t) = НОД(b , b), Dc(t) = НОД(c , c') попарно взаимно просты. Действительно, любой делитель первых двух является общим делителем a(t) и b(t), а значит, тривиален. Точно так же общий делитель, например, первого и третьего из этих многочленов будет общим делителем a(t) и c(t), и делителем c(t) – a(t) = b(t), откуда снова следует тривиальность этого общего делителя.

Далее, из условия a(t) + b(t) = c(t) получаем аналогичное соотношение a(t) + b(t) = c(t) для производных. Значит,

a(t)b(t) – a(t)b(t) = a(t)(a(t) + b(t)) – a(t)(a(t) + b(t)) = a(t)c(t) – a(t)c(t).

При этом Da = НОД(a , a) и Db(t) = НОД(b , b) делят левую часть, а многочлен Dc(t) = НОД(c , c') делит правую часть, а значит, и левую. Поскольку все эти три многочлена попарно взаимно просты, то левая часть рассматриваемого равенства a(t)b(t) – a(t)b(t) делится и на произведение этих трёх многочленов Da(t)Db(t)Dc(t). Тогда

d(DaDbDc) = d(Da) + d(Db) + d(Dc) d(a(t)b(t) – a(t)b(t))

max{d(a(t)b(t)), d(a(t)b(t))} d(a) + d(b) – 1.

Прибавляя d(c) к обеим частям и переставляя слагаемые, получим

d(c) + d(Da ) + d(Db ) + d(Dc ) d(a) + d(b) + d(c) – 1,

т.е. d(c) d(a) – d(Da ) + d(b) – d(Db ) + d(c) – d(Dc ) – 1.

Согласно лемме получаем d(c) r(a) + r(b) + r(c) – 1 = r(abc) – 1 ввиду взаимной простоты многочленов a(t), b(t), c(t).

Теорема доказана.

Рассмотрим некоторые следствия доказанной abcТеоремы для многочленов, иллюстрирующие её скрытую силу.

Теорема (Великая теорема Ферма для многочленов). Уравнение x(t)n + y(t)n = z(t)n с неизвестными многочленами x(t), y(t) и z(t) C[t] при n 3 допускает только тривиальные решения: либо один из многочленов x(t), y(t), z(t) нулевой, либо все эти многочлены являются константами.

Доказательство. Пусть x(t), y(t), z(t) – тройка ненулевых многочленов со свойством x(t)n + y(t)n = z(t)n. Если хотя бы один из этих многочленов не является константой, то можно выбрать такую нетривиальную тройку с наименьшей суммой d(x) + d(y) + d(z).

Прежде всего, можно считать эти многочлены попарно взаимно простыми. Действительно, если, например, p(t) – неразложимый многочлен положительной степени, делящий какие-то два из рассматриваемых многочленов, то, очевидно, что он делит и n-ю степень третьего многочлена, а значит, делит и сам третий многочлен. Таким образом, x(t) = p(t)u(t), y(t) = p(t)v(t), z(t) = p(t)w(t), и сократив равенство x(t)n + y(t)n = z(t)n на p(t)n получим, что u(t)n + v(t)n = w(t)n, причём

d(u) + d(v) + d(w) = d(x) – d(p) + d(y) – d(p) + d(z) – d(p) < d(x) + d(y) + d(z),

вопреки предположению о минимальности последней суммы степеней.

Итак, можно считать, что тройка x(t), y(t), z(t) нетривиальна и состоит из попарно взаимно простых многочленов. Тогда взаимно просты и многочлены a(t) = x(t)n, b(t) = y(t)n, причём a(t) + b(t) = c(t) = z(t)n. По abcТеореме имеем

max(d(a) , d(b), d(c)) r(abc) – 1 = r(a) + r(b) + r(c) – 1,

nmax(d(x), d(y), d(z)) r(x) + r(y) + r(z) – 1 d(x) + d(y) + d(z) – 1.

В частности, отсюда следует, что nd(x) d(x) + d(y) + d(z) – 1, т.е.

(n – 1)d(x) d(y) + d(z) – 1.

Аналогично, (n – 1)d(y) d(x) + d(z) – 1, (n – 1)d(z) d(x) + d(y) – 1. Складывая три полученных неравенства, приходим к оценкам

(n – 1)(d(x) + d(y) + d(z)) 2(d(x) + d(y) + d(z)) – 3,

(n – 3)(d(x) + d(y) + d(z)) – 3,

что невозможно при n 3.

Теорема доказана.

Замечание. Как и для натуральных чисел, уравнение Ферма для многочленов при n = 2 имеет бесконечно много решений, например, такие:

x(t) = 2u(t)v(t), y(t) = u(t)2v(t)2, z(t) = u(t)2 + v(t)2

при любых u(t), v(t) C[t].

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]