Wikisage, de vrije encyclopedie van de tweede generatie, is digitaal erfgoed

Wikisage is op 1 na de grootste internet-encyclopedie in het Nederlands. Iedereen kan de hier verzamelde kennis gratis gebruiken, zonder storende advertenties. De Koninklijke Bibliotheek van Nederland heeft Wikisage in 2018 aangemerkt als digitaal erfgoed.

  • Wilt u meehelpen om Wikisage te laten groeien? Maak dan een account aan. U bent van harte welkom. Zie: Portaal:Gebruikers.
  • Bent u blij met Wikisage, of wilt u juist meer? Dan stellen we een bescheiden donatie om de kosten te bestrijden zeer op prijs. Zie: Portaal:Donaties.
rel=nofollow

Complex getal: verschil tussen versies

Uit Wikisage
Naar navigatie springen Naar zoeken springen
 
(17 tussenliggende versies door dezelfde gebruiker niet weergegeven)
Regel 1: Regel 1:
In de wiskunde zijn '''complexe getallen''' een uitbreiding van de reële getallen. Zoals de reële getallen overeenkomen met punten op een rechte lijn, correspondeert elk complex getal met een punt uit een vlak. Een complex getal is zodoende een paar reële getallen a en b, dat gewoonlijk weergegeven wordt als a+bi. Hierin is i (soms wordt ook j gebruikt) een bijzonder complex getal, de imaginaire eenheid, met als eigenschap i²=-1. Met complexe getallen in de vorm a+bi kan gewoon gerekend worden, met de extra rekenregel dat overal i² vervangen wordt door –1.
In de wiskunde zijn '''complexe getallen''' een uitbreiding van de reële getallen. Zoals de reële getallen overeenkomen met punten op een rechte lijn, corresponderen complexe getallen met punten op een vlak, het ''complexe vlak''. Een complex getal is zodoende een paar reële getallen a en b, dat gewoonlijk weergegeven wordt als a+bi. Hierin is i (soms wordt ook j gebruikt) een bijzonder complex getal, de imaginaire eenheid, met als eigenschap i²=-1. Met complexe getallen in de vorm a+bi kan gewoon gerekend worden, met de extra rekenregel dat overal i² vervangen wordt door –1.


De schrijfwijze z=a+bi laat zien dat een complex getal de som is van een reëel getal en een imaginair getal.
De schrijfwijze z=a+bi laat zien dat een complex getal de som is van een reëel getal en een imaginair getal.
Regel 10: Regel 10:
Eén benadering is het introduceren van een denkbeeldige, imaginaire oplossing, aangeduid met i, van imaginair, van de vergelijking x²=-1. Men stelt dus dat deze vergelijking per definitie een oplossing heeft. Die oplossing wordt i genoemd. Door de reële getallen uit te breiden met dit denkbeeldige getal i, waarmee verder op de normale manier wordt gerekend, ontstaat de verzameling '''C''' van de complexe getallen. Deze uitbreiding bevat met i vanzelf ook alle uitdrukkingen van de vorm a+bi waarin a en b reële getallen zijn. Hiermee is het gewenste resultaat bereikt: binnen de complexe getallen is elke algebraïsche vergelijking oplosbaar.
Eén benadering is het introduceren van een denkbeeldige, imaginaire oplossing, aangeduid met i, van imaginair, van de vergelijking x²=-1. Men stelt dus dat deze vergelijking per definitie een oplossing heeft. Die oplossing wordt i genoemd. Door de reële getallen uit te breiden met dit denkbeeldige getal i, waarmee verder op de normale manier wordt gerekend, ontstaat de verzameling '''C''' van de complexe getallen. Deze uitbreiding bevat met i vanzelf ook alle uitdrukkingen van de vorm a+bi waarin a en b reële getallen zijn. Hiermee is het gewenste resultaat bereikt: binnen de complexe getallen is elke algebraïsche vergelijking oplosbaar.


De andere benadering is het construeren van de verzameling, waardoor het beeld verdwijnt dat de nieuwe getallen niet echt bestaan. De aanduiding imaginair, overgenomen van de eerste benadering, wordt wel gebruikt, maar hoeft niet letterlijk te worden genomen. Wel is het zo dat klassieke natuurkundige grootheden een reële numerieke waarde hebben. Dit neemt niet weg dat complexe getallen daarbij een handig hulpmiddel kunnen zijn. Deze benadering wordt hier niet verder gevolgd.
De andere benadering is het construeren van de verzameling reële getalparen, overeenkomend met coördinaten van punten in het complxe vlak, waardoor het beeld verdwijnt dat de nieuwe getallen niet echt bestaan. De aanduiding imaginair, overgenomen van de eerste benadering, wordt wel gebruikt, maar hoeft niet letterlijk te worden genomen. Dan moet vermenigvuldiging apart gedefinieerd worden. Zie verder onder Voorstelling.


== Geschiedenis ==
== Geschiedenis ==
Regel 74: Regel 74:
De modulus of absolute waarde van een complex getal z=a+bi wordt op dezelfde manier aangegeven als bij reële getallen.
De modulus of absolute waarde van een complex getal z=a+bi wordt op dezelfde manier aangegeven als bij reële getallen.


:|z| = √(a^2 + b^2).
:|z| = √(+ ).


Uit de definitie van de complex geconjugeerde en de modulus volgt:
Uit de definitie van de complex geconjugeerde en de modulus volgt:
Regel 199: Regel 199:
Zodat uit de som en het verschil van beide relaties volgt dat:
Zodat uit de som en het verschil van beide relaties volgt dat:


:cos(z) = {{vbreuk|e<sup>iz</sup> + e<sup>-iz</sup>|2}}
:cos(z) = {{vbreuk|e<sup>iz</sup> + e<sup>-iz</sup>|2}}, sin(z) = {{vbreuk|e<sup>iz</sup> - e<sup>-iz</sup>|2i}}
en
:sin(z) = {{vbreuk|e<sup>iz</sup> - e<sup>-iz</sup>|2i}}


Deze twee resultaten hebben drie voordelen:
Deze twee resultaten hebben drie voordelen:
Regel 215: Regel 213:
Een bekend voorbeeld hiervan is een zeer bekende stelling uit de goniometrie, de stelling van De Moivre. Gegeven het voorgaande is deze stelling overigens triviaal:
Een bekend voorbeeld hiervan is een zeer bekende stelling uit de goniometrie, de stelling van De Moivre. Gegeven het voorgaande is deze stelling overigens triviaal:


:Stelling van De Moivre: <math>(\cos(x) + i\sin(x))^n = \cos(nx) + i\sin(nx)</math>
:Stelling van De Moivre: (cos(x) + i sin(x))<sup>n</sup> = cos(nx) + i sin(nx)
:Bewijs: <math>(\cos(x) + i\sin(x))^n = (e^{ix})^n = e^{inx} = \cos(nx) + i\sin(nx)</math>
:Bewijs: (cos(x) + i sin(x))<sup>n</sup> = (e<sup>ix</sup>)<sup>n</sup> = e<sup>inx</sup> = cos(nx) + i sin(nx)


=== Sinus hyperbolicus en cosinus hyperbolicus ===
=== Sinus hyperbolicus en cosinus hyperbolicus ===
Met de complexe e-macht kunnen de definities van de [[sinus hyperbolicus]] en de [[cosinus hyperbolicus]] uitgebreid worden naar complexe getallen. Voor <math>z\in\mathbb{C}</math> geldt:
Met de complexe e-macht kunnen de definities van de sinus hyperbolicus en de cosinus hyperbolicus uitgebreid worden naar complexe getallen. Voor z geldt:


:<math>\cosh(z) = \frac{e^z + e^{-z}}{2}</math>
:cosh(z) = {{vbreuk|e<sup>z</sup> + e<sup>-z</sup>|2}} = cos(iz), sinh(z) = {{vbreuk|e<sup>z</sup> - e<sup>-z</sup>|2}} = -i sin(iz)
:<math>\sinh(z) = \frac{e^z - e^{-z}}{2}</math>


=== Complexe wortelfuncties ===
=== Complexe wortelfuncties ===
Eerder hebben we vastgesteld dat voor complexe getallen z en w geldt:
Eerder hebben we vastgesteld dat voor complexe getallen z en w geldt:


:<math>|zw| = |z||w|</math>
:|zw| = |z||w|
en
en
:<math>\arg(zw) = \arg(z) + \arg(w)</math>.
:arg(zw) = arg(z) + arg(w).


Hieruit kunnen we meteen afleiden wat de n-de-machtswortels van een complex getal z zijn. Per definitie zijn dit alle oplossingen w van de vergelijking <math>w^n = z</math>.
Hieruit kunnen we meteen afleiden wat de n-de-machtswortels van een complex getal z zijn. Per definitie zijn dit alle oplossingen w van de vergelijking w<sup>n</sup> = z.


Het complexe getal w dat het meest voor de hand ligt is de w waarvoor geldt dat
Het complexe getal w dat het meest voor de hand ligt is de w waarvoor geldt dat


:<math>|w| = \sqrt[n]{|z|}</math>
:|w| = |z|<sup>1/n</sup>
en
en
:<math>\arg(w) = \begin{matrix}\frac 1n \end{matrix} \arg(z)</math>.
:arg(w) = {{vbreuk|arg(z)|n}}.


