Imaginaire eenheid
Binnen de wiskunde is de imaginaire eenheid, aangeduid met , binnen de elektrotechniek aangeduid met om verwarring te voorkomen met de stroom die meestal met wordt aangeduid, een complex getal waarvoor per definitie geldt:
Door de invoering van de imaginaire eenheid is het mogelijk gebleken ook aan wortels van vergelijkingen als een betekenis te geven. De verzameling van de reële getallen wordt zo tot de verzameling van de complexe getallen uitgebreid. Girolamo Cardano rekende in de 16e eeuw voor het eerst met complexe getallen.
Alle nulpunten van een polynoom liggen volgens de hoofdstelling van de algebra in het complexe vlak, dus binnen de complexe getallen. Een polynoom van de graad kan in het complexe vlak ook in lineaire factoren , met , en een constante worden ontbonden. Altijd is dus . Dit is niet voor de reële getallen het geval. Het is goed mogelijk dat wanneer de factoren van worden bepaald daar maar minder dan lineaire factoren , met , bij zijn.
De vergelijking is van de graad 2, dus heeft twee oplossingen. Per definitie is een oplossing en bijgevolg ook .
Quaternionen
bewerkenHet is mogelijk een lichaam (Ned) / veld (Be) te construeren, waarin de vergelijking nog meer oplossingen heeft. Dat is het lichaam / veld van de quaternionen. Behalve de imaginaire eenheid worden ook en gedefinieerd, die verschillend van elkaar zijn en die in het kwadraat ook steeds gelijk aan zijn.
Notatie
bewerkenDe imaginaire eenheid wordt soms als genoteerd, wat alleen correct is als daarmee de hoofdwaarde van de complexe wortel wordt bedoeld en wat zeker niet als definitie van kan fungeren. De rekenregels, die voor de vierkantswortel gelden, zijn alleen voor positieve getallen en nul gedefinieerd. Als deze rekenregel ten onrechte voor het getal zou worden toegepast, kan als volgt worden geredeneerd:
De fout ligt in de toepassing van de rekenregel
Deze regel geldt niet voor negatieve en , omdat niet binnen het domein van de reële getallen is gedefinieerd.
Imaginaire eenheid en de formule van Euler
bewerkenAls in de formule van Euler
voor het getal gesubstitueerd wordt, ontstaat
Worden beide kanten tot de macht verheven en de identiteit
toegepast, dan volgt: