Элементарное доказательство Великой теоремы Ферма для школьников старших классов

Размещено на http://www.allbest.ru/

Элементарное доказательство Великой теоремы Ферма для школьников старших классов переработано из книги автора: Великая теорема Ферма и некоторые вопросы Теории пространства. - Плесецк, Архангельская область: Издатель Заволожин С.Д., 2010. - 85 с.

Назаров А.А.

Некоторые сведения из теории графов и определения

ферма теорема доказательство неразрешимость

Все построения осуществляются в евклидовом пространстве E.

1. Дерево - неориентированный связный граф без циклов.

Дерево состоит из вершин и ребер (отрезков).

2. Куст - дерево с одной общей для всех ребер вершиной.

Общая для всех ребер куста вершина называется корневой или корнем.

Остальные вершины куста называются висячими вершинами.

Ребра куста называются ветвями.

Говорят, что куст растет из корня, равно - ветви куста растут из корня.

3. Аксиоматическая структура - дерево, все ребра которого равны 1.

4. Аксиоматический порядок ранга n числа m - аксиоматическая структура, для которой выполняются следующие условия:

4.1) из корня растут m ветвей, образуя куст, являющийся аксиоматической структурой, которую обозначим как S^m₁;

4.2) из каждой висячей вершины структуры S^m₁, как из корневой вершины, растет по одному кусту, равному S^m₁, порождая всего m кустов по m ветвей, или всего m² ветвей и m² висячих вершин; обозначим полученную аксиоматическую структуру, включающую в себя S^m₁, как S^m₂;

4.3) из каждой висячей вершины структуры S^m₂, как из корневой вершины, растет по одному кусту, равному S^m₁, порождая всего m² кустов по m ветвей, или всего m³ ветвей и m³ висячих вершин; обозначим полученную аксиоматическую структуру, включающую в себя S^m₂, как S^m₃;

и так далее,

4.n) из каждой висячей вершины структуры S^m_n-1, как из корневой вершины, растет по одному кусту, равному S^m₁, порождая всего m^n-1 кустов по m ветвей, или всего mⁿ ветвей и mⁿ висячих вершин; обозначим полученную аксиоматическую структуру, включающую в себя S^m_n-1, как S^m_n.

Аксиоматическая структура S^m_n и является аксиоматическим порядком ранга n числа m.

По отношению к аксиоматическому порядку S^m_n ранга n числа m структуры S^m_n-1, …, S^m₃, S^m₂, S^m₁ называются вложенными структурами, соответственно, порядка n-1, …, 3, 2 и 1.

Корень структуры S^m₁ является одновременно корнем каждой вложенной структуры S^m₂, S^m₃, …, S^m_n-1 а также - корнем аксиоматического порядка S^m_n.

По отношению к аксиоматическому порядку S^m_n:

куст S^m₁ (вложенная структура порядка 1) образует структуру уровня 1;

все элементы (кусты, ветви и вершины), достраиваемые по подпункту 4.1, образуют структуру уровня 2; и так далее,

все элементы, достраиваемые по подпункту 4.n, образуют структуру уровня n.

Висячие вершины некоторого предыдущего уровня t-1, из которых растут кусты соответствующего последующего уровня t, называются узлами этого последующего уровня.

Обратим внимание на то, что, в силу равенства всех кустов аксиоматического порядка S^m_n, для любой ветви любого куста структуры любого уровня аксиоматического порядка S^m_n в любом ином кусте этого же аксиоматического порядка S^m_n всегда найдется соответствующая коллинеарная ветвь, и наоборот. По построению.

Коллинеарные ветви аксиоматического порядка S^m_n, продолжающие ветви вложенной структуры S^m₁ (структуры уровня 1) называются стволовыми ветвями порядка S^m_n. Говорят, что стволовые ветви порождают m поддеревьев дерева, образующего порядок S^m_n.

5. Совмещение по основанию k₂.

Операция с аксиоматическими порядками S^x_n и S^y_n одинакового ранга n, при которой совмещаются корни и ровно по k ветвей вложенных структур S^x₁ и S^y₁ этих порядков S^x_n и S^y_n, называется совмещением аксиоматических порядков S^x_n и S^y_n по основанию k₂.

В геометрии такая операция называется наложением двух отрезков (линий, углов и т.п.).

