A Note on the Measure of Vector and Pythagorean Theorem

Eeuwenlang is de meest beroemde regel in de meetkunde de regel geweest die de zijden van een rechthoekige driehoek met elkaar verbindt. Het stelt dat als je de lengtes van de twee kortere zijden neemt, ze kwadrateert en de resultaten bij elkaar optelt, je de kwadraat van de langste zijde krijgt. Deze regel is zo fundamenteel dat het voelt als een natuurwet, iets dat in de stof van de ruimte zelf geschreven staat. In de moderne wetenschap gaat deze relatie niet alleen over driehoeken; het is de wiskundige motor achter hoe we afstand meten, hoe we hoeken definiëren en zelfs hoe we de waarschijnlijkheid berekenen om een deeltje te vinden in de kwantumfysica. Meestal accepteren wetenschappers deze "kwadratische" regel als een startpunt. Ze bouwen hun theorieën erop voort, uitgaande van het dat het kwadraat de enige manier is om de grootte van een vector te meten, wat simpelweg een wiskundige pijl is die in een specifieke richting wijst met een specifieke sterkte. Maar deze aanname laat een hardnekkige vraag achter: waarom een kwadraat? Waarom geen kubus, of een vierde macht, of een andere manier om deze getallen te combineren?

Een onderzoeker aan de Immanuel Kant Federal University heeft een frisse blik geworpen op dit eeuwenoude raadsel, door alle gebruikelijke geometrische aannames weg te strippen om te zien wat er overblijft. In plaats van te beginnen met een driehoek of een hoek, begon de onderzoeker met het absolute minimum: een verzameling abstracte pijlen, bekend als vectoren, die zweven in een wiskundige ruimte zonder vooraf bestaande regels voor lengte of richting. Het doel was om te zien of de beroemde "kwadraat"-regel natuurlijk naar voren kon worden gedwongen, simpelweg door te vragen hoe men een enkele, betekenisvolle waarde kan toekennen aan de grootte van deze pijlen. De onderzoeker stelde voor dat als we eisen dat dit getal consistent, optelbaar en onafhankelijk is van hoe we de pijlen labelen, de wiskunde ons geen andere keuze laat dan het kwadraat. Het resultaat is een afleiding die laat zien dat de rechte hoek en de stelling van Pythagoras geen willekeurige keuzes zijn, maar onvermijdelijke structurele noodzakelijkheden die voortkomen uit de algebra van de vectoren zelf.

Het onderzoek begon met het voorstellen van een wereld waarin we vectoren hebben, maar geen concept van lengte, geen hoeken en geen inwendige producten. In dit kale kader is een vector slechts een symbool, een placeholder voor een richting en een grootte, maar het heeft geen intrinsieke numerieke waarde. Om dit begrijpelijk te maken, vroeg de ondersoeker: hoe kunnen we een getal aan deze vector koppelen dat ons de "grootte" ervan vertelt? Dit getal, een kwantitatieve maat, moet op een logische manier functioneren. Als we twee vectoren combineren om een nieuwe te maken, moet de maat van de nieuwe zich verhouden tot de maten van de oude. De onderzoeker begon met de eenvoudigst mogelijke regel: als twee vectoren worden gecombineerd, moet de maat van het resultaat de som zijn van hun individuele maten. Dit is het idee van optelbaarheid, vergelijkbaar met hoe de oppervlakte van twee niet-overlappende vormen de som is van hun individuele oppervlaktes.

Echter, een eenvoudige som werkt niet voor vectoren zoals dat wel werkt voor oppervlaktes. Als je een vector met een factor uitrekt, moet de maat ervan op een voorspelbare manier veranderen. De onderzoeker onderzocht hoe deze maat zich gedraagt wanneer een vector met een getal wordt vermenigvuldigd. Door een reeks logische stappen waarbij gebruik werd gemaakt van de symmetrie van het systeem, werd duidelijk dat de maat niet een eenvoudige lineaire som kon zijn. Als dat wel zo zou zijn, zou de wiskunde vastlopen bij het werken met negatieve getallen of verschillende richtingen. De enige manier om het systeem consistent te houden, om te garanderen dat de maat hetzelfde blijft ongeacht hoe we ons coördinatensysteem roteren of herlabelen, is dat de maat afhankelijk is van de kwadraten van de betrokken getallen.

