Зміст
Біографія Ферма
Історія Великої теореми Ферма
Доказ леми 1 (Жермен)
Доказ леми 2 (допоміжною)
Доведення теореми Ферма для показника 4
Примітки до доказів
Біографія Ферма
Ферма своїми роботами сприяв розвитку нових галузей в математиці: математичного аналізу, аналітичної геометрії (одночасно з Декартом), теорії вірогідності.
Головним внеском Ферма в алгебру з'явилася розвинена ним теорія з'єднань або, як її ще називають, комбінаторика. Окремі завдання теорії з'єднань були вирішені вже в давнину греками і індійцями, але наукова постановка цих питань виникла лише в XVII столітті в роботах Ферма і його сучасника, знаменитого французького філософа, математика і фізика Блеза Паскаля. Виходячи з основ комбінаторики, ці два учених і поклали початок новій математичній науці, званою теорією вірогідності, що отримала в XVIII столітті значну теоретичну базу, при цьому вона почала набувати всього більшого поширення і використовуватися в різних областях науки і практичної діяльності. Перш за все, вона була застосовна до питань страхування, а надалі область її застосування все розширювалася і розширювалася.
Багато уваги Ферма також приділяв і питанню про магічні квадрати. Ці квадрати спочатку сталі відомі індійцям і арабам, і вже тільки в епоху середніх століть вони з'явилися в Західній Європі. Різні математики зацікавилися дослідженнями їх властивостей, це сприяло розвитку деяких математичних теорій. Ще Мезіріак знайшов способи складання магічних квадратів з непарним числом кліток, а вже Ферма розповсюдив ідею складання магічних квадратів на простір, тобто поставило питання про складання кубів, що володіють властивостями, аналогічними властивостям магічних квадратів.
Хоча Ферма вніс великий внесок до розвитку теорії чисел алгебри, докази його доводів майже ні в одному випадку знайдені не були (доведення Великої теореми Ферма для n=4 – виключення, оскільки в рукописах воно було). Деякі виводи, зроблені Ферма, були і зовсім помилковими, але теореми, повні докази яких, як затверджував Ферма, у нього були, всі згодом були доведені (основний внесок на доказ яких вніс Ейлер). Але було і одне виключення – приємне виключення – це Велика теорема Ферма:
Великою популярністю у всьому світі користується «Велика теорема Ферма» (вона ж – «Велика» або «Остання»).
Великою теоремою Ферма називається той висновок, який було зроблено ним при читанні виданої Мезіріаком «Арифметики» Діофанту. На полях цієї книги, проти того місця, де йде мова про вирішення рівняння виду x2 + y2 = z2, Ферма написав: «Тим часом, абсолютно неможливо розкласти повний куб на суму кубів, четвертую ступінь – на суму четвертих ступенів, взагалі який-небудь ступінь – на суму ступенів з тим же показником. Я знайшов справді дивовижний доказ цього припущення, але тут дуже мало місце, щоб його помістити». Це положення Ферма тепер формулюється як теорема в наступному вигляді: «Рівняння xn + yn = zn не може бути вирішене в раціональних числах відносно x, у і z при цілих значеннях показника n, великих 2» (загальновідомо, що при n=2 такі числа існують, наприклад, 3, 4, 5 – числа, які, якщо є довжинами сторін, утворюють знаменитий трикутник Піфагора). Справедливість цієї теореми підтверджується для багатьох окремих випадків (при цьому ще не знайдено жодного спростування), проте до цих пір вона не доведена в загальному вигляді, хоча їй цікавилися і її намагалися довести багато крупних математиків (у «Історії теорії чисел» Діксону прореферировано більше трьохсот робіт на цю тему). У 1907 році в місті Дармштадте в Германії помер математик Вольфськель, який заповідав 100000 мазкий тому, хто дасть повне доведення теореми. Негайно сотні і тисячі людей, рухомих одним лише прагненням до наживи, почали бомбардувати наукові суспільства і журнали своїми рукописами, нібито що містять доведення теореми Ферма. Тільки у Геттингенське математичне суспільство за перші три роки після оголошення заповіту Вольфськеля прийшла більше тисячі «рішень». Але премія ця до цих пір нікому не видана за відсутністю справжнього доведення Великої теореми Ферма.
Елементарного доведення Великої теореми Ферма немає ні для одного показника n ¹ 4.
Випадок, коли n = 3, був доведений Ейлером ще в 1768 році. І той зажадав ще багато років, щоб теорія, якою необгрунтовано користувався Ейлер при своєму доказі, була доведена Гаусом.
Доведення теореми Ферма для випадку, коли n = 5, запропонували в 1825 році майже одночасно Лежен Дирихле і Лежандр. Свій доказ Дирихле опублікував в 1828 році, але воно було дуже складним, і в 1912 році його спростив Племель.
Для наступного простого показника n = 7 теорема Ферма була доведена лише в 1839 році Ламі. Доказ Ламі був майже відразу ж вдосконалений Лебегом.
У 1847 році Ламі оголосив, що йому вдалося знайти доведення теореми Ферма для всіх простих показників n ³ 3. Метод Ламі був вельми далеким розвитком ідей Ейлера і грунтувався на арифметичних властивостях чисел. Проте відразу ж Ліувіль виявив в міркуваннях Ламі серйозний пропуск, чим спростував цей доказ. Ламі був вимушений визнати свою помилку.
На ЕОМ, користуючись ідеями Куммера і Вандівера довели справедливість теореми Ферма для всіх простих показників n < 100000.
Доказ леми 1 (Жермен)
Якщо твір два взаємно простих натуральних чисел є n-ой ступенем, то кожен із співмножників також буде n-ой ступенем:
ab = cn; НОД (а; b)= 1; а, b Î N
Довести: а = xn; b = yn
Доказ: Якщо розкласти cn на прості множники, то: cn = d1 *. * d1 * d2 *. * d2 *. * dm *. * dm, де кожного множника по n. Якщо ж розкласти на прості множники числа а і b, то якісь з чисел d1. dm підуть до а, якісь – до b, причому однакові піти і туди, і туди не можуть внаслідок того, що НОД (а; b)= 1, тобто а є твір n-х ступенів якихось простих чисел, і b також – твір n-х ступенів якихось чисел, отже: а = xn; b = yn.
Доказ леми 2 (допоміжною)
x2 + y2 = z2 (1)
Якщо (x; у; z) – рішення, то (у; x; z) також буде рішенням, тому що x і у симетричні в даному рівнянні. Припустимо, що z = 2k, тоді z2 = 4k, якщо ж z = 2k – 1, то z2 = (2k – 1)2 = 4k2 – 4k + 1 = 4 (k2 – до)+ 1, отже, хоч би одне з чисел x і у парно, оскільки якби обидва вони були непарними, то x2 + y2 = (2k – 1) 2 + (2d – 1) 2 = 4k2 – 4k + 1 + 4d2 – 4d + 1 = 4 (k2 + d2 – до – d)+ 2, чого бути не може, оскільки x2 +y2 =z2. Крім того (x;± у; z) також є вирішенням рівняння, оскільки x2 = (-х) 2; y2 = (-у) 2; z2 = (-z) 2.
З цих зауважень безпосередньо виходить, що нам досить знайти примітивні вирішення (x; у; z) рівняння (1), що лише складаються з позитивних чисел, тобто виключимо всі наступні рішення: (x±; у±; z), окрім (x; у; z), (у, x, z), для яких x = 2a.
Лема 2: «Будь-яке примітивне вирішення (x, у, z) рівняння (1), що складається з позитивних чисел, для якого x = 2a, виражається формулами:
x = 2mn; у = m2 – n2; z = m2 + n2
де n < m, НОД (m; n)= 1, m і n – числа різної парності».
Доказ: Хай (x; у; z) – довільне примітивне вирішення рівняння (1), що складається з позитивних чисел, де x = 2a. З рівняння 4a2 + y2 = z2 слідує (z – у) (z + у) = 4k2. Парність чисел z – у і z + у співпадають і твір їх рівне 4k2, отже, z – у і z + у парні. Хай z + у = 2b; z – у = 2c, де b і з позитивні, оскільки у < z, виходячи з рівняння (1). Кожен загальний дільник lчисел b і з є також загальним дільником z = b + з і у = b – с.
НОД (у; z)= 1, оскільки (x; у; z) – примітивне вирішення рівняння (1), отже, НОД (b; з) = 1. З другого боку 4a2 = x2 = z2 – y2 = (z – у) (z + у) = 4bc, тобто a2 =bc. Отже, згідно лемі 1, застосованою до випадку, коли n = 2, існують такі взаємно прості позитивні числа різної парності m і n, що b = m2; з = n2. Тоді a2 = (mn) 2, тобто а = mn і
x = 2a = 2mn; у = b – з = m2 – n2; z = b + з = m2 + n2.
Для завершення доказу залишається лише додати, що n < m, оскільки x, у > 0.
Доведення теореми Ферма для показника 4