Почему бесконечные числа слева от запятой имеют смысл?

Veritasium 10 млн 33 мин 4 мин 06.06.2023
Главное

Дерек Мюллер демонстрирует, что последовательное возведение в квадрат числа 5 создает число с бесконечным количеством цифр слева от десятичной точки . Этот процесс приводит к созданию p-адических чисел — системы, ставшей фундаментальным инструментом для более чем десяти лауреатов Филдсовской премии . Алекс Конторович утверждает, что эти числа позволяют решать задачи теории чисел и алгебраической геометрии, недоступные для обычных вещественных чисел .

🧮 Бесконечные цифры слева от запятой 0:00

Возведение числа 5 в квадрат дает 25, затем 625 и 390 625 . В этой последовательности последние цифры результата всегда совпадают с исходным числом . Если продолжать процесс, можно построить число с бесконечным «хвостом» цифр, уходящим влево . Такое число при возведении в квадрат возвращает само себя .

Числа с бесконечными цифрами слева называются 10-адическими числами, так как они записываются в десятичной системе счисления . Арифметика в этой системе работает по стандартным правилам, но вычисления проводятся справа налево .

🔟 Особенности 10-адической арифметики 1:47

Сложение и умножение 10-адических чисел не создают проблем, так как каждый разряд результата зависит только от цифр в той же позиции и справа от нее . Дерек Мюллер приводит пример: умножение бесконечной строки цифр, заканчивающейся на ...857143, на 7 дает в итоге 1 . Это доказывает, что в 10-адической системе рациональные числа (дроби) могут быть представлены как целые бесконечные числа без использования знака деления .

Отрицательные числа также встроены в структуру системы :

Главная проблема 10-адической системы заключается в существовании «делителей нуля» . Произведение двух ненулевых чисел может дать 0, что нарушает базовые инструменты алгебры . Это происходит из-за того, что число 10 является составным (2 × 5) .

🔢 Переход к простым основаниям p 8:29

Математики предпочитают работать с p-адическими числами, где основанием $p$ выступает простое число: 2, 3, 5, 7 и так далее . В 3-адической системе используются только цифры 0, 1 и 2 . Здесь произведение двух чисел равно нулю только в том случае, если одно из них само является нулем .

P-адическое число можно представить как бесконечное разложение по степеням простого числа . Например, в 3-адической системе число -1 записывается как бесконечная последовательность двоек . P-адические числа использовались для решения Великой теоремы Ферма и других задач, сформулированных греческим математиком Диофантом .

📜 Диофант и Великая теорема Ферма 11:32

Диофант искал решения полиномиальных уравнений в виде целых чисел или дробей . Вавилонская глиняная табличка 2000 года до н.э. содержит списки «пифагоровых троек» (чисел, удовлетворяющих уравнению $x^2 + y^2 = z^2$) за тысячу лет до рождения Пифагора .

В 1637 году Пьер де Ферма на полях книги «Арифметика» Диофанта записал, что уравнение $x^n + y^n = z^n$ не имеет решений в целых числах для $n > 2$ . Утверждение оставалось недоказанным 358 лет . Современное доказательство этой теоремы стало возможным только благодаря изобретению p-адических чисел .

📐 Решение задач через метод Гензеля 14:24

Курт Гензель в конце XIX века разработал систематический метод поиска рациональных решений уравнений . Он предложил искать решения в форме разложения по степеням простых чисел .

В качестве примера рассматривается задача Диофанта: найти три квадрата, сумма площадей которых дает новый квадрат, при условии жесткой зависимости длин сторон . Уравнение выглядит так: $x^2 + x^4 + x^8 = y^2$ . Поиск решений в вещественных числах прост, но найти рациональные дроби гораздо сложнее .

Использование модульной арифметики (работы с остатками от деления на степени простого числа) упрощает процесс :

  1. Сначала уравнение решается по модулю 3, что дает ограниченный набор вариантов для первого коэффициента .
  2. Затем решение уточняется по модулю 9, 27 и так далее .
  3. Для данной задачи расчеты показывают, что все коэффициенты x равны 1 .

Бесконечная сумма степеней $1 + 3 + 9 + 27...$ формально сходится к числу -1/2 согласно формуле геометрической прогрессии . Подстановка $x = -1/2$ в исходное уравнение дает верное равенство с рациональными числами .

🌲 Геометрия и расстояние в p-адическом мире 25:17

Геометрия p-адических чисел отличается от геометрии вещественных чисел и не ложится на прямую линию . Ее визуализируют в виде бесконечно ветвящегося дерева . В 3-адической системе дерево имеет три основные ветви, каждая из которых делится еще на три, образуя структуру, похожую на салфетку Серпинского .

Понятие размера и расстояния здесь перевернуто :

🌟 Звезды математики 30:43

В 1995 году Эндрю Уайлс и Ричард Тейлор опубликовали доказательство Великой теоремы Ферма . Уайлс использовал p-адические числа и специфический «трюк 3-5» . Когда доказательство заходило в тупик при работе с простым числом 3, он переключался на систему с основанием 5 .

Японский математик Кадзуя Като сравнивает вещественные числа с солнцем, а p-адические — со звездами . Солнце затмевает звезды днем, а ночью люди спят и не видят их, хотя звезды столь же важны для понимания устройства вселенной .

💬 Цитаты

«Вещественные числа подобны солнцу, а p-адические — звездам. Солнце затмевает звезды днем, а ночью люди спят и не видят их.»

Кадзуя Като 31:23

«В мире p-адических чисел то, что мы привыкли считать большим, является маленьким, и наоборот.»

Дерек Мюллер 27:14
👥 Спикеры
📚 Упомянутые книги
🔗 Упомянутые сайты и проекты
📖 Термины
p-адические числа
Числовая система, где числа представляются в виде бесконечных разложений по степеням простого числа p.
Делители нуля
Ненулевые элементы кольца, произведение которых равно нулю.
Модульная арифметика
Система арифметики целых чисел, в которой числа «зацикливаются» при достижении определенного значения (модуля).
Салфетка Серпинского
Фрактал, один из способов визуализации структуры p-адических чисел.
📊 Цифры
🗓 Хронология
  1. 2000 BC Вавилоняне составляют списки пифагоровых троек.
  2. 1637 Пьер де Ферма формулирует свою Великую теорему на полях книги Диофанта.
  3. Конец 1800-х Курт Гензель изобретает p-адические числа.
  4. 1995 Эндрю Уайлс и Ричард Тейлор публикуют полное доказательство теоремы Ферма.
⚖️ Другая сторона
Математика и физика p-adic numbers Fermat's Last Theorem Derek Muller Alex Kontorovich Hensel's lemma