Get AI summaries of any video or article — Sign up free
How Imaginary Numbers Were Invented thumbnail

How Imaginary Numbers Were Invented

Veritasium·
6 min read

Based on Veritasium's video on YouTube. If you like this content, support the original creators by watching, liking and subscribing to their content.

TL;DR

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?

Negatieve getallen botsten met het meetkundige interpretatiekader van vroegere algebra. Vierkants- en kubusvormen werden begrepen als echte lengtes, oppervlakken en volumes. Een “oppervlak met negatieve grootte” of een lengte met een minteken had geen fysieke betekenis, dus negatieve coëfficiënten en negatieve uitkomsten werden vermeden. Daardoor bestonden er in de praktijk meerdere versies van vergelijkingen waarin coëfficiënten positief werden gehouden, zodat de meetkundige beelden klopten.

Hoe bracht Tartaglia het oplossen van een derdegraadsvergelijking zonder x² terug tot een vierkantsvergelijking?

Tartaglia gebruikte het idee van “voltooien van het vierkant”, maar dan in 3D. Bij x³ + 9x = 26 zag hij x³ als het volume van een kubus met zijde x en 9x als extra volume dat toegevoegd moest worden. Door drie zijden van de kubus met een afstand y te verlengen ontstaat een grotere kubus met zijde x + y (z). Het extra volume (9x) kan worden voorgesteld door een combinatie van herverdeelde prisma’s en een kubusdeel, wat leidt tot een vergelijking die de basis gelijkstelt aan 9 (3yz = 9). Door vervolgens de kubus “compleet” te maken met y³ aan beide kanten, komt z³ = 26 + y³. Met substitutie volgt een vergelijking waarin y³ als nieuwe variabele een vierkantsvergelijking wordt, waardoor y³ = 1 en dus x = 2 volgt.

Waarom werkte Cardano’s algemene formule soms toch, terwijl de geometrische afleiding tot paradoxen leidde?

Cardano’s methode leverde uitdrukkingen met vierkantswortels van negatieve getallen wanneer de geometrische vervollediging van het vierkant niet klopte. In een voorbeeld uit Ars Magna leidde de vierkantsformule tot √(negatieven), wat logisch zou suggereren dat er geen reële oplossing bestaat. Toch bleek het oorspronkelijke probleem wél een reële oplossing te hebben (door gokken en controleren x = 4). De kern is dat de negatieve wortels als tussenstap algebraïsch nuttig bleken, ook al was de meetkundige interpretatie niet consistent.

Wat deed Bombelli om √−1 een rekenrol te geven in Cardano’s aanpak?

Bombelli accepteerde dat √−1 niet als positief of negatief “gewoon getal” te classificeren is, en construeerde er een nieuw type getal voor. Hij stelde termen uit Cardano’s oplossing voor als een combinatie van een normaal getal en een component die √−1 bevat. Daardoor konden de twee derdemachtswortels in Cardano’s formule worden gezien als 2 of ongeveer √−1, en bij het samenvoegen vielen de √−1-onderdelen weg. Het resultaat bleef de juiste reële uitkomst over (zoals 4), waardoor het systeem niet alleen formeel maar ook praktisch werkte.

Waarom past i zo goed bij de Schrödingervergelijking?

In de Schrödingervergelijking verschijnen oplossingen in de vorm van complexe exponentiëlen, zoals e^{i(kx−ωt)}. Vermenigvuldigen met i draait in het complexe vlak telkens 90°, en herhaalde rotaties vormen een spiraal die zowel cosinus- als sinuscomponenten bevat. Cruciaal is dat de afgeleide van e^{i(kx−ωt)} weer evenredig is met dezelfde functie; dat maakt lineaire golfvergelijkingen wiskundig hanteerbaar. Daardoor kunnen superposities van golfvormen worden opgebouwd als combinaties van exponentiële oplossingen.

Wat is het verband tussen de historische “tussenstap” van denkbeeldige getallen en hun uiteindelijke fysieke betekenis?

Denkbeeldige getallen begonnen als een rekenmiddel dat geen directe meetkundige betekenis had binnen de oude interpretatie van lengtes en oppervlakken. Maar zodra algebra symbolischer werd en regels voor √−1 werden vastgelegd, bleek de methode voorspellend: de denkbeeldige delen konden in eindresultaten verdwijnen of juist nodig zijn om golfgedrag te modelleren. In de moderne natuurkunde is i niet langer een foutterm, maar een structureel onderdeel van de golfoplossingen die atomaire verschijnselen beschrijven.

Review Questions

  1. Welke rol speelt het “voltooien van het vierkant” in 2D versus 3D bij het terugbrengen van een derdegraadsvergelijking naar een vierkantsvergelijking?
  2. 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?
  3. Hoe zorgen de eigenschappen van e^{i(kx−ωt)} (afgeleiden en superpositie) ervoor dat de Schrödingervergelijking golfachtige oplossingen kan beschrijven?

Key Points

  1. 1

    Negatieve getallen werden eeuwenlang vermeden omdat oude algebra meetkunde als fysieke interpretatie gebruikte; negatieve lengtes of oppervlakken hadden geen betekenis.

  2. 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. 3

    Tartaglia’s geometrische herverdeling maakt y³ tot een nieuwe variabele, waardoor een derdegraadsprobleem terugvalt op een vierkantsvergelijking.

  4. 4

    Cardano publiceerde een algemene formule nadat hij oudere notities vond; de methode werkt zelfs wanneer √−1 verschijnt als algebraïsche tussenstap.

  5. 5

    Bombelli gaf √−1 een rekenkundige behandeling: denkbeeldige componenten kunnen in de eindstap wegvallen en toch een correcte reële oplossing opleveren.

  6. 6

    De symbolische algebra werd later verder gestandaardiseerd (o.a. met i als notatie), waardoor complexe getallen een vaste plaats kregen in berekeningen.

  7. 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.

Highlights

Tartaglia’s doorbraak kwam uit het 3D-variant van “het vierkant voltooien”: kubussen aanvullen zodat een derdegraadsprobleem reduceert tot een vierkantsvergelijking.
Cardano’s algemene formule kan √−1 opleveren terwijl de geometrische interpretatie faalt—maar de algebra levert alsnog de juiste reële uitkomst.
Bombelli maakte √−1 praktisch door het te behandelen als een nieuw type getal; de denkbeeldige delen kunnen in de eindstap verdwijnen.
Schrödinger gebruikte i niet als curiositeit: e^{i(kx−ωt)} levert golfoplossingen en blijft zichzelf onder differentiatie, wat precies past bij een lineaire golfvergelijking.

Topics

Mentioned