теорема Ферма
Dec. 10th, 2002 12:01 pmВчера совершенно случайно наткнулся на очень красивое доказательство теоремы Ферма (но не той, знаменитой, а совсем другой, намного легче - их несколько вообще-то). Как я люблю такие случайные счастливые находки! (ключевое слово: serendipity) Вообще-то, заглядывая научный журнал двухлетней давности, совершенно не ожидаешь найти в нём статью на латыни, но это именно то, что со мной сегодня произошло. Я очень удивился. Оказалось, что это не статья, а часть статьи; вообще-то статья по-английски, но в конце её приведена копия старой и незаслуженно забытой статьи 1854-го года на латыни на эту же тему. Всего две страницы, латинская статья короткая; кстати, и в 1854-м году писать научную статью на латыни было уже делом очень экстравагантным.
Английская статья пересказывала в современных терминах доказательство, появившееся впервые в этой самой коротенькой латинской статье. Доказательство почти совсем элементарное и настолько красивое, что я не могу удержаться от соблазна попробовать его пересказать так просто, как только смогу. Если какие-то шаги будут непонятны, можно спрашивать и я объясню.
Сама же теорема гласит вот что. Разделим все нечётные простые числа на два класса: те, корорые при делении на 4 дают остаток 1, и те, которые при делении на 4 дают остаток 3. Любое число из первого класса можно представить в виде суммы двух квадратов (т.е. в виде a2+b2, где a и b - натуральные числа). Ни одно число из второго класса невозможно представить в виде суммы двух квадратов.
( немного об истории задачи, и само доказательство... )
Английская статья пересказывала в современных терминах доказательство, появившееся впервые в этой самой коротенькой латинской статье. Доказательство почти совсем элементарное и настолько красивое, что я не могу удержаться от соблазна попробовать его пересказать так просто, как только смогу. Если какие-то шаги будут непонятны, можно спрашивать и я объясню.
Сама же теорема гласит вот что. Разделим все нечётные простые числа на два класса: те, корорые при делении на 4 дают остаток 1, и те, которые при делении на 4 дают остаток 3. Любое число из первого класса можно представить в виде суммы двух квадратов (т.е. в виде a2+b2, где a и b - натуральные числа). Ни одно число из второго класса невозможно представить в виде суммы двух квадратов.
( немного об истории задачи, и само доказательство... )