Le gemme del mar Caspio: un’allegoria

 

La successione di Leonardo da Pisa trabocca di pattern sorprendenti, ma sfortunatamente addentrarvisi ci porterebbe troppo fuori rotta. Non posso tuttavia resistere alla tentazione di menzionare che 144 salta subito agli occhi in questo elenco dei primi sedici numeri F, perché è un vistoso quadrato perfetto. A parte 8, che è un cubo, e 1, che è un caso piuttosto degenere, all’interno delle prime centinaia di numeri della successione F non compare nessun altro quadrato perfetto, cubo o una qualunque altra potenza esatta.

Parecchi decenni orsono ci si cominciò a chiedere se la presenza di 8 e 144 nella serie F fosse dovuta a una ragione o fosse soltanto un «accidente casuale». Perciò, via via che gli strumenti computazionali diventavano sempre più potenti, si intrapresero varie ricerche. Curiosamente, anche con l’avvento dei supercomputer, che permettevano di sfornare milioni o addirittura miliardi di numeri F, a nessuno capitò mai di imbattersi in una qualunque altra potenza perfetta nella serie di Fibonacci. La possibilità che una qualche potenza si sarebbe presentata di lì a poco nella successione F sembrava davvero remota, ma perché mai avrebbe dovuto esserci un così perfetto evitamento reciproco? Cosa hanno a che fare le potenze n-esime per un n qualunque con la somma di coppie di numeri nel caratteristico modo ricorsivo di Fibonacci? Non poteva essere che 8 e 144 fossero semplicemente piccole anomalie casuali? E perché non avrebbero potuto verificarsi altre piccole anomalie?

Per vedere tutto questo sotto una luce allegorica, immaginate che a qualcuno capiti un giorno di pescare un gigantesco diamante, un magnifico rubino e una piccola perla dal fondo del vasto e verde mar Caspio, nell’Asia centrale, e che altri cercatori di fortuna, spronati da questi sbalorditivi ritrovamenti, inizino a dragare come matti il fondo del più grande lago del mondo per cercare altri diamanti, rubini, perle, smeraldi, topazi, ecc., ma che, malgrado tutto questo lavoro, non salti fuori nulla. Sarebbe naturale domandarsi se altre gemme possano nascondersi laggiù, ma come sarebbe mai possibile saperlo? (Un avvertimento: la mia allegoria è leggermente difettosa, perché possiamo immaginare, almeno in linea di principio, una spedizione scientifica ben finanziata che un giorno riuscisse a dragare completamente il fondo del lago, visto che, per quanto enorme, è comunque finito. Perché la mia analogia sia «perfetta», dovremmo pensare il mar Caspio infinito. Spaziate un po’ con l’immaginazione, lettori!)

E ora, ecco la svolta. Supponiamo che un geologo con mentalità matematica si prefigga di dimostrare che le due mirabili gemme del

Caspio e la piccola perla rotonda fossero sui generis - ovvero che ci fosse una ragione ben precisa per cui nessun’altra pietra preziosa o perla di qualunque tipo o dimensione si possa, o si potrebbe mai trovare nel mar Caspio. Avrebbe senso cercare una simile dimostrazione? Come potrebbe esserci una ragione scientifica inconfutabile che vieti nel modo più assoluto la possibilità di trovare una qualunque gemma - tranne che una singola perla, un singolo rubino e un singolo diamante - sul fondo del mar Caspio? La cosa sembra assurda.

Ciò è tipico del modo in cui concepiamo il mondo fisico - ovvero pieno di eventi contingenti, fatti che potrebbero essere diversi, situazioni che non hanno alcuna ragione essenziale per essere come sono. Ma lasciatemi ricordare che i matematici vedono il loro mondo immacolato e astratto come l’antitesi del mondo fisico casuale e pieno di fatti accidentali che noi tutti abitiamo. Per loro, le cose che accadono nel mondo matematico accadono, senza eccezioni, per ragioni enunciabili e comprensibili.

Questa - il Credo del Matematico - è la mentalità da adottare e far propria se si vuole capire il modo di pensare dei matematici. E, in questo caso particolare, il mistero della mancanza di potenze nella successione di Fibonacci, benché non così rilevante agli occhi della maggior parte dei matematici, era davvero sconcertante perché non sembrava offrire alcuna naturale via di accesso alla sua soluzione. I due fenomeni coinvolti - potenze di interi con esponenti arbitrariamente grandi da un lato, numeri di Fibonacci dall’altro - sembravano semplicemente essere (come le pietre preziose e il mar Caspio) troppo distanti l’uno dall’altro sul piano concettuale per avere una qualsivoglia correlazione profonda, sistematica e inevitabile.