De sleutel tot deze ontdekking ligt in een principe van onafhankelijkheid. De onderzoeker betoogde dat de grootte van een vector niet afhankelijk mag zijn van de specifieke set pijlen die we kiezen om als ons referentiekader, of "basis", te gebruiken. Als we ons hele systeem van pijlen roteren, zou de fysieke grootte van een vector niet mogen veranderen. Toen de onderzoeker deze eis van invariantie toepaste op de wiskundige vergelijkingen, verscheen er een verrassende beperking. De enige wiskundige functie die ervoor zorgt dat de maat consistent blijft onder rotatie en schaling, terwijl ook de regel van optelbaarheid voor loodrechte componenten wordt nageleefd, is de som van kwadraten. Elke andere macht, zoals een kubus of een vierde macht, zou het systeem dwingen tot een triviaal geval waarin geen echte rotatie mogelijk is. De wiskunde staat simpelweg niet toe dat een "kubus-regel" samen bestaat met de vrijheid om het coördinatensysteem te roteren.

Deze bevinding onthult dat de rechte hoek geen vooraf bestaand concept is dat we op de wereld opleggen. In plaats daarvan komt het concept van een rechte hoek voort als een logisch gevolg van de eis dat onze metingen consistent moeten zijn. Wanneer de onderzoeker zocht naar de specifieke paren vectoren die aan de optelregel voldoen, kwam hij tot de conclusie dat deze paren loodrecht op elkaar moeten staan. Met andere woorden: het "kwadraat" en de "rechte hoek" worden samen geboren. De geometrie van de rechthoekige driehoek is geen aparte regel die aan het systeem wordt toegevoegd; het is de enige vorm die toestaat dat de algebraïsche structuur van vectoren een betekenisvolle, invariante maat van grootte ondersteunt.

De implicaties van dit werk reiken verder dan de zuivere meetkunde. De onderzoeker merkte op dat dezelfde wiskundige logica die het kwadraat in de klassieke meetkunde afdwingt, exact dezelfde logica is die de kwantumwereld regeert. In de kwantummechanica wordt de waarschijnlijkheid om een deeltje te vinden berekend door de kwadraat van de amplitude van de golffunctie te nemen, een regel die bekend staat als de Born-regel. Decennialang hebben natuurkundigen zich afgevraagd waarom de natuur deze specifieke kwadratische regel gebruikt. Dit artikel suggereert dat het antwoord geen fysiek toeval is, maar een wiskundige noodzaak. Net zoals het kwadraat de enige manier is om vectoren consistent te meten in een lineaire ruimte, is het kwadraat de enige manier om de "grootheid" van een kwantumtoestand consistent te interpreteren. De regel is geen willekeurig postulaat van de fysica; het is de unieke oplossing voor het probleem van hoe men een meerdimensionaal object te kwantificeren op een manier die onafhankelijk is van ons perspectief.

De studie concludeert dat de stelling van Pythagoras niet een stelling is in de traditionele zin van een feit dat bewezen moet worden vanuit axioma's. Het is eerder een definitie van wat het betekent om een consistente maat te hebben in een vectorruimte. Als je een systeem wilt waarin je de groottes van onderdelen kunt optellen om de grootte van het geheel te krijgen, en waarbij die grootte niet verandert wanneer je het systeem omdraait, ben je gedwongen het kwadraat te gebruiken. De onderzoeker toonde aan dat alle bekende instrumenten van de meetkunde — hoeken, orthogonaliteit, rotatie — niet het fundament zijn, maar het resultaat. Het zijn de natuurlijke bijproducten van een systeem dat vraat om een enkele, goed gedefinieerde manier om de grootte van een vector te tellen. Door te beginnen met niets anders dan de algebra van vectoren en de wens voor een consistente maat, vond de onderzoeker dat het kwadraat de enige weg vooruit was.

Dit werk biedt een diepe, algebraïsche rechtvaardiging voor de meetkunde die we dagelijks gebruiken. Het laat zien dat het universum van vectoren, wanneer het gevraagd wordt om een betekenisvolle maat van zijn inhoud te geven, onvermijdelijk het Pythagoreïsche kwadraat voortbrengt. De rechte hoek is geen mysterie dat opgelost moet worden, maar een kenmerk dat moet bestaan om het systeem te laten functioneren. De bevindingen suggereren dat de regels van de meetkunde niet slechts handige beschrijvingen van de ruimte zijn, maar de enige mogelijke logische structuur die een consistente interpretatie van meerdimensionale grootheden toestaat. Of het nu in de klassieke wereld van driehoeken is of in de kwantumwereld van waarschijnlijkheden, het kwadraat staat als de unieke, invariante maat, voortkomend uit de kale botten van de algebra zelf.