Нетрадиционный подход к известным фактам теории чисел и поиск на его основе простых решений задач арифметики

Классическая теория чисел обычно начинается с обоснования и применения операции «деления с остатком» причем либо к доказательству теоремы Евклида (алгоритм поиска наибольшего общего делителя двух натуральных чисел), либо непосредственно к построению «разложения единицы» (равенство Виета) по двум взаимно (попарно) простым числам. При этом, как правило, выводится так называемое «основное свойство» простого числа по отношению к делимости произведения двух чисел. Именно с учётом этого свойства традиционно предлагается каноническое доказательство основной теоремы арифметики (ОТА) [1, c. 222]. Однако известно [2,3], что существуют «прямые» доказательства ОТА, в кото- рых данное свойство простых чисел не применяется вовсе. И как это часто бывает, когда взгляд под другим углом позволяет обнаружить новое и в старом, в одном из таких доказательств можно увидеть, как воспользоваться лишь делением с остатком, и тогда основное свойство простого числа, которое назовем альтернативной делимостью, не что иное, как одно из следствий ОТА.

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

Ниже построим доказательство ОТА в области натуральных чисел, схема которого «безболезненно» переносится на случай колец [1], в которых имеется «деление с остатком» и спектральный базис простых элементов - нечто подобное множеству S из [4, с. 22]; при этом получим развитие одной идеи из [2, сс. 17, 18], а вводимые понятия с учётом обозначений (к формулам деления) могут быть полезными операторами и операндами в алгоритмах решения диофантовых уравнений.

Пусть даны целые числа j и k >1. Известно [4,5], что деление j/k с остатком в области целых чисел определяется как целочисленное решение уравнения j = kx + r , где r - остаток как некоторое целое с условием 0< r < k ; такая пара целых чисел x , r существует и она единственная. В итоге естественным путём обобщается классическое понятие делимости , которое имеет отношение к уравнению j = kx с целочисленным (единственным) решением. Более того, в силу ограничения r < k уравнение j = kx + r только при нулевом остатке r =0 соответствует понятию делимости числа j на k ; в связи с равенством j = kx числа k и x обычно называются делителями числа j или (со)множителями к так называемому разложению числа j в произведение. Такое обобщённое понятие деления можно назвать и «разложением в произведение (двух чисел) с учётом остатка». При этом, конечно, нужно иметь в виду, что разложение числа на два множителя по определению не предусматривает даже какого-либо понятия об остатке, а в области натуральных чисел нет понятия «нулевое число», как обычно, а потому нет и понятия «нулевого остатка». Следовательно, именно в случаях делимости ( j' делится на k ) уравнение j = kx + r не имеет решения в натуральных числах; более того, не имеет его и в случае, когда j < k .

По указанным причинам решение уравнения j = kx + r с условием r < k в области натуральных чисел - это по сути дела вычисление остатка при заведомо «нестандартном» делении j на k . Косвенно формулу j = kx + r можно принимать в качестве обобщения понятия деления (без остатка), но не в прямом, не в буквальном смысле. Когда j < k - т.е. число j не делится на k согласно обычному понятию делимости, и тогда такому числу j естественно «остаётся роль» остатка j = r < k .

В области целых чисел уравнение j = kx + r как формулу деления с остатком будем предъявлять в виде j = k [ j/k ]+ r . Такой символ [ j'Ik ] в связи с ограничением r < k полностью согласуется с общепринятым обозначением целой части дроби j I k . Согласно известному определению целой части [j/k ] дробного (вещественного) числа j I k уже обнаруживается остаток r = j - k [ j'Ik ] к уравнению j = kx + r с решением x =[ j'Ik ], где r - целое число, которое удовлетворяет 0< r < k . При этом j = k [ j'Ik ] справедливо тогда и только тогда, когда имеет место делимость j на k ; в связи с этим равенство [ j' I k ]= jIk может играть роль обозначения делимости. Однако отметим, что в области натуральных чисел целая часть [ j/k ] не определена, когда j < k (в области целых чисел [ j' I k ]=0, когда 0< j < k ). Тогда вместо j = k [ j/k ]+ r нужно иметь в виду другое j = r - число j как остаток при «нестандартном» делении, о чём уже шла речь выше.