В теории графов принято ветвь, образованную совмещением двух ветвей, называть двукратной или 2-кратной. Указывая на 2-кратность k 2-кратных ветвей, добавляем нижний индекс k₂. То есть, k₂ равно k однократных (или простых) ветвей структуры S^x₁ порядка S^x_n, совмещаемых с k однократными (простыми) ветвями структуры S^y₁ порядка S^y_n, где k так же равно k₂.

Результат операции совмещения по основанию k₂ также называется совмещением S^xy_n.

Обратим внимание на следующие свойства операции совмещения по основанию k₂:

5.1) совмещение не влияет на свойства совмещаемых аксиоматических порядков;

5.2) совмещенные ветви аксиоматических порядков сами образуют два аксиоматических и равных совмещенных порядка: один S^k_n в структуре S^x_n и второй S^k_n в структуре S^y_n.

5.3) каждый узел, образованный 2-кратной ветвью, порождает в структуре S^xy_n куст, содержащий (по п. 5.1) x + y простых ветвей или, что есть то же самое, всего x + y - k₂ ветвей, в том числе k₂ 2-кратных ветвей.

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

Утверждение (Ферма-Майзелиса)

Для совмещения S^xy_n аксиоматических порядков S^x_n и S^y_n с условием

xⁿ + yⁿ = zⁿ, при 0 < x < y < z и x + y > z, n > 1,

необходимо и достаточно, чтобы выполнялось соотношение:

x^n-1 + y^n-1 - z^n-1 = (x + y - z)^n-1.

Пусть S^x_n, S^y_n - аксиоматические порядки.

1. Необходимость

Пусть S^xy_n - совмещение S^x_n и S^y_n по основанию k₂ такому, что

k₂ = x + y - z.

Основание совмещения k₂ определено, так как

x + y - z = k₂ > 0 - целое число, как следствие определений 3 и 4, и

x + y > z - по условию.

Пусть

xⁿ + yⁿ = zⁿ,

где xⁿ и yⁿ - число ветвей порядков S^x_n и S^y_n на уровнях n, по п. 4.n определения 4,

что является исходным соотношением по условию.

Тогда совмещение S^xy на уровне n содержит

xⁿ + yⁿ

ветвей, по свойству п. 5.1, и содержит, в том числе, k₂ⁿ 2-кратных ветвей, по свойству п. 5.2 и по п. 4.n определения 4.

Размещено на http://www.allbest.ru/

Таким образом, совмещение S^xy порядков S^x_n и S^y_n на уровне n содержит всего

xⁿ + yⁿ - k₂ⁿ < zⁿ

ветвей, включая в это число 2-кратные ветви.

Для выполнения условия

xⁿ + yⁿ = zⁿ

число ветвей, включающее в себя 2-кратные ветви,

xⁿ + yⁿ - k₂ⁿ

может быть восстановлено до числа

xⁿ + yⁿ

только и только за счет kⁿ простых ветвей из числа k₂ⁿ 2-кратных ветвей (см. рисунок).

Тогда число этих kⁿ простых ветвей, растущих из k₂^n-1 вершин уровня n-1 совмещения S^xy_n, определится, принимая во внимание, что k₂ⁿ = kⁿ, выражением:

k₂ⁿ = (x^n-1 - k₂^n-1)(z - x) + (y^n-1 - k₂^n-1)(z - y),

согласно которому:

x^n-1 - k₂^n-1 кустов уровня n, содержащих по x ветвей, дополняются, из числа kⁿ простых ветвей в числе kⁿ₂ 2-кратных ветвей, до числа z на каждый куст по z - x ветвей;

y^n-1 - k₂^n-1 кустов уровня n, содержащих по y ветвей, дополняются, из числа kⁿ простых ветвей в числе k₂ⁿ 2-кратных ветвей, до числа z на каждый куст по z - y ветвей.

Откуда, так как

k₂ⁿ = (x^n-1 - k₂^n-1)(z - x) + (y^n-1 - k₂^n-1)(z - y) =

= (x^n-1 - k₂^n-1)(y - k₂) + (y^n-1 - k₂^n-1)(x - k₂),

выполнив преобразования:

k₂^n-1[(x + y) - k₂] = x^n-1(y - k₂) + y^n-1(x - k₂) =

= x^n-1(z - x) + y^n-1(z - y) = (x^n-1 + y^n-1)z - (xⁿ + yⁿ), -

