Cайт веб-разработчика, программиста Ruby on Rails ESV Corp. Екатеринбург, Москва, Санкт-Петербург, Новосибирск, Первоуральск

Восстание против π: физики и программисты объявили войну самому известному числу в науке

«Полный круг = 2π — это абсурд, и мы докажем».

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

Но спор неожиданно поддержали не любители скандалов и не люди, далёкие от науки. Наоборот, за замену π выступили математики, программисты и физики, которые слишком хорошо знают формулы с окружностями и устали от постоянных лишних двоек в уравнениях.

Главный инициатор спора, математик Боб Пале из Университета Юты, ещё в 2001 году предложил пересмотреть саму основу круговой константы. Ошибки в числе π, разумеется, никто не нашёл. Проблема, по мнению Пале, скрывается в выборе величины. Математика использует отношение длины окружности к диаметру, поэтому π равно примерно 3,14159. Пале считает, что куда логичнее было бы взять отношение длины окружности к радиусу. Тогда базовой константой стало бы число примерно 6,28318, которое сегодня обозначают буквой τ — тау.

Через несколько лет физик и программист Майкл Хартл превратил идею в полноценный манифест под названием The Tau Manifesto. Текст быстро разошёлся по интернету и собрал вокруг τ заметное сообщество сторонников. Хартл утверждал, что π исторически закрепилось в математике скорее по привычке, чем по здравой логике.

Главный аргумент сторонников τ выглядит довольно простым. В геометрии и тригонометрии радиус играет куда более важную роль, чем диаметр. Почти все формулы окружности строятся вокруг радиуса. Длина окружности сейчас записывается как C = 2πr. При использовании τ формула сокращается до C = τr. Исчезает лишняя двойка, а сама запись становится короче и прямее.

Особенно сильно сторонников τ раздражает работа с углами в радианах. Полный оборот окружности сейчас равен 2π радиан. Половина оборота — π, четверть — π/2. Для новичков подобная система часто выглядит странно: число π вроде бы ассоциируется с кругом целиком, но полный круг внезапно требует ещё множитель два.

С τ картина становится визуально проще. Полный оборот равен τ, половина круга — τ/2, четверть — τ/4. Деление окружности начинает выглядеть как обычное дробление целого объекта на части. Именно на интуитивности сторонники τ делают главный акцент. По их мнению, вопрос касается не красоты записи, а того, насколько естественно человек воспринимает математику.

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

Пале даже шутил, что человечество выглядит немного нелепо, когда пытается демонстрировать разум инопланетным цивилизациям через число 3,14 вместо более логичного 6,28. Вокруг идеи быстро сформировалась почти шуточная субкультура: появились «тауисты», интернет-дискуссии, мемы и собственный праздник Tau Day, который отмечают 28 июня, потому что дата напоминает 6,28.

Но лагерь π сдаваться не собирается. Вскоре после появления Tau Manifesto математик Майкл Кейверс выпустил ответный текст под названием The Pi Manifesto. Кейверс обвинил сторонников τ в выборочном подборе примеров и заявил, что новая система упрощает одни формулы только ценой усложнения других.

У защитников π действительно есть сильные аргументы. Исторически математики выбрали отношение длины окружности именно к диаметру не случайно. Диаметр проще измерять напрямую. Радиус приходится сначала вычислять как половину диаметра, особенно в практических задачах старой геометрии.

Кроме того, многие классические формулы с π выглядят очень компактно. Площадь круга записывается как A = πr². Если радиус равен единице, площадь круга автоматически оказывается равной π. Полукруг даёт π/2, четверть круга — π/4. С τ записи становятся менее аккуратными: τr²/2, τr²/4, τr²/8.

Особенно активно защитники π упоминают статистику и теорию вероятностей. Там π часто появляется само по себе, без множителя два. Замена на τ приводит к появлению дополнительных коэффициентов 1/2, которые делают часть формул длиннее и менее привычной.

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

Любопытно, что обе стороны постепенно признали частичную правоту друг друга. Даже сторонники τ соглашаются, что площадь круга через π выглядит удобнее. Защитники π признают, что углы и вращения через τ действительно воспринимаются естественнее.

Но у π есть преимущество, с которым спорить особенно трудно: число слишком глубоко вросло в культуру. Символ π знают даже люди, далёкие от науки. Замена константы потребовала бы переписывать учебники, программы, статьи, обозначения и привычные объяснения. А одновременное использование π и τ почти наверняка породило бы ещё большую путаницу.

Поэтому часть математиков предлагает компромиссы. Одни хотят сохранить π, но изменить систему измерения углов. Другие относятся ко всему спору с юмором. В веб-комиксе xkcd, например, предложили ввести новую константу pau со значением 1,5π, чтобы окончательно запутать вообще всех.

SecurityLab