De periodiciteit van de goniometrie leert ons dat daarnaast ook die complexe getallen w een oplossing zijn waarvoor geldt dat:
De periodiciteit van de goniometrie leert ons dat daarnaast ook die complexe getallen w een oplossing zijn waarvoor geldt dat:
:<math>\arg(w) = \begin{matrix}\frac 1n \end{matrix}(\arg(z) + k2\pi),\ k \in \{1,\ldots,n-1\}</math>.
:arg(w) = {{vbreuk|arg(z) + k2π|n}}, k = 1 ... n-1.


Dus:
De n-de-machtswortels van een complex getal zijn in het complexe vlak dus precies n punten, regelmatig verdeeld over een cirkel om de oorsprong, met straal |z|<sup>1/n</sup>.
:<math>\arg(w) = \begin{matrix}\frac 1n \end{matrix}\arg(z) + 2\pi \begin{matrix}\frac kn \end{matrix},\ k \in \{1,\ldots,n-1\}</math>.
 
De n-de-machtswortels van een complex getal zijn in het complexe vlak dus precies n punten, regelmatig verdeeld over een cirkel om de oorsprong, met straal
<math> \sqrt[n]{|z|}</math>.


==== Voorbeeld ====
==== Voorbeeld ====
In het reële domein is de derdemachtswortel uit −1 gelijk aan −1. Maar met bovenstaande rekenregel vinden we dat ook <math>\tfrac{1}{2} + \tfrac{1}{2}i \sqrt{3}</math> en <math>\tfrac{1}{2} - \tfrac{1}{2} i\sqrt{3}</math> derdemachtswortels van –1 zijn.
In het reële domein is de derdemachtswortel uit −1 gelijk aan −1. Maar met bovenstaande rekenregel vinden we dat ook  
 
:{{vbreuk|1+i√3|2}} en {{vbreuk|1-i√3|2}}
En inderdaad is behalve:
derdemachtswortels van –1 zijn.
 
:<math>(-1)^3 = -1</math>,
ook
:<math>\left( \tfrac 12 + \tfrac 12 i\sqrt{3}\right)^3 = -1</math>
en
:<math>\left( \tfrac 12 - \tfrac 12 i\sqrt{3}\right)^3 = -1</math>.


==== Hoofdwaarde ====
==== Hoofdwaarde ====
Zijn we geïnteresseerd in een unieke oplossing voor de wortelfunctie, dan kunnen we die waarde kiezen die gebaseerd is op de hoofdwaarde van <math>{\rm arg}(z)</math> en daar weer de hoofdwaarde van nemen. In het bijzonder vinden we zo als 'unieke' wortel voor −1 de waarde <math>i</math>.
Zijn we geïnteresseerd in een unieke oplossing voor de wortelfunctie, dan kunnen we die waarde kiezen die gebaseerd is op de hoofdwaarde van arg(z) en daar weer de hoofdwaarde van nemen. In het bijzonder vinden we zo als 'unieke' wortel voor −1 de waarde i.


Merk op dat de bekende rekenregels niet gelden voor complexe wortels. Zo geldt ''niet'' :<math>\sqrt{ab} = \sqrt{a}\sqrt{b}</math>.
Merk op dat de bekende rekenregels niet gelden voor complexe wortels. Zo geldt ''niet'' algemeen √(ab) = √a√b.


==== Eenheidswortels ====
==== Eenheidswortels ====
{{Zie hoofdartikel|Eenheidswortel}}
Een speciale rol is weggelegd voor de zgn. ''eenheidswortels''. Dat zijn de oplossingen van de vergelijking
Een speciale rol is weggelegd voor de zgn. ''eenheidswortels''. Dat zijn de oplossingen van de vergelijking
:<math>z^n=1</math>,
:z<sup>n</sup>=1,
waarin n een natuurlijk getal is.
waarin n een natuurlijk getal is.
De oplossingen zijn de punten op de [[eenheidscirkel]] (cirkel met straal 1 om de oorsprong) die in polaire notatie gegeven worden door:
De oplossingen zijn de punten op de eenheidscirkel (cirkel met straal 1 om de oorsprong) die in polaire notatie gegeven worden door:
:<math>z_k=e^{2\pi ik/n}</math>
:z<sub>k</sub>=e<sup>2πik/n</sup>
 
== Toepassingen ==
=== Trillings- en golfverschijnselen ===
Bovengenoemde eigenschappen en functies van complexe getallen zijn bijzonder nuttig voor het bestuderen van alle [[Periode (wiskunde)|periodieke]] verschijnselen, waaronder golfverschijnselen. In plaats van apart met zowel amplitude als fase te moeten rekenen, kan volstaan worden met één complex getal en de bijbehorende rekentechnieken. Een eenvoudig voorbeeld kan dit aannemelijk maken:
 
Stel <math>I(t)</math> beschrijft een wisselstroom met [[Hoeksnelheid|hoekfrequentie]] <math>\omega</math> en [[amplitude]] <math>I_0</math>. Dit kan worden geschreven als
:<math>I(t) = I_0 \cdot \cos (\omega t)</math>.
 
