Три літери, яких достатньо
Є щось майже церемоніальне в тому, як математик ставить Q.E.D. після останнього рядка доведення. Не тому що цього вимагають правила — жодного формального зобов'язання немає. А тому що це жест. Завершений, впевнений, беззаперечний. Це де-факто: ритуал - написати цей символ. Вікіпедія містить статтю про цей символ, хоча назвати її вичерпною мабуть не можна. Розкажемо тут про цікавинки цього символа.
Q.E.D. офіційно розшифровується як quod erat demonstrandum — "що й треба було довести". Латина. Середньовічна традиція перекладати грецькі математичні тексти, насамперед Евкліда. Саме в перекладах "Начал" ця фраза набула свого місця в кінці кожного доведення як відлуння грецького ὅπερ ἔδει δεῖξαι.
Але ось що цікаво: Евклід ніколи не писав цю фразу як скорочення. У нього вона була повноцінним реченням-підсумком. Скорочення Q.E.D. — це вже продукт подальшої схоластичної традиції, коли латинські переклади стали навчальними текстами в університетах і потреба у швидкому позначенні кінця доведення стала практичною необхідністю.
Що відбувається в момент постановки Q.E.D.
Якщо подивитись на Q.E.D. не як на символ, а як на дію — це твердження. Не прохання повірити, не запрошення до обговорення. Це заява: ланцюжок суджень замкнувся, і тепер заперечити можна лише знайшовши помилку в ланцюжку, а не просто висловивши незгоду.
Саме тут криється психологічна вага цих трьох літер. У природній мові ми постійно залишаємо простір для інтерпретації. У математиці Q.E.D. закриває цей простір. Або доведення коректне — і тоді символ правомірний. Або в ньому є помилка — і тоді Q.E.D. є лише ілюзією завершеності. Абревіатура QED активно використовується в брендах та назвах, приклад: qedpad.com - домен сайта.
"Математика — єдина наука, де ми можемо бути абсолютно впевнені, що знаємо щось" — Бертран Рассел. І саме Q.E.D. є тим моментом, коли ця впевненість отримує форму.
Це відрізняє математику від будь-якої іншої дисципліни. Фізик завжди може сказати: "наші виміри мали похибку". Філософ — "термін вжито в іншому значенні". Математик після коректного доведення не має куди відступати. Q.E.D. — це не риторика. Це констатація факту.
Від латини до квадрата: як змінювався символ
У XX столітті Q.E.D. почало поступатися місцем більш лаконічному символу — заповненому прямокутнику або квадрату. Цей символ отримав неофіційну назву tombstone (надгробний камінь) або halmos — на честь угорсько-американського математика Пола Галмоша, який популяризував його використання.
Галмош описував свій вибір прагматично: він хотів чіткий візуальний сигнал кінця доведення, який не потребує читання і миттєво сприймається на сторінці. Квадрат — геометрично завершена форма — виявився вдалою метафорою для самого акту завершення.
Цікаво, що у різних видавничих традиціях квадрат набував різних форм (мабуть через поточны можливості типографського обладнання):
- Заповнений чорний квадрат — найпоширеніший варіант у сучасних підручниках;
- Порожній квадрат (лише контур) — часто використовується в електронних виданнях;
- Символ ∎ в Unicode — офіційне кодування (U+220E), назва "END OF PROOF";
- Деякі автори використовують QED курсивом або навіть власні авторські позначення.
І все ж Q.E.D. не зникло. Воно збереглось у рукописних нотатках, у лекційній традиції, у текстах авторів, які цінують латинську спадщину математичної мови. Квадрат і Q.E.D. співіснують — перший більш функціональний, другий більш виразний.
Межі символу: коли Q.E.D. неможливе
Є клас ситуацій, де Q.E.D. поставити неможливо — і це не просто технічна складність. Це принципове обмеження.
Теорема Гьоделя про неповноту показала, що в будь-якій достатньо багатій формальній системі є твердження, які є істинними, але недоводжуваними в межах цієї системи. Тобто є твердження, для яких Q.E.D. в принципі не існує — не тому що ми недостатньо розумні, а тому що система не дозволяє досягти цього завершення зсередини.
Це одне з найглибших відкриттів математики XX століття. І воно безпосередньо стосується статусу Q.E.D.: символ означає не просто "я довів", а "я довів у межах прийнятих аксіом і правил виводу". Це завжди умовне завершення — умовне відносно системи.
"Якщо математика — це гра за правилами, то Q.E.D. означає: 'я зіграв правильно'. Але самі правила лежать поза грою."
Q.E.D. як культурний маркер
За межами математики Q.E.D. стало впізнаваним символом завершеного аргументу. Його використовують у філософії, юриспруденції, публічних дискусіях — іноді серйозно, іноді іронічно. Ця іронія показова: коли хтось пише Q.E.D. після нематематичного аргументу, він або претендує на математичну строгість (що зазвичай невиправдано), або свідомо жартує над самою претензією на абсолютну доведеність.
Є й такий культурний феномен як "QED-момент" у дискусії — момент, коли одна зі сторін вважає, що аргумент закритий. Проблема в тому, що в реальних дискусіях такий момент майже ніколи не є справжнім Q.E.D. Це лише відчуття завершеності, а не її математична гарантія.
Процедурна та змістова сторони доведення
Варто розрізняти два питання: коли Q.E.D. можна поставити формально, і коли це доречно по суті.
Формально — після будь-якого ланцюжка кроків, який веде від гіпотез до тверджень, що доводиться. Але по суті — лише тоді, коли кожен крок обґрунтований, а не просто записаний. Між цими двома станами лежить величезна практика математичного письма:
- формулювання теореми з чітко вказаними умовами;
- вибір методу доведення (пряме, від супротивного, індукція тощо);
- побудова ланцюжка суджень без пропущених кроків;
- перевірка кожного кроку на відповідність аксіомам і раніше доведеним твердженням;
- постановка Q.E.D. як завершення — не ритуальна, а усвідомлена.
Студенти іноді ставлять Q.E.D. занадто рано — коли доведення ще не завершене, але вони вже втомились. Досвідчені математики ставлять його пізніше, ніж здається необхідним — бо знають, скільки деталей здатне приховати інтуїтивно "зрозуміле" міркування.
Формула завершення в LaTeX
Більшість сучасних математичних текстів верстається у LaTeX, і питання про те, як правильно оформити кінець доведення, є цілком практичним. Стандартний пакет amsthm надає середовище proof, яке автоматично додає символ QED:
\usepackage{amsthm}
\begin{proof}
Нехай $n$ — парне ціле число...
% тут тіло доведення
\end{proof}
За замовчуванням amsthm використовує порожній квадрат. Якщо ви хочете змінити символ на заповнений або на класичне Q.E.D., можна переоголосити команду:
\renewcommand\qedsymbol{Q.E.D.}
Q.E.D. — це, мабуть, єдиний символ у математиці, який нічого не обчислює, нічого не позначає у формальному сенсі, але несе надзвичайно важливе навантаження: він каже читачеві, що думка завершена, а автору — що відповідальність за цей крок взята. Цікаво, чи замислювались ви колись, ставлячи цей символ, про те, що стоїть за ним далі — не позаду, у рядках доведення, а попереду, у тому, що це доведення дозволяє будувати? Математика рухається вперед саме так: кожне Q.E.D. стає фундаментом для наступного відкритого питання. Якщо у вас є думки про те, як ви самі ставитесь до цього символу — як до формальності чи до чогось більшого — буду радий прочитати в коментарях.
Схожі публікації
