ТОП авторов и книг ИСКАТЬ КНИГУ В БИБЛИОТЕКЕ
Поэтому Великая теорема стоит на первом месте по числу данных ей неверных доказательств.
Сам Ферма оставил доказательство Великой теоремы для четвертых степеней. Здесь он применил новый метод. Ферма пишет, что «поскольку обычные методы, находящиеся в книгах, были недостаточны для доказательства столь трудных предложений, то я, наконец, нашел совершенно особый путь для их достижения. Я назвал этот способ доказательства бесконечным или неопределенным спуском».
Именно этим методом были доказаны многие предложения теории чисел, и, в частности, с его помощью Эйлер доказал Великую теорему для n=4 (способом, несколько отличным от способа Ферма), а спустя 20 лет и для n=3.
Этот метод Ферма описывал в своем письме к Каркави (август 1659 года) следующим образом:
«Если бы существовал некоторый прямоугольный треугольник в целых числах, который имел бы площадь, равную квадрату, то существовал бы другой треугольник, меньший этого, который обладал бы тем же свойством. Если бы существовал второй, меньший первого, который имел бы то же свойство, то существовал бы, в силу подобного рассуждения, третий, меньший второго, который имел бы то же свойство, и, наконец, четвертый, пятый, спускаясь до бесконечности. Но если задано число, то не существует бесконечности по спуску меньших его (я все время подразумеваю целые числа). Откуда заключают, что не существует никакого прямоугольного треугольника с квадратной площадью».
Далее Ферма говорит, что после долгих размышлений он смог применить свой метод и для доказательства других утвердительных предложений. «Но для применения метода к доказательству других предложений, — пишет И.Г Башмакова, — например, для доказательства того, что каждое число представимо суммой не более четырех квадратов, требуется применение „новых принципов“, на которых Ферма подробнее не останавливается. Далее идет перечисление всех теорем, которые Ферма доказал, пользуясь методом спуска. Среди них находится и великая теорема для случая n=3. В конце письма Ферма выражает надежду, что этот метод окажется полезным для последующих математиков и покажет им, что „древние не все знали“. К сожалению, это письмо было опубликовано только в 1879 году. Однако Эйлер восстановил метод по отдельным замечаниям Ферма и с успехом применил его к проблемам неопределенного анализа. Ему, в частности, принадлежит и доказательство великой теоремы для n=3. Напомним, что первая попытка доказать неразложимость куба натурального числа в сумму двух кубов была сделана около 1000 года на арабском Востоке.
Метод спуска вновь начал играть ведущую роль в исследованиях по диофантову анализу А. Пуанкаре и А. Вейля. В настоящее время для применения этого метода вводится понятие высоты, т. е. такого натурального числа, которое определенным образом ставится в соответствие каждому рациональному решению. При этом если удастся доказать, что для каждого рационального решения высоты А найдется другое решение высоты меньше А, то отсюда будут следовать неразрешимость задачи в рациональных числах».
Вся последующая алгебраическая теория чисел вплоть до работ Гаусса развивалась, отталкиваясь от проблем Ферма. В XIX веке исследования, связанные с великой теоремой Ферма и законами взаимности, потребовали расширения области арифметики. Куммер, занимаясь Великой теоремой Ферма, построил арифметику для целых алгебраических чисел определенного вида. Это позволило ему доказать Великую теорему для некоторого класса простых показателей п. В настоящее время справедливость Великой теоремы проверена для всех показателей n меньше 5500.
Отметим также, что Великая теорема связана не только с алгебраической теорией чисел, но и с алгебраической геометрией, которая сейчас интенсивно развивается.
Но Великая теорема в общем виде еще не доказана. Поэтому мы вправе ожидать здесь появления новых идей и методов.
ТЕОРИЯ ВЕРОЯТНОСТЕЙ
«Можно считать, — пишет В.А. Никифоровский, — что теория вероятностей не как наука, а как собрание эмпирических наблюдений, сведений существует издавна, столько, сколько существует игра в кости. Действительно, опытный игрок знал и, вероятно, учитывал в игре, что разные выпадения числа очков имеют разную частоту появления. При метании трех костей, например, три очка могут выпасть только одним способом (по очку на каждой кости), а четыре очка — тремя способами: 2+1+1, 1+2+1, 1+1+2. Элементарные понятия теории вероятностей возникли, как уже было сказано, в связи с задачами азартных игр, обработки результатов астрономических наблюдений, задачами статистики, практики страховых обществ. Страхование получило широкое распространение вместе с развитием мореплавания и морской торговли».
Еще в шестнадцатом веке видные математики Тарталья и Кардано обратились к задачам теории вероятностей в связи с игрой в кости и подсчитали различные варианты выпадения очков.
Кардано в своей работе «Об азартной игре» привел расчеты, очень близкие к полученным позднее, когда теория вероятностей уже утвердилась как наука.
Тот же Кардано сумел подсчитать, сколькими способами даст метание двух или трех костей то или иное число очков. Он определил полное число возможных выпадений. Другими словами, Кардано вычислил вероятности тех или иных выпадений. Однако все таблицы и вычисления Тартальи и Кардано стали лишь материалом для будущей науки. «Исчисление вероятностей, всецело построенное на точных заключениях, мы находим впервые только у Паскаля и Ферма», — утверждает Цейтен.
Ферма и Паскаль действительно стали основателями математической теории вероятностей.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201
Сам Ферма оставил доказательство Великой теоремы для четвертых степеней. Здесь он применил новый метод. Ферма пишет, что «поскольку обычные методы, находящиеся в книгах, были недостаточны для доказательства столь трудных предложений, то я, наконец, нашел совершенно особый путь для их достижения. Я назвал этот способ доказательства бесконечным или неопределенным спуском».
Именно этим методом были доказаны многие предложения теории чисел, и, в частности, с его помощью Эйлер доказал Великую теорему для n=4 (способом, несколько отличным от способа Ферма), а спустя 20 лет и для n=3.
Этот метод Ферма описывал в своем письме к Каркави (август 1659 года) следующим образом:
«Если бы существовал некоторый прямоугольный треугольник в целых числах, который имел бы площадь, равную квадрату, то существовал бы другой треугольник, меньший этого, который обладал бы тем же свойством. Если бы существовал второй, меньший первого, который имел бы то же свойство, то существовал бы, в силу подобного рассуждения, третий, меньший второго, который имел бы то же свойство, и, наконец, четвертый, пятый, спускаясь до бесконечности. Но если задано число, то не существует бесконечности по спуску меньших его (я все время подразумеваю целые числа). Откуда заключают, что не существует никакого прямоугольного треугольника с квадратной площадью».
Далее Ферма говорит, что после долгих размышлений он смог применить свой метод и для доказательства других утвердительных предложений. «Но для применения метода к доказательству других предложений, — пишет И.Г Башмакова, — например, для доказательства того, что каждое число представимо суммой не более четырех квадратов, требуется применение „новых принципов“, на которых Ферма подробнее не останавливается. Далее идет перечисление всех теорем, которые Ферма доказал, пользуясь методом спуска. Среди них находится и великая теорема для случая n=3. В конце письма Ферма выражает надежду, что этот метод окажется полезным для последующих математиков и покажет им, что „древние не все знали“. К сожалению, это письмо было опубликовано только в 1879 году. Однако Эйлер восстановил метод по отдельным замечаниям Ферма и с успехом применил его к проблемам неопределенного анализа. Ему, в частности, принадлежит и доказательство великой теоремы для n=3. Напомним, что первая попытка доказать неразложимость куба натурального числа в сумму двух кубов была сделана около 1000 года на арабском Востоке.
Метод спуска вновь начал играть ведущую роль в исследованиях по диофантову анализу А. Пуанкаре и А. Вейля. В настоящее время для применения этого метода вводится понятие высоты, т. е. такого натурального числа, которое определенным образом ставится в соответствие каждому рациональному решению. При этом если удастся доказать, что для каждого рационального решения высоты А найдется другое решение высоты меньше А, то отсюда будут следовать неразрешимость задачи в рациональных числах».
Вся последующая алгебраическая теория чисел вплоть до работ Гаусса развивалась, отталкиваясь от проблем Ферма. В XIX веке исследования, связанные с великой теоремой Ферма и законами взаимности, потребовали расширения области арифметики. Куммер, занимаясь Великой теоремой Ферма, построил арифметику для целых алгебраических чисел определенного вида. Это позволило ему доказать Великую теорему для некоторого класса простых показателей п. В настоящее время справедливость Великой теоремы проверена для всех показателей n меньше 5500.
Отметим также, что Великая теорема связана не только с алгебраической теорией чисел, но и с алгебраической геометрией, которая сейчас интенсивно развивается.
Но Великая теорема в общем виде еще не доказана. Поэтому мы вправе ожидать здесь появления новых идей и методов.
ТЕОРИЯ ВЕРОЯТНОСТЕЙ
«Можно считать, — пишет В.А. Никифоровский, — что теория вероятностей не как наука, а как собрание эмпирических наблюдений, сведений существует издавна, столько, сколько существует игра в кости. Действительно, опытный игрок знал и, вероятно, учитывал в игре, что разные выпадения числа очков имеют разную частоту появления. При метании трех костей, например, три очка могут выпасть только одним способом (по очку на каждой кости), а четыре очка — тремя способами: 2+1+1, 1+2+1, 1+1+2. Элементарные понятия теории вероятностей возникли, как уже было сказано, в связи с задачами азартных игр, обработки результатов астрономических наблюдений, задачами статистики, практики страховых обществ. Страхование получило широкое распространение вместе с развитием мореплавания и морской торговли».
Еще в шестнадцатом веке видные математики Тарталья и Кардано обратились к задачам теории вероятностей в связи с игрой в кости и подсчитали различные варианты выпадения очков.
Кардано в своей работе «Об азартной игре» привел расчеты, очень близкие к полученным позднее, когда теория вероятностей уже утвердилась как наука.
Тот же Кардано сумел подсчитать, сколькими способами даст метание двух или трех костей то или иное число очков. Он определил полное число возможных выпадений. Другими словами, Кардано вычислил вероятности тех или иных выпадений. Однако все таблицы и вычисления Тартальи и Кардано стали лишь материалом для будущей науки. «Исчисление вероятностей, всецело построенное на точных заключениях, мы находим впервые только у Паскаля и Ферма», — утверждает Цейтен.
Ферма и Паскаль действительно стали основателями математической теории вероятностей.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201