Живата математика

Увод
Наскоро, на български излезе книгата „Живата теорема“ от Седрик Вилани. Става дума за биографията на една теорема и по-точно – за биография, написана от „бащата“ на теоремата. Споменатата теорема е от „предния“ фронт на математиката и по тази причина и тя, а и доказателството й, са неразбираеми не само за обикновените хора, но и за математиците от другите клонове на математиката. Въпреки всичко, книгата става бестселър.
 
Кое ли ще да е нещото, направило книгата толкова популярна? Според мен това е идеята за „живината“ на теоремата (и математиката); за това как тя се ражда дълго и мъчително в дългогодишна комуникация между много математици от цял свят; за безсънните нощи, в които е „дундуркана“ подобно на бебе; за радостта и гордостта от израстването на бебето.
 
Макар че думата „математика“ ми звучи на китайски, реших и аз да напиша кратко разказче за раждането на една теорема. Тук става дума за "бременност" продължила 25 века. Тук става дума за комуникация между живи и мъртви хора – каквато е комуникацията между идеите им. Може би разказът няма е толкова интересен, колкото този на Вилани, но съм сигурен че ще е доста по-разбираем.
 
Изложение
Около 500 години преди Новата ера, гръцките математици откриват че някои числа са триъгълни. Което означава че те могат да бъдат представени така:

Фигура 1

Както се вижда от Фигура 1, първото триъгълно число е 1, второто – 3, третото – 6 и т.н. Кое ли е 1234-тото? А n-тото? 200 години по-късно формулата за n-тото число е вече известна:

Формула 1

През 17-ти век, френският математик Пиер дьо Ферма открива че ако умножиш произволно триъгълно число по 9 и към резултата прибавиш 1, то полученото число е също триъгълно. Казано с езика на математиката:

Формула 2

За n = 1, това лесно може да се провери с помощта на Фигура 1:

Пример 1

На математиката й трябваха около 100 години, за да може някой да направи следващата стъпка, т.е. да види че второто събираемо във Формула 2, а именно 1, е също триъгълно число. Направи го Леонард Ойлер, който не спря дотук, а се запита: „А не може ли формулата на Ферма да се обобщи за две произволни триъгълни числа?“ Оттук нататък беше лесно, особено за Ойлер:

Формула 3

На математиката й трябваха около 250 години за да може някой да направи следващата стъпка, т.е. да усети „силата“ на Ойлеровото равенство и да се запита не важи ли то (или аналогично на него равенство) за други числа. Този някой бях аз, а вторият ми въпрос беше: „Кои са тези други числа?“ Ясно беше че те трябваше да са в „роднинска“ връзка с триъгълните. Така се насочих към факториалните числа, които са мултипликативният аналог на триъгълните. Казано по-ясно, така както n-тото триъгълно число е равно на сумата на числата от 1 до n, така n-тото факториално число е равно на произведението на числата от 1 до n.
 
Открих равенства при факториалните числа, но те се отнасяха само до сумата на две съседни факториални числа, а не до сумата на две произволни такива. Същото се повтори и с други факториални числа (двойни, четворни и  т.н.).
 
В една безсънна нощ четях прекрасното описание на способностите на Айнщайн за аналогично мислене, направено от Дъглас Хофстатър. Изведнъж, моето аналогичното мислене се пробуди и каза: „Тетрахедралните числа“.
 
Така както триъгълните числа са суми на последователните естествени числа, тетрахедралните числа (OEIS A000292) са суми на последователните триъгълни числа. Не ми трябваше много време за да открия равенството:

Формула 4

където

Формула 5

е n-тото тетрахедрално число.
 
Заключение
За да откриеш и докажеш една математическа истина не е нужно да си математически гений или дори математик. И това също е доказателство за живината и силата на математиката.