Квадратне коло та π = 4¶

Коло може мати форму квадрата, а число π — дорівнювати 4, якщо змінити спосіб вимірювання відстані (метрику). Це наслідок того, що звичне нам число π = 3,14 — не «закон природи», а результат вибору евклідової метрики; за інших метрик «коло» та значення π будуть іншими.

Огляд (Overview)¶

Лекція з курсу «Науковий образ світу» доводить, що форма кола та значення числа π повністю залежать від того, як визначено відстань (метрику) у просторі. Класичне коло виникає лише в евклідовій геометрії (метрика L²). Якщо ж рух можливий лише вздовж певних напрямків (як рух таксі вулицями Манхеттена), «коло» (геометричне місце точок, відстань від яких до центра стала) перетворюється на квадрат, а відношення довжини кола до діаметра (π) стає рівним 4. Це безпосередньо продовжує тезу сторінки Математика і наука: математика — не відкриття законів природи, а створена людиною «мова», тому зміна аксіом і правил гри породжує інші, не менш коректні результати.

Ключові деталі / Підтеми¶

Коло як геометричне місце точок: за визначенням коло — це множина точок площини, відстань від яких до центра (радіус R) є сталою: відстань = const. Тож «квадратне коло» неможливо спростувати, доки не задано, якою саме метрикою вимірюється відстань.
Евклідова метрика (L²): відстань √(x² + y²) (теорема Піфагора); дає звичне коло та π ≈ 3,14. Це лише один із нескінченної кількості можливих способів вимірювання відстані.
Метрика Мінковського / Манхеттенська / таксистська (L¹): відстань |x| + |y| (рух лише вздовж горизонталі й вертикалі, як вулицями прямокутної сітки міста). «Коло» тут — квадрат, повернутий на 45°; довжина кола при радіусі R дорівнює 8R, отже π = 8R / 2R = 4. Запропонована Германом Мінковським (також автором геометричної інтерпретації спеціальної теорії відносності). Широко застосовна: міське планування, логістика, маршрутизація таксі/транспорту, проєктування друкованих плат і мікросхем (провідники по горизонталі/вертикалі), комп'ютерний зір, робототехніка, машинне навчання.
Метрика Чебишова / «ходу короля» (L∞): відстань max(|x|, |y|) (рух по шаховій дошці королем — горизонталь, вертикаль і діагональ). «Коло» — квадрат, розташований сторонами по осях; також дає π = 4. Застосування: ігри з сіткою (шахи), пошук на ґратках з 8 напрямками, морфологічна обробка зображень, контроль якості/допуски на виробництві, кластеризація.
Загальна формула p-норми (метрики Мінковського): |x|ⁿ + |y|ⁿ = Rⁿ. При n = 2 — евклідова метрика (коло); n = 1 — Манхеттен (квадрат на 45°); n → ∞ — Чебишова (квадрат по осях).
Супереліпси (криві Ламе): фігури, що описуються рівнянням |x|ⁿ + |y|ⁿ = Rⁿ, — це «кола» у відповідних метриках. Для n = 2/3 виходить астроїда; для довільного n > 0 форма довільна, а π — довільне. Для 0 < n < 1 порушується нерівність трикутника (незручна, але допустима геометрія).
Метрика Банаха (n = 0): запропонована Стефаном Банахом (жив і помер у Львові) — «коло» вироджується у хрестоподібну фігуру, майже не підкоряється звичним геометричним законам.
Умови, щоб функція була метрикою: невід'ємність (d(A,A)=0, d(A,B)>0 для різних точок), симетрія (d(A,B)=d(B,A)), та (здебільшого) нерівність трикутника.
Практичність vs екзотика: коло евкліда (n = 2) — найуживаніше, бо наш макросвіт практично плоский і описується евклідовою геометрією; проте метрики L¹ та L∞ мають величезну кількість реальних застосувань, тож «квадратне коло» — не абстрактний жарт, а робочий інструмент.

Суперечності та відкриті питання¶

На перший погляд це суперечить шкільній математиці («площа кола — πR², π = 3,14»). Суперечності немає: шкільні формули не є абсолютними істинами, а справедливі лише в евклідовій метриці. Як обґрунтовано на сторінці Математика і наука, математика створюється людиною через вибір аксіом, тому «очевидне» часто залежить від правил гри.

Джерела та посилання¶

Чи може коло бути квадратним? Коли π = 4 — транскрипт лекції; метрики Мінковського (L¹), Чебишова (L∞), p-норми, супереліпси, π = 4 у «квадратному» колі, застосування в логістиці, мікросхемах, комп'ютерному зорі, іграх.
Математика і наука — зв'язок: математика як «мова», аксіоми як угода, зміна правил породжує інші коректні результати (квадратне коло — прямий приклад).
Магічні числа Всесвіту — зв'язок: π і e як приклади чисто математичних (обчислюваних, а не вимірюваних) констант, що не є «магічними числами» фізики — на відміну від безрозмірних α, mₚ/mₑ, α_G, Λ.