Наука и техника

Красота спасет «пи» 38 самых привлекательных математических формул

38 фото

Нейробиологи из Великобритании провели эксперимент, в ходе которого попросили 15 математиков оценить красоту математических формул, предложив им список из 60 штук. После этого участникам эксперимента по очереди показывали красивые и некрасивые формулы. За откликом их мозга наблюдали при помощи функциональной магнитно-резонансной томографии (fMRI).

Как обнаружили нейробиологи, просмотр красивых, с точки зрения математиков, формул вызывает отклик в префронтальной коре головного мозга, отвечающей за сложные когнитивные функции и эмоции. Проанализировав отклик, ученые пришли к выводу, что восприятие красоты математики очень похоже на ощущение, возникающее во время прослушивания музыки или просмотра произведений живописи.

«Лента.ру» предлагает читателям самостоятельно оценить красоту некоторых математических формул, использовавшихся в этом эксперименте.

Тождество Эйлера является следствием формул Эйлера, связывающих экспоненту комплексного числа с тригонометрическими функциями. Эта формула является основной для экспоненциального представления комплексных чисел и формул Муавра для выражения синусов и косинусов кратных углов (в школе проходят частные случаи этой формулы для удвоенных и утроенных углов). Именно это тождество было признано участниками опыта самым красивым.

Тождество Эйлера

Тождество Эйлера является следствием формул Эйлера, связывающих экспоненту комплексного числа с тригонометрическими функциями. Эта формула является основной для экспоненциального представления комплексных чисел и формул Муавра для выражения синусов и косинусов кратных углов (в школе проходят частные случаи этой формулы для удвоенных и утроенных углов). Именно это тождество было признано участниками опыта самым красивым.

Эта формула связывает две основные тригонометрические функции. Обычно ее выводят геометрически, из теоремы Пифагора для прямоугольного треугольника с гипотенузой, равной единице: синус угла при гипотенузе будет в этом случае отношением противолежащего катета к гипотенузе, а косинус — прилежащего.

Основное тригонометрическое тождество

Эта формула связывает две основные тригонометрические функции. Обычно ее выводят геометрически, из теоремы Пифагора для прямоугольного треугольника с гипотенузой, равной единице: синус угла при гипотенузе будет в этом случае отношением противолежащего катета к гипотенузе, а косинус — прилежащего.

В простейшем случае эта формула связывает между собой количество вершин (V), ребер (E) и граней (F) произвольного выпуклого многогранника.

Формула для эйлеровой характеристики

В простейшем случае эта формула связывает между собой количество вершин (V), ребер (E) и граней (F) произвольного выпуклого многогранника.

В частном случае эта формула связывает локальную характеристику поверхности под названием гауссова кривизна (она является мерой того, насколько поверхность отличается от плоскости) и ее глобальную, топологическую характеристику — количество сквозных дырок. Такая интерпретация подходит для двумерной поверхности, изготовленной из единого «куска» — например, сферы или тора. У сферы, кстати, сквозных дырок нет, а у тора она одна.

Формула Гаусса-Бонне

В частном случае эта формула связывает локальную характеристику поверхности под названием гауссова кривизна (она является мерой того, насколько поверхность отличается от плоскости) и ее глобальную, топологическую характеристику — количество сквозных дырок. Такая интерпретация подходит для двумерной поверхности, изготовленной из единого «куска» — например, сферы или тора. У сферы, кстати, сквозных дырок нет, а у тора она одна.

Та самая формула Эйлера, о которой говорилось вначале. Тождество Эйлера является ее частным случаем, если вместо x подставить «пи».

Формула Эйлера

Та самая формула Эйлера, о которой говорилось вначале. Тождество Эйлера является ее частным случаем, если вместо x подставить «пи».

Это выражение является инструментом для подсчета вероятностей в случае, когда речь идет о распределении Гаусса.

Гауссов интеграл (также известный как интеграл Эйлера-Пуассона)

Это выражение является инструментом для подсчета вероятностей в случае, когда речь идет о распределении Гаусса.

В этой формуле слева стоит знаменитая дзета-функция Римана, а справа — ряд Дирихле для функции Мёбиуса. Функция Мёбиуса определена для натуральных чисел и возвращает 1, если число состоит из четного числа простых множителей, среди которых нет одинаковых, -1, если число состоит из нечетного числа таких множителей, и 0 — во всех остальных случаях. Эта формула демонстрирует глубокую связь дзета-функции с теорией чисел.