Deze cosinus is een oplossing van een [[Differentiaalvergelijking#Lineaire differentiaalvergelijking|lineaire differentiaalvergelijking]] (DV) van de tweede orde met constante coëfficiënten. Ook
:<math>I(t) = I_0 \cdot \sin (\omega t)</math>
is een oplossing van diezelfde DV.
 
Sinus en cosinus zijn de twee onafhankelijke oplossingen van die DV, hetgeen wil zeggen dat de een niet als een veelvoud van de ander is te schrijven. Volgens de theorie van de differentaalvergelijkingen is ook een lineaire combinatie
:<math>I(t) = A \cdot \cos (\omega t) + iB \cdot \sin (\omega t)</math>
een oplossing, waarbij A en B reële constanten zijn. In feite is dit een toepassing van het [[Superpositie (natuurkunde)|superpositieprincipe]]. Dit kan weer herschreven worden als
:<math>I(t) = I_0 \cdot e^{i \omega t + \phi}</math>, waarbij <math>I_0 = \sqrt{A^2 + B^2}</math> en <math>\phi = \arctan{(B/A)}</math>.
In plaats van <math>A</math> en <math>B</math> zijn nu de amplitude <math>I_0</math> en faseverschuiving <math>\varphi</math> de integratieconstanten waarmee de DV aan de randvoorwaarden kan voldoen.
Door uitbreiding van <math>I_t</math> met een imaginair deel is een complexe exponentiële functie <math>I_0 \cdot e^{i \omega t}</math> ontstaan, die de prettige eigenschap heeft dat de afgeleide ervan verkregen wordt door vermenigvuldiging met <math>i\omega t</math> en de integraal door deling door <math>i\omega t</math>. De relevante fysische grootheid is <math>\Re(I_t)</math>.
 
Hierdoor worden lineaire differentiaalvergelijkingen vereenvoudigd tot algebraïsche uitdrukkingen. Ook bij andere soorten [[differentiaalvergelijking]]en worden wel complexe getallen gebruikt.
 
=== Complexe getallen in de elektrotechniek en elektronica ===
[[Wisselstroom]] is een periodiek verschijnsel, zodat complexe getallen ook hier het rekenwerk sterk vereenvoudigen. Toepassingen liggen bijvoorbeeld in de [[signaalanalyse]], [[meet- en regeltechniek]], analoge en [[Digitaal|digitale]] geluids- en beeldbewerking, [[telecommunicatie]], etc. De [[faseverschuiving]] (in elektrotechnische spreektaal vaak wat slordig ''cosinus φ'' genoemd) valt met deze complexe rekenwijze eenvoudig te berekenen. Ook het begrip [[impedantie]] kan als complexe grootheid worden beschreven (zie ook [[Impedantie#De complexe impedantie|complexe impedantie]]), waardoor de [[wet van Ohm]] herschreven kan worden als: complexe spanning = complexe impedantie maal complexe stroom. Hierbij wordt de modulus van de impedantie vermenigvuldigd met de amplitude <math>I_0</math> van de stroom en het argument van de impedantie opgeteld bij de fase <math>\phi</math> van de stroom.
 
[[Fourieranalyse]] wordt veelvuldig gebruikt voor de analyse van tijdafhankelijke signalen, in het bijzonder voor stationaire periodieke signalen. Voor in- en uitschakelverschijnselen, die niet zuiver periodiek zijn, is de [[Laplacetransformatie]], een uitbreiding van de Fouriertransformatie, onontbeerlijk. Zowel de Fourieranalyse als de Laplacetransformatie maken deel uit van de [[functietheorie]], voor quasi-stationaire signalen, zoals golfpakketten, zijn er [[analytische signaalfuncties]].
 
Opmerking: In de elektrotechniek en elektronica wordt de imaginaire eenheid ''j'' genoemd, om verwarring met de ''i'' voor de [[Elektrische stroom|stroomsterkte]] te voorkomen.
 
=== Complexe getallen in de natuurkunde ===
Ook in de [[natuurkunde]] worden complexe getallen en de bijbehorende complexefunctietheorie vooral gebruikt om [[trilling]]en en [[Golf (natuurkunde)|golven]] te beschrijven, zoals in de [[Akoestiek|geluidsleer]], de [[Elektromagnetische straling|elektromagnetische-golftheorie]], de [[fysische optica]] (een tweedimensionale versie van de [[fourieranalyse]] is toepasbaar op afbeeldingen en buigingspatronen), evenals in de [[kwantummechanica]], waarin golffuncties waarschijnlijkheidsverdelingen beschrijven.
 
=== Relativiteit ===
In het [[Speciale relativiteitstheorie|speciale]] en de [[algemene relativiteitstheorie]] worden een aantal formules voor de [[ruimtetijd]] eenvoudiger als men de tijdsvariabele imaginair weergeeft. (Dit is niet langer standaard in klassieke relativiteit, maar wordt wel gebruikt in de [[kwantumveldentheorie]].) Complexe getallen zijn essentieel voor [[spinor]]s, die een veralgemening van de [[Tensoren in de algemene relativiteitstheorie|tensoren]] die worden gebruikt in de relativiteitstheorie.
 
=== Geometrie ===
==== Fractals ====
Bepaalde [[fractal]]s worden weergegeven in het [[complexe vlak]], bijvoorbeeld de [[Mandelbrotverzameling]] en de [[Juliaverzameling]].
 
==== Driehoeken ====
Elke driehoek heeft een unieke [[Steiners ingeschreven ellips]] -een [[Ellips (wiskunde)|ellips]] binnen de driehoek, die raakt aan het midden van de drie zijden van de driehoek. De [[Brandpunt (meetkunde)|brandpunten]] van driehoekige Steiners ingeschreven ellips kan als volgt worden gevonden, volgens de [[stelling van Marden]]:<ref>{{Citeer web | last1=Kalman | first1=Dan | titel =An Elementary Proof of Marden's Theorem | year=2008a | journal=[[American Mathematical Monthly|The American Mathematical Monthly]] | issn=0002-9890 | volume=115 | pages=330–338| url =http://mathdl.maa.org/mathDL/22/?pa=content&sa=viewDocument&nodeId=3338&pf=1}}</ref><ref>{{Citeer web | last1=Kalman | first1=Dan | titel =The Most Marvelous Theorem in Mathematics | url =http://mathdl.maa.org/mathDL/4/?pa=content&sa=viewDocument&nodeId=1663 | year=2008b | journal=[http://mathdl.maa.org/mathDL/4/ Journal of Online Mathematics and its Applications]}}</ref> Noteer de hoekpunten van de driehoeken in het complexe vlak als, <math>a=x_A+y_Ai</math>, <math>b=x_B+y_Bi</math> en <math>c=x_C+y_Ci</math>. Schrijf de [[derdegraadsvergelijking]] <math>(x-a)(x-b)(x-c)=0</math>, neem haar afgeleide en stel de (kwadratische) afgeleide gelijk aan nul. De stelling van Marden zegt dat de oplossingen van deze vergelijking, complexe getallen zijn die de locaties van de twee brandpunten van de Steiners ingeschreven ellips weergeven.


== Externe links ==
== Websites ==
* {{en}} [[MathWorld]]. [http://mathworld.wolfram.com/topics/ComplexNumbers.html Complex Numbers]. overzicht van begrippen
* {{en}} MathWorld. [http://mathworld.wolfram.com/topics/ComplexNumbers.html Complex Numbers]. overzicht van begrippen
* {{en}} [[PlanetMath]]. [https://web.archive.org/web/20051223030033/http://planetmath.org/encyclopedia/Complex.html complex]. gearchiveerd
* {{en}} PlanetMath. [https://web.archive.org/web/20051223030033/http://planetmath.org/encyclopedia/Complex.html complex]. gearchiveerd


{{Appendix}}
{{Navigatie bijzondere getallen}}


[[Categorie:Complex getal]]
[[Categorie:Complexe analyse]]
[[Categorie:Complexe analyse]]

Huidige versie van 22 jun 2022 om 10:05

In de wiskunde zijn complexe getallen een uitbreiding van de reële getallen. Zoals de reële getallen overeenkomen met punten op een rechte lijn, corresponderen complexe getallen met punten op een vlak, het complexe vlak. Een complex getal is zodoende een paar reële getallen a en b, dat gewoonlijk weergegeven wordt als a+bi. Hierin is i (soms wordt ook j gebruikt) een bijzonder complex getal, de imaginaire eenheid, met als eigenschap i²=-1. Met complexe getallen in de vorm a+bi kan gewoon gerekend worden, met de extra rekenregel dat overal i² vervangen wordt door –1.

De schrijfwijze z=a+bi laat zien dat een complex getal de som is van een reëel getal en een imaginair getal.

De extra mogelijkheden die het rekenen met complexe getallen biedt, hebben geleid tot allerlei nuttige toepassingen in vooral alles wat met trillingen en golven te maken heeft, zoals het grootste deel van de natuurkunde, de elektrotechniek, de meet- en regeltechniek en vele andere technische disciplines.

Inleiding

Complexe getallen voorzien in de behoefte oplossingen te hebben van alle (algebraïsche) vergelijkingen, dus bijvoorbeeld ook vergelijkingen van de vorm x²=c voor negatieve getallen c.

Eén benadering is het introduceren van een denkbeeldige, imaginaire oplossing, aangeduid met i, van imaginair, van de vergelijking x²=-1. Men stelt dus dat deze vergelijking per definitie een oplossing heeft. Die oplossing wordt i genoemd. Door de reële getallen uit te breiden met dit denkbeeldige getal i, waarmee verder op de normale manier wordt gerekend, ontstaat de verzameling C van de complexe getallen. Deze uitbreiding bevat met i vanzelf ook alle uitdrukkingen van de vorm a+bi waarin a en b reële getallen zijn. Hiermee is het gewenste resultaat bereikt: binnen de complexe getallen is elke algebraïsche vergelijking oplosbaar.

De andere benadering is het construeren van de verzameling reële getalparen, overeenkomend met coördinaten van punten in het complxe vlak, waardoor het beeld verdwijnt dat de nieuwe getallen niet echt bestaan. De aanduiding imaginair, overgenomen van de eerste benadering, wordt wel gebruikt, maar hoeft niet letterlijk te worden genomen. Dan moet vermenigvuldiging apart gedefinieerd worden. Zie verder onder Voorstelling.

Geschiedenis

De formule van de Italiaanse wiskundigen Scipione del Ferro en Niccolo Fontana Tartaglia voor de oplossingen van de derdegraadsvergelijking plaatste de wiskundigen van de zestiende eeuw voor een enorm nieuw probleem. Wanneer zo'n vergelijking drie verschillende (reële) oplossingen heeft, komen in die formule namelijk wortels voor uit negatieve getallen. En in die tijd waren wortels uit negatieve getallen nog niet gedefinieerd. Het is geen wonder dat de naam 'imaginaire getallen' snel gevonden was, en de gewone getallen heetten vanaf toen 'reëel'. Aan het einde van de 18e eeuw legden de grote wiskundigen Leonhard Euler en Carl Friedrich Gauss de basis voor de getallenleer en de functietheorie waarmee dit probleem en vele andere zouden worden opgelost.

Definitie door introductie van een nieuw getal i

Een complex getal is een uitdrukking van de vorm a+bi, waarin a en b beide reële getallen zijn en i een nieuw getal voorstelt, de imaginaire eenheid, met de eigenschap (rekenregel):

i² = -1.

Rafael Bombelli, de bedenker van de imaginaire getallen, stelde de rekenregels op voor complexe getallen. Hierbij stelde hij als axioma de genoemde eigenschap van het complexe getal i.

Het getal a noemt men het reële deel en het getal b het imaginaire deel van het complexe getal a+bi, en noteert

a=Re(a+bi)
b=Im(a+bi)

De verzameling van de complexe getallen wordt genoteerd als C.

De reële getallen vormen een deel van de complexe getallen; het zijn de complexe getallen met imaginair deel gelijk aan 0. Getallen waarvan het reële deel 0 is noemt men zuiver imaginair.

Voorstelling

Bestand:Complexe eenheidscirkel.svg

Complexe getallen zijn voor te stellen als punten in het platte vlak. Er worden een tweetal notaties voor complexe getallen gebruikt afhankelijk van het coördinatenstelsel in het vlak.

Cartesische of algebraïsche notatie

Een complex getal z kan geschreven worden als z=a+bi. Dit heet Cartesische notatie, naar de wiskundige en filosoof René Descartes, die het Cartesisch coördinatenstelsel introduceerde, waarbij een punt in een vlak wordt voorgesteld door een getallenpaar. Daarin is a het reële deel en b het imaginaire deel van z, genoteerd als:

a=Re(z), b=Im(z)

Notatie met poolcoördinaten

Een complex getal z is ook weer te geven in poolcoördinaten, door de afstand r van het punt z tot de oorsprong, en de hoek θ tussen de lijn van z tot de oorsprong en het positieve deel van de reële as.

De bovengenoemde afstand r wordt de voerstraal, modulus of absolute waarde van het complexe getal z genoemd (zie ook onder) en de hoek θ de poolhoek of het argument van z.

De polaire en Cartesische notatie zijn in elkaar om te zetten:

a + bi = r(cos(θ) + i sin(θ)) = r exp(iθ)

of specifieker:

a = r cos(θ)
b = r sin(θ)

In de andere richting (van Cartesisch naar polair) geldt dan weer dat:

r = √(a²+b²)
θ = arctan(b/a)

Als θ niet in het juiste kwadrant gelegen is dient het met π vermeerderd of verminderd te worden.

Argumenten van complexe getallen zijn niet eenduidig gedefinieerd, maar slechts op een veelvoud van 2π na. Daarom wordt de hoofdwaarde de waarde van het argument genoemd, die tussen -π en π ligt.

Gerelateerde waarden

Complex geconjugeerde

De complex geconjugeerde of de complex toegevoegde van het complexe getal z=a+bi, met a en b reëel, is gedefinieerd als:

z* = a - bi.

Uit de definitie volgt onmiddellijk dat

z** = z.

Modulus

De modulus of absolute waarde van een complex getal z=a+bi wordt op dezelfde manier aangegeven als bij reële getallen.

|z| = √(a² + b²).

Uit de definitie van de complex geconjugeerde en de modulus volgt:

|z| = √(zz*).

Ordening

Op de complexe getallen bestaat geen standaardordening zoals op de reële getallen. Een uitspraak als a+bi>c+di is betekenisloos.

Rekenen met complexe getallen

Optellen en aftrekken

Het optellen en aftrekken van complexe getallen gaat het makkelijkst in Cartesische vorm: het reële deel en het imaginaire deel worden apart opgeteld. Dit komt overeen met optelling van vectoren.

Twee complexe getallen z1=a+bi en z2=c+di worden als volgt opgeteld:

z1 + z2 = (a+bi)+(c+di)= (a+c) + (b+d)i.

Uiteraard is aftrekken hetzelfde als het optellen van het tegengestelde.

Merk ook op dat (het nemen van) de complex geconjugeerde distributief is over optellen:

(z1 + z2)* = z1* + z2*

Vermenigvuldigen en delen

Vermenigvuldigen en delen van complexe getallen gaat het makkelijkst in polaire vorm. Hierbij worden de moduli met elkaar vermenigvuldigd en de argumenten bij elkaar opgeteld.

Voor getallen in Cartesische vorm geldt voor het product:

(a+bi)(c+di) = ac + (ad+bc)i + bdi² = ac - bd + (ad+bc)i

Dit is feitelijk hetzelfde als het vermenigvuldigen bij de reële getallen, met inachtneming van de definitie i²=-1.

Verder geldt voor z=a+bi met arg(z)=α en w=c+di met arg(w)=β:

|z w| = √{(ac - bd)² + (ad + cb)²} = √{a²c² -2abcd + b²d² + a²d² + 2abcd + c²b²}
= √{a²(c² + d²) + b²(c² + d²)} = √{a² + b²} √{c² + d²} =|z||w|.

en

zw = |z|(cos(α) + i sin(α)) . |w|(cos(β) + i sin(β))
= |z||w|{(cos(α)cos(β) - sin(α)sin(β))} + i {(cos(α)sin(β) + sin(α)cos(β))}
= |z||w|(cos(α + β) + i sin(α + β)),

dus

arg(zw) = arg(z)+arg(w).

We zien dat bij het vermenigvuldigen van twee complexe getallen de moduli met elkaar worden vermenigvuldigd en de argumenten bij elkaar opgeteld.

In het bijzonder volgt dat vermenigvuldiging met i hetzelfde is als draaiing over π/2 radialen, dus een toename van het argument met π/2. Daaruit zien we weer overeenstemming met de definitie: i² = -1.

Merk op dat het nemen van het complex geconjugeerde distributief is ten opzichte van het vermenigvuldigen:

(z1 z2)* = z1*z2*

Merk verder op dat het bovenstaande gegeneraliseerd kan worden:

|z1 z2 ... z_n| = |z1| |z2| ... |z_n|
arg(z1 z2 ... z_n) = arg(z1) + arg(z2) + ... + \arg(z_n)

In het bijzonder:

|zn| = |z|n
arg(zn) = n arg(z)

Voor het quotiënt geldt:

 a + bi /c + di =  a + bi /c + di  c - di /c - di =  ac + bd + (bc - ad)i /c² + d².

Logaritme en e-macht

De e-macht is een bekende standaardfunctie die uitgebreid kan worden naar de complexe getallen.

Voor een complex getal z=x+yi is de e-macht van z gedefinieerd als

ez = ex + yi = ex(cos(y) + i sin(y))

Uit deze definitie volgt onmiddellijk

|ez| = ex
arg(ez) = y

Merk op dat de complexe e-macht zo gedefinieerd is dat deze voor reële waarden van z (dat wil zeggen met een imaginair deel 0) overeenkomt met de definitie van de e-macht voor reële getallen.

Door deze definitie behoudt de complexe e-macht een groot aantal "bekende" eigenschappen. Bijvoorbeeld:

|ez1||ez2| = ex1 ex2 = ex1+x2
arg(ez1) + arg(e{z2}) = y1 + y2

Oftewel

ez1ez2 = ez1 + z2.

Verder volgt uit deze definitie, dat voor alle reële x:

eix = cos(x) + i sin(x)
|eix| = e0 = 1

en dat

e2πi = 1
eπi = -1
eiπ/2 = i
ez is periodiek met periode 2πi (dus bij constante x en variërende y.

Uit de eerste van de bovenstaande eigenschappen, |ez| = ex, en de polaire notatie volgt nog dat we elk complex getal w kunnen voorstellen als:

w = |w| ei arg(w).

Met deze vaststelling in de hand, kunnen we ook de natuurlijke logaritme van complexe getallen definiëren. Een eigenschap van de natuurlijke logaritme is namelijk dat

ln(ab) = ln(a) + ln(b).

Voor een complex getal z definiëren we nu op basis van het bovenstaande

ln(z) = ln(|z| ei arg(z)) = ln(|z|) + i arg(z),

met voor ln(|z|) de "normale" definitie van de natuurlijke logaritme voor reële getallen. Aangezien de logaritme zo slechts op veelvouden van 2π na bepaald is, spreken we af voor arg(z) altijd de hoofdwaarde te nemen. Daarmee geldt dus dat -π < Im(ln(z)) ≤ π.

Machtsverheffen

Met de definitie van de e-macht en de logaritme hebben we ook het gereedschap in handen om het machtsverheffen voor complexe getallen geheel te definiëren. En wel definiëren we voor complexe getallen z en w:

zw = ew ln(z).

Sinus en cosinus

Met de formule van Euler

eiz = cos(z) + i sin(z)

uit de voorgaande sectie kunnen we een verband leggen tussen de complexe e-macht en de sinus en cosinus.

Voor -z geldt:

e-iz = cos(-z) + i sin(-z) = cos(z) - i sin(z).

Zodat uit de som en het verschil van beide relaties volgt dat:

cos(z) =  eiz + e-iz /2, sin(z) =  eiz - e-iz /2i

Deze twee resultaten hebben drie voordelen:

  • door de afleiding zoals hierboven zijn ze zeker intern consistent met de rekenkunde zoals we die tot nog toe bedacht hebben voor complexe getallen
  • deze formules voor de sinus en cosinus komen overeen met de definities voor reëelwaardige argumenten
  • door deze identiteiten blijven bewijsbaar de bekende rekenregels voor sinus en cosinus overeind

Merk op dat, overeenkomstig het geval is voor de reële functies, de complexe sinus en cosinus periodieke functies zijn met periode 2π.

Stelling van De Moivre

De eerder uitgewerkte omschrijvingen van goniometrische formules naar e-machten wordt vaak gebruikt om goniometrische functies te reduceren tot meer overzichtelijke polynomen op basis van e-machten en vandaar mogelijk weer tot makkelijkere, goniometrische uitspraken.

Een bekend voorbeeld hiervan is een zeer bekende stelling uit de goniometrie, de stelling van De Moivre. Gegeven het voorgaande is deze stelling overigens triviaal:

Stelling van De Moivre: (cos(x) + i sin(x))n = cos(nx) + i sin(nx)
Bewijs: (cos(x) + i sin(x))n = (eix)n = einx = cos(nx) + i sin(nx)

Sinus hyperbolicus en cosinus hyperbolicus

Met de complexe e-macht kunnen de definities van de sinus hyperbolicus en de cosinus hyperbolicus uitgebreid worden naar complexe getallen. Voor z geldt:

cosh(z) =  ez + e-z /2 = cos(iz), sinh(z) =  ez - e-z /2 = -i sin(iz)

Complexe wortelfuncties

Eerder hebben we vastgesteld dat voor complexe getallen z en w geldt:

|zw| = |z||w|

en

arg(zw) = arg(z) + arg(w).

Hieruit kunnen we meteen afleiden wat de n-de-machtswortels van een complex getal z zijn. Per definitie zijn dit alle oplossingen w van de vergelijking wn = z.

Het complexe getal w dat het meest voor de hand ligt is de w waarvoor geldt dat

|w| = |z|1/n

en

arg(w) =  arg(z) /n.

De periodiciteit van de goniometrie leert ons dat daarnaast ook die complexe getallen w een oplossing zijn waarvoor geldt dat:

arg(w) =  arg(z) + k2π /n, k = 1 ... n-1.

De n-de-machtswortels van een complex getal zijn in het complexe vlak dus precies n punten, regelmatig verdeeld over een cirkel om de oorsprong, met straal |z|1/n.

Voorbeeld

In het reële domein is de derdemachtswortel uit −1 gelijk aan −1. Maar met bovenstaande rekenregel vinden we dat ook

 1+i√3 /2 en  1-i√3 /2

derdemachtswortels van –1 zijn.

Hoofdwaarde

Zijn we geïnteresseerd in een unieke oplossing voor de wortelfunctie, dan kunnen we die waarde kiezen die gebaseerd is op de hoofdwaarde van arg(z) en daar weer de hoofdwaarde van nemen. In het bijzonder vinden we zo als 'unieke' wortel voor −1 de waarde i.

Merk op dat de bekende rekenregels niet gelden voor complexe wortels. Zo geldt niet algemeen √(ab) = √a√b.

Eenheidswortels

Een speciale rol is weggelegd voor de zgn. eenheidswortels. Dat zijn de oplossingen van de vergelijking

zn=1,

waarin n een natuurlijk getal is. De oplossingen zijn de punten op de eenheidscirkel (cirkel met straal 1 om de oorsprong) die in polaire notatie gegeven worden door:

zk=e2πik/n

Websites