A Note on the Measure of Vector and Pythagorean Theorem

Per secoli, la regola più famosa della geometria è stata quella che lega i lati di un triangolo rettangolo. Essa afferma che se si prendono le lunghezze dei due lati più corti, si elevano al quadrato e si sommano i risultati, si ottiene il quadrato del lato più lungo. Questa regola è così fondamentale da sembrare una legge di natura, qualcosa di scritto nel tessuto stesso dello spazio. Nella scienza moderna, questa relazione non riguarda solo i triangoli; è il motore matematico dietro il modo in cui misuriamo la distanza, come definiamo gli angoli e persino come calcoliamo la probabilità di trovare una particella nella fisica quantistica. Di solito, gli scienziati accettano questa regola del "quadrato" come un punto di partenza. Costruiscono le loro teorie sopra di essa, assumendo che il quadrato sia l'unico modo per misurare la dimensione di un vettore, che è semplicemente una freccia matematica che punta in una direzione specifica con una determinata intensità. Ma questa assunzione lascia una domanda sospesa: perché un quadrato? Perché un cubo, una quarta potenza o un altro modo per combinare questi numeri?

Un ricercatore dell'Università Federale Immanuel Kant ha gettato un nuovo sguardo su questo antico enigma, spogliando via tutte le solite assunzioni geometriche per vedere cosa rimane. Inve invece di partire da un triangolo o da un angolo, il ricercatore è partito dal minimo indispensabile: una collezione di frecce astratte, note come vettori, che fluttuano in uno spazio matematico privo di regole preesistenti per lunghezza o direzione. L'obiettivo era vedere se la famosa regola del "quadrato" potesse apparire naturalmente, semplicemente chiedendo come si possa assegnare un singolo numero significativo per rappresentare la dimensione di queste frecce. Il ricercatore ha proposto che se esigiamo che questo numero sia coerente, additivo e indipendente da come scegliamo di etichettare le frecce, la matematica non ci lasci altra scelta se non il quadrato. Il risultato è una derivazione che mostra che l'angolo retto e il teorema di Pitagora non sono scelte arbitrarie, ma necessità strutturali inevitabili che emergono dall'algebra stessa dei vettori.

L'indagine è iniziata immaginando un mondo in cui abbiamo vettori ma nessun concetto di lunghezza, nessun angolo e nessun prodotto interno. In questo quadro nudo, un vettore è solo un simbolo, un segnaposto per una direzione e una magnitudo, ma non ha un valore numerico intrinseco. Per dare un senso a ciò, il ricercatore si è chiesto: come possiamo attaccare un numero a questo vettore che ci indichi la sua "dimensione"? Questo numero, chiamato misura quantitativa, deve comportarsi in modo logico. Se combiniamo due vettori per crearne uno nuovo, la misura del nuovo deve relazionarsi con le misure dei vecchi. Il ricercatore è partito dalla regola più semplice: se due vettori vengono combinati, la misura del risultato deve essere la somma delle loro singole misure. Questa è l'idea di additività, simile a come l'area di due forme non sovrapposte è la somma delle loro singole aree.

Tuttavia, una semplice somma non funziona per i vettori nel modo in cui funziona per le aree. Se si allunga un vettore per un fattore, la sua misura deve cambiare in modo prevedibile. Il ricercatore ha esplorato come questa misura si comporta quando un vettore viene moltiplicato per un numero. Attraverso una serie di passaggi logici che coinvolgono la simmetria del sistema, è diventato chiaro che la misura non poteva essere una semplice somma lineare. Se lo fosse stata, la matematica sarebbe crollata nel trattare numeri negativi o direzioni diverse. L'unico modo per mantenere il sistema coerente, per garantire che la misura rimanga la stessa indipendentemente da come ruotiamo o ridenomini il nostro sistema di coordinate, è che la misura dipenda dal quadrato dei numeri coinvolti.