Формула Римана-Дирихле-Мёбиуса

В этой формуле слева стоит знаменитая дзета-функция Римана, а справа — ряд Дирихле для функции Мёбиуса. Функция Мёбиуса определена для натуральных чисел и возвращает 1, если число состоит из четного числа простых множителей, среди которых нет одинаковых, -1, если число состоит из нечетного числа таких множителей, и 0 — во всех остальных случаях. Эта формула демонстрирует глубокую связь дзета-функции с теорией чисел.

Представление экспоненты в виде ряда.

Формула для экспоненты

Представление экспоненты в виде ряда.

Эта формула показывает, что преобразование Фурье (используется, например, в радиотехнике, но далеко не только в ней) от гауссовой функции — это снова функция Гаусса, правда, с численным коэффициентом и другим множителем у показателя.

Преобразование Фурье от функции Гаусса

Эта формула показывает, что преобразование Фурье (используется, например, в радиотехнике, но далеко не только в ней) от гауссовой функции — это снова функция Гаусса, правда, с численным коэффициентом и другим множителем у показателя.

Определение числа e как предела некоторой числовой последовательности.

Число e

Определение числа e как предела некоторой числовой последовательности.

Для сравнения двух бесконечных множеств в математике используется понятие биекции. Говорят, что два множества равномощны, если между их элементами можно установить взаимнооднозначное соответствие. Если, например, множество A равномощно некоторому подмножеству множества B, а B не равномощно A, то говорят, что B — мощнее. Теорема Кантора в данном случае утверждает, что множество точек отрезка мощнее множества натуральных чисел.

Теорема Кантора для натуральных чисел

Для сравнения двух бесконечных множеств в математике используется понятие биекции. Говорят, что два множества равномощны, если между их элементами можно установить взаимнооднозначное соответствие. Если, например, множество A равномощно некоторому подмножеству множества B, а B не равномощно A, то говорят, что B — мощнее. Теорема Кантора в данном случае утверждает, что множество точек отрезка мощнее множества натуральных чисел.

Бенуа Мандельброт обнаружил, что с помощью таких, казалось бы, простых процессов можно строить очень сложные множества. Он назвал их фракталами. Квадратичный итерационный процесс позволяет строить множество Мандельброта, названное в честь математика.

Квадратичный итерационный процесс

Бенуа Мандельброт обнаружил, что с помощью таких, казалось бы, простых процессов можно строить очень сложные множества. Он назвал их фракталами. Квадратичный итерационный процесс позволяет строить множество Мандельброта, названное в честь математика.

Дельта-функция является на самом деле не функцией, а обобщенной функцией. Приведенный интеграл можно использовать как ее определение. Такие функции очень активно используются в физике.

Дельта-функция Дирака

Дельта-функция является на самом деле не функцией, а обобщенной функцией. Приведенный интеграл можно использовать как ее определение. Такие функции очень активно используются в физике.

Эта формула для числа «пи» примечательна своей относительно быстрой (на момент открытия, конечно, то есть начала XX века) сходимостью ряда в правой части.

Формула Рамануджана

Эта формула для числа «пи» примечательна своей относительно быстрой (на момент открытия, конечно, то есть начала XX века) сходимостью ряда в правой части.

Однажды математик Годфри Харди отправился навестить приболевшего математика Сриниваса Рамануджана. По прибытии Харди заметил, что приехал на такси «с достаточно скучным номером» 1729. На это Рамануджан немедленно возразил, что 1729 — очень интересное число. Это минимальное число из натуральных, для которого существует больше одного разложения в сумму двух кубов. Благодаря этой истории такие числа (то есть представимые в виде суммы двух кубов несколькими способами) получили наименования чисел такси.

Минимальное число такси

Однажды математик Годфри Харди отправился навестить приболевшего математика Сриниваса Рамануджана. По прибытии Харди заметил, что приехал на такси «с достаточно скучным номером» 1729. На это Рамануджан немедленно возразил, что 1729 — очень интересное число. Это минимальное число из натуральных, для которого существует больше одного разложения в сумму двух кубов. Благодаря этой истории такие числа (то есть представимые в виде суммы двух кубов несколькими способами) получили наименования чисел такси.

Сумма квадратов катетов равна квадрату гипотенузы. Эта теорема была известна еще в Междуречье примерно за 1800 лет до нашей эры.

Теорема Пифагора

Сумма квадратов катетов равна квадрату гипотенузы. Эта теорема была известна еще в Междуречье примерно за 1800 лет до нашей эры.

