{
  "id": 643,
  "title": "Интегралы Борвейна: паттерн, который ломается — и почему это не баг",
  "speaker": "3Blue1Brown",
  "topic": "Интегралы Борвейна — загадочная последовательность интегралов, дающих число π, пока паттерн внезапно не ломается. Связь с преобразованиями Фурье, свёртками и скользящими средними.",
  "duration_label": "17:25",
  "theses": [
    {
      "title": "Последовательность интегралов sinc даёт π — до тех пор, пока не перестаёт",
      "description": "Интеграл функции sin(x)/x от минус до плюс бесконечности равен π. Если умножать на растянутые версии sinc (с множителями 1/3, 1/5, 1/7...), результат остаётся ровно π. Но на 15-м шаге паттерн ломается — интеграл становится чуть меньше π на ничтожно малую величину."
    },
    {
      "title": "Функция sinc — главный герой истории",
      "description": "Функция sinc(x) = sin(x)/x — осциллирующая синусоида, затухающая к краям за счёт деления на x. В точке x=0 предел равен 1. Эта функция настолько важна в математике и инженерии, что имеет собственное имя."
    },
    {
      "title": "Точное значение «сломанного» интеграла — не ошибка округления",
      "description": "Когда паттерн ломается, разница с π выражается точной дробью с числителем и знаменателем порядка 400 миллиардов миллиардов. Исследователь Борвейн, впервые обнаруживший это на компьютере, решил, что это баг системы компьютерной алгебры. Но это реальное математическое явление."
    },
    {
      "title": "Добавление 2cos(x) продлевает паттерн до 113",
      "description": "Если добавить множитель 2cos(x) ко всем интегралам, паттерн равенства π сохраняется гораздо дольше — до числа 113. И когда он наконец ломается, отклонение ещё более ничтожное. Это связано с тем, что начальное «плато» становится шире."
    },
    {
      "title": "Аналогия со скользящим средним объясняет паттерн",
      "description": "Прямоугольная функция rect(x), к которой последовательно применяется скользящее среднее с окнами шириной 1/3, 1/5, 1/7 и т.д., демонстрирует тот же эффект: значение в нуле остаётся ровно 1, пока плато не «съедается» полностью. Это происходит ровно на том же шаге — при 1/15."
    },
    {
      "title": "Плато сужается с каждой итерацией",
      "description": "Каждое скользящее среднее уменьшает ширину плато на величину ширины окна. Начальное плато шириной 1 уменьшается на 1/3, затем на 1/5, на 1/7 и так далее. Когда сумма 1/3 + 1/5 + ... превышает 1, плато исчезает — и значение функции в нуле падает ниже 1."
    },
    {
      "title": "Преобразование Фурье связывает sinc и rect",
      "description": "Функция sinc и прямоугольная функция rect связаны через преобразование Фурье. Это ключевое звено, объединяющее два, казалось бы, совершенно разных явления в одну математическую конструкцию."
    },
    {
      "title": "Интеграл функции равен значению её Фурье-образа в нуле",
      "description": "Один из ключевых фактов: интеграл функции от минус до плюс бесконечности равен значению её преобразования Фурье при нулевом аргументе. Это превращает сложное вычисление интеграла в простое вычисление значения в точке."
    },
    {
      "title": "Произведение функций соответствует свёртке их Фурье-образов",
      "description": "Теорема о свёртке: Фурье-образ произведения функций равен свёртке их Фурье-образов. Для прямоугольных функций свёртка — это именно скользящее среднее. Так два мира оказываются одним и тем же вычислением."
    },
    {
      "title": "Нормализованная sinc-функция имеет площадь 1",
      "description": "В инженерии часто используют sinc с π внутри аргумента: sin(πx)/(πx). Площадь под этой функцией равна ровно 1, что упрощает доказательство — вместо π нужно доказать единицу."
    },
    {
      "title": "Обобщение: любая последовательность положительных чисел работает",
      "description": "Нет ничего особенного в обратных нечётных числах. Можно подставить любую последовательность положительных чисел в sinc-функции: пока их сумма меньше 1, интеграл равен π. Как только сумма превышает 1, интеграл становится чуть меньше π."
    }
  ],
  "exercises": [
    {
      "goal": "Используйте Python (библиотеки scipy или sympy) для численного вычисления интегралов sinc-функций. Вычислите интеграл sin(x)/x, затем sin(x)/x · sin(x/3)/(x/3), и так далее до 8-й итерации. Убедитесь, что первые 7 дают π, а 8-й — чуть меньше. Сравните с точным значением дроби из видео.",
      "title": "Проверка паттерна Борвейна численно"
    },
    {
      "goal": "Постройте в matplotlib последовательность функций: начните с прямоугольной функции rect(x), затем примените скользящее среднее с окнами 1/3, 1/5, 1/7, 1/9, 1/11, 1/13, 1/15. Наблюдайте, как плато сужается с каждым шагом, и зафиксируйте момент, когда оно исчезает. Отметьте значение функции в x=0 на каждом шаге.",
      "title": "Визуализация скользящего среднего"
    },
    {
      "goal": "Напишите функцию, принимающую последовательность положительных чисел (a₁, a₂, a₃, ...) и возвращающую номер шага, на котором их накопленная сумма превышает 1 (или 2, если добавлен множитель 2cos(x)). Проверьте для нечётных 1/3, 1/5, 1/7... (должно быть 15) и для случая с 2cos(x) (должно быть 113).",
      "title": "Вычисление порога для произвольных последовательностей"
    },
    {
      "goal": "Используя scipy.fft или numpy.fft, вычислите дискретное преобразование Фурье функции sinc на достаточно длинном отрезке. Убедитесь, что результат похож на прямоугольную функцию. Поэкспериментируйте с растянутыми версиями sinc(x/k) и покажите, как меняется ширина прямоугольника.",
      "title": "Исследование преобразования Фурье sinc-функции"
    },
    {
      "goal": "Возьмите две прямоугольные функции разной ширины и вычислите их свёртку аналитически (на бумаге). Убедитесь, что результат — трапецеидальная функция. Затем свертите результат с третьей прямоугольной функцией. Сопоставьте с тем, что получается при скользящем среднем.",
      "title": "Свёртка прямоугольных функций вручную"
    }
  ],
  "quotes": [
    {
      "text": "Иногда кажется, что вселенная просто издевается над тобой. (Sometimes it feels like the universe is just messing with you.)",
      "author": "3Blue1Brown"
    },
    {
      "text": "Это не баг, это реальное явление. (It's not a bug, it is a real phenomenon.)",
      "author": "3Blue1Brown"
    },
    {
      "text": "Когда коллега-исследователь вычислял эти интегралы с помощью системы компьютерной алгебры, он решил, что это какой-то баг. (When a fellow researcher was computing these integrals using a computer algebra system, he assumed that this had to be some kind of bug.)",
      "author": "3Blue1Brown"
    },
    {
      "text": "Вы не можете просто случайным образом подставлять новые множители в интеграл и ожидать, что ничего не изменится. (You can't just randomly multiply new things into an integral like this.)",
      "author": "3Blue1Brown"
    },
    {
      "text": "Два явления не просто качественно похожи — они количественно совпадают. (The two situations aren't just qualitatively similar, they're quantitatively the same.)",
      "author": "3Blue1Brown"
    },
    {
      "text": "Это систематический способ сменить перспективу, при которой трудные задачи иногда выглядят проще. (It's a systematic way to provide a shift in perspective where hard problems can sometimes look easier.)",
      "author": "3Blue1Brown"
    },
    {
      "text": "Вы получаете огромную отдачу от одного вычисления. (You get a lot of bang for your buck out of doing the computation.)",
      "author": "3Blue1Brown"
    },
    {
      "text": "Когда паттерн ломается на значении 15, он делает это на ничтожно малую величину. (When it does break at the value 15, it does so by the tiniest tiny amount.)",
      "author": "3Blue1Brown"
    }
  ],
  "full_markdown": "# Интегралы Борвейна: паттерн, который ломается — и почему это не баг\n\n> Спикер: 3Blue1Brown | Длительность: 17:25\n\n## Ключевые идеи\n\n1. **Интегралы sinc дают π — до определённого момента** — Последовательность интегралов произведений sinc-функций с растяжением 1/3, 1/5, 1/7... даёт ровно π на первых 7 шагах, а на 8-м — чуть меньше π.\n\n2. **Это не ошибка вычислений** — Точное значение «сломанного» интеграла выражается дробью с числителем и знаменателем порядка 400 миллиардов миллиардов. Исследователь принял это за баг, но это математический факт.\n\n3. **Функция sinc(x) = sin(x)/x** — Затухающая осцилляция с пределом 1 в нуле. Фундаментальная функция в математике и инженерии.\n\n4. **Скользящее среднее даёт ту же картину** — Прямоугольная функция, к которой последовательно применяется скользящее среднее с окнами 1/3, 1/5, 1/7..., демонстрирует плато со значением 1, которое сужается и исчезает на том же шаге.\n\n5. **Ключевой порог — сумма обратных нечётных чисел** — Паттерн ломается, когда 1/3 + 1/5 + 1/7 + ... превышает 1 (на шаге 1/15) или 2 (на шаге 1/113 при добавлении 2cos(x)).\n\n6. **Преобразование Фурье связывает sinc и rect** — Фурье-образ функции sinc — прямоугольная функция. Это ключ к пониманию связи между интегралами и скользящими средними.\n\n7. **Интеграл = значение Фурье-образа в нуле** — Площадь под функцией равна значению её преобразования Фурье при аргументе 0.\n\n8. **Произведение → свёртка (теорема о свёртке)** — Фурье-образ произведения функций = свёртка Фурье-образов. Для прямоугольных функций свёртка и есть скользящее среднее.\n\n9. **Обобщение: любая последовательность положительных чисел** — Не только обратные нечётные числа работают. Любая последовательность с суммой < 1 сохраняет интеграл равным π.\n\n10. **Нормализация упрощает доказательство** — Замена x на πx превращает задачу «доказать = π» в задачу «доказать = 1».\n\n11. **Бонус: быстрое умножение больших чисел** — Теорема о свёртке открывает путь к алгоритмам умножения больших чисел быстрее, чем кажется возможным.\n\n## Транскрипт\n\n### Загадочный паттерн\n\nПеред нами последовательность вычислений. Каждое из них — интеграл, и каждое оказывается равным числу π. Паттерн выглядит так, будто он будет продолжаться вечно. Но в определённый момент он ломается: вместо π мы получаем значение, которое лишь едва-едва меньше π.\n\nГлавный герой — функция sinc(x) = sin(x)/x. Это осциллирующая синусоида, затухающая к краям. В точке x = 0 предел равен 1, и мы определяем sinc(0) = 1 для непрерывности.\n\nИнтеграл sinc от минус до плюс бесконечности равен ровно π. Если мы умножим sinc(x) на sinc(x/3) — растянутую версию, — интеграл по-прежнему π. Добавим sinc(x/5) — снова π. И так далее через нечётные числа.\n\nНо на 15-м множителе паттерн ломается. Точное значение — дробь от π, где и числитель, и знаменатель — числа порядка 400 миллиардов миллиардов. Отец и сын Борвейны описали это в статье. Коллега-исследователь, обнаруживший это на компьютере, решил, что это баг системы. Но это не баг — это реальное явление.\n\n### Аналогия со скользящим средним\n\nРассмотрим прямоугольную функцию rect(x): она равна 1 на отрезке [-1/2, 1/2] и 0 вне его. Применим к ней скользящее среднее с окном шириной 1/3. Получим сглаженную функцию с плато, шириной 1 - 1/3 = 2/3.\n\nПрименим ещё одно скользящее среднее с окном 1/5 — плато сузится ещё на 1/5. Затем 1/7, 1/9, 1/11, 1/13... Каждый раз плато уменьшается.\n\nКритический момент: когда сумма 1/3 + 1/5 + 1/7 + ... + 1/13 всё ещё меньше 1, плато существует и значение функции в нуле равно ровно 1. Но при добавлении 1/15 сумма превышает 1, плато исчезает, и значение в нуле становится чуть меньше 1.\n\nЭтот коэффициент, чуть меньший единицы, — в точности тот же множитель, который стоит перед π в «сломанном» интеграле. Два явления количественно идентичны.\n\nСлучай с 2cos(x): начальное плато имеет ширину 2, и сумма 1/3 + 1/5 + ... должна превысить 2 — это происходит при 1/113.\n\n### Связь через преобразование Фурье\n\nПодставим x → πx: задача «доказать интеграл = π» превращается в «доказать интеграл = 1». Нормализованная sinc-функция с π внутри аргумента имеет площадь 1.\n\nТри ключевых факта:\n\n1. Sinc и rect связаны преобразованием Фурье — одна является Фурье-образом другой.\n2. Интеграл функции от -∞ до +∞ равен значению её Фурье-образа в нуле.\n3. Теорема о свёртке: Фурье-образ произведения функций = свёртка их Фурье-образов.\n\nДля прямоугольных функций свёртка — это именно скользящее среднее. Так интегралы произведений sinc-функций оказываются тем же, что и последовательные скользящие средние прямоугольных функций, вычисленные в нуле.\n\n## Практические задания\n\n### Задание 1: Численная проверка интегралов Борвейна\nИспользуйте Python с библиотекой scipy для вычисления последовательности интегралов. Начните с ∫sinc(x)dx, затем ∫sinc(x)·sinc(x/3)dx, и так далее. На каждом шаге сравнивайте результат с π. Зафиксируйте шаг, на котором равенство нарушается, и величину отклонения.\n\n### Задание 2: Визуализация скользящих средних\nРеализуйте на Python последовательное применение скользящего среднего к прямоугольной функции. Постройте 8 графиков на одном полотне, показывая сужение плато на каждом шаге. Отметьте значение f(0) на каждом графике.\n\n### Задание 3: Кумулятивные суммы и пороги\nВычислите кумулятивные суммы ряда 1/3 + 1/5 + 1/7 + ... до 30 членов. Найдите момент превышения порогов 1 и 2. Сопоставьте с порогами ломки паттерна (15 и 113).\n\n### Задание 4: Преобразование Фурье функции sinc\nВычислите FFT дискретизированной sinc-функции и покажите, что результат — прямоугольная функция. Поэкспериментируйте с sinc(x/k) для разных k и покажите, как меняется ширина «прямоугольника».\n\n### Задание 5: Эксперимент с произвольными последовательностями\nЗамените обратные нечётные числа на другую последовательность (например, 1/2, 1/4, 1/8 или 1/π, 1/e, 1/√2). Предскажите порог ломки по кумулятивной сумме и проверьте численно через интегралы.\n\n## Лучшие цитаты\n\n> «Иногда кажется, что вселенная просто издевается над тобой» — 3Blue1Brown\n\n> «Это не баг, это реальное явление» — 3Blue1Brown\n\n> «Когда коллега-исследователь вычислял эти интегралы с помощью системы компьютерной алгебры, он решил, что это какой-то баг» — 3Blue1Brown\n\n> «Вы не можете просто случайным образом подставлять новые множители в интеграл и ожидать, что ничего не изменится» — 3Blue1Brown\n\n> «Два явления не просто качественно похожи — они количественно совпадают» — 3Blue1Brown\n\n> «Это систематический способ сменить перспективу, при которой трудные задачи иногда выглядят проще» — 3Blue1Brown\n\n> «Вы получаете огромную отдачу от одного вычисления» — 3Blue1Brown\n\n> «Когда паттерн ломается на значении 15, он делает это на ничтожно малую величину» — 3Blue1Brown",
  "youtube_url": "https://www.youtube.com/watch?v=851U557j6HE",
  "url": "https://ekstraktznaniy.ru/workbook/643"
}