Для обозначения делимости будут полезны такие два варианта: ² j II k - j делится на k (j' кратно числу k ) и k \ j - k делит j (второе принято в [5, с. 7]). Когда делимость отсутствует, будем применять (как указание на невозможность равенства [ j' I k ]= jIk ) обозначение j [I] k - j не делится на k (соответственно k |\| /' - k не делит j ). Наконец, что касается остатка r от

(полного или неполного) деления, для него тоже желательно иметь специальное обозначение r = j : к ^ - подобно известному обозначению {j' / к } дробной части (0<{ j / к }<1) некоторого числа j / к как вещественного (ясно, что ^ j : к ^ = к{j' / к }< к ). Элементарные свойства чисел и формула деления с остатком достаточны для доказательства следующего утверждения, которое можно назвать «основной леммой арифметики». Из неё одновременно вытекают и ОТА и основное свойство простого числа - альтернативная делимость - если p простое и при этом p \ /к (jк // p ), тогда присутствует либо p \ j (j' // p ), либо p\к ( к // p ).

Лемма 1 (о двух делителях одного числа). Пусть два натуральных числа s и t делят натуральное п, и при этом t простое, но такое, что s [/] t, тогда п // st .

Доказательство. Если предположить, что п - наименьшее число, удовлетворяющее всем условиям леммы, и при этом оказалось п [/] st , тогда n. Иначе разность п - st будет совершенно в той же роли числа п, т.е. s \( п - st), t\( п - st), п - st [/] st, но к тому же обнаружится противоречивое неравенство п - st< п; например, для чисел s=21, t=7, которые делят число п=42, имеет место неравенство п<st, но здесь s//1, - не удовлетворяется условие леммы s[/]t. Итак, если п<st, тогда окажется п=sm<st, где m=п/s - некоторое натуральное число, и при этом 1<m<t (при m=1 оказалось бы п=s, и возникло бы противоречие s//1 с условием леммы s[/]t). В таком случае, поскольку здесь t простое, при (нестандартном) делении его на число m получается t=m[t/m]+^ t:m ^, где остаток ^ t:m ^ - натуральное число, удовлетворяющее неравенству ^ t:m ^<m. После умножения на число s появляются равенства s• t=s• m[t/m]+ +s^ t: m ^=п [ t/m ]+s^ t: m ^. В итоге ещё одно число s ^ t: m ^=st - п [ t/m ] оказывается с теми же свойствами s^ t:m \//s, s^ t:m \//1 и s^ t:m r<st, какими обладает п, при этом получаем противоречие s^ t: m ^ <п, которое снимается лишь в случае п//st. □³

Самые короткие (и прямые) доказательства ОТА неявно используют свойство натуральных чисел, которое можно было бы назвать их замкнутостью и которое связано с разложением чисел в произведение нескольких множителей. Как известно, любое целое число п разложимо в произведение каких-нибудь двух целых чисел (сомножителей) п = st . В свою очередь, числа s , t тоже разложимы .. и т.д.

Замечание 1. Можно разложить любое п с помощью единиц п = п -1=1- п =- п -(-1)= =(-1)-(- п ) - такое разложение назовем тривиальным представлением ; обе единицы представимы в целых числах только тривиально.

Предположим, что после разложения натурального п в произведение образовалось семейство { a , b , c ,..., t } всех множителей данного разложения (в количестве трёх, по крайней мере). При этом тот или иной множитель может появиться несколько раз в виде одного и того же числа. Любой другой порядок перемножения всех тех же чисел семейства { a , b , c ,..., t } вновь приведёт к данному числу п и заодно к некоторому новому разложению п , но с теми же множителями. Более того, каждый множитель из данного семейства является делителем числа п . И такое число, к примеру, п / b уже можно разложить на множители a , c ,..., t из прежнего семейства за исключением множителя b ; при этом количество экземпляров числа b , если их было несколько, в новом семействе станет меньше ровно на единицу. Именно такое свойство натурального числа (в связи с разложением на множители) назовем замкнутостью . В связи с этим свойством давно принято обозначать разложение числа п = abc ... t без какого-либо указания на способ (порядок) перемножения чисел как на нечто совершенно необязательное (в некоторых современных монографиях по арифметике, в отличие от [6, с. 14], неявно уже предполагается ненужным определять, что такое разложение натурального числа в произведение нескольких чисел, и убеждаться в замкнутости чисел относительно их разложений на основе переместительного и сочетательного законов).

Определение 1. Разложение числа в произведение нескольких множителей назовем полным как только любое дальнейшее разложение возможно лишь с использованием тривиального представления .

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

Определение 2. Семейство всех простых множителей полного разложения натурального числа назовем спектром данного разложения.

Замечание 2. Согласно определениям 1 и 2 спектр любого полного разложения единицы является «пустым» семейством [2, с. 17], а спектр любого полного разложения простого числа состоит лишь из одного - того же данного числа. Более того, в силу свойства замкнутости чисел «прообразом» одного спектра является лишь одно число; все числа какого-либо спектра, перемноженные в любом порядке, определяют однозначно именно то число, из полного разложения которого изначально образовался данный спектр. По этой причине результат после удаления всех каких-либо возможных единиц как множителей из полного разложения числа назовем спектральным представлением (разложением) означенного числа.

Учитывая лемму 1 и все комментарии после неё, можно приступить к прямому доказательству ОТА, которая по существу утверждает некую «единственность» разложения натуральных чисел на простые множители, позволяя установить взаимно однозначное соответствие между числами и семействами простых чисел как спектрами; схема доказательства пригодна и в некоторых других случаях [1,4].

Теорема 1 (ОТА). Все спектры полных разложений натурального числа n одинаковы (равносильны, являются одним и тем же семейством).

Доказательство. Согласно замечаниям 1, 2 теорема 1 заведомо справедлива, когда n -либо единица, либо простое, поэтому пусть n = pq ... t - некоторое спектральное представление числа n (с двумя или несколькими множителями) и пусть утверждение теоремы справедливо с любым числом, которое меньше n . Сначала отметим: если хотя бы одно число (например, p ) из спектра { p , q ,..., t } содержится в спектре { p , и ,..., w } любого другого полного разложения числа n ( n = pu...w ), тогда эти спектры одинаковы. Действительно, имеем n//p , как и для любого числа из данного спектра. Натуральное число n/p удовлетворяет неравенству n/p < n . По предположению теоремы, в частности для n/p , все спектры любых полных разложений совпадают. С другой стороны, любое полное разложение числа n/p , в силу свойства замкнутости чисел, получается из некоторого полного разложения n после исключения одного множителя p . Тогда, по крайней мере, одно из полных разложений числа n/p содержит { q ,..., t } в качестве его спектра; все полные разложения его имеют один и тот же спектр (семейства { q ,..., t } и { и ,., w } совпадают), следовательно, спектр любого полного разложения числа n , содержащего p , состоит из тех же «показателей» p , q , ..., t как теоретико-множественный спектр { q ,..., t } полного разложения числа n/p с добавлением числа p .

Теперь покажем, что любое полное разложение числа n содержит хотя бы одно число (например, q ) из спектра { p , q ,..., t }. Пусть обнаружилось полное разложение, которое начинается с разложения n = ij (1< i < n , 1< j < n ) и которое не содержит q в качестве множителя. Имеем i [/] q и j [/] q , в силу предположения о справедливости теоремы, в частности, для i , j (простое q , являясь делителем числа ij , n//q , здесь якобы не обладает свойством альтернативной делимости). Далее, в силу леммы 1 получаем n//iq , n//jq , откуда вытекает противоречие j = q ( n /( iq )); оно устраняется при наличии q в качестве множителя в любом полном разложении числа n . □

Таким образом, мы пришли к однозначному определению спектра натурального числа посредством спектра какого-либо полного разложения этого числа. Осталось лишь отметить очевидное: для любого натурального числа существуют его полные разложения (а свойство альтернативной делимости простых чисел выступает следствием леммы 1, подобным окончанию доказательства теоремы 1). Ещё отметим, имеется «более прямое» доказательство ОТА [3, с. 48, 49], которому не нужны ни деление с остатком, ни вспомогательные утверждения, а только замкнутость чисел и лишь тривиальная разложимость простого чис- ла на множители (см. замечание 1 и абзац после него); однако уточним, неясно, как перенести такой метод доказательства на случай других целостных колец [1,4,7].

К прямому доказательству теоремы Ферма-Эйлера

Основная теорема арифметики называется именно так, поскольку из неё вкупе со свойством замкнутости чисел почти непосредственно вытекают многие важные и вспомогательные утверждения, в частности, как лемма 1. При этом самое большое значение она имеет при решении некоторых диофантовых уравнений. Однако применять ОТА «всюду и везде» - это чаще всего «стрельба из пушки по воробьям»; например, свойства взаимно (попарно [5] ) простых чисел [1,2,4] можно выяснять, пользуясь только вспомогательными утверждениями типа леммы 1.

Оказывается, что и теорема Ферма-Эйлера о представлении некоторых простых чисел суммой квадратов [2, с. 117; 4, с. 342] тоже не требует мощных средств к её доказательству, заодно и те утверждения (см. ниже), которые связаны с другими квадратичными формами ⁴, например, aa +5 bb или aa +7 bb .

Определение 3. Целые i,j,...,m, выступающие в качестве делителей (в частности, самих себя), назовем сопричастными (делителями) и обозначим их сопричастность через i'j 1^1 m, если при любом n из n//i, n//j, ..., n//m следует n//ij^m .

Нетрудно видеть, что единица и любое m , не равное нулю вместе составляют пару 1! m сопричастных чисел,⁵ а поскольку взаимно простые числа, согласно определению, не имеют общих простых делителей (и никаких других, кроме единиц), лемма 2 предлагается без доказательства как очевидное следствие из ОТА.

Лемма 2. Целые числа i , j , .„, m - сопричастные тогда и только тогда , когда каждое из них не равно нулю, и при этом они попарно (взаимно) просты . □

Любые два различных простых числа являются и взаимно простыми, и сопричастными (см. лемму 1). Сопричастность любых двух взаимно простых натуральных чисел следует из обобщения леммы 1 (сноска 3). В свою очередь, «взаимная простота» двух сопричастных чисел k , m (попарная простота нескольких) ещё более очевидна. Предположение существования общего простого делителя p у чисел k , m приводит к противоречию p ( k / p )( m / p )[/] km (к отсутствию их сопричастности).

Следующее утверждение можно назвать обобщением основного свойства (альтернативной делимости) простых чисел на случай сопричастных чисел. Простое доказательство его приведём, поскольку из него получаются хоть и очевидные, но полезные следствия. Более того, вкупе с леммой 1 можно вновь убедиться в «фундаментальном» свойстве простого числа - в альтернативной делимости.

Теорема 2 (об альтернативной делимости по сопричастности [5, с. 12]). Пусть даны числа n, k, m, а также делимость nk // m, при этом k ! m, тогда n // m .

Доказательство. Поскольку числа k , m - сопричастные, постольку здесь имеет место делимость nk // km . Сокращение числа k (по закону о сокращении одинаковых сомножителей) приводит к искомой делимости n // m . □

Следствие 1. 0< n < m ^ nk [/] m, если k ! m . □

Следующую теорему по существу можно трактовать как развитие следствия 1.

Теорема 3 (об инвариантности полного семейства остатков) ⁶. При k ! m, m> 1, остатки ^ k : m ^ , ^ 2 k : m ^ , ..., ^ ( m -1) k : m ^ образуют {1, 2, ..., m -1} = { ...: m ^ } - семейство всех остатков от «нестандартного» деления на m .

Доказательство. Для m=2 теорема суть тавтология: {1} - семейство остатков от деления на 2 любого нечётного (сопричастного с «двойкой») числа k, а при любом другом соответ- ствующем m в этом можно убедиться, используя следствие 1. Если предположить, что какое-нибудь число как остаток делителя m отсутствует в данном наборе остатков, тогда найдутся два числа у>0, z>0 и одинаковые остатки ^ yk:m ^= zk:m ^ с условием: y

Следствие 2 [5, с. 46]⁷. Если даны целые a, b, q, 0<b<q и присутствует a!q, тогда среди чисел a+b, 2 a+b, ..., (q -1) a+b, а также a - b, 2 a - b, ..., (q -1) a - b, существует (единственное) число, которое делится на q. □

(Например, в случае делимости a\b и только тогда, в первом или во втором ряду обнаружится, согласно одному из неравенств - q< bI a<0, 0< bI a< q, нулевое число 0= =(-bI a) a+b=(bI a) a - b; оно и будет тем единственным, которое делится на q).

Теперь сформулируем важную лемму, о справедливости которой возможно подозревал и Ферма с целью обосновать разложение некоторых простых чисел в сумму квадратов. Схема доказательства леммы представляет самостоятельный интерес, поскольку она применима во многих случаях к доказательству делимости, например, чисел вида aa+2, aa+3 на соответствующие простые числа.

Лемма 3. Пусть p=4n+1 - простое число, n=[pI4], ^p:4^=1. Тогда в семействе Q={2, 3, ..., p-2} найдётся такое число х, что обеспечится делимость p\(хх +1).

Доказательство. Предположим, что лемма не верна для некоторого p>5, т.е. p[\](хх +1) при любом х от 1 до p-1 (ясно, почему числа 1 и p-1 заведомо не вошли в семейство Q); заодно отметим и бесспорное p[\](хх-1) при любом х из Q, в силу свойства альтернативной делимости числа p, т.к. имеем хх-1=(х-1)(х +1) и очевидные неравенства х-1<p, х +1<p. Далее, в силу теоремы 3 для каждого х<p найдётся одно и только одно некоторое y (y<p), но другое число по предположению, с остатком ^ ух:p ^=p-1 в соответствующем равенстве ху=p[хуIp]+p-1, согласно формуле деления с остатком в итоге p\(ху +1). Принимая обозначение х$у для такой пары чисел, условимся называть её «приятельской»; например, 1$p-1 -приятельская пара, но она вне семейства Q, другая пара 2$(p-1)I2 находится именно в Q. Таким образом, имеем: первое - для каждого х найдётся «приятель» у и они, образуя вместе пару х $ у, могут быть «приятелями» только друг другу, второе - количество чисел в Q равно 4n-2=(p-1)-2, из которых получаются 2n-1 приятельских пар.

Однако обнаруживается, что количество таких «пар» должно быть чётным; вместе с некоторой парой х $ у из Q числа p - х, p -у тоже находятся в Q и образуют другую приятельскую пару p - х $p - у. Действительно, 1<p - х<p-1 и 1<p - y<p-1, а совпадения p - х=х или p -х=у невозможны, т.к. 2[\]p и к тому же p[\](p-х)х +1, т.к. имеет место равенство (p-х)х +1=px-(хх-1), где p [\] хх -1. С другой стороны, p\((p - х )(p - у )+1) в силу (p - х )(p - у )+1=ху+1+p (p - х - у). В итоге между разными х $ у и p - х $p - у установилось взаимно однозначное соответствие. Такое противоречие устранимо лишь при p\(хх +1) с некоторым х<p-1. □

Теперь нетрудно убедиться в справедливости теоремы Ферма-Эйлера на примере классического «неопределённого спуска», который по существу можно назвать «монотонным» и который может начинаться с числа хх+1 из леммы 3.

Пример 1. Пусть aa+bb (a, b целые) удовлетворяет неравенствам p

В заключение отметим, что такой «спуск» почти непосредственно обобщается, например, на случай трёх сопричастных чисел a, Nb, к (см. теорему 4), когда (aa + +Nbb)//к, где число k может не являться простым, но играть роль простого p; здесь и далее целое N выступает как коэффициент «обобщённой» квадратичной формы.

От старых к некоторым новым представлениям числа квадратичными формами

Все известные представления простых чисел квадратичными формами (например, aa+bb, aa+2bb, aa+3bb), опубликованные ещё со времён Эйлера, были получены и получаются до сих пор с помощью весьма изощрённых приёмов. В этом разделе предлагается простой метод получения тех или иных представлений либо непосредственно для некоторых простых чисел, либо для них с удвоением, а также и для утроенных. Например, к такому результату можно отнести вывод формы aa + +5bb для всех чисел вида 2p, заодно и 3p, когда простое p>2 не представимо такой же квадратичной формой, однако делит некоторое число cc+5dd, где c, d - целые, но при этом p[\]c (p[\]d как следствие); часто отмечается случай 3-7=21=1-1+5-2-2, где числа 3 и 7 не имеют той же квадратичной формы как у числа 21, но заметим 3-3=2-2+5-1-1, 2-7=3-3+5-1-1. По мнению авторов, этот результат, оформленный ниже для чисел p, 2p, 3p, когда имеет место p\(cc+5dd), как несколько неожиданный возможно ещё не был опубликован, более того, имеем следующее обобщение:

Утверждение 1 (о представлении формой aa+5bb). Если нечётное q> 1 делит cc+5dd, и при этом q!c!5d, тогда одно из q, 2q (когда 2q, то заодно и 3q, и наоборот) представимо как aa+5bb, где q, a, b - целые сопричастные числа⁸.

Чтобы при доказательстве утверждения 1 можно было воспользоваться обобщением метода «монотонного спуска» (см. выше пример 1 и заключение), имеет определённый смысл выделить ещё одну лемму и одну теорему.

Лемма 4. Если aa+Nbb, где a, b, N целые, и k>0 удовлетворяют к\(aa+Nbb), при этом a!к!N, тогда найдётся такое целое x, что 0 (xx+N)//к.

Доказательство этой леммы целесообразно изложить двумя разными способами, чтобы отметить их самостоятельную ценность, что вполне можно использовать в дальнейшем (см. теорему 4, в частности). Один из них будет довольно простым, если использовать так называемое «разложение единицы» (равенство Виета), о котором шла речь с самого начала данной статьи и которое почти непосредственно следует из теоремы 3, как только остаток выбирается равным единице.

Для случая a!b (a, b - взаимно простые) найдутся целые s, t и с ними разложение единицы as+bt= 1. Тогда, в связи с обобщённым тождеством Фибоначчи получим (at-Nbs)(at-Nbs )+N=(at-Nbs)(at-Nbs)+N(as+bt)(as+bt)=(tt+Nss)(aa+Nbb). Применив формулу деления at-Nbs=k[(at-Nbs)/к]+□ (at-Nbs):к□, имеем x = □ (at-Nbs):к□ <к, а при нём и делимость (xx+N)//к, как следствие. В другом случае, когда сопричастность a!b не дана, можно воспользоваться рекомендацией из сноски 8.

Во втором способе доказательства можно воспользоваться данным a!к!N и как следствием b!к. Вновь (см. пример 1 и следствие 2) можно воспользоваться тем, что среди чисел b-a, 2b-a, ..., (m-1)b-a найдётся такое xb-a (0<x<к), при котором будем иметь (xb-a)//к. Далее, поскольку (ax+Nb)b+(a-bx)a=aa+Nbb, с учётом теоремы 2 имеем (ax+Nb)//к. Тогда обнаруживаются равенства ks=ax+Nb, kt=a-bx, где s, t - целые числа, и как следствие ещё два

к(sx+Nt)=a(xx+N), к(s-tx)=b(xx+N). В результате по теореме 2 вновь приходим к делимости (xx+N) // к. □

Теорема 4. Пусть aa+Nbb (a,b,N целые) и к удовлетворяют к\(aa+Nbb) и 0<к< <aa+Nbb<кк, 0<(N+1)к<2(aa+Nbb), при этом aIкIN. Тогда найдутся ненулевые целые числа c, d, доставляющие свойства 0<cc+Ndd<aa+Nbb и к\(cc+Ndd).

Доказательство. Как в примере 1, имеем нетривиальное разложение aa+Nbb = = тк. Следовательно, в связи с к<тк<кк, (N+1)к<2тк справедливо 1<т<к и N+1< <2т. Далее, можно предполагать aIт и NbIт. Иначе, если обнаружится некое простое q как общий делитель, например, чисел т и a, тогда будет иметь место q\Nb. В итоге обнаружатся искомые c=a/q, d=b/q, делимость к\(cc+Ndd) и сопричастность cIкIN (подобное будет и при простом общем делителе чисел т, Nb). Поэтому, как во втором способе доказательства леммы 4, найдётся xb-a (0<x<т), при котором (xb-a)//т, и также обнаруживаются целые c=( ax+Nb)/т, d=( a-bx)/т. С этими числами получим 0<cc+Ndd=(xx+N)(aa+Nbb)/тт<aa+Nbb, согласно обобщённому тождеству Фибоначчи (xa+Nb)(xa+Nb)+N(xb-a)(xb-a)=(xx+N)(aa+Nbb) и неравенству xx+N<тт. Последнее неравенство справедливо в силу N+1<2т, 0<x<т, т.к. имеем xx+N<(т-1)(т-1)+N<тт; к тому же отметим, что c=(ax+Nb)/т>0, если a, b - натуральные. Можно убедиться и в том, что d=0 (a-bx=0) не возможно, иначе получили бы равенства (ax+Nb) b+(a-bx)a=aa+Nbb=тк=(ax+Nb)b и как следствие b =1, поскольку NbIт, bIк и появилось бы противоречие кк=(ax+Nb)(ax+Nb)/(тт)=cc<кк. Осталось заметить, что т\(xx+N) следует из равенств т(cx+Nd)=a(xx+N), т(c-dx) = b(xx+N), как в конце доказательства леммы 4, поскольку число т выступает в роли числа к, и поэтому имеем искомую делимость cc+Ndd=((xx+N)/т)к. □

Замечание 3. Отметим, что любой общий делитель чисел c, t делит xx+N, поэтому в качестве важной иллюстрации применения обобщённого метода из теоремы 4 к получению «монотонного спуска» можно рассмотреть:

Пример 2. Покажем, что в том случае, когда какое-нибудь нечётное число q>0 делит число вида cc+7dd и при этом дана сопричастность qIcI7d, обнаруживается равенство q=aa+7bb, где целые числа q, a, b тоже сопричастны⁹.

Чтобы построить конструкцию монотонного спуска по теореме 4, достаточно воспользоваться леммой 4 и обнаружить (xx+7)//q при некотором натуральном x. При этом следует учесть, что 3[\]cc+7dd, поскольку в данном случае «тройка» не является делителем cc+dd. Поэтому q>4, и к тому же (xx+7)/q>4, поскольку 4q=xx+7, 2q=xx+7 при нечётном q невозможны. Следовательно, условия теоремы 4 выполняются, среди которых q<xx+7<qq, (7+1)q<2(xx+ +7), если ещё не обнаружилось искомое равенство хотя бы и вида q=xx+7.

Когда q - простое число, тогда, очевидно, что процесс «спуска» можно продолжать до тех пор пока не обнаружится либо искомое q=aa+7bb, либо равенство вида 4q=aa+7bb, в котором a, b - обязательно чётные числа. В конечном итоге, цель будет достигнута. В свою очередь, при составных делителях q можно, в частности, воспользоваться ещё одним весьма простым общим утверждением (лемма 5, доказательство которой опускаем) как дополнением к теореме 4 на случай возможного отсутствия сопричастности чисел к, c, N.

Лемма 5. Пусть q=aa+Nbb, к=cc+Ndd и cIdIN, тогда qk=ss+Ntt при s11. □

Заключение

Перед авторами стояла задача в весьма сжатой, но замкнутой (самодостаточной) форме, изложить именно нетрадиционный взгляд на фундаментальные факты теории решений некоторых диофантовых уравнений, избегая по возможности ссылок на те разделы теории чисел, которые почти не затрагиваются современными университетскими программами. Это потребовало «изобретения» прежде всего, некоторых дополнительных числовых «кон- струкций» (¦,//, □: ,↕), в частности, для деления с остатком. К числу нерешенных проблем и вопросов (включая их методологический аспект), очерченных кругом данной работы и могущих побудить к самостоятельным теоретическим изысканиям, можно отнести следующие задачи квадратичных форм F:=aa+Nbb к представлению чисел: для F с коэффициентом N в классе чисел Мерсенна, для F с отрицательным N (обобщение теоремы 4), для F с «отрицательным натуральным» N, свободным от квадрата, в связи с решением уравнения Пелля [4, c. 340] методом «нетрадиционного спуска». Кроме того, результаты «технологии деления с остатком» позволяют надеяться на существенное упрощение доказательства частных случаев Последней теоремы Ферма, например, кубов [9] и пятых степеней (когда N=-5 для F), а также получать другие (прямые) доказательства на случай биквадратов и бикубов.