La chiave di questa scoperta risiede in un principio di indipendenza. Il ricercatore ha sostenuto che la dimensione di un vettore non dovrebbe dipendere da quale coppia specifica di frecce scegliamo come nostro sistema di riferimento, o "base". Se ruotiamo il nostro intero sistema di frecce, la dimensione fisica di un vettore non dovrebbe cambiare. Quando il ricercatore ha applicato questo requisito di invarianza alle equazioni matematiche, è apparsa un vincolo sorprendente. L'unica funzione matematica che permette alla misura di rimanere coerente sotto rotazione e scala, pur obbedendo alla regola dell'additività per le componenti perpendicolari, è la somma dei quadrati. Qualsiasi altra potenza, come un cubo o una quarta potenza, costringerebbe il sistema a collassare in un caso banale in cui nessuna rotazione reale è possibile. La matematica semplicemente non permette a una "regola del cubo" di coesistere con la libertà di ruotare il sistema di coordinate.

Questa scoperta rivela che l'angolo retto non è un concetto preesistente che imponiamo al mondo. Al contrario, il concetto di angolo retto emerge come una conseguenza logica del requisito che le nostre misurazioni siano coerenti. Quando il ricercatore ha cercato le coppie specifiche di vettori che soddisfano la regola dell'additività, ha scoperto che queste coppie devono essere perpendicolari tra loro. In altre parole, il "quadrato" e l'"angolo retto" nascono insieme. La geometria del triangolo rettangolo non è una regola separata aggiunta al sistema; è l'unica forma che permette alla struttura algebrica dei vettori di sostenere una misura significativa e invariante della dimensione.

Le implicazioni di questo lavoro vanno oltre la pura geometria. Il ricercatore ha notato che la stessa logica matematica che impone il quadrato nella geometria classica è la stessa identica logica che governa il mondo quantistico. Nella meccanica quantistica, la probabilità di trovare una particella è calcolata elevando al quadrato la magnitudo della sua funzione d'onda, una regola nota come regola di Born. Per decenni, i fisici si sono chiesti perché la natura utilizzi proprio questa specifica regola del quadrato. Questo articolo suggerisce che la risposta non è un accidente fisico, ma una necessità matematica. Proprio come il quadrato è l'unico modo per misurare coerentemente i vettori in uno spazio lineare, il quadrato è l'unico modo per interpretare coerentemente la "dimensione" di uno stato quantistico. La regola non è un postulato arbitrario della fisica; è l'unica soluzione al problema di come quantificare un oggetto multidimensionale in modo indipendente dalla nostra prospettiva.

Lo studio conclude che il teorema di Pitagora non è un teorema nel senso tradizionale di un fatto che deve essere dimostrato partendo dagli assiomi. Piuttosto, è una definizione di cosa significhi avere una misura coerente in uno spazio vettoriale. Se vuoi un sistema in cui puoi sommare le dimensioni delle parti per ottenere la dimensione del tutto, e dove tale dimensione non cambia quando ruoti il sistema, sei costretto a usare il quadrato. Il ricercatore ha dimostrato che tutti gli strumenti familiari della geometria — angoli, ortogonalità, rotazione — non sono la base, ma il risultato. Sono i sottoprodotti naturali di un sistema che richiede un modo singolo e ben definito per contare la magnitudo di un vettore. Partendo da nulla se non dall'algebra dei vettori e dal desiderio di un numero coerente, il ricercatore ha scoperto che il quadrato era l'unica strada percorribile.

Questo lavoro fornisce una profonda giustificazione algebrica della geometria che usiamo ogni giorno. Dimostra che l'universo dei vettori, quando gli viene chiesto di fornire una misura significativa dei propri contenuti, produce inevitabilmente il quadrato pitagorico. L'angolo retto non è un mistero da risolvere, ma una caratteristica che deve esistere affinché il sistema funzioni. Le scoperte suggeriscono che le regole della geometria non sono solo descrizioni convenienti dello spazio, ma l'unica possibile struttura logica che permette un'interpretazione coerente delle quantità multidimensionali. Sia nel mondo classico dei triangoli che nel mondo quantistico delle probabilità, il quadrato si erge come la misura unica e invariante, emergendo dalle ossa nude dell'algebra stessa.