Эта формула является частным случаем формулы Ньютона-Лейбница. Она позволяет связать две важнейшие операции математического анализа — дифференцирование и интегрирование.

Первообразная и производная

Эта формула является частным случаем формулы Ньютона-Лейбница. Она позволяет связать две важнейшие операции математического анализа — дифференцирование и интегрирование.

Теорема утверждает, что, когда речь идет о комплексных функциях, для подсчета интеграла по замкнутому контуру достаточно вычислить некоторые величины в особых точках функции, именуемые вычетами, которые попали в ограниченную контуром область. Благодаря этой теореме, например, становится возможным подсчет разных бесконечных сумм.

Теорема Коши о вычетах

Теорема утверждает, что, когда речь идет о комплексных функциях, для подсчета интеграла по замкнутому контуру достаточно вычислить некоторые величины в особых точках функции, именуемые вычетами, которые попали в ограниченную контуром область. Благодаря этой теореме, например, становится возможным подсчет разных бесконечных сумм.

Эта система нелинейных дифференциальных уравнений описывает динамику в простейшей экосистеме, состоящей из одного вида хищников и одного вида жертв. Часто используется как пример сравнительной неустойчивости равновесия в таких экосистемах — достаточно сильное возмущение может приводить к вымиранию видов.

Модель Лотки-Вольтерры

Эта система нелинейных дифференциальных уравнений описывает динамику в простейшей экосистеме, состоящей из одного вида хищников и одного вида жертв. Часто используется как пример сравнительной неустойчивости равновесия в таких экосистемах — достаточно сильное возмущение может приводить к вымиранию видов.

Уравнение описывает процесс диффузии — то есть постепенного взаимного проникновения — двух сред.

Уравнение диффузии

Уравнение описывает процесс диффузии — то есть постепенного взаимного проникновения — двух сред.

Пожалуй, самая главная формула для числа «пи». Здесь c — длина окружности, а d — ее диаметр.

Формула для «пи»

Пожалуй, самая главная формула для числа «пи». Здесь c — длина окружности, а d — ее диаметр.

Одно из замечательнейших свойств экспоненты: ее производная равна ей самой. Легко показать, что экспонента — единственная с точностью до умножения на константу функция, обладающая таким свойством.

Дифференцирование экспоненты

Одно из замечательнейших свойств экспоненты: ее производная равна ей самой. Легко показать, что экспонента — единственная с точностью до умножения на константу функция, обладающая таким свойством.

Представление аналитической функции в виде ряда в нуле. Вообще говоря, такой ряд можно построить для более широкого класса функций, называемых гладкими, однако в этом случае в формуле нельзя ставить знак равенства.

Ряд Тейлора-Маклорена

Представление аналитической функции в виде ряда в нуле. Вообще говоря, такой ряд можно построить для более широкого класса функций, называемых гладкими, однако в этом случае в формуле нельзя ставить знак равенства.

Понятие собственного вектора оператора, то есть вектора, который при действии этого оператора просто растягивается, является одним из ключевых в линейной алгебре. Это понятие крайне полезно, например, в квантовой механике — состояния квантовых систем есть собственные вектора в некотором (правда, бесконечномерном) пространстве.

Уравнение для собственного вектора оператора

Понятие собственного вектора оператора, то есть вектора, который при действии этого оператора просто растягивается, является одним из ключевых в линейной алгебре. Это понятие крайне полезно, например, в квантовой механике — состояния квантовых систем есть собственные вектора в некотором (правда, бесконечномерном) пространстве.

Неравенство треугольника для нормированных пространств. Простейший пример такой нормы — это корень квадратный из суммы квадратов координат вектора в трехмерном пространстве. В этом случае это неравенство превращается в обычное неравенство треугольника: сумма двух сторон не меньше третьей.

Неравенство треугольника

Неравенство треугольника для нормированных пространств. Простейший пример такой нормы — это корень квадратный из суммы квадратов координат вектора в трехмерном пространстве. В этом случае это неравенство превращается в обычное неравенство треугольника: сумма двух сторон не меньше третьей.

Пи-функцией называется функция, которая возвращает количество простых чисел меньше данного действительного x или равных ему. Как показал в XIX веке Жак Адамар, эта функция растет примерно как отношение в правой части. Это означает, что простых чисел, не превосходящих x, примерно x/log x.

Асимптотика пи-функции

