1729 naprawdę zasłużyło na słynną odpowiedź Ramanujana
Liczba 1729 jest najmniejszą dodatnią liczbą całkowitą, którą można zapisać jako sumę dwóch dodatnich sześcianów na dwa różne sposoby: 1729=1³+12³=9³+10³. Właśnie ta własność stoi za słynną historią o G.H. Hardym i Srinivasie Ramanujanie. Hardy wspominał, że numer taksówki 1729 wydał mu się nieciekawy, na co Ramanujan miał natychmiast zwrócić uwagę na jego wyjątkową własność. Dziś 1729 nazywa się często liczbą Hardy’ego–Ramanujana albo drugim numerem taksówkowym. To dobry przykład, że intuicja oparta na skończonych rachunkach lub znanym zapisie liczby może nie wystarczać do zrozumienia jej pełnej struktury matematycznej.
Dwa różne rozkłady
Rachunek jest prosty do sprawdzenia: 1³+12³=1+1728=1729, a 9³+10³=729+1000=1729. Sam fakt posiadania dwóch takich reprezentacji nie byłby jeszcze wyjątkowy, gdyby podobna własność występowała wcześniej. Klucz brzmi: 1729 jest najmniejszą dodatnią liczbą, dla której istnieją dwa różne sposoby przedstawienia jej jako sumy dwóch dodatnich sześcianów. W nowoczesnej terminologii jest to Ta(2), najmniejsza liczba będąca sumą dwóch dodatnich sześcianów na dwa różne sposoby.
Historia z taksówką
G.H. Hardy opisał epizod z wizyty u chorego Ramanujana. Przyjechał taksówką o numerze 1729 i powiedział, że numer wydał mu się raczej nudny. Ramanujan odpowiedział, że przeciwnie — jest bardzo interesujący, właśnie dlatego, że to najmniejsza liczba dająca się wyrazić jako suma dwóch sześcianów na dwa sposoby. Anegdota jest niezwykła nie dlatego, że Ramanujan znał „sekretną ciekawostkę”, lecz dlatego, jak naturalnie rozpoznawał strukturę arytmetyczną konkretnej liczby.
Od anegdoty do całej rodziny problemów
Matematycy nazwali później liczbami taksówkowymi najmniejsze liczby, które można przedstawić jako sumę dwóch dodatnich sześcianów na odpowiednio wiele różnych sposobów. Dla dwóch sposobów otrzymujemy właśnie 1729. Dla większej liczby reprezentacji problem staje się dramatycznie trudniejszy, bo trzeba jednocześnie znaleźć wiele równości sześciennych i udowodnić, że żaden mniejszy kandydat nie ma wymaganej liczby reprezentacji. Prosta historia z numerem taksówki prowadzi więc do rzeczywistego obszaru poszukiwań w teorii liczb.
Co jest tu naprawdę matematyczne
Najciekawsze nie jest samo zapamiętanie 1729, lecz rodzaj pytania: kiedy różne pary liczb prowadzą do tej samej sumy potęg? Równania takie należą do równań diofantycznych, w których szuka się rozwiązań całkowitych. Z pozoru niewinna równość 1³+12³=9³+10³ pokazuje, że struktura liczb całkowitych potrafi tworzyć rzadkie zbieżności, których znalezienie i sklasyfikowanie jest znacznie trudniejsze niż ich późniejsze sprawdzenie.
Dlaczego „najmniejsza” jest mocniejszym twierdzeniem niż sama równość
Sprawdzenie obu równości dla 1729 zajmuje kilka sekund. Znacznie mocniejsza część twierdzenia mówi jednak, że żadna mniejsza dodatnia liczba nie ma dwóch różnych przedstawień jako suma dwóch dodatnich sześcianów. To wymaga kontroli wszystkich odpowiednich par, a w uogólnieniach szybko staje się trudnym problemem. Dlatego liczby taksówkowe definiuje się przez minimalność: Ta(n) jest najmniejszą liczbą mającą n reprezentacji jako suma dwóch dodatnich sześcianów. Historia Ramanujana brzmi jak błyskotliwa sztuczka pamięciowa, ale kryje za sobą problem optymalizacyjny w świecie równań diofantycznych. Sama możliwość przedstawienia liczby na dwa sposoby jest ciekawa; udowodnienie, że jest pierwszym takim przypadkiem, nadaje 1729 jego właściwe znaczenie.
Sześciany szybko zwiększają skalę
Sześcian liczby rośnie znacznie szybciej niż sama liczba, dlatego już niewielkie zmiany składników powodują duże skoki sum. To pomaga zrozumieć, dlaczego zbieżność dwóch różnych par, takich jak (1,12) i (9,10), jest rzadka w małym zakresie. Jednocześnie liczba możliwych par rośnie wraz z zakresem poszukiwań, więc w dużej skali podobne równości pojawiają się ponownie. Problem liczb taksówkowych polega na znalezieniu najwcześniejszego miejsca, w którym liczba takich kolizji osiąga wymagany poziom.
Nazwa „taxicab” została zbudowana wokół tej historii
Współczesne oznaczenie Ta(n) i nazwa taxicab numbers nawiązują bezpośrednio do anegdoty Hardy’ego i Ramanujana. Nie oznacza to jednak, że problem jest rekreacyjną zabawką bez głębszej treści. Równania sum dwóch sześcianów wiążą się z teorią krzywych algebraicznych i szerszymi problemami diofantycznymi. 1729 jest wyjątkowo przystępnym wejściem do tej tematyki, bo własność można sprawdzić arytmetycznie bez specjalistycznego aparatu, choć jej uogólnienia szybko prowadzą daleko poza elementarne rachunki.