получим

k₂^n-1 = x^n-1 + y^n-1 - z^n-1,

при условии

xⁿ + yⁿ = zⁿ.

Откуда следует

x^n-1 + y^n-1 - z^n-1 = (x + y - z)^n-1.

Таким образом, условие необходимости удовлетворено.

2. Достаточность

Пусть

x^n-1 + y^n-1 - z^n-1 = (x + y - z)^n-1.

Откуда при условии

x + y > z,

принимая

x + y - z = k₂,

получаем

x^n-1 + y^n-1 - z^n-1 = k₂^n-1, или

x^n-1 + y^n-1 - k₂^n-1 = z^n-1.

Тогда, принимая, что:

а) x^n-1 определяет число ветвей уровня n-1 некоторого аксиоматического порядка S^x_n, то, определяя x^n-2 узлов для этих ветвей, тем самым определяем x^n-2 ветвей уровня n-2 этого же аксиоматического порядка S^x_n, и так далее, определяем согласно определению 4 аксиоматический порядок S^x_n;

б) y^n-1 определяет число ветвей уровня n-1 некоторого аксиоматического порядка S^y_n, то, определяя y^n-2 узлов для этих ветвей, тем самым определяем y^n-2 ветвей уровня n-2 этого же аксиоматического порядка S^y_n, и так далее, определяем согласно определению 4 аксиоматический порядок S^y_n.

Выполним совмещение по основанию k₂ аксиоматических порядков S^x_n и S^y_n такое, что:

k₂^n-1 определяет число узлов уровня n и соответствующее число 2-кратных ветвей уровня n-1 этого совмещения S^xy_n, по определению 4 и свойствам п. 5.2 и 5.3,

и, определяя k₂^n-2 узлов для этих 2-кратных ветвей, тем самым определяем k₂^n-2 2-кратных ветвей для уровня n-2 этого совмещения S^xy_n и так далее,

определяем k₂ 2-кратных ветвей уровня 1 этого совмещения S^xy_n, который содержит, кроме k₂ 2-кратных ветвей, x? = x - k₂ простых ветвей аксиоматического порядка S^x_n и содержит y? = y - k₂ простых ветвей аксиоматического порядка S^y_n.

Таким образом, определены по определению 4 аксиоматические порядки S^x_n и S^y_n и по определению 5 определено совмещение S^xy_n этих порядков S^x_n и S^y_n по основанию k₂.

Тогда, так как условие

x^n-1 + y^n-1 - z^n-1 = (x + y - z)^n-1

и соотношения

x^n-1 + y^n-1 - z^n-1 = k₂^n-1 и (x + y - z)^n-1 = k₂^n-1

определяют существование некоторого k₂ и, соответственно, условие некоторого совмещения по k₂, то это k₂ и является основанием установленного выше совмещения S^x_n и S^y_n.

Для

k₂^n-1 = x^n-1 + y^n-1 - z^n-1,

выполняя

k₂^n-1z = x^n-1z + y^n-1z - z^n-1z,

и далее, принимая во внимание условие установленного совмещения

x + y - z = k₂,

получаем последовательно

k₂^n-1[(x + y) - k₂] = x^n-1z + y^n-1z - zⁿ или

k₂^n-1(x + y) - k₂ⁿ = x^n-1(x + y - k₂) + y^n-1(x + y - k₂) - zⁿ или

k₂^n-1x + k₂^n-1y - k₂ⁿ = xⁿ + x^n-1y - x^n-1k₂ + y^n-1x + yⁿ - y^n-1k₂ - zⁿ,

и, дополняя правую часть равенства слагаемыми +k₂ⁿ и -k₂ⁿ, получаем

k₂^n-1x + k₂^n-1y - k₂ⁿ = xⁿ + x^n-1y - x^n-1k₂ + y^n-1x + yⁿ - y^n-1k₂ - zⁿ + k₂ⁿ - k₂ⁿ,

или

(k₂^n-1 - y^n-1)x + (k₂^n-1 - x^n-1)y = xⁿ + yⁿ - k₂(y^n-1 - k₂^n-1) - k₂(x^n-1 - k₂^n-1) - k₂ⁿ - zⁿ,

откуда следует

(k₂^n-1 - y^n-1)(x - k₂) + (k₂^n-1 - x^n-1)(y - k₂) = xⁿ + yⁿ - k₂ⁿ - zⁿ и