Si fece avanti allora una nutrita squadra di matematici che aveva nel mirino la «caccia grossa» all’Ultimo Teorema di Fermat (la nota asserzione, fatta in origine da Pierre de Fermat alla metà del diciassettesimo secolo, che non esistono interi positivi a, b, e tali che a” + b” sia uguale a e”, ove l’esponente n sia un intero maggiore di 2).43 Questa prestigiosa staffetta internazionale, che venne coronata da trionfale successo grazie al magnifico sprint di Andrew Wiles (sprint che gli richiese circa otto anni), fu alla fine in grado di provare la secolare affermazione di Fermat mediante l’impiego di tecniche sorprendenti che combinavano idee provenienti da tutto il vasto panorama della matematica contemporanea.

Sulla scia del rivoluzionario lavoro di questa squadra, vennero aperte nuove strade che sembravano lasciare intravedere spiragli in molte famose vecchie porte, compresa quella saldamente sprangata del piccolo ma affascinante mistero delle potenze nella successione di Fibonacci. E infatti, circa dieci anni dopo la dimostrazione dell’Ultimo Teorema di Fermat, un trio di matematici, sfruttando le tecniche di Wiles e di altri, riuscì a individuare l’esatta ragione per cui nella successione ricorsiva di Leonardo da Pisa il cubo 8 e il quadrato 144 non saranno mai affiancati da nessun’altra potenza perfetta (a eccezione di l).44 Benché assai recondita, la ragione di questa danza di infinito evitamento reciproco era stata messa in evidenza. Questo è solo l’ennesimo trionfo del Credo del Matematico - una ragione in più per dar credito all’idea che in matematica dove c’è un pattern, là c’è una ragione.

