How Imaginary Numbers Were Invented
Based on Veritasium's video on YouTube. If you like this content, support the original creators by watching, liking and subscribing to their content.
Negatieve getallen werden eeuwenlang vermeden omdat oude algebra meetkunde als fysieke interpretatie gebruikte; negatieve lengtes of oppervlakken hadden geen betekenis.
Briefing
De uitvinding van denkbeeldige getallen begon als een noodoplossing voor problemen die geen “echte” (reële) uitkomst leken te hebben—maar eindigde als een bouwsteen van de moderne natuurkunde. Wat ooit als wiskundige onzin werd behandeld, duikt later op in de kern van de Schrödingervergelijking, waar i (de vierkantswortel van −1) niet als bijzaak maar als noodzakelijke schakel fungeert om het gedrag van atomen te beschrijven.
De weg daarheen loopt via de zoektocht naar algemene oplossingen voor de derdegraadsvergelijking. In de Renaissance werd die zoektocht nog als onoplosbaar beschouwd: Luca Pacioli beschreef in 1494 dat er geen algemene oplossing zou bestaan. Die pessimistische conclusie pastte bij een wereld waarin algebra nog niet als symbolische formule werd geschreven, maar met woorden en meetkundige beelden. Een vierkantsvergelijking werd bijvoorbeeld opgelost door oppervlakken te “bouwen” en te herschikken—en negatieve getallen bleven daarbij buiten beeld, omdat een negatief oppervlak of een lengte met een minteken geen betekenis had in de fysieke werkelijkheid.
Dat verklaart waarom vroege oplossingen voor derdegraadsvergelijkingen vaak met alleen positieve coëfficiënten werkten. Omar Khayyam vond in de 11e eeuw numerieke oplossingen door meetkundige doorsneden te bestuderen, maar miste de algemene route. Pas rond 1510 kwam Scipione del Ferro met een methode voor een deelverzameling van derdegraadsvergelijkingen zonder x²-term. Zijn geheimhouding was niet academisch maar praktisch: in het wiskundige duel-cultuur van de tijd kon een ontdekking iemands positie veiligstellen. Del Ferro vertelde het pas op zijn sterfbed aan zijn leerling Antonio Fior.
Fior zette het geheim in tegen Niccolo Fontana Tartaglia in een wedstrijd met 30 vergelijkingen en 40 dagen voorbereidingstijd—maar Tartaglia loste ze in twee uur op. Zijn doorbraak kwam uit het “voltooien van het vierkant” naar drie dimensies: kubussen aanvullen met extra volume zodat een derdegraadsprobleem terugvalt op een vierkantsvergelijking. In dat proces verschijnen negatieve uitkomsten niet als eindpunt, maar als tussenstap. Tartaglia’s methode leverde zelfs een manier om een negatieve derdegraadsvergelijking op te lossen, iets wat eerder ondenkbaar was.
De volgende stap kwam via Gerolamo Cardano. Hij dwong Tartaglia tot een eed om de methode niet te publiceren, maar vond later del Ferro’s oudere notities en publiceerde toch in Ars Magna. Cardano’s algemene formule werkte—zelfs wanneer de meetkundige afleiding paradoxaal werd en vierkantswortels van negatieve getallen opduiken. Bij een probleem dat in reële termen geen oplossing leek te hebben, bleek gokken en controleren toch x = 4 te geven. Cardano noemde de negatieve wortels “subtiel als nutteloos”, maar de methode bleef werken.
Rafael Bombelli maakte het idee werkbaar door negatieve wortels te behandelen als een nieuw type getal. Door termen in Cardano’s uitdrukking te combineren alsof ze een gewone component plus een component met √−1 bevatten, vielen de “denkbeeldige” delen in de eindstap weg en bleef de juiste reële uitkomst over.
Daarmee was de brug geslagen: denkbeeldige getallen waren geen fysieke lengtes, maar algebraïsche instrumenten. In de 17e eeuw werd algebra symbolischer (François Viète), en René Descartes maakte √−1 populair. Euler introduceerde vervolgens i als notatie. Uiteindelijk gebruikte Schrödinger i in de Schrödingervergelijking om golfachtige oplossingen te bouwen: e^{i(kx−ωt)} levert cosinus- en sinuscomponenten tegelijk, en de exponentiële vorm gedraagt zich goed onder afgeleiden—precies wat een lineaire golfvergelijking nodig heeft. Freeman Dyson vatte het kernmoment samen: met √−1 werd het van warmtegeleiding naar golfgedrag, passend bij gekwantiseerde atomaire banen. Denkbeeldige getallen bleken dus niet alleen een rekenkunst, maar een sleutel tot hoe het universum zich wiskundig laat beschrijven.
Cornell Notes
De zoektocht naar een algemene oplossing voor de derdegraadsvergelijking dwong wiskundigen om verder te gaan dan meetkundige “echtheid”. Negatieve getallen en later vierkantswortels van negatieve getallen leken betekenisloos binnen het oude oppervlaktemodel, maar Cardano’s algemene formule werkte toch—zelfs wanneer de meetkundige redenering paradoxaal werd. Rafael Bombelli gaf die paradox een rekenregel: √−1 behandelen als een nieuw type getal zodat de denkbeeldige onderdelen in de eindstap kunnen wegvallen en de juiste reële oplossing overblijft. In de moderne tijd werd i vervolgens een fundamentele bouwsteen in de Schrödingervergelijking, waar e^{i(kx−ωt)} golfoplossingen oplevert die passen bij gekwantiseerde atomen. Zo begon i als tussenstap en eindigde het als kern van de natuurkundige theorie.
Waarom waren negatieve oplossingen voor vergelijkingen eeuwenlang problematisch in de wiskunde?
Hoe bracht Tartaglia het oplossen van een derdegraadsvergelijking zonder x² terug tot een vierkantsvergelijking?
Waarom werkte Cardano’s algemene formule soms toch, terwijl de geometrische afleiding tot paradoxen leidde?
Wat deed Bombelli om √−1 een rekenrol te geven in Cardano’s aanpak?
Waarom past i zo goed bij de Schrödingervergelijking?
Wat is het verband tussen de historische “tussenstap” van denkbeeldige getallen en hun uiteindelijke fysieke betekenis?
Review Questions
- Welke rol speelt het “voltooien van het vierkant” in 2D versus 3D bij het terugbrengen van een derdegraadsvergelijking naar een vierkantsvergelijking?
- Waarom is het logisch dat √−1 in Cardano’s meetkundige afleiding paradoxen oplevert, maar in de algebra toch tot een correcte reële uitkomst kan leiden?
- Hoe zorgen de eigenschappen van e^{i(kx−ωt)} (afgeleiden en superpositie) ervoor dat de Schrödingervergelijking golfachtige oplossingen kan beschrijven?
Key Points
- 1
Negatieve getallen werden eeuwenlang vermeden omdat oude algebra meetkunde als fysieke interpretatie gebruikte; negatieve lengtes of oppervlakken hadden geen betekenis.
- 2
De algemene oplossing van de derdegraadsvergelijking kwam stapsgewijs: del Ferro (zonder x²), Fior, en daarna Tartaglia’s methode via 3D-voltooien van het vierkant.
- 3
Tartaglia’s geometrische herverdeling maakt y³ tot een nieuwe variabele, waardoor een derdegraadsprobleem terugvalt op een vierkantsvergelijking.
- 4
Cardano publiceerde een algemene formule nadat hij oudere notities vond; de methode werkt zelfs wanneer √−1 verschijnt als algebraïsche tussenstap.
- 5
Bombelli gaf √−1 een rekenkundige behandeling: denkbeeldige componenten kunnen in de eindstap wegvallen en toch een correcte reële oplossing opleveren.
- 6
De symbolische algebra werd later verder gestandaardiseerd (o.a. met i als notatie), waardoor complexe getallen een vaste plaats kregen in berekeningen.
- 7
In de Schrödingervergelijking is i essentieel omdat complexe exponenten automatisch cosinus- en sinuscomponenten bevatten en goed gedrag vertonen onder afgeleiden, wat golfoplossingen mogelijk maakt.