- (-k₂^n-1 + y^n-1)(x - k₂) - (-k₂^n-1 + x^n-1)(y - k₂) = xⁿ + yⁿ - k₂ⁿ - zⁿ

и, так как числа простых ветвей в числе k₂ⁿ 2-кратных ветвей

kⁿ = (y^n-1 - k₂^n-1)(x - k₂) + (x^n-1 - k₂^n-1)(y - k₂)

и 2-кратных ветвей

k₂ⁿ = (y^n-1 - k₂^n-1)(z - y) + (x^n-1 - k₂^n-1)(z - x),

порождаемых уровнем n-1 на уровне n установленного выше совмещения S^xy, равны между собой

kⁿ = k₂ⁿ,

поскольку z - y = x - k₂ и z - x = y - k₂ при условии x + y - z = k₂, то получаем

- k₂ⁿ = xⁿ + yⁿ - k₂ⁿ - zⁿ,

или

0 = xⁿ + yⁿ - zⁿ

и

xⁿ + yⁿ = zⁿ.

Таким образом, условие достаточности удовлетворено.

Таким образом, соотношение x^n-1 + y^n-1 - z^n-1 = (x + y - z)^n-1 является необходимым и достаточным условием совмещения S^xy аксиоматических порядков S^x_n и S^y_n, для которого выполняется xⁿ + yⁿ = zⁿ, при 0 < x < y < z и x + y > z, n > 1.

Что и требовалось.

Следствие (Великая теорема Ферма).

Уравнение xⁿ + yⁿ = zⁿ не разрешимо в целых числах при n > 2 и 0 < x < y < z.

Пусть S^x_n, S^y_n - аксиоматические порядки.

Пусть

xⁿ + yⁿ = zⁿ.

Тогда по утверждению Ферма-Майзелиса справедливо соотношение

x^n-1 + y^n-1 - z^n-1 = (x + y - z)^n-1,

и определено совмещение S^xy_n указанных порядков S^x_n и S^y_n по основанию k₂ такому, что

k₂ = x + y - z, -

по доказанным выше условиям.

Тогда для уровня 1 совмещения S^xy_n справедливо соотношение

x? + k₂ + y?,

где x? = x - k₂ - число простых ветвей от уровня 1 аксиоматического порядка S^x_n в числе простых ветвей уровня 1 совмещения S^xy_n,

y? = y - k₂ - число простых ветвей от уровня 1 аксиоматического порядка S^y_n в числе простых ветвей уровня 1 совмещения S^xy_n, и

k₂ - 2-кратные ветви уровня 1 совмещения S^xy_n, -

по п. 5.3 определения 5.

Все ветви этого уровня 1 совмещения S^xy_n:

x? в числе x ветвей уровня 1 аксиоматического порядка S^x_n,

y? в числе y ветвей уровня 1 аксиоматического порядка S^y_n,

и простые ветви x - x? и y - y? в числе 2-кратных ветвей k₂ уровня 1 совмещения S^xy_n; - являются стволовыми ветвями порядков S^x_n и S^y_n в совмещении S^xy_n по определению.

Приведем соотношение

x^n-1 + y^n-1 - z^n-1 = (x + y - z)^n-1

к виду

[(x^n-1 + y^n-1 - z^n-1)/k₂][(x + y) + (-z)] = {[(x + y) + (-z)]^n-1/k₂}[(x + y) + (-z)].

Далее, принимая во внимание, что

(x^n-1 + y^n-1 - z^n-1)/k₂ = [(x + y) + (-z)]^n-1/k₂,

получим

[(x^n-1 + y^n-1 - z^n-1)/k₂][(x + y) + (-z)] = {[(x + y) + (-z)]^n-1/k₂}k₂

или

[(x^n-1 + y^n-1 - z^n-1)/k₂][(x + y) - k₂)] = {[(x + y) + (-z)]^n-1/k₂}z

или

[(x^n-1 + y^n-1 - z^n-1)/k₂](x? + k₂ + y?) = {[(x + y) + (-z)]^n-1/k₂}z,

откуда следует, что на уровне n - 1 выполняется соотношение

x? + k₂ + y? = z,

где x? + k₂ + y? - стволовые ветви порядков S^x_n и S^y_n в совмещении S^xy_n.

...