Anelli nell'io
cover.xhtml
content0004.xhtml
content0003.xhtml
content0006.xhtml
content0007.xhtml
content0008.xhtml
content0010.xhtml
content0011.xhtml
content0013.xhtml
content0015.xhtml
content0017.xhtml
content0019.xhtml
content0021.xhtml
content0023.xhtml
content0024.xhtml
content0025.xhtml
content0026.xhtml
content0039.xhtml
content0041.xhtml
content0043.xhtml
content0045.xhtml
content0047.xhtml
content0048.xhtml
content0050.xhtml
content0052.xhtml
content0054.xhtml
content0056.xhtml
content0059.xhtml
content0060.xhtml
content0062.xhtml
content0064.xhtml
content0065.xhtml
content0066.xhtml
content0068.xhtml
content0069.xhtml
content0070.xhtml
content0077.xhtml
content0079.xhtml
content0081.xhtml
content0083.xhtml
content0085.xhtml
content0087.xhtml
content0089.xhtml
content0091.xhtml
content0092.xhtml
content0099.xhtml
content0101.xhtml
content0103.xhtml
content0105.xhtml
content0107.xhtml
content0109.xhtml
content0111.xhtml
content0113.xhtml
content0115.xhtml
content0117.xhtml
content0119.xhtml
content0120.xhtml
content0121.xhtml
content0134.xhtml
content0136.xhtml
content0138.xhtml
content0140.xhtml
content0142.xhtml
content0144.xhtml
content0146.xhtml
content0148.xhtml
content0150.xhtml
content0152.xhtml
content0154.xhtml
content0155.xhtml
content0157.xhtml
content0159.xhtml
content0161.xhtml
content0163.xhtml
content0165.xhtml
content0167.xhtml
content0169.xhtml
content0170.xhtml
content0172.xhtml
content0174.xhtml
content0175.xhtml
content0176.xhtml
content0177.xhtml
content0178.xhtml
content0179.xhtml
content0180.xhtml
content0181.xhtml
content0182.xhtml
content0192.xhtml
content0193.xhtml
content0194.xhtml
content0195.xhtml
content0196.xhtml
content0197.xhtml
content0198.xhtml
content0199.xhtml
content0200.xhtml
content0201.xhtml
content0202.xhtml
content0204.xhtml
content0205.xhtml
content0206.xhtml
content0207.xhtml
content0208.xhtml
content0209.xhtml
content0210.xhtml
content0211.xhtml
content0212.xhtml
content0213.xhtml
content0214.xhtml
content0215.xhtml
content0217.xhtml
content0218.xhtml
content0219.xhtml
content0220.xhtml
content0221.xhtml
content0222.xhtml
content0223.xhtml
content0224.xhtml
content0225.xhtml
content0226.xhtml
content0234.xhtml
content0235.xhtml
content0236.xhtml
content0237.xhtml
content0238.xhtml
content0239.xhtml
content0240.xhtml
content0241.xhtml
content0242.xhtml
content0243.xhtml
content0244.xhtml
content0245.xhtml
content0246.xhtml
content0247.xhtml
content0248.xhtml
content0249.xhtml
content0250.xhtml
content0251.xhtml
content0254.xhtml
content0255.xhtml
content0256.xhtml
content0257.xhtml
content0258.xhtml
content0259.xhtml
content0260.xhtml
content0261.xhtml
content0262.xhtml
content0263.xhtml
content0264.xhtml
content0265.xhtml
content0266.xhtml
content0267.xhtml
content0269.xhtml
content0270.xhtml
content0271.xhtml
content0272.xhtml
content0273.xhtml
content0274.xhtml
content0275.xhtml
content0276.xhtml
content0277.xhtml
content0278.xhtml
content0279.xhtml
content0281.xhtml
content0282.xhtml
content0283.xhtml
content0284.xhtml
content0285.xhtml
content0286.xhtml
content0287.xhtml
content0288.xhtml
content0290.xhtml
content0291.xhtml
content0292.xhtml
content0293.xhtml
content0294.xhtml
content0295.xhtml
content0296.xhtml
content0297.xhtml
content0298.xhtml
content0299.xhtml
content0300.xhtml
content0302.xhtml
content0303.xhtml
content0304.xhtml
content0305.xhtml
content0306.xhtml
content0307.xhtml
content0308.xhtml
content0309.xhtml
content0310.xhtml
content0311.xhtml
content0312.xhtml
content0313.xhtml
content0315.xhtml
content0316.xhtml
content0317.xhtml
content0318.xhtml
content0319.xhtml
content0320.xhtml
content0321.xhtml
content0322.xhtml
content0323.xhtml
content0324.xhtml
content0325.xhtml
content0326.xhtml
content0327.xhtml
content0328.xhtml
content0329.xhtml
content0336.xhtml
content0337.xhtml
content0338.xhtml
content0339.xhtml
content0341.xhtml
content0342.xhtml
content0343.xhtml
content0344.xhtml
content0345.xhtml
content0346.xhtml
content0347.xhtml
content0348.xhtml
content0349.xhtml
content0350.xhtml
content0351.xhtml
content0352.xhtml
content0353.xhtml
content0354.xhtml
content0355.xhtml
content0356.xhtml
content0357.xhtml
content0358.xhtml
content0359.xhtml
content0360.xhtml
content0361.xhtml
content0362.xhtml
content0363.xhtml
content0364.xhtml
content0365.xhtml
content0367.xhtml
content0368.xhtml
content0369.xhtml
content0370.xhtml
content0371.xhtml
content0379.xhtml
content0381.xhtml
content0383.xhtml
content0384.xhtml
content0385.xhtml
content0386.xhtml
content0387.xhtml
content0388.xhtml
content0389.xhtml
content0390.xhtml
content0391.xhtml
content0393.xhtml
content0395.xhtml
content0396.xhtml
content0398.xhtml
content0408.xhtml
content0410.xhtml
content0411.xhtml
content0412.xhtml
content0414.xhtml
content0416.xhtml
content0417.xhtml
content0418.xhtml
content0419.xhtml
content0420.xhtml
content0421.xhtml
content0422.xhtml
content0431.xhtml
content0432.xhtml
content0433.xhtml
content0434.xhtml
content0435.xhtml
content0436.xhtml
content0437.xhtml
content0438.xhtml
content0439.xhtml
content0440.xhtml
content0441.xhtml
content0443.xhtml
content0444.xhtml
content0445.xhtml
content0446.xhtml
content0447.xhtml
content0448.xhtml
content0449.xhtml
content0450.xhtml
content0451.xhtml
content0457.xhtml
content0458.xhtml
content0459.xhtml
content0460.xhtml
content0461.xhtml
content0462.xhtml
content0463.xhtml
content0465.xhtml
content0467.xhtml
content0468.xhtml