Пи-функцией называется функция, которая возвращает количество простых чисел меньше данного действительного x или равных ему. Как показал в XIX веке Жак Адамар, эта функция растет примерно как отношение в правой части. Это означает, что простых чисел, не превосходящих x, примерно x/log x.

Как оказалось, иногда бывает полезно работать не с бесконечными суммами, а с бесконечными произведениями. В правой части стоит произведение по всем простым числам p — еще один замечательный факт, связывающий дзета-функцию и теорию чисел.

Формула Эйлера для дзета-функции Римана

Как оказалось, иногда бывает полезно работать не с бесконечными суммами, а с бесконечными произведениями. В правой части стоит произведение по всем простым числам p — еще один замечательный факт, связывающий дзета-функцию и теорию чисел.

Тройки натуральных чисел, которые могут быть сторонами прямоугольного треугольника, получили название пифагоровых. Считается, что тройка (3, 4, 5) была известна еще древним египтянам.

Пифагорова тройка

Тройки натуральных чисел, которые могут быть сторонами прямоугольного треугольника, получили название пифагоровых. Считается, что тройка (3, 4, 5) была известна еще древним египтянам.

Формула позволяет связать кратные производные комплексно-аналитической функции с интегралом по контуру. Благодаря этой формуле доказывается эквивалентность нескольких определений комплексно-аналитической функции. В частности, если она дифференцируема, то немедленно раскладывается в сходящийся ряд.

Интегральная формула Коши

Формула позволяет связать кратные производные комплексно-аналитической функции с интегралом по контуру. Благодаря этой формуле доказывается эквивалентность нескольких определений комплексно-аналитической функции. В частности, если она дифференцируема, то немедленно раскладывается в сходящийся ряд.

Представление числа «пи» в виде ряда от дробей с нечетными знаменателями.

Число «пи» в виде ряда

Представление числа «пи» в виде ряда от дробей с нечетными знаменателями.

В возрасте 28 лет Леонард Эйлер доказал, что сумма обратных квадратов связана с числом «пи». Это немедленно принесло ему славу — на тот момент задача о суммировании считалась крайне сложной, над ней безуспешно бились лучшие умы того времени.

Эйлерова сумма обратных квадратов

В возрасте 28 лет Леонард Эйлер доказал, что сумма обратных квадратов связана с числом «пи». Это немедленно принесло ему славу — на тот момент задача о суммировании считалась крайне сложной, над ней безуспешно бились лучшие умы того времени.

Геометрической прогрессией называется последовательность чисел, в которой каждое следующее получается из предыдущего умножением на некоторое фиксированное число r.

Сумма геометрической прогрессии

Геометрической прогрессией называется последовательность чисел, в которой каждое следующее получается из предыдущего умножением на некоторое фиксированное число r.

Неравенство связывает среднее арифметическое и среднее геометрическое чисел.

Неравенство для средних, открытое Коши

Неравенство связывает среднее арифметическое и среднее геометрическое чисел.

Формула Стирлинга позволяет оценить скорость роста такой функции, как факториал n!

Формула Стирлинга

Формула Стирлинга позволяет оценить скорость роста такой функции, как факториал n!

В формулу для объема n-мерного шара входит гамма-функция.

Объем n-мерного шара радиусом r

В формулу для объема n-мерного шара входит гамма-функция.

Это уравнение возникает в задачах механики, теплопроводности, электростатики, гидравлики. Оператор Лапласа, стоящий в левой части, играет важную роль в квантовой механике. Там с его помощью определяется уравнение Шрёдингера.

Уравнение Лапласа

Это уравнение возникает в задачах механики, теплопроводности, электростатики, гидравлики. Оператор Лапласа, стоящий в левой части, играет важную роль в квантовой механике. Там с его помощью определяется уравнение Шрёдингера.

Утверждение великой теоремы Ферма, доказанной в 1995 году Эндрю Уайлзом, говорит, что записанное уравнение не разрешимо для целых ненулевых a, b, c.

Великая теорема Ферма

Утверждение великой теоремы Ферма, доказанной в 1995 году Эндрю Уайлзом, говорит, что записанное уравнение не разрешимо для целых ненулевых a, b, c.

Это уравнение позволяет, среди прочего, формализовать понятие «суммы всех натуральных чисел», которое возникает в теории струн.

Функциональное уравнение на гамма- и дзета-функции

Это уравнение позволяет, среди прочего, формализовать понятие «суммы всех натуральных чисел», которое возникает в теории струн.