🔐 Kryptos: 35 лет в напряжении
В 1990 у входа в штаб-квартиру ЦРУ в Лэнгли поставили медную скульптуру Kryptos. На ней выгравированы 4 зашифрованных текста общей длиной 869 символов. Это не просто арт-объект, а компактный учебник по классической криптографии: каждый фрагмент — отдельная задача с собственным методом шифрования.
🧩 Какие задачи и в чём их сложность
• K1 — полиалфавитная подстановка (вариант Виженера). Надо угадать длину ключа и алфавит, а затем снять сдвиги: здесь работают индекс совпадений и частотный анализ.
• K2 — снова Виженер, но со «смешанным» алфавитом и другим ключом; внутри спрятаны координаты на территории ЦРУ. Сложность в комбинации нестандартного алфавита, периода и ключевого слова.
• K3 — транспозиция (перестановка). Буквы не меняют, меняют порядок. Подсказка: частоты букв остаются «английскими», значит надо восстанавливать маршруты чтения и ключ перестановки (KRYPTOS).
• K4 — финальный отрезок на 97 символов. Десятилетиями считалось, что это «меташифр», который замешан на подсказках из предыдущих частей и ещё одном приёме (или их смеси). Именно он держал всех 35 лет.
🕵️ Как нашли ответ в 2025
Двое авторов нашли в архивах Смитсоновского института «кодовые карты» художника Джима Санборна и заметили на наклеенных обрывках исходный открытый текст K4. Санборн подтвердил подлинность и попросил запечатать материалы на 50 лет.
📦 Аукцион в ноябре
Параллельно Санборн выставил на ноябрь аукцион комплекта материалов о K4. Покупатель должен получить метод и творческий контекст, то есть «как это задумано» и как K4 связан с возможным пятым слоем.
❓ Почему решение всё ещё открытый вопрос
Несколько людей уже знают предполагаемый текст K4, но не знают метод, который к нему ведёт. В криптографии «решить» значит не просто назвать слова, а показать воспроизводимую процедуру от шифртекста к открытому тексту. Пока общепринятого публичного разбора метода нет, поэтому для математиков задача формально не закрыта.
🎨 Почему это важно
Kryptos — редкий случай, когда искусство, математика и шифры сплетаются в один сюжет на десятилетия.
Три задачи решены, четвёртая, похоже, прочитана, но доказательство метода ещё ждёт своего публичного финала.
🔥 - а можно подробнее про К1, К2, К3?
❤️ - люблю криптографию
В 1990 у входа в штаб-квартиру ЦРУ в Лэнгли поставили медную скульптуру Kryptos. На ней выгравированы 4 зашифрованных текста общей длиной 869 символов. Это не просто арт-объект, а компактный учебник по классической криптографии: каждый фрагмент — отдельная задача с собственным методом шифрования.
🧩 Какие задачи и в чём их сложность
• K1 — полиалфавитная подстановка (вариант Виженера). Надо угадать длину ключа и алфавит, а затем снять сдвиги: здесь работают индекс совпадений и частотный анализ.
• K2 — снова Виженер, но со «смешанным» алфавитом и другим ключом; внутри спрятаны координаты на территории ЦРУ. Сложность в комбинации нестандартного алфавита, периода и ключевого слова.
• K3 — транспозиция (перестановка). Буквы не меняют, меняют порядок. Подсказка: частоты букв остаются «английскими», значит надо восстанавливать маршруты чтения и ключ перестановки (KRYPTOS).
• K4 — финальный отрезок на 97 символов. Десятилетиями считалось, что это «меташифр», который замешан на подсказках из предыдущих частей и ещё одном приёме (или их смеси). Именно он держал всех 35 лет.
🕵️ Как нашли ответ в 2025
Двое авторов нашли в архивах Смитсоновского института «кодовые карты» художника Джима Санборна и заметили на наклеенных обрывках исходный открытый текст K4. Санборн подтвердил подлинность и попросил запечатать материалы на 50 лет.
📦 Аукцион в ноябре
Параллельно Санборн выставил на ноябрь аукцион комплекта материалов о K4. Покупатель должен получить метод и творческий контекст, то есть «как это задумано» и как K4 связан с возможным пятым слоем.
❓ Почему решение всё ещё открытый вопрос
Несколько людей уже знают предполагаемый текст K4, но не знают метод, который к нему ведёт. В криптографии «решить» значит не просто назвать слова, а показать воспроизводимую процедуру от шифртекста к открытому тексту. Пока общепринятого публичного разбора метода нет, поэтому для математиков задача формально не закрыта.
🎨 Почему это важно
Kryptos — редкий случай, когда искусство, математика и шифры сплетаются в один сюжет на десятилетия.
Три задачи решены, четвёртая, похоже, прочитана, но доказательство метода ещё ждёт своего публичного финала.
🔥 - а можно подробнее про К1, К2, К3?
❤️ - люблю криптографию
1🔥73❤17😱2
📐 Что такое алгебраическая геометрия и почему она считается самой красивой областью математики
С чего лучше всего начать неделю? Конечно с алгебраической геометрии.
Алгебраическая геометрия изучает фигуры, заданные уравнениями из полиномов, то есть из выражений, где используются только сложение, умножение и степени переменных.
Например, окружность можно записать как
x² + y² = 1.
Эллипс, парабола, гипербола — тоже решения полиномиальных уравнений.
Но вот пример, который не относится к алгебраической геометрии:
sin(x) = y.
Здесь появляется функция синуса, бесконечный ряд, который нельзя выразить конечным числом алгебраических операций.
Такие объекты изучает уже аналитическая геометрия и теория функций.
Почему алгебраическая геометрия ограничивается полиномами?
Потому что именно они дают чистую, точную структуру без приближений и бесконечных рядов.
Полиномы замкнуты под всеми алгебраическими операциями — это делает из них идеальный язык для строгих доказательств и универсальных форм.
Но алгебраическая геометрия идёт дальше: рассматривает такие «фигуры» не только над вещественными числами, но и над комплексными, p-адическими и даже абстрактными полями, где координаты — не числа, а алгебраические объекты.
📊 Что она изучает
• Геометрические формы, заданные алгебраическими уравнениями (кривые, поверхности, многообразия).
• Их свойства: пересечения, симметрии, особенности.
• Связи между алгебраическими формулами и геометрией фигур.
Современная алгебраическая геометрия — это язык, в котором можно описывать и кривые Эйлера, и квантовые поля, и криптографию криптомира.
📜 Немного истории
• В античности уравнения описывали реальные линии и поверхности.
• В XVII веке Декарт объединил алгебру и геометрию в координатной плоскости.
• XIX век добавил проективную геометрию и комплексные числа.
• XX век — революция: Гротендик создал схемы, превратив всё пространство в алгебру.
• Сегодня алгебраическая геометрия лежит в основе теории чисел, топологии, физики и даже машинного обучения.
💎 В чём красота
Простое уравнение превращается в форму.
Каждый полином, как зашифрованная фигура, которую можно «увидеть» с помощью алгебры.
Это соединение логики и интуиции, строгости и визуальности.
⚙️ В чём сложность
Чтобы понимать этот язык, нужно владеть и алгеброй, и топологией, и анализом.
Здесь числа становятся пространствами, а фигуры — системами уравнений.
Одна короткая формула может описывать бесконечно сложный многомерный мир.
✨ Главная идея
Алгебраическая геометрия — это искусство видеть формы сквозь формулы.
Она показывает, что числа могут быть геометрией, а геометрия — выражением законов самой логики.
С чего лучше всего начать неделю? Конечно с алгебраической геометрии.
Алгебраическая геометрия изучает фигуры, заданные уравнениями из полиномов, то есть из выражений, где используются только сложение, умножение и степени переменных.
Например, окружность можно записать как
x² + y² = 1.
Эллипс, парабола, гипербола — тоже решения полиномиальных уравнений.
Но вот пример, который не относится к алгебраической геометрии:
sin(x) = y.
Здесь появляется функция синуса, бесконечный ряд, который нельзя выразить конечным числом алгебраических операций.
Такие объекты изучает уже аналитическая геометрия и теория функций.
Почему алгебраическая геометрия ограничивается полиномами?
Потому что именно они дают чистую, точную структуру без приближений и бесконечных рядов.
Полиномы замкнуты под всеми алгебраическими операциями — это делает из них идеальный язык для строгих доказательств и универсальных форм.
Но алгебраическая геометрия идёт дальше: рассматривает такие «фигуры» не только над вещественными числами, но и над комплексными, p-адическими и даже абстрактными полями, где координаты — не числа, а алгебраические объекты.
📊 Что она изучает
• Геометрические формы, заданные алгебраическими уравнениями (кривые, поверхности, многообразия).
• Их свойства: пересечения, симметрии, особенности.
• Связи между алгебраическими формулами и геометрией фигур.
Современная алгебраическая геометрия — это язык, в котором можно описывать и кривые Эйлера, и квантовые поля, и криптографию криптомира.
📜 Немного истории
• В античности уравнения описывали реальные линии и поверхности.
• В XVII веке Декарт объединил алгебру и геометрию в координатной плоскости.
• XIX век добавил проективную геометрию и комплексные числа.
• XX век — революция: Гротендик создал схемы, превратив всё пространство в алгебру.
• Сегодня алгебраическая геометрия лежит в основе теории чисел, топологии, физики и даже машинного обучения.
💎 В чём красота
Простое уравнение превращается в форму.
Каждый полином, как зашифрованная фигура, которую можно «увидеть» с помощью алгебры.
Это соединение логики и интуиции, строгости и визуальности.
⚙️ В чём сложность
Чтобы понимать этот язык, нужно владеть и алгеброй, и топологией, и анализом.
Здесь числа становятся пространствами, а фигуры — системами уравнений.
Одна короткая формула может описывать бесконечно сложный многомерный мир.
✨ Главная идея
Алгебраическая геометрия — это искусство видеть формы сквозь формулы.
Она показывает, что числа могут быть геометрией, а геометрия — выражением законов самой логики.
2👍30❤14🔥7💘2👀1
Давайте проведем эксперимент!
Случайное блуждание из тем — следующие 10 дней темы определяете Вы!
Как вы уже поняли, в этом канале можно встретить любую математическую тему, от простых задачек до сложнейших тем современной математики. Часто в комментариях предлагают, о чем еще написать. Но давайте добавим системности (и случайности) в этот процесс.
Правила такие:
1. В течении следующих 10 дней Вы пишите комментарий с вопросом, затрагиваете какую-либо тему или явно говорите какую тему хотели бы увидеть дальше
2. Самый популярный (залайканный) или самый интересный и логичный (логичное продолжение текущего поста, на наш взгляд) комментарий станет основой темы на следующий день
Ключевая идея — не просто 10 случайных постов, а темы которые имеют некоторую логическую связь с предыдущим постом или комментариям к нему. Живой саморегулируемый организм из математики!
Проверим, куда сойдется процесс, сколько шагов от случайной темы до гипотезы Римана и о чем вообще мы думаем.
Не стесняйтесь писать о самых сокровенных математических темах (например, гипотеза Сато-Тейта или теорема Мордэлла-Вайля), которые всегда хотели спросить, но не было подходящего повода.
Для начала давайте определимся с первой темой на завтра 👇
Случайное блуждание из тем — следующие 10 дней темы определяете Вы!
Как вы уже поняли, в этом канале можно встретить любую математическую тему, от простых задачек до сложнейших тем современной математики. Часто в комментариях предлагают, о чем еще написать. Но давайте добавим системности (и случайности) в этот процесс.
Правила такие:
1. В течении следующих 10 дней Вы пишите комментарий с вопросом, затрагиваете какую-либо тему или явно говорите какую тему хотели бы увидеть дальше
2. Самый популярный (залайканный) или самый интересный и логичный (логичное продолжение текущего поста, на наш взгляд) комментарий станет основой темы на следующий день
Ключевая идея — не просто 10 случайных постов, а темы которые имеют некоторую логическую связь с предыдущим постом или комментариям к нему. Живой саморегулируемый организм из математики!
Проверим, куда сойдется процесс, сколько шагов от случайной темы до гипотезы Римана и о чем вообще мы думаем.
Не стесняйтесь писать о самых сокровенных математических темах (например, гипотеза Сато-Тейта или теорема Мордэлла-Вайля), которые всегда хотели спросить, но не было подходящего повода.
Для начала давайте определимся с первой темой на завтра 👇
2❤23👍5👀3🥰2
День 1. Почему нормальное распределение именно такое
Друзья, спасибо всем за ваши комментарии 🙏
Каждый раз, когда я читаю ваш фидбэк, понимаю — аудитория этого канала особенная.
Вы не просто изучаете математику, вы замечаете настоящую математическую красоту.
Рано или поздно осветим все, что упоминалось, но, как и обещал, начнем с наиболее "залайканного".
5 лет назад ровно в это время я делал один из первых выпусков про Закон больших чисел (если по-простому, частота наблюдаемых событий стремится к теорической вероятности). Это простое и удивительное утверждение, про которое сразу не понятно, что это - закон природы или математическая теорема. Но именно этот закон управляет многими вещами в нашем мире. Даже канал первые два года рос только за счет выпуска про закон больших чисел.
Следом за ЗБЧ был ролик про Нормальное распределение, с распределение в форме колокола, которое встречается повсюду. Но возникает очень логичный вопрос:
Почему нормальное распределение имеет график f(x)=e^(-x²)? Есть миллион функций, имеющих форму горы со склонами. Почему, когда я кидаю снежки в столб, то вырисовывается именно такая функция?
Ответ на самом деле простой - форма распределения возникает из трёх простых свойств случаныйх ошибок: симметрии, независимости и редкости больших отклонений.
Три исходных предположения
1️⃣ Симметрия — вероятность ошибки не зависит от направления. Ошибка «влево» и «вверх» равнозначны.
2️⃣ Независимость — ошибки по горизонтали и вертикали независимы: промах влево не влияет на вероятность промаха вверх.
3️⃣ Малые ошибки встречаются чаще — большие отклонения от центра менее вероятны, чем маленькие.
Как из этого получается e^(-x²)
Пусть p(x) — вероятность ошибки на расстояние x по горизонтали, а p(y) — по вертикали.
Из независимости следует: p(x) * p(y) = g(r), где r = x² + y² — расстояние от центра.
Так как результат не зависит от поворота координат (симметрия), получаем уравнение:
(p'(x) / (x * p(x))) = (p'(y) / (y * p(y))) = C, где C — постоянная.
Решая это уравнение, получаем: p(x) = A * e^(C * x² / 2).
Но по условию (малые ошибки вероятнее больших) C должно быть отрицательным.
Обозначим C = -2k², где k > 0. Тогда:
p(x) = A * e^(-k² * x²), где A — коэффициент нормировки, а k определяет ширину распределения.
То есть форма e^(-x²) — единственная, которая сохраняет симметрию и независимость ошибок при любых поворотах координат.
Это и есть основная форма гауссиана!
💡 Главная идея:
Если ошибки независимы, симметричны и большие отклонения редки — единственная возможная форма распределения — экспонента в отрицательном квадрате.
Именно поэтому кривая e^(-x²) так часто возникает в природе. А ещё нормальное распределение - это распределение с наибольшей энтропией (при заданных среднем и дисперсии). Но это уже другая история..
Друзья, спасибо всем за ваши комментарии 🙏
Каждый раз, когда я читаю ваш фидбэк, понимаю — аудитория этого канала особенная.
Вы не просто изучаете математику, вы замечаете настоящую математическую красоту.
Рано или поздно осветим все, что упоминалось, но, как и обещал, начнем с наиболее "залайканного".
5 лет назад ровно в это время я делал один из первых выпусков про Закон больших чисел (если по-простому, частота наблюдаемых событий стремится к теорической вероятности). Это простое и удивительное утверждение, про которое сразу не понятно, что это - закон природы или математическая теорема. Но именно этот закон управляет многими вещами в нашем мире. Даже канал первые два года рос только за счет выпуска про закон больших чисел.
Следом за ЗБЧ был ролик про Нормальное распределение, с распределение в форме колокола, которое встречается повсюду. Но возникает очень логичный вопрос:
Почему нормальное распределение имеет график f(x)=e^(-x²)? Есть миллион функций, имеющих форму горы со склонами. Почему, когда я кидаю снежки в столб, то вырисовывается именно такая функция?
Ответ на самом деле простой - форма распределения возникает из трёх простых свойств случаныйх ошибок: симметрии, независимости и редкости больших отклонений.
Три исходных предположения
1️⃣ Симметрия — вероятность ошибки не зависит от направления. Ошибка «влево» и «вверх» равнозначны.
2️⃣ Независимость — ошибки по горизонтали и вертикали независимы: промах влево не влияет на вероятность промаха вверх.
3️⃣ Малые ошибки встречаются чаще — большие отклонения от центра менее вероятны, чем маленькие.
Как из этого получается e^(-x²)
Пусть p(x) — вероятность ошибки на расстояние x по горизонтали, а p(y) — по вертикали.
Из независимости следует: p(x) * p(y) = g(r), где r = x² + y² — расстояние от центра.
Так как результат не зависит от поворота координат (симметрия), получаем уравнение:
(p'(x) / (x * p(x))) = (p'(y) / (y * p(y))) = C, где C — постоянная.
Решая это уравнение, получаем: p(x) = A * e^(C * x² / 2).
Но по условию (малые ошибки вероятнее больших) C должно быть отрицательным.
Обозначим C = -2k², где k > 0. Тогда:
p(x) = A * e^(-k² * x²), где A — коэффициент нормировки, а k определяет ширину распределения.
То есть форма e^(-x²) — единственная, которая сохраняет симметрию и независимость ошибок при любых поворотах координат.
Это и есть основная форма гауссиана!
💡 Главная идея:
Если ошибки независимы, симметричны и большие отклонения редки — единственная возможная форма распределения — экспонента в отрицательном квадрате.
Именно поэтому кривая e^(-x²) так часто возникает в природе. А ещё нормальное распределение - это распределение с наибольшей энтропией (при заданных среднем и дисперсии). Но это уже другая история..
1❤32👍14🔥8🥰2👀1
📊 День 2. Как «тяжёлые хвосты» управляют миром
Нормальное распределение встречается повсюду: рост людей, ошибки измерений в экспериментах, шум в датчиках и каналах связи, погрешности при производстве, погрешности опросов и тестов. Затронув нормальное распределение, очень легко оказаться и в финансовой математике. Что говорить, автор этих строк тоже грешил в молодости, закончив МГУ с дипломом на тему восстановления данных на финансовых рынках с помощью метода Марковских цепей Монте-Карло (знаменитый MCMC).
В финансах, как вы поняли, очень много математики — и тоже часто встречается нормальное распределение. 5 лет назад, когда только создавался YouTube-канал, я активно слушал книги Насима Талеба, популяризатора идеи «чёрных лебедей» и самого ярого критика нормального распределения. Всего одна вещь делает нормальное распределение не просто бесполезным, но — как показали реальные кризисы — опасным. Всё дело в тяжёлых хвостах.
Как вы помните из Дня 1, нормальные случайные величины обладают симметрией и, что особенно важно, редкостью больших отклонений. Нормальное распределение почти «запрещает» экстремальные события, но рынки, да и наша жизнь, регулярно переживают шоки, которые по Гауссу были бы «раз в жизнь Вселенной».
🦢 Что такое «тяжёлые хвосты»
Распределение с тяжёлыми (толстыми) хвостами — это такое, где большие отклонения от среднего происходят заметно чаще, чем предсказывает нормальное. В хвостах вероятность убывает медленно — по степенному закону: P(|X| > x) ~ x^(−α). Чем меньше α, тем «толще» хвост и тем выше шанс экстремума. У нормального распределения хвосты тонкие: убывают примерно как exp(−x^2).
Интуитивно, нормальное — мир «мелкой ряби» (много маленьких флуктуаций, экстремумы редки). Тяжёлые хвосты — мир «редких цунами»: долго может быть спокойно, но иногда случается скачок, который перевешивает всё остальное (и «средние» больше не спасают). Именно такие редкие, непредсказуемые и сверхвоздействующие события Талеб назвал «чёрными лебедями».
📉 Несколько примеров "черных лебедей":
• Чёрный понедельник (1987): падение Dow Jones на 22,6% за день, что нормальное распределение предсказывает как "раз в миллионы лет".
• Кризис 2008: Dow Jones падает на 51,1%, S&P 500 на 56,8%; домохозяйства США потеряли ~$19 трлн, мировые рынки >$10 трлн капитализации.
• COVID-19 (2020): NYSE минус треть стоимости за считаные недели.
Это не аномалии, а проявление встроенных в систему тяжёлых хвостов. С 1987 по 1997 было три дня с движениями, которые классическая теория предсказывает «раз в 10 000 лет».
⚠️ Почему Гаусс не работает
Нормальная модель предполагает «много маленьких независимых эффектов» и отсутствие сильной зависимости в экстремумах. В реальности источники риска часто синхронизируются именно в хвостах: когда плохо — плохо всем сразу. Итог: экстремумы происходят чаще и сильнее.
✏️ Немного математики
• «Тяжесть» хвоста описывается степенным законом: P(|X| > x) ~ x^(−α). Меньше α → толще хвост.
• У нормального распределения - тонкие хвосты (exp(−x^2)); t-распределение Стьюдента — тяжелее; Коши — настолько тяжёлое, что не существует даже среднего.
• Практический маркер «хвостатости» — повышенный коэффициент эксцесс (куртозис > 3).
🛠 Практические выводы
• Моделируйте хвосты отдельно: t, α-stable, обобщённое Парето, EVT (peaks-over-threshold).
• Смотрите на Expected Shortfall (средний убыток за порогом), а не только на VaR (Value at Risk, стоимостная мера риска).
• Делайте стресс-сценарии «за пределами истории».
• Хеджируйте хвостовой риск (опционы, динамический хедж), не надейтесь на «усреднение само спасёт».
• Помните про «Экстремистан»: одно редкое событие может определить весь исход.
💡 Главная идея
Если система допускает редкие, но очень большие скачки, то «колокол» обманывает. Нужны модели и метрики, которые видят хвосты — потому что именно хвосты делают историю, в которой мы живём.
Нормальное распределение встречается повсюду: рост людей, ошибки измерений в экспериментах, шум в датчиках и каналах связи, погрешности при производстве, погрешности опросов и тестов. Затронув нормальное распределение, очень легко оказаться и в финансовой математике. Что говорить, автор этих строк тоже грешил в молодости, закончив МГУ с дипломом на тему восстановления данных на финансовых рынках с помощью метода Марковских цепей Монте-Карло (знаменитый MCMC).
В финансах, как вы поняли, очень много математики — и тоже часто встречается нормальное распределение. 5 лет назад, когда только создавался YouTube-канал, я активно слушал книги Насима Талеба, популяризатора идеи «чёрных лебедей» и самого ярого критика нормального распределения. Всего одна вещь делает нормальное распределение не просто бесполезным, но — как показали реальные кризисы — опасным. Всё дело в тяжёлых хвостах.
Как вы помните из Дня 1, нормальные случайные величины обладают симметрией и, что особенно важно, редкостью больших отклонений. Нормальное распределение почти «запрещает» экстремальные события, но рынки, да и наша жизнь, регулярно переживают шоки, которые по Гауссу были бы «раз в жизнь Вселенной».
🦢 Что такое «тяжёлые хвосты»
Распределение с тяжёлыми (толстыми) хвостами — это такое, где большие отклонения от среднего происходят заметно чаще, чем предсказывает нормальное. В хвостах вероятность убывает медленно — по степенному закону: P(|X| > x) ~ x^(−α). Чем меньше α, тем «толще» хвост и тем выше шанс экстремума. У нормального распределения хвосты тонкие: убывают примерно как exp(−x^2).
Интуитивно, нормальное — мир «мелкой ряби» (много маленьких флуктуаций, экстремумы редки). Тяжёлые хвосты — мир «редких цунами»: долго может быть спокойно, но иногда случается скачок, который перевешивает всё остальное (и «средние» больше не спасают). Именно такие редкие, непредсказуемые и сверхвоздействующие события Талеб назвал «чёрными лебедями».
📉 Несколько примеров "черных лебедей":
• Чёрный понедельник (1987): падение Dow Jones на 22,6% за день, что нормальное распределение предсказывает как "раз в миллионы лет".
• Кризис 2008: Dow Jones падает на 51,1%, S&P 500 на 56,8%; домохозяйства США потеряли ~$19 трлн, мировые рынки >$10 трлн капитализации.
• COVID-19 (2020): NYSE минус треть стоимости за считаные недели.
Это не аномалии, а проявление встроенных в систему тяжёлых хвостов. С 1987 по 1997 было три дня с движениями, которые классическая теория предсказывает «раз в 10 000 лет».
⚠️ Почему Гаусс не работает
Нормальная модель предполагает «много маленьких независимых эффектов» и отсутствие сильной зависимости в экстремумах. В реальности источники риска часто синхронизируются именно в хвостах: когда плохо — плохо всем сразу. Итог: экстремумы происходят чаще и сильнее.
✏️ Немного математики
• «Тяжесть» хвоста описывается степенным законом: P(|X| > x) ~ x^(−α). Меньше α → толще хвост.
• У нормального распределения - тонкие хвосты (exp(−x^2)); t-распределение Стьюдента — тяжелее; Коши — настолько тяжёлое, что не существует даже среднего.
• Практический маркер «хвостатости» — повышенный коэффициент эксцесс (куртозис > 3).
🛠 Практические выводы
• Моделируйте хвосты отдельно: t, α-stable, обобщённое Парето, EVT (peaks-over-threshold).
• Смотрите на Expected Shortfall (средний убыток за порогом), а не только на VaR (Value at Risk, стоимостная мера риска).
• Делайте стресс-сценарии «за пределами истории».
• Хеджируйте хвостовой риск (опционы, динамический хедж), не надейтесь на «усреднение само спасёт».
• Помните про «Экстремистан»: одно редкое событие может определить весь исход.
💡 Главная идея
Если система допускает редкие, но очень большие скачки, то «колокол» обманывает. Нужны модели и метрики, которые видят хвосты — потому что именно хвосты делают историю, в которой мы живём.
2👍34🔥14❤4🥰1
Vital Math pinned «Давайте проведем эксперимент! Случайное блуждание из тем — следующие 10 дней темы определяете Вы! Как вы уже поняли, в этом канале можно встретить любую математическую тему, от простых задачек до сложнейших тем современной математики. Часто в комментариях…»
📚 День 3. Топ 10 книг о математике
Вчера был интересный комментарий про «тяжёлые хвосты»:
Солярис Станислава Лема — уж точно не Гаусс.
Действительно, «Солярис» — это история о людях на орбитальной станции и разумном океане, кытаскивает из «краёв распределения» крайне маловероятные переживания и делает их главными событиями. Главное случается в хвостах. Хотя это больше философия пределов знания, собственно математики в «Солярисе» нет. 🧠
Но всё это подтолкнуло к ещё одной мысли: а где же есть математика? В каких художественных произведениях математика всё-таки встречается? Вот субъективный топ 10 в порядке возрастания важности математики в сюжете (1 - самое математичное). Поехали: 🚀
🔟 Дэн Браун — «Код да Винчи» (2003)
• Детективный триллер про шифры, символы и заговоры вокруг произведений искусства.
• Математика: числа Фибоначчи, «золотое сечение», простая криптография. Математика - реквизит сюжета, а не предмет исследования. Загадки и шифры лишь для продвижения действия.
9️⃣ Эдвин Эбботт — «Флатландия» (1884)
• Аллегорическая повесть о жизни в двумерном мире и «пробуждении» к четвёртому измерению.
• Математика: геометрия измерений, проекции, неэвклидово мышление — как мыслительный эксперимент и расширение интуиции о пространстве.
8️⃣ А. и Б. Стругацкие — «За миллиард лет до конца света» (1976)
• Учёные на пороге открытий сталкиваются с «сопротивлением мироздания».
• Математика: теорема Ферма как культурный маркер, методология науки, вероятностное мышление — как философская рамка и осмысление пределов познания.
7️⃣ Лю Цысинь — «Задача трёх тел» (2006)
• Контакт цивилизаций на фоне хаотической динамики и исторических катаклизмов.
• Математика: задача трёх тел, классическая механика, хаос Пуанкаре, численные методы — ЗТТ как метафора непредсказуемости, «простая» система с хаотичным поведением.
6️⃣ Нил Стивенсон — «Криптономикон» (1999)
• Криптография времён Второй мировой и истоки электронных денег.
• Математика: теория чисел, шифры, информационная теория, вычислительная сложность — реалистично показано, как математика ломает и строит шифры.
5️⃣ Нил Стивенсон — «Анафем» (2008)
• Мир «математических орденов», обсуждающих основания науки и реальность идей.
• Математика: основания математики, конфигурационные пространства, DAG (ориентированный ациклический граф), философия доказательства — математика формирует мировоззрение и сюжет.
4️⃣ Руди Ракер — «Белый свет» (1980)
• Фантазия-путешествие по «странам бесконечностей».
• Математика: канторовские мощности, алефы, кардиналы/ординалы, парадоксы бесконечности — как содержательная ткань мира, художественная «экспериментализация» теории множеств. ∞
3️⃣ Грег Иган — «Город перестановок» (1994)
• Сознание как вычисление и реальность как математическая структура.
• Математика: комбинаторика, вычислимость, клеточные автоматы, мат. вселенная — математика объясняет, «что такое реальность» и «кем быть сознанию».
2️⃣ Грег Иган — «Накаливание» (2008)
• Как инопланетная цивилизация «с нуля» открывает Общую теорию относительности.
• Математика: тензорный анализ, риманова геометрия, геодезические, приливные силы — весь сюжет движется через математическое открытие физики. 📐
1️⃣ Грег Иган — «Диаспора» (1997)
• Постчеловеческие формы жизни и вселенные с иной физикой/математикой.
• Математика: дифференциальная/риманова геометрия, расслоения, топология, многообразия высокой размерности, абстрактные структуры — математика определяет устройство реальности и философию сознания. 🌀
Какая из этих книг ваша любимая? Что добавить (Лем «Непобедимый»? ещё Стругацкие?) Список точно неполный — присылайте свои варианты, сделаем совместный топ. ✍️
Вчера был интересный комментарий про «тяжёлые хвосты»:
Солярис Станислава Лема — уж точно не Гаусс.
Действительно, «Солярис» — это история о людях на орбитальной станции и разумном океане, кытаскивает из «краёв распределения» крайне маловероятные переживания и делает их главными событиями. Главное случается в хвостах. Хотя это больше философия пределов знания, собственно математики в «Солярисе» нет. 🧠
Но всё это подтолкнуло к ещё одной мысли: а где же есть математика? В каких художественных произведениях математика всё-таки встречается? Вот субъективный топ 10 в порядке возрастания важности математики в сюжете (1 - самое математичное). Поехали: 🚀
🔟 Дэн Браун — «Код да Винчи» (2003)
• Детективный триллер про шифры, символы и заговоры вокруг произведений искусства.
• Математика: числа Фибоначчи, «золотое сечение», простая криптография. Математика - реквизит сюжета, а не предмет исследования. Загадки и шифры лишь для продвижения действия.
9️⃣ Эдвин Эбботт — «Флатландия» (1884)
• Аллегорическая повесть о жизни в двумерном мире и «пробуждении» к четвёртому измерению.
• Математика: геометрия измерений, проекции, неэвклидово мышление — как мыслительный эксперимент и расширение интуиции о пространстве.
8️⃣ А. и Б. Стругацкие — «За миллиард лет до конца света» (1976)
• Учёные на пороге открытий сталкиваются с «сопротивлением мироздания».
• Математика: теорема Ферма как культурный маркер, методология науки, вероятностное мышление — как философская рамка и осмысление пределов познания.
7️⃣ Лю Цысинь — «Задача трёх тел» (2006)
• Контакт цивилизаций на фоне хаотической динамики и исторических катаклизмов.
• Математика: задача трёх тел, классическая механика, хаос Пуанкаре, численные методы — ЗТТ как метафора непредсказуемости, «простая» система с хаотичным поведением.
6️⃣ Нил Стивенсон — «Криптономикон» (1999)
• Криптография времён Второй мировой и истоки электронных денег.
• Математика: теория чисел, шифры, информационная теория, вычислительная сложность — реалистично показано, как математика ломает и строит шифры.
5️⃣ Нил Стивенсон — «Анафем» (2008)
• Мир «математических орденов», обсуждающих основания науки и реальность идей.
• Математика: основания математики, конфигурационные пространства, DAG (ориентированный ациклический граф), философия доказательства — математика формирует мировоззрение и сюжет.
4️⃣ Руди Ракер — «Белый свет» (1980)
• Фантазия-путешествие по «странам бесконечностей».
• Математика: канторовские мощности, алефы, кардиналы/ординалы, парадоксы бесконечности — как содержательная ткань мира, художественная «экспериментализация» теории множеств. ∞
3️⃣ Грег Иган — «Город перестановок» (1994)
• Сознание как вычисление и реальность как математическая структура.
• Математика: комбинаторика, вычислимость, клеточные автоматы, мат. вселенная — математика объясняет, «что такое реальность» и «кем быть сознанию».
2️⃣ Грег Иган — «Накаливание» (2008)
• Как инопланетная цивилизация «с нуля» открывает Общую теорию относительности.
• Математика: тензорный анализ, риманова геометрия, геодезические, приливные силы — весь сюжет движется через математическое открытие физики. 📐
1️⃣ Грег Иган — «Диаспора» (1997)
• Постчеловеческие формы жизни и вселенные с иной физикой/математикой.
• Математика: дифференциальная/риманова геометрия, расслоения, топология, многообразия высокой размерности, абстрактные структуры — математика определяет устройство реальности и философию сознания. 🌀
Какая из этих книг ваша любимая? Что добавить (Лем «Непобедимый»? ещё Стругацкие?) Список точно неполный — присылайте свои варианты, сделаем совместный топ. ✍️
1🔥27👍15❤5💘4🥰1
🎓 День 4. Что после Великой Теоремы Ферма?
От книг о математике очень легко перейти к фильмам. Про это поговорим отдельно. Вчера упомянули про короткометражку "Математик и чёрт", экранизация рассказа Артура Порджеса с Всеволодом Шестаковым и Александром Кайдановским (он же Сталкер из "Сталкера") в главных ролях. Лучшая художественная экранизация с математикой на русском языке за всю историю. 🎬
В фильме речь идёт о Великой теореме Ферма. Простое на словах утверждение с невероятно трудным доказательством. Всего лишь нужно доказать, что не существует решения в целых числах для уравнения a^n + b^n = c^n при n > 2, где a, b, c — целые числа больше 0. Для квадратов решений бесконечно много (например, 3^2 + 4^2 = 5^2), а вот для кубов, четвёртых степеней и дальше — решений найти никак не могли. 🧩
В 1637 году Пьер Ферма на полях книги написал, что знает «поистине чудесное доказательство», но места, увы, не хватило. Математическое сообщество билось над задачей более 350 лет. Британский математик Эндрю Уайлз посвятил доказательству семь лет тайной работы и, наконец, в 1993 году, он объявил ключевой результат: доказал особый случай модулярности для так называемых полустабильных эллиптических кривых — из этого следует Великая теорема Ферма. При проверке нашли «дыру»; почти год Уайлз искал исправление и совместно с Ричардом Тейлором нашёл обход. В итоге, в 1995 году опубликовали итоговое полное доказательство. Самая известная нерешенная задача математики была решена. 🔥
Что именно доказал Уайлз 🔎
Главная идея доказательства Уайлза — мост между эллиптическими кривыми (геометрические объекты, задаваемые уравнениями вроде y^2 = x^3 + ax + b, за которыми скрываются «криптография», «рациональные точки», «диофантовы уравнения») и модулярными формами (функциями с высокой симметрией, живущими в комплексном анализе). Уайлз показал: для большого класса кривых этот мост существует — «кривая говорит на языке модулярных форм». Из этого «перевода» и следует ВТФ. 🌉
📜 Что было дальше
К Уайлзу пришли слава и признание. Правда самую престижную награду для молодых математиков, премию Филдса, Уайлз так и не получил, к моменту завершения доказательства ему было 41 (премия только до 40). Но Уайлзу достались премия Вольфа (1995), премия Вольфскеля, Шокка (1995), Королевская медаль (1996), Стипендия Макартура (1997), Премия Шо (2005), премия Абеля (2016), Медаль Копли (2017); в 2000 — рыцарство.
350 лет доказательств завершились, многие спорили зачем и как. Но ключевой вопрос - а что же произошло после? 🤔
Вклад ВТФ в математику
✅ В 1995–2001 годах Кристоф Брей, Брайан Конрад, Фред Даймонд и Ричард Тейлор довели результат до полной модулярности всех эллиптических кривых над рациональными числами (Q). Это закрыло одну из центральных гипотез XX века. 🧠
✅ Методология Уайлза породила «многоразовые» техники, которые теперь лежат в «повседневном наборе» арифметической геометрии:
— поднятие модулярности (грубо: если соответствие «работает» на уровне приближений, его можно «поднять» до точного);
— знаменитая теорема R = T (деформационное кольцо = алгебра Хекке), которая скрепляет алгебру и арифметику;
— идеи «понижения/повышения уровня» (level lowering/raising), позволяющие переносить свойства между объектами. 🛠️
✅ Эти инструменты пошли дальше ВТФ: они использовались в работах о потенциальной модулярности, в прогрессе по гипотезе Серра, в результатах типа Сато–Тэйт для классов кривых и во множестве задач на стыке теории чисел и геометрии. 🔬
✅ Доказательство укрепило Программу Лэнглендса — «Великую объединяющую теорию» чисел, представлений и геометрии. Проще: всё больше разных разделов математики оказывается разными языками об одном и том же. 🌐
✅ История Уайлза привлекла в теорию чисел новое поколение студентов и подняла видимость математики далеко за пределами академии. 🎓
🏁 Главная мысль
Великая теорема Ферма — не финальная точка, а старт большой эпохи. Да, для решения понадобилось более 350 лет. Но результат открыл целые направления, дал новые инструменты и подтолкнул объединение разрозненных областей математики. 🚀
От книг о математике очень легко перейти к фильмам. Про это поговорим отдельно. Вчера упомянули про короткометражку "Математик и чёрт", экранизация рассказа Артура Порджеса с Всеволодом Шестаковым и Александром Кайдановским (он же Сталкер из "Сталкера") в главных ролях. Лучшая художественная экранизация с математикой на русском языке за всю историю. 🎬
В фильме речь идёт о Великой теореме Ферма. Простое на словах утверждение с невероятно трудным доказательством. Всего лишь нужно доказать, что не существует решения в целых числах для уравнения a^n + b^n = c^n при n > 2, где a, b, c — целые числа больше 0. Для квадратов решений бесконечно много (например, 3^2 + 4^2 = 5^2), а вот для кубов, четвёртых степеней и дальше — решений найти никак не могли. 🧩
В 1637 году Пьер Ферма на полях книги написал, что знает «поистине чудесное доказательство», но места, увы, не хватило. Математическое сообщество билось над задачей более 350 лет. Британский математик Эндрю Уайлз посвятил доказательству семь лет тайной работы и, наконец, в 1993 году, он объявил ключевой результат: доказал особый случай модулярности для так называемых полустабильных эллиптических кривых — из этого следует Великая теорема Ферма. При проверке нашли «дыру»; почти год Уайлз искал исправление и совместно с Ричардом Тейлором нашёл обход. В итоге, в 1995 году опубликовали итоговое полное доказательство. Самая известная нерешенная задача математики была решена. 🔥
Что именно доказал Уайлз 🔎
Главная идея доказательства Уайлза — мост между эллиптическими кривыми (геометрические объекты, задаваемые уравнениями вроде y^2 = x^3 + ax + b, за которыми скрываются «криптография», «рациональные точки», «диофантовы уравнения») и модулярными формами (функциями с высокой симметрией, живущими в комплексном анализе). Уайлз показал: для большого класса кривых этот мост существует — «кривая говорит на языке модулярных форм». Из этого «перевода» и следует ВТФ. 🌉
📜 Что было дальше
К Уайлзу пришли слава и признание. Правда самую престижную награду для молодых математиков, премию Филдса, Уайлз так и не получил, к моменту завершения доказательства ему было 41 (премия только до 40). Но Уайлзу достались премия Вольфа (1995), премия Вольфскеля, Шокка (1995), Королевская медаль (1996), Стипендия Макартура (1997), Премия Шо (2005), премия Абеля (2016), Медаль Копли (2017); в 2000 — рыцарство.
350 лет доказательств завершились, многие спорили зачем и как. Но ключевой вопрос - а что же произошло после? 🤔
Вклад ВТФ в математику
✅ В 1995–2001 годах Кристоф Брей, Брайан Конрад, Фред Даймонд и Ричард Тейлор довели результат до полной модулярности всех эллиптических кривых над рациональными числами (Q). Это закрыло одну из центральных гипотез XX века. 🧠
✅ Методология Уайлза породила «многоразовые» техники, которые теперь лежат в «повседневном наборе» арифметической геометрии:
— поднятие модулярности (грубо: если соответствие «работает» на уровне приближений, его можно «поднять» до точного);
— знаменитая теорема R = T (деформационное кольцо = алгебра Хекке), которая скрепляет алгебру и арифметику;
— идеи «понижения/повышения уровня» (level lowering/raising), позволяющие переносить свойства между объектами. 🛠️
✅ Эти инструменты пошли дальше ВТФ: они использовались в работах о потенциальной модулярности, в прогрессе по гипотезе Серра, в результатах типа Сато–Тэйт для классов кривых и во множестве задач на стыке теории чисел и геометрии. 🔬
✅ Доказательство укрепило Программу Лэнглендса — «Великую объединяющую теорию» чисел, представлений и геометрии. Проще: всё больше разных разделов математики оказывается разными языками об одном и том же. 🌐
✅ История Уайлза привлекла в теорию чисел новое поколение студентов и подняла видимость математики далеко за пределами академии. 🎓
🏁 Главная мысль
Великая теорема Ферма — не финальная точка, а старт большой эпохи. Да, для решения понадобилось более 350 лет. Но результат открыл целые направления, дал новые инструменты и подтолкнул объединение разрозненных областей математики. 🚀
1👍22❤11🔥5🥰3
День 5. Теоремы, которые невозможно доказать
Мы приближаемся к экватору эксперимента — каждый следующий пост делаем на основе ваших комментариев к посту за предыдущий день. Пишите больше, завтра может быть ваша тема! А вчера был такой комментарий:
... и правда: были реальные опасения. В 1960–1980-е, после работ Курта Гёделя (1931) и особенно после метода форсинга Пола Коэна (1963), стало ясно, что существуют истинные, но недоказуемые в стандартных аксиомах утверждения. На этом фоне часть математиков всерьёз допускала: Великая теорема Ферма (ВТФ) может оказаться независимой от принятых аксиом. В прессе эта тревога тоже звучала: в конце 1980-х, на волне неудачных «прорывов», выходили тексты в духе: «а что если ВТФ принципиально недоказуема?»
Но к 1995 году Эндрю Уайлз развеял сомнения: доказательство ВТФ нашлось (через модулярность полустабильных эллиптических кривых). Или... всё-таки нет? 🤔
🧩 Вспомним, что такое теоремы Гёделя
Первая теорема (очень простыми словами): в любой непротиворечивой формальной системе, которая «умеет» говорить об обычной арифметике натуральных чисел, всегда найдётся истинное утверждение, которое в этой системе нельзя ни доказать, ни опровергнуть. Это называется независимостью: чтобы добраться до истины, нужны более сильные аксиомы.
Вторая теорема: такая система не может доказать собственную непротиворечивость (если она действительно непротиворечива). Иными словами, «закрыть математику раз и навсегда» одним набором правил невозможно — всегда найдётся дверь наружу.
Это стало шоком: оказалось, не всё доказывается внутри одной "математики". Иногда нужно добавлять новые аксиомы. В результате математики начали составлять списки таких недоказуемых утверждений.
✅ Одним из первых примеров стала гипотеза континуума (CH): существует ли мощность строго между множеством целых и множеством вещественных? В общепринятой системе аксиом Цермело–Френкеля с аксиомой выбора (ZFC) ни доказать, ни опровергнуть нельзя: Гёдель показал совместимость CH с ZFC, а Коэн — совместимость отрицания CH с ZFC.
✅ Аксиома выбора (AC) относительно ZF (аксиомы Цермело–Френкеля без аксиомы выбора) — ни она, ни её отрицание не выводимы из ZF.
✅ Проблема Уайтхеда из теории абелевых групп и Гипотеза Суслина об упорядоченных множествах — невозможно ни доказать, ни опровергнуть в ZFC.
✅ Теорема Гудстейна: каждую «последовательность Гудстейна» ждёт обнуление. Истинно, но не выводимо в арифметике Пеано (PA).
✅ Теорема Крускала о деревьях и результаты Харви Фридмана: целый класс естественных комбинаторных утверждений решаем лишь при добавлении больших кардиналов (то есть вне ZFC).
Важно напомнить, неразрешимое ≠ недоказуемое. «Неразрешимая» (алгоритмически неразрешимая) задача — это про вычислимость: нет программы, которая на всех входах даст ответ «да/нет» (классический пример — проблема остановки Тьюринга). «Недоказуемое» в смысле Гёделя — это про аксиомы: у вас может быть конкретное истинное утверждение, но выбранных аксиом не хватает, чтобы его доказать; добавьте аксиому — и доказательство появится. Независимость (невозможность ни доказать, ни опровергнуть) — свойство относительно системы аксиом, а не абсолютный приговор навсегда.
Но! Возвращаясь к доказательству ВТФ, вопрос о её «доказуемости» на самом деле остаётся открытым. Уайлз доказал ВТФ, опираясь на глубокие объекты теории множеств и геометрии (модулярные формы, представления Галуа, деформации и т. д.), далеко выходящие за пределы арифметики Пеано. Мы до сих пор не знаем, следует ли Великая теорема Ферма из стандартных аксиом арифметики. Вполне возможно, что теорема, будучи доказуемой в ZFC (аксиоматика Цермело–Френкеля с аксиомой выбора), не доказуема в более слабой системе арифметики Пеано (PA). Если это будет показано, ВТФ встанет в один ряд с примерами вроде теоремы Гудстейна — естественными утверждениями о натуральных числах, которые истинны, но недоказуемы в PA.
Мы приближаемся к экватору эксперимента — каждый следующий пост делаем на основе ваших комментариев к посту за предыдущий день. Пишите больше, завтра может быть ваша тема! А вчера был такой комментарий:
Ну а после появления в 40-х годах 20 века теоремы Геделя о неполноте, вообще был шанс, что ВТФ так и могла остаться просто недоказуемой истиной
... и правда: были реальные опасения. В 1960–1980-е, после работ Курта Гёделя (1931) и особенно после метода форсинга Пола Коэна (1963), стало ясно, что существуют истинные, но недоказуемые в стандартных аксиомах утверждения. На этом фоне часть математиков всерьёз допускала: Великая теорема Ферма (ВТФ) может оказаться независимой от принятых аксиом. В прессе эта тревога тоже звучала: в конце 1980-х, на волне неудачных «прорывов», выходили тексты в духе: «а что если ВТФ принципиально недоказуема?»
Но к 1995 году Эндрю Уайлз развеял сомнения: доказательство ВТФ нашлось (через модулярность полустабильных эллиптических кривых). Или... всё-таки нет? 🤔
🧩 Вспомним, что такое теоремы Гёделя
Первая теорема (очень простыми словами): в любой непротиворечивой формальной системе, которая «умеет» говорить об обычной арифметике натуральных чисел, всегда найдётся истинное утверждение, которое в этой системе нельзя ни доказать, ни опровергнуть. Это называется независимостью: чтобы добраться до истины, нужны более сильные аксиомы.
Вторая теорема: такая система не может доказать собственную непротиворечивость (если она действительно непротиворечива). Иными словами, «закрыть математику раз и навсегда» одним набором правил невозможно — всегда найдётся дверь наружу.
Это стало шоком: оказалось, не всё доказывается внутри одной "математики". Иногда нужно добавлять новые аксиомы. В результате математики начали составлять списки таких недоказуемых утверждений.
✅ Одним из первых примеров стала гипотеза континуума (CH): существует ли мощность строго между множеством целых и множеством вещественных? В общепринятой системе аксиом Цермело–Френкеля с аксиомой выбора (ZFC) ни доказать, ни опровергнуть нельзя: Гёдель показал совместимость CH с ZFC, а Коэн — совместимость отрицания CH с ZFC.
✅ Аксиома выбора (AC) относительно ZF (аксиомы Цермело–Френкеля без аксиомы выбора) — ни она, ни её отрицание не выводимы из ZF.
✅ Проблема Уайтхеда из теории абелевых групп и Гипотеза Суслина об упорядоченных множествах — невозможно ни доказать, ни опровергнуть в ZFC.
✅ Теорема Гудстейна: каждую «последовательность Гудстейна» ждёт обнуление. Истинно, но не выводимо в арифметике Пеано (PA).
✅ Теорема Крускала о деревьях и результаты Харви Фридмана: целый класс естественных комбинаторных утверждений решаем лишь при добавлении больших кардиналов (то есть вне ZFC).
Важно напомнить, неразрешимое ≠ недоказуемое. «Неразрешимая» (алгоритмически неразрешимая) задача — это про вычислимость: нет программы, которая на всех входах даст ответ «да/нет» (классический пример — проблема остановки Тьюринга). «Недоказуемое» в смысле Гёделя — это про аксиомы: у вас может быть конкретное истинное утверждение, но выбранных аксиом не хватает, чтобы его доказать; добавьте аксиому — и доказательство появится. Независимость (невозможность ни доказать, ни опровергнуть) — свойство относительно системы аксиом, а не абсолютный приговор навсегда.
Но! Возвращаясь к доказательству ВТФ, вопрос о её «доказуемости» на самом деле остаётся открытым. Уайлз доказал ВТФ, опираясь на глубокие объекты теории множеств и геометрии (модулярные формы, представления Галуа, деформации и т. д.), далеко выходящие за пределы арифметики Пеано. Мы до сих пор не знаем, следует ли Великая теорема Ферма из стандартных аксиом арифметики. Вполне возможно, что теорема, будучи доказуемой в ZFC (аксиоматика Цермело–Френкеля с аксиомой выбора), не доказуема в более слабой системе арифметики Пеано (PA). Если это будет показано, ВТФ встанет в один ряд с примерами вроде теоремы Гудстейна — естественными утверждениями о натуральных числах, которые истинны, но недоказуемы в PA.
11👍27🔥6❤4🥰1
🎓 День 6. Почему 1 + 2 + 3 + 4 + … = −1/12? (одна из версий)
Кембридж, январь 1913. На столе у 36-летнего Харди бандероль из далёкого Мадраса. Отправитель — никому не известный 25-летний клерк по имени Шриниваса Рамануджан. Внутри — девять страниц формул без доказательств. И среди них фраза, достойная немедленной отправки автора «в сумасшедший дом», как шутливо предвосхитил сам Рамануджан:
«1 + 2 + 3 + 4 + … = −1/12».
Харди зовёт Литтлвуда. Ночь, Тринити-колледж, стол завален рядами и тетрадями. Перед ними — не просто «странные равенства», а россыпи формул по теориям чисел, эллиптическим функциям, q-рядам. Всё без привычных для Кембриджа доказательств — только чистая, дерзкая математика.
Но как быть с «1 + 2 + 3 + … = −1/12»? В обычном смысле ряд расходится к бесконечности. И всё же вычислительные следы в письме упираются в строгое ядро: формулу Эйлера–Маклорена, числа Бернулли, аккуратные поправки к суммам — одним словом, регуляризацию.
Наутро Харди произносит свою знаменитую оценку: «Это мог написать только математик высшего класса». Рамануджана приглашают в Кембридж. Так рождается то, что сегодня мы называем суммированием Рамануджана — методом, который присваивает конечные значения расходящимся рядам, когда это согласовано с глубокими структурами анализа.
🔹 Суммирование Рамануджана
Коротко: это строгий способ «присваивать» значение расходящемуся ряду, опираясь на сглаживание частичных сумм и формулу Эйлера–Маклорена с числами Бернулли. Он согласован с аналитическим продолжением дзета-функции Римана и на широком классе примеров даёт те же ответы (вроде −1/12).
Когда мы «складываем» 1 + 2 + 3 + … в обычном смысле, частичные суммы уезжают в бесконечность — ряд расходится.
Рамануджан предлагает: не пытаться «добежать» суммой до предела, а вместо этого:
1) Посмотреть на функцию частичных сумм
S(N) = ∑_{n=1}^{N} f(n); для нашего ряда f(n) = n.
Примеры:
S(1) = 1
S(2) = 3
S(3) = 6
S(4) = 10
В целом: S(N) = 1 + 2 + … + N = N(N+1)/2 = (1/2)N^2 + (1/2)N (параболический рост).
2) Сгладить ступеньки «мягким весом»
Вместо резкого обрезания на N вводим демпфирование:
S(ε) = ∑_{n=1}^{∞} n * e^(−ε n), где ε > 0.
Закрытая форма: S(ε) = e^(−ε) / (1 − e^(−ε))^2.
Для каждого фиксированного ε эта сумма конечна.
3) Разложить при больших N (или малых ε) по Эйлеру–Маклорену
Вариант A: по S(N) для f(n) = n
Интеграл: ∫_0^N x dx = (1/2)N^2
Крайняя правка: (1/2)f(N) − (1/2)f(0) = (1/2)N
Следующая правка с B2 = 1/6 даёт константу −1/12, дальше идут O(1/N^2).
Итого:
S(N) = (1/2)N^2 + (1/2)N − 1/12 + O(1/N^2).
Вариант B: по S(ε) при малых ε
S(ε) = 1/ε^2 − 1/12 + O(ε^2)
Здесь 1/ε^2 — «дивергентная часть», а константа −1/12 — «ренормированная».
4) Взять постоянный член как «ренормированное значение суммы»
— По S(N): берём константу в асимптотике −1/12.
— По S(ε): отнимаем 1/ε^2 и устремляем ε → 0+ → получаем −1/12.
Короткая запись:
1 + 2 + 3 + 4 + … = −1/12 (R)
где (R) — «суммирование Рамануджана» (регуляризованное значение, а не обычная сумма).
Именно постоянный член (то, что не растёт с N и не исчезает как 1/N, 1/N^2, …) объявляется «суммой в смысле Рамануджана».
🔹 Зачем это нужно
Метод линеен, совместим с «хорошими» преобразованиями и даёт те же значения, что и ζ-регуляризация, на больших классах функций. Поэтому −1/12 всплывает не только в теории чисел, но и в вычислениях квантовых флуктуаций и теории струн — там нужна согласованная процедура «снятия бесконечностей
Кембридж, январь 1913. На столе у 36-летнего Харди бандероль из далёкого Мадраса. Отправитель — никому не известный 25-летний клерк по имени Шриниваса Рамануджан. Внутри — девять страниц формул без доказательств. И среди них фраза, достойная немедленной отправки автора «в сумасшедший дом», как шутливо предвосхитил сам Рамануджан:
«1 + 2 + 3 + 4 + … = −1/12».
Харди зовёт Литтлвуда. Ночь, Тринити-колледж, стол завален рядами и тетрадями. Перед ними — не просто «странные равенства», а россыпи формул по теориям чисел, эллиптическим функциям, q-рядам. Всё без привычных для Кембриджа доказательств — только чистая, дерзкая математика.
Но как быть с «1 + 2 + 3 + … = −1/12»? В обычном смысле ряд расходится к бесконечности. И всё же вычислительные следы в письме упираются в строгое ядро: формулу Эйлера–Маклорена, числа Бернулли, аккуратные поправки к суммам — одним словом, регуляризацию.
Наутро Харди произносит свою знаменитую оценку: «Это мог написать только математик высшего класса». Рамануджана приглашают в Кембридж. Так рождается то, что сегодня мы называем суммированием Рамануджана — методом, который присваивает конечные значения расходящимся рядам, когда это согласовано с глубокими структурами анализа.
🔹 Суммирование Рамануджана
Коротко: это строгий способ «присваивать» значение расходящемуся ряду, опираясь на сглаживание частичных сумм и формулу Эйлера–Маклорена с числами Бернулли. Он согласован с аналитическим продолжением дзета-функции Римана и на широком классе примеров даёт те же ответы (вроде −1/12).
Когда мы «складываем» 1 + 2 + 3 + … в обычном смысле, частичные суммы уезжают в бесконечность — ряд расходится.
Рамануджан предлагает: не пытаться «добежать» суммой до предела, а вместо этого:
1) Посмотреть на функцию частичных сумм
S(N) = ∑_{n=1}^{N} f(n); для нашего ряда f(n) = n.
Примеры:
S(1) = 1
S(2) = 3
S(3) = 6
S(4) = 10
В целом: S(N) = 1 + 2 + … + N = N(N+1)/2 = (1/2)N^2 + (1/2)N (параболический рост).
2) Сгладить ступеньки «мягким весом»
Вместо резкого обрезания на N вводим демпфирование:
S(ε) = ∑_{n=1}^{∞} n * e^(−ε n), где ε > 0.
Закрытая форма: S(ε) = e^(−ε) / (1 − e^(−ε))^2.
Для каждого фиксированного ε эта сумма конечна.
3) Разложить при больших N (или малых ε) по Эйлеру–Маклорену
Вариант A: по S(N) для f(n) = n
Интеграл: ∫_0^N x dx = (1/2)N^2
Крайняя правка: (1/2)f(N) − (1/2)f(0) = (1/2)N
Следующая правка с B2 = 1/6 даёт константу −1/12, дальше идут O(1/N^2).
Итого:
S(N) = (1/2)N^2 + (1/2)N − 1/12 + O(1/N^2).
Вариант B: по S(ε) при малых ε
S(ε) = 1/ε^2 − 1/12 + O(ε^2)
Здесь 1/ε^2 — «дивергентная часть», а константа −1/12 — «ренормированная».
4) Взять постоянный член как «ренормированное значение суммы»
— По S(N): берём константу в асимптотике −1/12.
— По S(ε): отнимаем 1/ε^2 и устремляем ε → 0+ → получаем −1/12.
Короткая запись:
1 + 2 + 3 + 4 + … = −1/12 (R)
где (R) — «суммирование Рамануджана» (регуляризованное значение, а не обычная сумма).
Именно постоянный член (то, что не растёт с N и не исчезает как 1/N, 1/N^2, …) объявляется «суммой в смысле Рамануджана».
🔹 Зачем это нужно
Метод линеен, совместим с «хорошими» преобразованиями и даёт те же значения, что и ζ-регуляризация, на больших классах функций. Поэтому −1/12 всплывает не только в теории чисел, но и в вычислениях квантовых флуктуаций и теории струн — там нужна согласованная процедура «снятия бесконечностей
2🔥25👍15🤯4❤3🥰2
День 7. Есть ли расходящиеся ряды, которые невозможно регуляризовать
Да, такие есть и их много. Чтобы понять «почему нельзя», важно договориться, что вообще считать «разумным» способом суммирования расходящихся рядов.
Есть три свойства «хорошего» суммирования
1. Регулярность. Если ряд сходится обычно к s, метод обязан дать то же s.
2. Линейность. Если ∑aₙ → A и ∑bₙ → B (в смысле метода), то ∑(aₙ + bₙ) → A + B, а ∑(c·aₙ) → cA.
3. Стабильность. Добавление/удаление конечного числа членов не должно ломать сам факт суммируемости (значение может сдвинуться, но «суммируем/не суммируем» — нет).
Эти три требования резко сужают круг рядов, которым в принципе можно последовательно и непротиворечиво присвоить значение.
На самом деле, есть много методов суммирования: обычная сходимость → сумма по Чезаро → сумма по Абелю → дальше мощнее (Борель, Рамануджан/ζ и др.). Чем выше поднимаемся, тем труднее сохранить те самые три пункта паспорта. Универсального «сумматора всего» не существует.
Но иногда вообще ничего не помогает:
• Ряд 1 + 1 + 1 + …. Допустим, «сумма» = s. По стабильности: отрежем первую 1 и сравним, выходит s = 1 + s. Противоречие для любого конечного s. Значит, никакой линейный и стабильный метод не присвоит ему число.
• Ряд 1 + 2 + 3 + 4 + …. Та же ловушка (как геометрический при x=1): снова s = 1 + s.
• Сверхбыстрые монстры: вроде 1! − 2! + 3! − 4! + …. Рост такой яростный, что даже сильные регуляризации «захлёбываются»: формальные свойства нарушаются, противоречия всплывают.
• Карманный тест обречённости: если aₙ не → 0, обычной сходимости нет и надежда на честную регуляризацию минимальна.
🔹 Патологии, от которых бегут мурашки
Иногда расходится даже то, что «должно вести себя прилично». Колмогоров построил интегрируемую функцию, у которой ряд Фурье расходится почти всюду. А ещё существуют целые пространства «плохих» рядов: не редкие уродцы, а целые миры, у каждого своё патологическое свойство. Но это, как говорится, уже совсем другая история.
Да, такие есть и их много. Чтобы понять «почему нельзя», важно договориться, что вообще считать «разумным» способом суммирования расходящихся рядов.
Есть три свойства «хорошего» суммирования
1. Регулярность. Если ряд сходится обычно к s, метод обязан дать то же s.
2. Линейность. Если ∑aₙ → A и ∑bₙ → B (в смысле метода), то ∑(aₙ + bₙ) → A + B, а ∑(c·aₙ) → cA.
3. Стабильность. Добавление/удаление конечного числа членов не должно ломать сам факт суммируемости (значение может сдвинуться, но «суммируем/не суммируем» — нет).
Эти три требования резко сужают круг рядов, которым в принципе можно последовательно и непротиворечиво присвоить значение.
На самом деле, есть много методов суммирования: обычная сходимость → сумма по Чезаро → сумма по Абелю → дальше мощнее (Борель, Рамануджан/ζ и др.). Чем выше поднимаемся, тем труднее сохранить те самые три пункта паспорта. Универсального «сумматора всего» не существует.
Но иногда вообще ничего не помогает:
• Ряд 1 + 1 + 1 + …. Допустим, «сумма» = s. По стабильности: отрежем первую 1 и сравним, выходит s = 1 + s. Противоречие для любого конечного s. Значит, никакой линейный и стабильный метод не присвоит ему число.
• Ряд 1 + 2 + 3 + 4 + …. Та же ловушка (как геометрический при x=1): снова s = 1 + s.
• Сверхбыстрые монстры: вроде 1! − 2! + 3! − 4! + …. Рост такой яростный, что даже сильные регуляризации «захлёбываются»: формальные свойства нарушаются, противоречия всплывают.
• Карманный тест обречённости: если aₙ не → 0, обычной сходимости нет и надежда на честную регуляризацию минимальна.
🔹 Патологии, от которых бегут мурашки
Иногда расходится даже то, что «должно вести себя прилично». Колмогоров построил интегрируемую функцию, у которой ряд Фурье расходится почти всюду. А ещё существуют целые пространства «плохих» рядов: не редкие уродцы, а целые миры, у каждого своё патологическое свойство. Но это, как говорится, уже совсем другая история.
👍24❤7🥰2
День 8. Паталогическая функция Колмогорова
Колмогоров — один из величайщих умов ХХ века: он создал аксиоматику теории вероятностей, заложил основы теории марковских процессов, развил теорию хаоса, построил крупнейшую математическую школу. Но в большую математику он ворвался ещё студентом с красивой и дерзкой «патологией», которая показала границы самого известного инструмента анализа сигналов - рядов Фурье.
Идея выглядит просто: берём функцию f, считаем гармоники, составляем её «оркестр» из синусов и косинусов, постепенно добавляем всё больше гармоник и ожидаем, что сумма всё точнее «попадает» в исходную кривую. По-простому, чем больше чистых тонов вы смешаете, тем ближе получится к оригиналу. В технике ряды Фурье встрачаются везде, где есть сигналы - от умных колонок до томографии и уравнений квантовой механики в частотном пространстве.
🧨 Сюрприз от 19-летнего Колмогорова
В 1922 году он построил вполне «порядочную» функцию. У неё конечная площадь под графиком за период (это и значит «интегрируема», класс L1). Но если к ней честно применять Фурье-метод и наращивать число гармоник, сумма не приближается к исходнику в почти всех точках.
В 1926 он усилил удар: нашёл функцию из того же класса, у которой разложение «разбегается» вообще в каждой точке.
Как выглядит такая функция? Это не чудовище с бесконечными иглами, скорее «неровная», со вспышками и резкими сменами. Достаточное, чтобы суммирование давала большие провалы и выбросы.
🧠 Что именно «сломал» Колмогоров?
Он сломал ожидание, что «интегрируемости» достаточно для устойчивого восстановления по гармоникам, то есть для гарантии сходимости частичных сумм ряда Фурье к исходной функции.
Проблема в том, что стандартное суммирование идёт через так называемое ядро Дирихле. Не пугайтесь: это просто набор весов, которыми вы смешиваете гармоники, своего рода «акустика зала». У этой акустики есть неприятная особенность: её суммарная «громкость» растёт как log N с числом гармоник N. Рост медленный, но уверенный. С некоторых пор даже маленькие выбросы в исходной функции начинают многократно усиливать звук в сумме. Вместо всё более точной копии получается дрожащая пила с усиленными рябями.
🎯 Почему это важно не только математикам
Ряд Фурье — универсальный инструмент. В реальном мире мы часто хотим «разобрать» сложный сигнал на понятные составляющие, а потом собрать его обратно. Колмогоров показал: универсальность работает не везде. Есть данные, где «честное» частотное сложение без дополнительной гладкости обречено давать нестабильность. Значит, нужно либо требовать от данных больше регулярности, либо менять способ суммирования.
Как снова "починили" ряд Фурье?
Ещё в 1915 году Лузин угадал правильный ориентир: нужно брать функции не в L^1 (функции с конечной площадью под графиком), а в пространстве L^2 (с конечной энергией, то есть интегрируемым квадратом). В 1966 году Леннарт Карлесон доказал, что для f ∈ L^2 частичные суммы действительно сходятся к f почти всюду. В 1968 Ричард Хант распространил это на все L^p при p>1.
Если у функции конечная «энергия» (квадрат интегрируем), то гармоники собираются в оригинал. Если только интеграл по модулю конечен — гарантий нет.
Контрпример заставил перестроить текхнику. Возникли более гибкие способы суммирования (Фейера, Пойа), максимальные операторы, и весь современный гармонический анализ — с его щадящими «линзами», которые сглаживают суммирование и возвращают устойчивость. Парадоксально, но именно контрпример объяснил, как сделать Фурье-методы надёжными.
🔎 Вывод
Колмогоров провёл красную черту: «интегрируемо» — ещё не «восстановимо из гармоник». Карлесон дополнил: «есть энергия — проезд разрешён». Для математики это прояснило, какие бесконечные суммы можно складывать «по-честному», а где требуется другой порядок или сглаживание; для мира — это объяснение, почему в обработке сигналов и данных мы почти всегда применяем окна, аподизацию и усреднения, чтобы частотные методы были не только красивыми, но и устойчивыми.
Можно было бы и привести функцию Колмогорова.
Колмогоров — один из величайщих умов ХХ века: он создал аксиоматику теории вероятностей, заложил основы теории марковских процессов, развил теорию хаоса, построил крупнейшую математическую школу. Но в большую математику он ворвался ещё студентом с красивой и дерзкой «патологией», которая показала границы самого известного инструмента анализа сигналов - рядов Фурье.
Идея выглядит просто: берём функцию f, считаем гармоники, составляем её «оркестр» из синусов и косинусов, постепенно добавляем всё больше гармоник и ожидаем, что сумма всё точнее «попадает» в исходную кривую. По-простому, чем больше чистых тонов вы смешаете, тем ближе получится к оригиналу. В технике ряды Фурье встрачаются везде, где есть сигналы - от умных колонок до томографии и уравнений квантовой механики в частотном пространстве.
🧨 Сюрприз от 19-летнего Колмогорова
В 1922 году он построил вполне «порядочную» функцию. У неё конечная площадь под графиком за период (это и значит «интегрируема», класс L1). Но если к ней честно применять Фурье-метод и наращивать число гармоник, сумма не приближается к исходнику в почти всех точках.
В 1926 он усилил удар: нашёл функцию из того же класса, у которой разложение «разбегается» вообще в каждой точке.
Как выглядит такая функция? Это не чудовище с бесконечными иглами, скорее «неровная», со вспышками и резкими сменами. Достаточное, чтобы суммирование давала большие провалы и выбросы.
🧠 Что именно «сломал» Колмогоров?
Он сломал ожидание, что «интегрируемости» достаточно для устойчивого восстановления по гармоникам, то есть для гарантии сходимости частичных сумм ряда Фурье к исходной функции.
Проблема в том, что стандартное суммирование идёт через так называемое ядро Дирихле. Не пугайтесь: это просто набор весов, которыми вы смешиваете гармоники, своего рода «акустика зала». У этой акустики есть неприятная особенность: её суммарная «громкость» растёт как log N с числом гармоник N. Рост медленный, но уверенный. С некоторых пор даже маленькие выбросы в исходной функции начинают многократно усиливать звук в сумме. Вместо всё более точной копии получается дрожащая пила с усиленными рябями.
🎯 Почему это важно не только математикам
Ряд Фурье — универсальный инструмент. В реальном мире мы часто хотим «разобрать» сложный сигнал на понятные составляющие, а потом собрать его обратно. Колмогоров показал: универсальность работает не везде. Есть данные, где «честное» частотное сложение без дополнительной гладкости обречено давать нестабильность. Значит, нужно либо требовать от данных больше регулярности, либо менять способ суммирования.
Как снова "починили" ряд Фурье?
Ещё в 1915 году Лузин угадал правильный ориентир: нужно брать функции не в L^1 (функции с конечной площадью под графиком), а в пространстве L^2 (с конечной энергией, то есть интегрируемым квадратом). В 1966 году Леннарт Карлесон доказал, что для f ∈ L^2 частичные суммы действительно сходятся к f почти всюду. В 1968 Ричард Хант распространил это на все L^p при p>1.
Если у функции конечная «энергия» (квадрат интегрируем), то гармоники собираются в оригинал. Если только интеграл по модулю конечен — гарантий нет.
Контрпример заставил перестроить текхнику. Возникли более гибкие способы суммирования (Фейера, Пойа), максимальные операторы, и весь современный гармонический анализ — с его щадящими «линзами», которые сглаживают суммирование и возвращают устойчивость. Парадоксально, но именно контрпример объяснил, как сделать Фурье-методы надёжными.
🔎 Вывод
Колмогоров провёл красную черту: «интегрируемо» — ещё не «восстановимо из гармоник». Карлесон дополнил: «есть энергия — проезд разрешён». Для математики это прояснило, какие бесконечные суммы можно складывать «по-честному», а где требуется другой порядок или сглаживание; для мира — это объяснение, почему в обработке сигналов и данных мы почти всегда применяем окна, аподизацию и усреднения, чтобы частотные методы были не только красивыми, но и устойчивыми.
🔥26👍16❤🔥2🥰1🤔1
🌌 День 9. Как ряды Фурье услышали молодую Вселенную
Сахаров в 1960-х предположил, что ранняя плотная Вселенная колыхалась как упругая среда. Притяжение стягивало уплотнения внутрь, давление света толкало наружу. Возникли акустические колебания. Когда Вселенная остыла и свет отделился от вещества, колебания прекратились, а их след застыл в древнем свете и в крупном рисунке расположения галактик.
У нас есть два независимых носителя одного сигнала. Первый это карта древнего света, который идёт к нам с эпохи после остывания. Второй это статистика расстояний между галактиками. Оба хранят один и тот же ритм ранних колебаний.
Ключ к чтению этого ритма даёт ряд Фурье. Мы берём сложный узор и раскладываем его на частоты, как аккорд на ноты. В спектре появляется гребёнка пиков. Это и есть гармоники тех древних колебаний.
Расстояния между пиками определяются тем, как далеко успела пройти звуковая волна до остановки. Этот масштаб называют звуковым горизонтом. Он работает как стандартная линейка. По нему измеряют расстояния и темп расширения Вселенной. Так картинка превращается в числа.
В этом веке спутники WMAP и Planck точно измерили спектр древнего света. Обзоры галактик вроде SDSS нашли тот же масштаб в материи. Совпадение пиков в двух независимых Фурье-разложениях превратило гипотезу Сахарова в строгий количественный тест горячей модели Большого взрыва и в рабочий инструмент современной космологии.
🧠 Основная идея. Фурье-преобразование переводит сложные карты неба в спектры, где видны численные пики. Без этого перевода мы видели бы красивый узор, но не получили бы масштабы, расстояния и темп расширения. Фурье делает космологию измеряемой и сопоставимой, превращая древний свет и распределение галактик в набор параметров для проверки моделей Вселенной.
Но есть ещё одно необычное приложение рядов Фурье - попробуйте посчитать вот такую сумму:
1 + 1/2² + 1/3² + 1/4² + 1/5² + … = ?
Сахаров в 1960-х предположил, что ранняя плотная Вселенная колыхалась как упругая среда. Притяжение стягивало уплотнения внутрь, давление света толкало наружу. Возникли акустические колебания. Когда Вселенная остыла и свет отделился от вещества, колебания прекратились, а их след застыл в древнем свете и в крупном рисунке расположения галактик.
У нас есть два независимых носителя одного сигнала. Первый это карта древнего света, который идёт к нам с эпохи после остывания. Второй это статистика расстояний между галактиками. Оба хранят один и тот же ритм ранних колебаний.
Ключ к чтению этого ритма даёт ряд Фурье. Мы берём сложный узор и раскладываем его на частоты, как аккорд на ноты. В спектре появляется гребёнка пиков. Это и есть гармоники тех древних колебаний.
Расстояния между пиками определяются тем, как далеко успела пройти звуковая волна до остановки. Этот масштаб называют звуковым горизонтом. Он работает как стандартная линейка. По нему измеряют расстояния и темп расширения Вселенной. Так картинка превращается в числа.
В этом веке спутники WMAP и Planck точно измерили спектр древнего света. Обзоры галактик вроде SDSS нашли тот же масштаб в материи. Совпадение пиков в двух независимых Фурье-разложениях превратило гипотезу Сахарова в строгий количественный тест горячей модели Большого взрыва и в рабочий инструмент современной космологии.
🧠 Основная идея. Фурье-преобразование переводит сложные карты неба в спектры, где видны численные пики. Без этого перевода мы видели бы красивый узор, но не получили бы масштабы, расстояния и темп расширения. Фурье делает космологию измеряемой и сопоставимой, превращая древний свет и распределение галактик в набор параметров для проверки моделей Вселенной.
Но есть ещё одно необычное приложение рядов Фурье - попробуйте посчитать вот такую сумму:
1 + 1/2² + 1/3² + 1/4² + 1/5² + … = ?
🔥15👍10❤3🥰2
📚 День 10. Леонард Эйлер
Завершаем наш 10-дневный эксперимент, развивая тему вчерашнего комментария про Леонарда Эйлера. Если Колмогоров ворвался в большую математику, построив патологическую интегрируемую функцию с расходящимся рядом Фурье, то Эйлер стал «суперзвездой» математики, решив столетнюю Базельскую задачу.
В 1735 году молодой Эйлер вычисляет сумму 1 + 1/2² + 1/3² + … и получает точный ответ π²/6. До него знали лишь приближения и не верили, что за суммой квадратов скрыта геометрическая константа π. Он рискнул применить смелую идею с бесконечными произведениями и, сравнив коэффициенты, вышел на результат, который ошарашил коллег. Так началась репутация Эйлера как человека, который слышит «музыку» в бесконечных рядах.
А вот ещё несколько не менее интересных фактов о великом Эйлере.
🧠 Слепота помогла продуктивности.
Зрение у Эйлера угасало годами, и к шестому десятку он почти ничего не видел. Вместо паузы он перестроил рабочий ритм: диктовал трактаты по памяти и проверял вычисления «на слух». В 1775 году темп стал легендарным: примерно статья в неделю, притом что материалы шли сразу в печать без черновиков. Помогала феноменальная память и железная бытовая дисциплина: ассистенты записывали, домочадцы читали ему вслух, а он правил формулы на лету. Даже в таком состоянии Эйлер не унывал. «Ещё одна помеха убрана», — так он сам описывал потерю зрения: математика превыше всего.
🔤 Он собрал алфавит современной математики.
Сегодня мы пишем f(x), используем Σ для сумм, e для экспоненты и i для мнимой единицы — и почти не задумываемся, откуда это пришло. Во времена Эйлера записи растягивались на абзацы, а перегруженная символика мешала общению между разделами. Он сделал нотацию короткой и переносимой: одна строка стала заменять страницу объяснений. Это изменило не только удобство, но и скорость науки: формулы перестали быть локальным диалектом и стали общим языком.
🧩 Формула V − E + F = 2 открыла дверь в топологию.
Для выпуклых многогранников число вершин минус число рёбер плюс число граней всегда даёт 2, какими бы ни были размеры и углы. Это удивительный намёк на то, что у фигур есть скрытая «постоянная суть». Эйлер нащупал идею инварианта, который переживает любые деформации без разрывов. Мир форм внезапно стал не про длины и площади, а про «скелет» и отверстия. Так появились основны топологии.
🌪 Уравнения Эйлера описали идеальную жидкость и вращение тела.
Когда мы видим струю пара или след на воде от корабля, мы фактически смотрим на решения «эйлеровой» модели невязкой жидкости. Те же идеи работают в баллистике и в первых моделях атмосферы. Вокруг уравнений выросли целые школы приближённых методов. Эйлер, по сути, сформулировал ядро для будущей гидродинамики и механики сплошной среды и показал, что в математике иногда самое важное — правильно написать уравнения.
🧮 Ментальная арифметика была его суперсилой.
Коллеги любили проверять его «на скорость»: спорили о далёком члене ряда или просили придумать числа с редкими свойствами. Эйлер останавливался на секунду и выдавал ответ, который позже подтверждали на бумаге. Франсуа Араго писал, что он «считал так же естественно, как дышал», — и это не фигура речи, а описание наблюдений. Секрет не в трюках, а в тренировке памяти и глубоком понимании структуры выражений: он будто видел долгие вычисления «развёрнутыми» сразу.
🛰 Наука была с ним до последнего дня.
18 сентября 1783 года он в Петербурге обсуждал с Андреем Лекселем орбиту недавно открытой планеты Уран. После обеда играл с внуком, шутил и внезапно его не стало. В некрологе Эйлера Кондорсе записал фразу, которая стала эпитафией и портретом: «Он перестал вычислять и жить». Она звучит как факт, соединяющий человека и дело его жизни: математика для Эйлера была не профессией, а естественным состоянием.
🧷 Эйлер не только решал трудные примеры, он собирал математику в единую систему. Он дал ей язык, привычки и инструменты. Если искать в прошлом того, кто формулировал правила игры на века, это Эйлер. И чем подробнее узнаёшь его жизнь, тем лучше понимаешь математику сегодня.
Завершаем наш 10-дневный эксперимент, развивая тему вчерашнего комментария про Леонарда Эйлера. Если Колмогоров ворвался в большую математику, построив патологическую интегрируемую функцию с расходящимся рядом Фурье, то Эйлер стал «суперзвездой» математики, решив столетнюю Базельскую задачу.
В 1735 году молодой Эйлер вычисляет сумму 1 + 1/2² + 1/3² + … и получает точный ответ π²/6. До него знали лишь приближения и не верили, что за суммой квадратов скрыта геометрическая константа π. Он рискнул применить смелую идею с бесконечными произведениями и, сравнив коэффициенты, вышел на результат, который ошарашил коллег. Так началась репутация Эйлера как человека, который слышит «музыку» в бесконечных рядах.
А вот ещё несколько не менее интересных фактов о великом Эйлере.
🧠 Слепота помогла продуктивности.
Зрение у Эйлера угасало годами, и к шестому десятку он почти ничего не видел. Вместо паузы он перестроил рабочий ритм: диктовал трактаты по памяти и проверял вычисления «на слух». В 1775 году темп стал легендарным: примерно статья в неделю, притом что материалы шли сразу в печать без черновиков. Помогала феноменальная память и железная бытовая дисциплина: ассистенты записывали, домочадцы читали ему вслух, а он правил формулы на лету. Даже в таком состоянии Эйлер не унывал. «Ещё одна помеха убрана», — так он сам описывал потерю зрения: математика превыше всего.
🔤 Он собрал алфавит современной математики.
Сегодня мы пишем f(x), используем Σ для сумм, e для экспоненты и i для мнимой единицы — и почти не задумываемся, откуда это пришло. Во времена Эйлера записи растягивались на абзацы, а перегруженная символика мешала общению между разделами. Он сделал нотацию короткой и переносимой: одна строка стала заменять страницу объяснений. Это изменило не только удобство, но и скорость науки: формулы перестали быть локальным диалектом и стали общим языком.
🧩 Формула V − E + F = 2 открыла дверь в топологию.
Для выпуклых многогранников число вершин минус число рёбер плюс число граней всегда даёт 2, какими бы ни были размеры и углы. Это удивительный намёк на то, что у фигур есть скрытая «постоянная суть». Эйлер нащупал идею инварианта, который переживает любые деформации без разрывов. Мир форм внезапно стал не про длины и площади, а про «скелет» и отверстия. Так появились основны топологии.
🌪 Уравнения Эйлера описали идеальную жидкость и вращение тела.
Когда мы видим струю пара или след на воде от корабля, мы фактически смотрим на решения «эйлеровой» модели невязкой жидкости. Те же идеи работают в баллистике и в первых моделях атмосферы. Вокруг уравнений выросли целые школы приближённых методов. Эйлер, по сути, сформулировал ядро для будущей гидродинамики и механики сплошной среды и показал, что в математике иногда самое важное — правильно написать уравнения.
🧮 Ментальная арифметика была его суперсилой.
Коллеги любили проверять его «на скорость»: спорили о далёком члене ряда или просили придумать числа с редкими свойствами. Эйлер останавливался на секунду и выдавал ответ, который позже подтверждали на бумаге. Франсуа Араго писал, что он «считал так же естественно, как дышал», — и это не фигура речи, а описание наблюдений. Секрет не в трюках, а в тренировке памяти и глубоком понимании структуры выражений: он будто видел долгие вычисления «развёрнутыми» сразу.
🛰 Наука была с ним до последнего дня.
18 сентября 1783 года он в Петербурге обсуждал с Андреем Лекселем орбиту недавно открытой планеты Уран. После обеда играл с внуком, шутил и внезапно его не стало. В некрологе Эйлера Кондорсе записал фразу, которая стала эпитафией и портретом: «Он перестал вычислять и жить». Она звучит как факт, соединяющий человека и дело его жизни: математика для Эйлера была не профессией, а естественным состоянием.
🧷 Эйлер не только решал трудные примеры, он собирал математику в единую систему. Он дал ей язык, привычки и инструменты. Если искать в прошлом того, кто формулировал правила игры на века, это Эйлер. И чем подробнее узнаёшь его жизнь, тем лучше понимаешь математику сегодня.
2❤44👍22🔥10👏5🥰1
🫧 Мыльные плёнки и 11-е измерение: зачем математикам «сглаживать» изломы
Представьте проволочную рамку и мыльный раствор. Опускаем и плёнка сама натягивается с минимальной площадью. Это и есть «минимизирующие поверхности». В 3D они ведут себя прилично: диск, «песочные часы» (катеноид), красивые седла. Но в более высоких измерениях поверхность может заламываться и колоться — появляются сингулярности.
Наконец, пару лет назад математики показали, что в 9, 10 и 11 измерениях такие плёнки обычно всё-таки гладкие. Почти всегда достаточно чуть-чуть «пошевелить рамку» и излом исчезает. Это свойство называется «генерическая регулярность»: не гарантировано для каждой рамки, но верно для «почти всех».
Почему это круто и понятно даже без формул?
Если поверхность гладкая — с ней работает весь арсенал анализа и геометрии. А значит, доказательства, которые раньше «дотягивались» лишь до размерности 8, теперь можно уверенно продолжать до 11-й.
Где это важно в реальном мире:
- в общей теории относительности (чистые, без изломов, гиперповерхности помогают формулировать и подтверждать версии Положительной теоремы о массе),
- в материалах (микроструктуры типа гироида — это те же минимизирующие поверхности, влияющие на прочность и транспорт веществ),
- в компьютерной графике и моделировании (гладкость = предсказуемость численных методов).
Если хочется одной «формулы-направляющей»: для минимизирующих гиперповерхностей размерность множества изломов не больше n − 8. Потому в 3D их вообще нет, а с ростом измерений изломы могут появляться, но новая работа показывает: в 9–11D их можно «исправить» почти всегда.
Итог: мир мыльных плёнок оказался гораздо более «послушным», чем казалось. Мы лучше понимаем, где порядок побеждает хаос, — и это открывает дорогу к более сильным теоремам в геометрии и физике.
Представьте проволочную рамку и мыльный раствор. Опускаем и плёнка сама натягивается с минимальной площадью. Это и есть «минимизирующие поверхности». В 3D они ведут себя прилично: диск, «песочные часы» (катеноид), красивые седла. Но в более высоких измерениях поверхность может заламываться и колоться — появляются сингулярности.
Наконец, пару лет назад математики показали, что в 9, 10 и 11 измерениях такие плёнки обычно всё-таки гладкие. Почти всегда достаточно чуть-чуть «пошевелить рамку» и излом исчезает. Это свойство называется «генерическая регулярность»: не гарантировано для каждой рамки, но верно для «почти всех».
Почему это круто и понятно даже без формул?
Если поверхность гладкая — с ней работает весь арсенал анализа и геометрии. А значит, доказательства, которые раньше «дотягивались» лишь до размерности 8, теперь можно уверенно продолжать до 11-й.
Где это важно в реальном мире:
- в общей теории относительности (чистые, без изломов, гиперповерхности помогают формулировать и подтверждать версии Положительной теоремы о массе),
- в материалах (микроструктуры типа гироида — это те же минимизирующие поверхности, влияющие на прочность и транспорт веществ),
- в компьютерной графике и моделировании (гладкость = предсказуемость численных методов).
Если хочется одной «формулы-направляющей»: для минимизирующих гиперповерхностей размерность множества изломов не больше n − 8. Потому в 3D их вообще нет, а с ростом измерений изломы могут появляться, но новая работа показывает: в 9–11D их можно «исправить» почти всегда.
Итог: мир мыльных плёнок оказался гораздо более «послушным», чем казалось. Мы лучше понимаем, где порядок побеждает хаос, — и это открывает дорогу к более сильным теоремам в геометрии и физике.
🔥15❤7👍4🥰1🤔1
С Днем математика!
Уже второй год 1 декабря отмечается день математика в честь дня рождения Николая Ивановича Лобачевского.
Хотя Лобачевский известен прежде всего как создатель неевклидовой геометрии, его вклад в науку, образование и академическую жизнь выходит далеко за рамки этого революционного открытия.
Одно важное, но малоизвестное достижение: формула Лобачевского для интегралов Дирихле.
Эта формула позволяет вычислять определенные классы несобственных интегралов и имеет фундаментальное значение в теории распределений.
Для непрерывной функции f(x), удовлетворяющей условиям π-периодичности f(x+π) = f(x) и симметрии f(π-x) = f(x), формула Лобачевского утверждает:
Эта изящная формула связывает несобственный интеграл по бесконечному интервалу с обычным интегралом по конечному отрезку. Современные математики продолжают обобщать и расширять эту формулу для более сложных случаев, что свидетельствует о ее фундаментальном значении в математическом анализе.
А чтобы получить красивый результат, достаточно взять f(x)=1. Попробуйте сами (или посмотрите на картинку в начале).
Уже второй год 1 декабря отмечается день математика в честь дня рождения Николая Ивановича Лобачевского.
Хотя Лобачевский известен прежде всего как создатель неевклидовой геометрии, его вклад в науку, образование и академическую жизнь выходит далеко за рамки этого революционного открытия.
Одно важное, но малоизвестное достижение: формула Лобачевского для интегралов Дирихле.
Эта формула позволяет вычислять определенные классы несобственных интегралов и имеет фундаментальное значение в теории распределений.
Для непрерывной функции f(x), удовлетворяющей условиям π-периодичности f(x+π) = f(x) и симметрии f(π-x) = f(x), формула Лобачевского утверждает:
∫₀^∞ (sin x / x) f(x) dx = ∫₀^(π/2) f(x) dxЭта изящная формула связывает несобственный интеграл по бесконечному интервалу с обычным интегралом по конечному отрезку. Современные математики продолжают обобщать и расширять эту формулу для более сложных случаев, что свидетельствует о ее фундаментальном значении в математическом анализе.
А чтобы получить красивый результат, достаточно взять f(x)=1. Попробуйте сами (или посмотрите на картинку в начале).
1🔥19❤🔥15👍15🥰3❤2
🧠 Рамануджан, π и чёрные дыры: как «чистая» математика стала ключом к сложной физике
В 1914 Рамануджан опубликовал 17 молниеносных формул для вычисления π: сверхкомпактные ряды, где каждая следующая сумма добавляет десятки правильных знаков. Через столетие именно на их идеях построен алгоритм Чудновских — с его помощью π посчитали уже до сотен триллионов знаков.
А теперь неожиданное: команда CHEP IISc (Аннда Синха, Файзан Бхат и коллеги) показала, что та же математика всплывает в современной высокоэнергетической физике. Если смотреть на мир через конформные теории поля (модели, где картина не меняется при «зуме»), особенно их логарифмические версии, то в задачах про перколяцию, зарождение турбулентности и описания чёрных дыр возникают те же «кирпичики», что и у Рамануджана: гипергеометрические ряды, модулярные формы, q-серии.
Смысл по-простому: формулы, придуманные для сверхбыстрого счёта π, оказываются тем же языком, на котором удобно и быстро считать ключевые величины в сложных физических системах. Там, где раньше требовались тяжёлые вычисления, теперь помогают ряды Рамануджана.
Рамануджан, работая «в чистой математике», удивительно точно попал в архитектуру законов природы. Его ряды — не только про цифры π, а про форму мира, которая повторяется от числовых тождеств до физики чёрных дыр.
В 1914 Рамануджан опубликовал 17 молниеносных формул для вычисления π: сверхкомпактные ряды, где каждая следующая сумма добавляет десятки правильных знаков. Через столетие именно на их идеях построен алгоритм Чудновских — с его помощью π посчитали уже до сотен триллионов знаков.
А теперь неожиданное: команда CHEP IISc (Аннда Синха, Файзан Бхат и коллеги) показала, что та же математика всплывает в современной высокоэнергетической физике. Если смотреть на мир через конформные теории поля (модели, где картина не меняется при «зуме»), особенно их логарифмические версии, то в задачах про перколяцию, зарождение турбулентности и описания чёрных дыр возникают те же «кирпичики», что и у Рамануджана: гипергеометрические ряды, модулярные формы, q-серии.
Смысл по-простому: формулы, придуманные для сверхбыстрого счёта π, оказываются тем же языком, на котором удобно и быстро считать ключевые величины в сложных физических системах. Там, где раньше требовались тяжёлые вычисления, теперь помогают ряды Рамануджана.
Рамануджан, работая «в чистой математике», удивительно точно попал в архитектуру законов природы. Его ряды — не только про цифры π, а про форму мира, которая повторяется от числовых тождеств до физики чёрных дыр.
🔥22👍13❤8🥰1
Локон ведьмы – красивейшая кривая, которая обязана своим зловещим именем… ошибке переводчика.
В оригинале Гвидо Гранди называл её versiera – «поворотная кривая». Но в итальянском это слово соседствует со словом avversiera – «ведьма». Так в английских учебниках XVII–XVIII веков и появилась witch of Agnesi.
Но за языковой путаницей скрывается настоящая математическая поэзия.
Представьте окружность и касательную к ней прямую. Возьмём на этой касательной произвольную точку и проведём через неё прямую к противоположному концу диаметра окружности – она пересечёт окружность в некоторой точке.
Через эту найденную точку окружности проводим прямую, параллельную касательной, и затем опускаем на неё перпендикуляр из исходной точки на касательной.
Точка пересечения перпендикуляра и параллельной прямой и даёт одну точку кривой Аньези. Математически для таких точек верно простое соотношение BM : BC = OA : OB.
Когда исходная точка на касательной скользит, точка пересечения начинает рисовать характерный плавный изгиб – тот самый «локон ведьмы»: симметричную, мягкую, колоколообразную кривую, возникающую из удивительно простого геометрического механизма.
В XVII веке Пьер Ферма изучает площадь под новой странной кривой. Спустя несколько десятилетий Гранди даёт ей наглядное построение.
А затем – 1748 год. Мария Гаэтана Аньези, одна из первых женщин-математиков Европы, собирает все разрозненные факты, выводит алгебраическое уравнение, описывает точки перегиба и окончательно закрепляет кривую в истории анализа.
Почему же этот локон важен сегодня?
Он стал классическим примером того, как гладкая и «добрая» кривая неожиданно связана с эффектом Рунге — явлением, при котором приближение функций полиномами на равномерной сетке ведёт не к точности, а к взрывному росту ошибки. Именно такие кривые заставили математиков искать новые методы аппроксимации.
Так что «локон ведьмы» – вовсе не про магию. Это про то, как из простой геометрической игры рождается целая глава современной численной математики.
А вам какая кривая кажется недооценённой?
#vitalmath
В оригинале Гвидо Гранди называл её versiera – «поворотная кривая». Но в итальянском это слово соседствует со словом avversiera – «ведьма». Так в английских учебниках XVII–XVIII веков и появилась witch of Agnesi.
Но за языковой путаницей скрывается настоящая математическая поэзия.
Представьте окружность и касательную к ней прямую. Возьмём на этой касательной произвольную точку и проведём через неё прямую к противоположному концу диаметра окружности – она пересечёт окружность в некоторой точке.
Через эту найденную точку окружности проводим прямую, параллельную касательной, и затем опускаем на неё перпендикуляр из исходной точки на касательной.
Точка пересечения перпендикуляра и параллельной прямой и даёт одну точку кривой Аньези. Математически для таких точек верно простое соотношение BM : BC = OA : OB.
Когда исходная точка на касательной скользит, точка пересечения начинает рисовать характерный плавный изгиб – тот самый «локон ведьмы»: симметричную, мягкую, колоколообразную кривую, возникающую из удивительно простого геометрического механизма.
В XVII веке Пьер Ферма изучает площадь под новой странной кривой. Спустя несколько десятилетий Гранди даёт ей наглядное построение.
А затем – 1748 год. Мария Гаэтана Аньези, одна из первых женщин-математиков Европы, собирает все разрозненные факты, выводит алгебраическое уравнение, описывает точки перегиба и окончательно закрепляет кривую в истории анализа.
Почему же этот локон важен сегодня?
Он стал классическим примером того, как гладкая и «добрая» кривая неожиданно связана с эффектом Рунге — явлением, при котором приближение функций полиномами на равномерной сетке ведёт не к точности, а к взрывному росту ошибки. Именно такие кривые заставили математиков искать новые методы аппроксимации.
Так что «локон ведьмы» – вовсе не про магию. Это про то, как из простой геометрической игры рождается целая глава современной численной математики.
А вам какая кривая кажется недооценённой?
#vitalmath
1👍30❤19🥰2
Почему предел похож на задержание? 🚓
Математический анализ редко ассоциируется с полицейскими сводками, но именно они дали жизнь одной из самых известных теорем 1го курса университета — теореме о двух милиционерах.
Сюжет прост: если некая функция зажата между двумя другими, и обе они стремятся к одному и тому же числу, то и «подозреваемая» придёт туда же.
В терминах пределов это звучит так:
если рядом с точкой a выполняется неравенство
f(x) ≤ h(x) ≤ g(x),
и обе «крайние» функции стремятся к одному числу A,
то и h(x) неизбежно тянется к A.
По всему миру у теоремы свои герои.
🌍 В России — милиционеры и полицейские.
🌍 Во Франции — жандармы.
🌍 В Италии — карабинеры.
🌍 В англоязычном мире — теорему называют теоремой «сэндвича».
Звучит забавно, но сила теоремы огромна.
✔️Она помогает доказать классический предел sin x / x = 1 при x стремящемся к нулю.
✔️Она работает с осциллирующими функциями вроде sin(1 / x).
✔️Она упрощает анализ последовательностей, интегралов и производных.
Её философия проста и красива:
Чтобы разобраться со сложным, прижмите его между двумя понятными. И именно поэтому у этой строгой идеи столько образных названий — математика всегда умела превращать абстракцию в историю.
А вы какой вариант названия ближе вам — теорема о двух милиционерах, карабинерах или сэндвиче? 🍞📏
Математический анализ редко ассоциируется с полицейскими сводками, но именно они дали жизнь одной из самых известных теорем 1го курса университета — теореме о двух милиционерах.
Сюжет прост: если некая функция зажата между двумя другими, и обе они стремятся к одному и тому же числу, то и «подозреваемая» придёт туда же.
В терминах пределов это звучит так:
если рядом с точкой a выполняется неравенство
f(x) ≤ h(x) ≤ g(x),
и обе «крайние» функции стремятся к одному числу A,
то и h(x) неизбежно тянется к A.
По всему миру у теоремы свои герои.
🌍 В России — милиционеры и полицейские.
🌍 Во Франции — жандармы.
🌍 В Италии — карабинеры.
🌍 В англоязычном мире — теорему называют теоремой «сэндвича».
Звучит забавно, но сила теоремы огромна.
✔️Она помогает доказать классический предел sin x / x = 1 при x стремящемся к нулю.
✔️Она работает с осциллирующими функциями вроде sin(1 / x).
✔️Она упрощает анализ последовательностей, интегралов и производных.
Её философия проста и красива:
Чтобы разобраться со сложным, прижмите его между двумя понятными. И именно поэтому у этой строгой идеи столько образных названий — математика всегда умела превращать абстракцию в историю.
А вы какой вариант названия ближе вам — теорема о двух милиционерах, карабинерах или сэндвиче? 🍞📏
1👍29🔥8🤔2🥰1
Как числа охраняют вашу переписку? 🔐
Когда вы переводите деньги, входите на сайт или пишете сообщение в мессенджере, за кулисами работает тихий математический спектакль. И именно он делает возможным мир, где данные путешествуют между континентами — и остаются защищёнными.
В основе криптографии лежит не магия, а строгая математика.
🧩 Прежде всего — теория чисел, где живут простые числа и деление «по модулю».
🧩 Рядом — дискретная математика и знаменитая задача дискретного логарифма, которая до сих пор упрямо сопротивляется быстрым алгоритмам.
🧩 Добавьте сюда алгебру эллиптических кривых, где каждая точка участвует в необычной «геометрической арифметике», и статистику, которая проверяет устойчивость шифров к случайным коллизиям и атакам.
Звучит абстрактно, но встречается каждый день.
☑️ Когда банк подтверждает перевод.
☑️ Когда сайт просит вас «войти безопасно».
☑️ Когда мессенджер ставит замочек рядом с чатом.
☑️ Когда ваш браузер договаривается с сервером о защищённом подключении.
Вот несколько ключевых инструментов:
🔹 RSA. Его сила основана на простом факте: разложить гигантское число на простые множители невероятно сложно.
🔹Эллиптические кривые. Позволяют получить ту же безопасность, но с намного более короткими ключами — идеально для смартфонов и интернета вещей.
🔹 Хэш-функции. Создают уникальный «отпечаток» данных; изменить сообщение, сохранив тот же отпечаток, практически невозможно.
🔹Асимметричное шифрование. Пара ключей — открытый и закрытый. Один шифрует, другой расшифровывает. Открытый можно распространять свободно, а вот закрытый — ваша личная крепость.
И всё это начинается с удивительно простой идеи:
математика может сделать информацию неприкосновенной.
Какая из математических задач — факторизация, дискретный логарифм или что-то ещё — кажется вам самой загадочной?
Когда вы переводите деньги, входите на сайт или пишете сообщение в мессенджере, за кулисами работает тихий математический спектакль. И именно он делает возможным мир, где данные путешествуют между континентами — и остаются защищёнными.
В основе криптографии лежит не магия, а строгая математика.
🧩 Прежде всего — теория чисел, где живут простые числа и деление «по модулю».
🧩 Рядом — дискретная математика и знаменитая задача дискретного логарифма, которая до сих пор упрямо сопротивляется быстрым алгоритмам.
🧩 Добавьте сюда алгебру эллиптических кривых, где каждая точка участвует в необычной «геометрической арифметике», и статистику, которая проверяет устойчивость шифров к случайным коллизиям и атакам.
Звучит абстрактно, но встречается каждый день.
☑️ Когда банк подтверждает перевод.
☑️ Когда сайт просит вас «войти безопасно».
☑️ Когда мессенджер ставит замочек рядом с чатом.
☑️ Когда ваш браузер договаривается с сервером о защищённом подключении.
Вот несколько ключевых инструментов:
🔹 RSA. Его сила основана на простом факте: разложить гигантское число на простые множители невероятно сложно.
🔹Эллиптические кривые. Позволяют получить ту же безопасность, но с намного более короткими ключами — идеально для смартфонов и интернета вещей.
🔹 Хэш-функции. Создают уникальный «отпечаток» данных; изменить сообщение, сохранив тот же отпечаток, практически невозможно.
🔹Асимметричное шифрование. Пара ключей — открытый и закрытый. Один шифрует, другой расшифровывает. Открытый можно распространять свободно, а вот закрытый — ваша личная крепость.
И всё это начинается с удивительно простой идеи:
математика может сделать информацию неприкосновенной.
Какая из математических задач — факторизация, дискретный логарифм или что-то ещё — кажется вам самой загадочной?
1👍29❤3🔥3🥰1
Почему хаос иногда играет “по правилам”? История одной неожиданной математической догадки
Кажется, что хаос — это когда никаких правил нет. Но в 2023 году два французских математика, Винсент Варгас и Кристоф Гарбан, заметили поразительную закономерность: внутри самой дикой случайности может скрываться строгий порядок, и проявляется он только до тех пор, пока хаос не становится слишком сильным.
Чтобы понять эту идею, представьте вихревое облако из бесконечных “завихрений внутри завихрений”. Такое многомасштабное буйство моделирует гауссовский мультипликативный хаос — инструмент, придуманный Жан-Пьером Каганом ещё в 1985 году. Сегодня он всплывает везде: от броуновского движения до квантового хаоса и даже распределения простых чисел.
Гарбан и Варгас заметили: у этого хаоса есть два совсем разных “размера”.
Один показывает, как фрактально распределена энергия.
Другой — как выглядят “частоты” скрытых колебаний, если слушать хаос как сложный звук.
И они рискнули спросить невозможное: а вдруг эти два размера совпадают?
Так родилась конъектура Гарбана–Варгаса — красивая формула, связывающая корреляции и гармоники хаоса.
Доказать её не удавалось год. Но в 2024-м три молодых математика из Китая — Чжаофэн Линь, Янци Цю и Минцзе Тан — нашли ключ. Оказалось, хаос ведёт себя как цепочка честных “мини-игр”: сколько бы вы ни увеличивали масштаб, ожидание выигрыша остаётся тем же. В теории вероятностей это называют мартингалом.
Тысячи таких “честных игр”, собранных по всем масштабам, дали именно ту формулу, о которой мечтали Гарбан и Варгас.
Но есть ловушка: стоит хаосу перейти критический порог, и вся скрытая структура рушится. Именно там сегодня проходит новая граница исследований.
Почему же порядок возникает внутри беспорядка?
И почему он исчезает, когда случайность становится слишком сильной?
Вот вопросы, на которые математика только начинает отвечать.
Кажется, что хаос — это когда никаких правил нет. Но в 2023 году два французских математика, Винсент Варгас и Кристоф Гарбан, заметили поразительную закономерность: внутри самой дикой случайности может скрываться строгий порядок, и проявляется он только до тех пор, пока хаос не становится слишком сильным.
Чтобы понять эту идею, представьте вихревое облако из бесконечных “завихрений внутри завихрений”. Такое многомасштабное буйство моделирует гауссовский мультипликативный хаос — инструмент, придуманный Жан-Пьером Каганом ещё в 1985 году. Сегодня он всплывает везде: от броуновского движения до квантового хаоса и даже распределения простых чисел.
Гарбан и Варгас заметили: у этого хаоса есть два совсем разных “размера”.
Один показывает, как фрактально распределена энергия.
Другой — как выглядят “частоты” скрытых колебаний, если слушать хаос как сложный звук.
И они рискнули спросить невозможное: а вдруг эти два размера совпадают?
Так родилась конъектура Гарбана–Варгаса — красивая формула, связывающая корреляции и гармоники хаоса.
Доказать её не удавалось год. Но в 2024-м три молодых математика из Китая — Чжаофэн Линь, Янци Цю и Минцзе Тан — нашли ключ. Оказалось, хаос ведёт себя как цепочка честных “мини-игр”: сколько бы вы ни увеличивали масштаб, ожидание выигрыша остаётся тем же. В теории вероятностей это называют мартингалом.
Тысячи таких “честных игр”, собранных по всем масштабам, дали именно ту формулу, о которой мечтали Гарбан и Варгас.
Но есть ловушка: стоит хаосу перейти критический порог, и вся скрытая структура рушится. Именно там сегодня проходит новая граница исследований.
Почему же порядок возникает внутри беспорядка?
И почему он исчезает, когда случайность становится слишком сильной?
Вот вопросы, на которые математика только начинает отвечать.
1👍36🤓4🔥3🥰3