Se kilde til Komplekse tal

[[Fil:ComplexPlane.svg|thumb|Argand-diagram: Et komplekst tal <math>z = a + b \cdot i</math> kan illustreres med et punkt (sort prik) i et talplan, hvor realdelen <math>a</math> afsættes ud af førsteaksen (Re) og imaginærdelen <math>b</math> afsættes op ad andenaksen (Im).
Beliggenheden af de tre komplekse tal <math>0</math>, <math>1</math> og <math>\mathrm i</math> er angivet med farvede prikker.]]
Ved et '''komplekst tal'''<ref name = "KR"/><ref name = "Esrom"/><ref name = "Carstensen"/><ref name = "Hax"/> forstås en størrelse <math>z</math>, som er en sum af to komponenter, ét [[reelle tal|reelt tal]] (realdelen) og et andet reelt tal (imaginærdelen) ganget med den imaginære enhedsstørrelse <math>\mathrm i</math>. Et komplekst tal kan derfor repræsenteres ved to reelle tal, og illustreres som et punkt i et [[koordinatsystem]] kaldet et '''Argand-diagram''' med en reel og en imaginær akse.

Et komplekst tal skrives på formen
:<math>z = a + b \cdot \mathrm i, \quad a \in \mathbb R, \; b \in \mathbb R</math>
hvor <math>a</math> og <math>b</math> som angivet er vilkårlige reelle tal og hvor <math>\mathrm i</math> er en særligt konstrueret størrelse med egenskaben
:<math>\mathrm i ^2 = -1</math>
Da det for ethvert reelt tal <math>a</math> gælder, at <math>a^2 \geqq 0</math>, kan <math>\mathrm i</math> ikke være et reelt tal; størrelsen kaldes den [[imaginære enhed]]. Populært omtales <math>\mathrm i</math> også som "kvadratroden af -1", og det er netop en af de kendetegnende egenskaber ved komplekse tal, at et komplekst tal opløftet i 2. potens kan blive et negativt tal (modsat de reelle tal hvor selv et negativt tal i 2. potens altid er et positivt resultat).

En stringent definition af de komplekse tal <math>\mathbb C</math> og den imaginære enhed <math>\mathrm i</math> gives i [[#Definition af de komplekse tals legeme|dette afsnit]]. Den historiske udvikling beskrives i [[#De komplekse tals historie|det historiske afsnit]]. Endelig er der et afsnit om [[#Anvendelser|anvendelse i matematik, fysik og teknik]].

== Reelle kontra komplekse tal ==

Nedenstående figurer illustrerer løst forskellen på reelle og komplekse tal.

[[File:RealAddAndMult.svg|thumb|center|550px|'''Øverste panel''': Den reelle, éndimensionale talakse. Punkter med heltallige koordinater er markeret med prikker. Specielt er de reelle tal 0 og 1 angivet med grøn og rød farve. Ved ''addition'' parallelforskydes talaksen, på figuren adderes tallet -2.3 (eller 2.3 trækkes fra).
'''Nederste panel''': Ved ''multiplikation'' strækkes eller sammentrækkes talaksen, på figuren multipliceres med tallet 1.6.]]

De ''reelle tal'' er en éndimensional talmængde og kan derfor opfattes som punkter på en tal''linie''. Addition svarer til en parallelforskydning langs linjen og [[multiplikation]] svarer til en strækning af linjen.

[[File:ComplexAddAndMult.svg|thumb|center|550px|'''Øverste panel''': Det komplekse, todimensionale talplan. Punkter med heltallige koordinater er markeret med et net af prikker. Specielt er de komplekse tal 0, 1 og <math>\mathrm i</math> angivet med grøn, rød og blå farve. Ved ''addition'' parallelforskydes priknettet både i førsteaksens og andenaksens retning. På figuren adderes tallet <math>-2.8 + 1.5 \cdot \mathrm i</math>.
'''Nederste panel''': Ved ''multiplikation'' sker der både en strækning og en rotation af planet. På figuren mulipliceres de komplekse tal, som priknettets punkter repræsenterer, med tallet <math>0.8 + 1.38564 \cdot \mathrm i</math>, der dels strækker planet med faktoren 1.6, dels drejer det vinklen 60°.]]

De ''komplekse tal'' er en todimensional talmængde og kan derfor opfattes som punkter i et tal''plan''. Addition svarer til en parallelforskydning af planets punkter, mens multiplikation svarer til en strækning i kombination med en [[rotation]] af planets punkter.

== Notation ==
{| class="wikitable floatright" style="text-align: center; width:14em; height:8em;" 
|-
| style="background: #FF99FF; font-size: 120px;" | <math>{\color{White} \mathbb C }</math>
|-
| <small>Mængden af ''komplekse tal'' betegnes med bogstavet C med dobbeltstreg.</small>
|}
I matematisk litteratur optræder både rækkefølgerne <math>z = a + b \cdot \mathrm i</math><ref name = "KR"/> og <math>z = a + \mathrm i \cdot b</math> <ref name = "Carstensen"/> eller der veksles frit mellem dem<ref name = "Esrom"/><ref name = "Hax"/><ref name = "MathWorld"/>. For at fremhæve den imaginære enhed <math>\mathrm i</math>, anbefales det, at symbolet skrives uden kursivering<ref name = "EjKursiv"/>.

Inden for vekselstrøm og elektroteknik benyttes et kursiveret lille <math>i</math> til at betegne tidsvariable strømstyrker. Man vil her oftest støde på betegnelsen <math>j</math> for den imaginære enhed, selv om forvekslingsmuligheder næppe forekommer.

Her benyttes notationen <math>z = a + b \cdot \mathrm i</math>.

Inden for de reelle tal <math> \mathbb R </math> er der tradition for at betegne variable med bogstaverne <math>x</math> og <math>y</math>; inden for de komplekse tal <math> \mathbb C </math> anvendes traditionelt variabelnavne som <math>z</math> og <math>w</math>.

De to dele af det komplekse tal <math>z</math> kaldes ''realdelen'' og ''imaginærdelen'':
:{|
|-
|Realdelen af <math>z</math>:
|&nbsp;
|<math>\operatorname{Re}(z) = a</math>
|-
|Imaginærdelen af <math>z</math>:
|&nbsp;
|<math>\operatorname{Im}(z) = b</math>
|-
|}

Bemærk, at realdelen og imaginærdelen er reelle tal.

== Entydighed ==

Fremstilling af et komplekst tal på formen <math>z = a + b \cdot \mathrm i</math> er entydig. Antag nemlig, at der foreligger to fremstillinger:
:<math>z = a_1 + b_1 \cdot \mathrm i</math> &nbsp; og &nbsp; <math>z = a_2 + b_2 \cdot \mathrm i</math>
Man kan da omskrive således:
: <math>a_1 + b_1 \cdot \mathrm i = a_2 + b_2 \cdot \mathrm i</math>
hvoraf
: <math>a_1 - a_2 = (b_2 - b_1) \cdot \mathrm i</math>
Antag at <math>b_2 \neq b_1</math>. Ved division fås da, at
: <math>\frac { a_1 - a_2 }{ b_2 - b_1} = \mathrm i</math>
Brøken på venstre side er et reelt tal, medens højre side er imaginær. Antagelsen <math>b_2 \neq b_1</math> fører altså til en modstrid og må derfor forkastes, dvs. <math>b_2 = b_1</math>. Videre følger, at <math>a_1 - a_2 = (b_2 - b_1) \cdot \mathrm i = 0</math>, så også <math>a_2 = a_1</math>. De to fremstillinger er altså ens.

== Elementære regneregler for komplekse tal ==

[[Fil:ComplexAdditionz1z2.svg|thumb|300px|Summen af to komplekse tal <math>z_1</math> og <math>z_2</math> fås ved at addere deres real- og imaginærdele og kan derfor illustreres med det viste parallelogram.]]

Reglerne er helt de samme som for reelle tal, blot skal man erindre, at <math>\mathrm i ^2 = -1</math>.

Vi betragter to komplekse tal,

:<math>z_1 = a_1 + b_1 \cdot \mathrm i \quad</math> og <math>\quad z_2 = a_2 + b_2 \cdot \mathrm i</math>.

''Kompleks addition:''

:{|
|-
|<math>z_1 + z_2</math>
|<math>\, = \,</math>
|<math>(a_1 + b_1 \cdot \mathrm i) + (a_2 + b_2 \cdot \mathrm i)</math>
|-
|&nbsp;
|<math>\, = \,</math>
|<math>(a_1 + a_2) + (b_1 + b_2) \cdot \mathrm i</math>
|-
|}
{{NumBlk|:||{{EquationRef|1}}}}

''Kompleks subtraktion:''

:{|
|-
|<math>z_1 - z_2</math>
|<math>\, = \,</math>
|<math>(a_1 + b_1 \cdot \mathrm i) - (a_2 + b_2 \cdot \mathrm i)</math>
|-
|&nbsp;
|<math>\, = \,</math>
|<math>(a_1 - a_2) + (b_1 - b_2) \cdot \mathrm i</math>
|-
|}
{{NumBlk|:||{{EquationRef|2}}}}

''Kompleks multiplikation:''

:{|
|-
|<math>z_1 \cdot z_2</math>
|<math>\, = \,</math>
|<math>(a_1 + b_1 \cdot \mathrm i) \cdot (a_2 + b_2 \cdot \mathrm i)</math>
|-
|&nbsp;
|<math>\, = \,</math>
|<math>a_1 \cdot a_2 + a_1 \cdot b_2 \cdot \mathrm i + b_1 \cdot \mathrm i \cdot a_2 + b_1 \cdot \mathrm i \cdot b_2 \cdot \mathrm i</math>
|-
|&nbsp;
|<math>\, = \,</math>
|<math>(a_1 \cdot a_2 - b_1 \cdot b_2) +(a_1 \cdot b_2 + a_2 \cdot b_1)\cdot \mathrm i</math>
|-
|}
{{NumBlk|:||{{EquationRef|3}}}}

''Kompleks division:''

:{|
|-
|<math>\frac{z_1}{z_2}</math>
|<math>\, = \,</math>
|<math>\frac{a_1 + b_1 \cdot \mathrm i}{a_2 + b_2 \cdot \mathrm i} = 
\frac{(a_1 + b_1 \cdot \mathrm i)\cdot(a_2 - b_2 \cdot \mathrm i)}{(a_2 + b_2 \cdot \mathrm i)\cdot(a_2 - b_2 \cdot \mathrm i)}</math>
|-
|&nbsp;
|<math>\, = \,</math>
|<math>\frac{(a_1 \cdot a_2 + b_1 \cdot b_2) + (a_2 \cdot b_1 - a_1 \cdot b_2)\cdot \mathrm i}{a_2^2 + b_2^2}</math>
|-
|}
{{NumBlk|:||{{EquationRef|4}}}}

''Kompleks konjugering:''

{{NumBlk|:|<math>\bar{z} = a - b \cdot \mathrm i</math>|{{EquationRef|5}}}}

Det læses "z-streg". Bemærk, at divisionen udføres ved at forlænge brøken med nævnerens konjugerede tal.

{{NumBlk||'''Eksempler'''|{{EquationRef|101|Eks.&nbsp;1}}}}

'''Elementær regning med komplekse tal'''

* <math>(5 - 4 \cdot \mathrm i) + (-3 -2 \cdot \mathrm i) = {\color{ForestGreen} 2 - 6 \cdot \mathrm i}</math>

* <math>(2 + \mathrm i) \cdot (3 - 4 \cdot \mathrm i) = 6 - 8 \cdot \mathrm i + 3 \cdot \mathrm i + 4 = {\color{ForestGreen}10 - 5 \cdot \mathrm i}</math>

* <math>\frac{3 - 4 \cdot \mathrm i}{5 + 2 \cdot \mathrm i} = \frac{(3 - 4 \cdot \mathrm i) \cdot (5 - 2 \cdot \mathrm i)}{(5 + 2 \cdot \mathrm i) \cdot (5 - 2 \cdot \mathrm i)} = \frac{15 - 20 \cdot \mathrm i - 6 \cdot \mathrm i + 8 \cdot {\mathrm i}^2}{25 - 4 \cdot {\mathrm i}^2} = \frac{7 - 26 \cdot \mathrm i}{29} = {\color{ForestGreen} \textstyle \frac {7}{29} - \frac {26}{29} \cdot \mathrm i}</math>

* <math>\overline{2 - 7 \cdot \mathrm i} = {\color{ForestGreen} 2 + 7 \cdot \mathrm i}</math>

* <math>\overline{7 \cdot \mathrm i - 2} = {\color{ForestGreen} -2 - 7 \cdot \mathrm i}</math>

* <math>{(a + b \cdot \mathrm i)}^2 = (a + b \cdot \mathrm i) \cdot (a + b \cdot \mathrm i) = {\color{ForestGreen} a^2 - b^2 + 2 \cdot a \cdot b \cdot \mathrm i}</math>

* <math>(a + b \cdot \mathrm i) \cdot (a - b \cdot \mathrm i) = a^2 - {(b \cdot \mathrm i)}^2 = {\color{ForestGreen} a^2 + b^2}</math>

De to sidste eksempler viser beregninger med to af [[kvadratsætninger]]ne.

== Definition af de komplekse tal ==

=== Tallegemet <math>\mathbb R</math> ===

Mængden af reelle tal <math>\mathbb R</math> er et eksempel på den matematiske struktur, som kaldes et [[Legeme (algebra)|(tal)legeme]]. Det betyder, at der findes to kompositionsregler kaldet ''addition'' (skrevet med symbolet '<math>+</math>') og ''multiplikation'' (skrevet med symbolet '<math> \cdot </math>'), som opfylder følgende aksiomer, der kort beskrives ved hjælp af al-[[kvantor]] <math>\forall </math> og eksistens-[[kvantor]] <math>\exist </math>:
* (<math>\mathbb R</math>, +) er en [[Gruppe (matematik)|kommutativ gruppe]]:
** Den ''associative lov'' er opfyldt:
*: <math>\forall \; a, b \in \mathbb R : (a + b) + c = a + (b + c)</math>.
** Den ''kommutative lov'' er opfyldt:
*: <math>\forall \; a, b \in \mathbb R : a + b = b + a</math>.
** Der findes et ''neutralt element'' for addition eller ''nulelement'', nemlig tallet <math>0</math>:
*: <math>\forall \; a \in \mathbb R : a + 0 = 0 + a = a</math>.
** Alle elementer er ''invertible'', dvs. har et modsat element:
*: <math>\forall \; a \in \mathbb R \; \exist \; a^* \in \mathbb R: a + a^* = 0</math>;
*: det modsatte element til <math>a</math> betegnes <math>-a</math>, <math>a^* = -a</math>.

* (<math>\mathbb R \setminus \{ 0 \}, \cdot)</math> er en [[Gruppe|kommutativ gruppe]]:
** Den ''associative lov'' er opfyldt:
*: <math>\forall \; a, b \in \mathbb R \setminus \{ 0 \} : (a \cdot b) \cdot c = a \cdot (b \cdot c)</math>.
** Den ''kommutative lov'' er opfyldt:
*: <math>\forall \; a, b \in \mathbb R \setminus \{ 0 \} : a \cdot b = b \cdot a</math>.
** Der findes et ''neutralt element'' for multiplikation eller ''et-element'', nemlig tallet <math>1</math>:
*: <math>\forall \; a \in \mathbb R \setminus \{ 0 \} : a \cdot 1 = 1 \cdot a = a</math>.
** Alle elementer er ''invertible'', dvs. har et reciprokt element:
*: <math>\forall \; a \in \mathbb R \setminus \{ 0 \} \; \exist \; a^{**} \in \mathbb R \setminus \{ 0 \}: a \cdot a^{**} = 1</math>;
*: det reciprokke element til <math>a</math> betegnes <math>1 / a</math> eller <math>a^{-1}</math>, <math>a^{**} = 1 / a</math>.

* Den ''distibutive lov'' er opfyldt, dvs.
*: <math>\forall \; a, b, c \in \mathbb R : a \cdot (b+c) = a \cdot b + a \cdot c</math>.

=== Tallegemet <math>\mathbb C</math> ===

Mængden af komplekse tal <math>\mathbb C</math> konstrueres ved at betragte mængden af reelle talpar <math>(a, b)</math> og heri definere følgende to kompositionsregler:

:{|
|-
|Addition:
|&nbsp;
|<math>(a_1, a_2) + (b_1, b_2) = (a_1 + b_1, a_2 + b_2)</math>
|-
|Multiplikation:
|&nbsp;
|<math>(a_1, a_2) \cdot (b_1, b_2) = (a_1 \cdot b_1 - a_2 \cdot b_2, a_1 \cdot b_2 + a_2 \cdot b_1)</math>
|-
|}

Talparret <math>(0, 0)</math> er nul-element og talparret <math>(1, 0)</math> er ét-element:
:<math>(a_1, a_2) + (0, 0) = (a_1 + 0, a_2 + 0) = (a_1, a_2)</math>
:<math>(a_1, a_2) \cdot (1, 0) = (a_1 \cdot 1 - a_2 \cdot 0, a_1 \cdot 0 + a_2 \cdot 1)= (a_1 , a_2)</math>

Man kan ved selvsyn kontrollere, at alle aksiomerne omtalt i forrige afsnit er opfyldt. Her følger et par eksempler:

'''Multiplikation er kommutativ''' fordi multiplikation (og addition) af reelle tal er det:

:{|
|-
|<math>(a_1, a_2) \cdot (b_1, b_2)</math>
|<math>\, = \,</math>
|<math>(a_1 \cdot b_1 - a_2 \cdot b_2, a_1 \cdot b_2 + a_2 \cdot b_1)</math>
|-
|&nbsp;
|<math>\, = \,</math>
|<math>(b_1 \cdot a_1 - b_2 \cdot a_2, b_1 \cdot a_2 + b_2 \cdot a_1)</math>
|-
|&nbsp;
|<math>\, = \,</math>
|<math>(b_1, b_2) \cdot (a_1, a_2)</math>
|-
|}

'''Multiplikation er associativ''', da udregning af de to sider giver samme resultat:
:''Venstre side:''
:{|
|-
|<math>(a_1, a_2) \cdot ((b_1, b_2) \cdot (c_1, c_2))</math>
|<math>\, = \,</math>
|<math>(a_1, a_2) \cdot (b_1 \cdot c_1 - b_2 \cdot c_2, b_1 \cdot c_2 + b_2 \cdot c_1)0</math>
|-
|&nbsp;
|<math>\, = \,</math>
|<math>(a_1 \cdot b_1 \cdot c_1 - a_1 \cdot b_2 \cdot c_2 - a_2 \cdot b_1 \cdot c_2- a_2 \cdot b_2 \cdot c_1</math>
|-
|&nbsp;
|<math>\, , \,</math>
|<math>a_1 \cdot b_1 \cdot c_2 + a_1 \cdot b_2 \cdot c_1 + a_2 \cdot b_1 \cdot c_1 - a_2 \cdot b_2 \cdot c_2)</math>
|-
|}
:''Højre side:''
:{|
|-
|<math>((a_1, a_2) \cdot (b_1, b_2)) \cdot (c_1, c_2)</math>
|<math>\, = \,</math>
|<math>(a_1 \cdot b_1 - a_2 \cdot b_2, a_1 \cdot b_2 + a_2 \cdot b_1) \cdot (c_1, c_2)</math>
|-
|&nbsp;
|<math>\, = \,</math>
|<math>(a_1 \cdot b_1 \cdot c_1 - a_1 \cdot b_2 \cdot c_2 - a_2 \cdot b_1 \cdot c_2- a_2 \cdot b_2 \cdot c_1</math>
|-
|&nbsp;
|<math>\, , \,</math>
|<math>a_1 \cdot b_1 \cdot c_2 + a_1 \cdot b_2 \cdot c_1 + a_2 \cdot b_1 \cdot c_1 - a_2 \cdot b_2 \cdot c_2)</math>
|-
|}

:De to resultater er ens.

'''Den associative lov''' vises ved tilsvarende (trælsomme) udregninger.

'''Modsat element'''
Åbenbart er det modsatte element til <math>(a_1, a_2)</math> elementet <math>(-a_1, -a_2)</math>.

'''Reciprokt element'''
Lad <math>(a_1, a_2)</math> være et element forskelligt fra <math>(0, 0)</math>. Vi skal vise, at der findes et element <math>(x_1, x_2)</math> så
:<math>(a_1, a_2) \cdot (x_1, x_2)  = (1, 0)</math>
Med anvendelse af produktdefinitionen fører dette til ligningssystemet
:<math>\Bigg\{ \begin {matrix} {a_1 \cdot x_1 - a_2 \cdot x_2 = 1} \\ {a_2 \cdot x_1 + a_1 \cdot x_2 = 0} \end {matrix}</math>

der har determinanten <math>a_1^2 + a_2^2</math>, som er et positivt tal. Ligningssystemet har derfor netop én løsning

:<math>(x_1, x_2) = 
\begin{pmatrix}
\frac {\begin{vmatrix} 1 & -a_2 \\ 0 & a_1 \end{vmatrix}}{\begin{vmatrix} a_1 & -a_2 \\ a_2 & a_1 \end{vmatrix}}, 
\frac {\begin{vmatrix} a_1 & 1 \\ a_2 & 0 \end{vmatrix}}{\begin{vmatrix} a_1 & -a_2 \\ a_2 & a_1\end{vmatrix}} 
\end{pmatrix} =
\bigg( \frac { a_1 }{ a_1^2 + a_2^2 }, \frac { -a_2 }{ a_1^2 + a_2^2 } \bigg)
</math>

Det reciprokke element er derfor entydigt bestemt til
{{NumBlk|:|<math>{(a_1, a_2)}^{-1} = \left ( \frac {a_1}{a_1^2 + a_2^2}, - \frac {a_2}{a_1^2 + a_2^2} \right ) </math>|{{EquationRef|6}}}}

{{NumBlk||'''Eksempel'''|{{EquationRef|102|Eks.&nbsp;2}}}}
Det reciprokke tal til <math>(a_1, a_2) = (\tfrac{1}{2} ,-\tfrac{1}{2} )</math> er
:<math>{(a_1, a_2)}^{-1} = \left ( \frac {\tfrac{1}{2}}{\tfrac{1}{2}^2 + \left ( -\tfrac{1}{2} \right )^2}, - \frac {-\tfrac{1}{2}}{\tfrac{1}{2}^2 + \left ( -\tfrac{1}{2} \right )^2} \right ) = \left ( \frac {\tfrac{1}{2}}{2 \cdot \tfrac{1}{4}}, \frac {\tfrac{1}{2}}{2 \cdot \tfrac{1}{4}} \right ) = (1,1)</math>

=== Indlejring af de reelle tal <math>\mathbb R</math> i de komplekse tal <math>\mathbb C</math> ===

Vi betragter nu specielt den delmængde af de komplekse tal, hvis imaginærdel er nul. Reglerne for addition og multiplikation lyder da
:{|
|-
|Addition:
|&nbsp;
|<math>(a, 0) + (b, 0) = (a + b, 0)</math>
|-
|Multiplikation:
|&nbsp;
|<math>(a, 0) \cdot (b, 0) = (a \cdot b - 0 \cdot 0, a \cdot 0 + 0 \cdot b) = (a \cdot b , 0)</math>
|-
|Reciprok værdi:
|&nbsp;
|<math>{(a, 0)}^{-1} = \left ( \frac {a}{a^2 + 0}, - \frac {0}{a^2 + 0} \right ) = (a^{-1}, 0)</math>
|-
|}

På denne baggrund tillader man sig at identificere det komplekse tal <math>(a, 0)</math> med det reelle tal <math>a</math>, og man siger, at mængden <math>\mathbb R</math> er ''indlejret'' i <math>\mathbb C</math> eller er en ægte delmængde af <math>\mathbb C</math>.

Medens de reelle tal er en ''ordnet'' mængde, dvs. for etvert talpar <math>(a, b)</math> gælder, at enten er <math>a < b</math> eller <math>a = b</math> eller <math>a > b</math>, så gælder intet tilsvarende for komplekse tal; man kan ikke om to givne forskellige komplekse tal sige, at det ene er større end eller mindre end det andet.

=== Den imaginære enhed i ===

Ifølge produktreglen gælder om det komplekse tal <math>(0,1)</math> at

:<math>(0,1) \cdot (0,1) = (0 \cdot 0 - 1 \cdot 1, 0 \cdot 1 - 1 \cdot 0) = (-1, 0)</math>

Det komplekse tal <math>(0,1)</math> kaldes af historiske grunde den ''imaginære enhed'' og betegnes med <math>\mathrm i</math>:

{{NumBlk|:|<math>\mathrm i \equiv (0, 1)</math>|{{EquationRef|7}}}}

Da man kan identificere <math>(-1, 0)</math> med <math>-1</math>, når vi frem til ligningen

:<math>\mathrm i ^2 = -1</math>

Et vilkårligt komplekst tal <math>z = (a, b)</math> kan nu skrives på formen

:<math>z = (a, b) = (a, 0) + (0, b) = (a, 0) + (b, 0) \cdot (0, 1)</math>

eller kort

{{NumBlk|:|<math>z = a + b \cdot \mathrm i</math>|{{EquationRef|8}}}}

Introduktionen af den imaginære enhed medfører en skrivemåde for komplekse tal, som er mere praktisk anvendelig end den oprindelige definition med talpar og kompositionsregler. Eksempelvis er

:<math>z \cdot \mathrm i = a \cdot \mathrm i + b \cdot {\mathrm i}^2 = -b + a \cdot \mathrm i</math>.

== Kartesisk og polær beskrivelse af komplekse tal ==

=== Kartesisk beskrivelse: Kompleks talplan ===

[[Fil:ComplexConjugation.svg|thumb|350px|Figuren viser et komplekst tal <math>z</math> og dets konjugerede <math>\bar{z}</math>; de to ligger symmetrisk omkring den reelle talakse. Desuden illustreres, at multiplikation med <math>\mathrm i</math> svarer til en drejning på <math>90 ^\circ</math>
og at multiplikation med <math>-\mathrm i</math> (eller division med <math>\mathrm i</math>!) svarer til en drejning på <math>-90 ^\circ</math>.]]

Et komplekst tal <math>z\ = a + b \cdot \mathrm i</math> kan naturligt illustreres med et punkt med koordinaterne <math>(a, b)</math> i et koordinatsystem med den reelle akse som ordinat og den imaginære akse som abscisse. Dette talplan kaldes det ''komplekse'' eller det ''gaussiske plan'' eller ''argand-planet''. Om baggrunden for disse betegnelser se [[#Historisk baggrund|det historiske afsnit]].

Nogle geometriske fortolkninger:

* Da <math>\bar{z} = a - b \cdot \mathrm i</math>, svarer kompleks konjugering, jfr. ligning {{EquationNote|5|(5)}}, til spejling om den reelle akse.
* Da addition sker efter samme regel som for vektorer, kan en sum <math>z = z_1 + z_2</math> konstrueres som et parallelogram.
* Multiplikation med <math>\mathrm{i}</math> sker ved drejning på <math>90 ^\circ</math>, division ved drejning på <math>-90 ^\circ</math>.
* Da <math>\mathrm{Re}(z) = a</math>, fås realdelen ved projektion af <math>(a, b)</math> på den reelle akse.
* Da <math>\mathrm{Im}(z) = b</math>, fås imaginærdelen ved projektion af <math>(a, b)</math> på den imaginære akse.

Endvidere ses det, at real- og imaginærdel kan udtrykkes ved <math>z</math> og <math>\bar{z}</math>:

:<math>\mathrm{Re}\,(z) = \tfrac{1}{2} \cdot (z+\bar{z})</math>
:<math>\mathrm{Im}\,(z) = \tfrac{1}{2 \cdot \mathrm i} \cdot (z-\bar{z})</math>

=== Polær beskrivelse: Modulus og argument ===

[[Fil:ComplexCartesianPolar.svg|thumb|350px|Et komplekst tal <math>z</math> kan fastlægges både ved sine kartesiske koordinater <math>(a,b)</math> (som <math>z = a + b \cdot \mathrm{i}</math>) og ved sine polære koordinater <math>\langle r, \varphi \rangle</math> (som <math>z = r \cdot \exp(\varphi \cdot \mathrm{i}</math>)). Figuren viser modulus <math>r = |z|</math> og argument <math>\varphi = \arg (z)</math> for dels det komplekse tal <math>z = 4 + 3 \cdot \mathrm{i}</math>, dels det konjugerede tal <math>\bar{z}</math> og dels for <math>w = -3.5 - 2 \cdot \mathrm{i}</math> (med polære koordinater <math>\langle s, \psi \rangle</math>. Argumentet kan vælges at ligge i vinkelintervallet <math>[-180 ^\circ, \, 180 ^\circ [</math> (brugt ved <math>\bar{z}</math>) eller i intervallet <math>[0 ^\circ, \, 360 ^\circ [</math> (brugt ved <math>w</math>).]]

Et komplekst tal <math>z = a + b \cdot \mathrm i</math>, som ikke er lig nul, kan ved siden af sine kartesiske koordinater <math>\text {P} = (a, b)</math> også beskrives ved sine polære koordinater <math>\left \langle r, \varphi \right \rangle</math>. Her betegner <math>r</math> punktets afstand fra origo <math>\text {O} = (0, 0)</math> og <math>\varphi</math> er den vinkel, som liniestykket <math>\text {OP}</math> danner med den reelle akse, se figuren.

Den polære koordinat <math>r</math> kaldes det komplekse tals '''modulus''' eller ''numeriske værdi'' eller ''norm'' og skrives

: <math>| z | = r = \sqrt {a^2 + b^2}</math>

Den polære koordinat <math>\varphi</math> kaldes det komplekse tals '''argument''' og skrives

: <math>\arg (z) = \varphi = \operatorname {arctanxy} (a, b)</math>

Her er <math>\operatorname {arctanxy} (x, y)</math> den [[Arctanxy|arcustangens]]-funktion, som beregner den vinkel, som en linje fra origo til punktet med koordinaterne <math>(x, y)</math> danner med førsteaksen.

Det komplekse tal <math>z = 0</math> har modulus <math>\left\vert z \right\vert = 0</math>, men tillægges ikke noget argument.

Argumentet for et komplekst tal er en flertydig størrelse: Hvis <math>\arg(z) = \varphi</math> er argument for <math>z</math>, så kan også ethvert af tallene <math>\varphi + 2 \cdot \pi \cdot n, \; n \in \mathbb {Z}</math> bruges som argument, fordi addition af et multiplum af <math>2 \cdot \pi </math> ( eller <math>360 ^\circ</math> i gradmål) udpeger den samme retning. Man vælger ofte at lade <math>\varphi</math> ligge i det halvåbne interval <math> [-\pi, \pi[ </math> ( eller i gradmål <math>[-180 ^\circ, \, 180 ^\circ [</math>).

{{NumBlk||'''Eksempler'''|{{EquationRef|103|Eks.&nbsp;3}}}}
:{|
|-
|<math>z = -\mathrm{i}</math>
|<math>\, : \,</math>
|<math>| z | = \sqrt{(0)^2 + (-1)^2} = \sqrt{1}= 1</math>
|&nbsp;
|<math>\arg(z) = - \pi \ 2  = -90 ^\circ</math>
|-
|<math>z = -1 + \mathrm{i}</math>
|<math>\, : \,</math>
|<math>| z | = \sqrt{(-1)^2 + (1)^2} = \sqrt{2}</math>
|&nbsp;
|<math>\arg(z) = 3/4 \cdot \pi = 135 ^\circ</math>
|-
|<math>z = -5 - 12 \cdot \mathrm{i}</math>
|<math>\, : \,</math>
|<math>| z | = \sqrt{(-5)^2 + (-12)^2} = \sqrt{169} = 13</math>
|&nbsp;
|<math>\arg(z) = \operatorname {arctanxy} (-5, -12) \approx -1.9656 \approx -112.62  ^\circ</math>
|-
|}

=== Multiplikation og division af to komplekse tal på polær form ===

De kartesiske koordinater for et komplekst tal <math>z</math> med modulus <math>r = |z|</math> og argument <math>\varphi = \arg(z)</math> fås ved projektion på den reelle hhv. imaginære akse:
:<math>\mathrm{Re}\,(z) = r \cdot \cos(\varphi)</math>
:<math>\mathrm{Im}\,(z) = r \cdot \sin(\varphi)</math>

Tallet kan derfor skrives

:<math>z = r \cdot (\cos(\varphi) + \sin(\varphi) \cdot \mathrm{i})</math>.

Heraf finder vi, at produktet af to komplekse tal

:{|
|<math>z </math>
|<math>\, = \,</math>
|<math>|z| \cdot (\cos(\varphi) + \sin(\varphi) \cdot \mathrm{i})</math>
|<math>\quad </math>
|<math>\varphi = \arg(z) </math>
|-
|<math>w </math>
|<math>\, = \,</math>
|<math>|w| \cdot (\cos(\psi) + \sin(\psi) \cdot \mathrm{i})</math>
|<math>\quad </math>
|<math>\psi = \arg(w) </math>
|}

bliver

:{|
|<math>z \cdot w </math>
|<math>\, = \,</math>
|<math>|z| \cdot (\cos(\varphi) + \sin(\varphi) \cdot \mathrm{i}) \cdot |w| \cdot (\cos(\psi) + \sin(\psi) \cdot \mathrm{i}) </math>
|-
|&nbsp;
|<math>\, = \,</math>
|<math>|z| \cdot |w| \cdot (\cos(\varphi)  \cdot \cos(\psi) - \sin(\varphi) \cdot \sin(\psi)) + (\cos(\varphi) \cdot \sin(\psi) + \sin(\varphi) \cdot \cos(\psi)) \cdot \mathrm{i})</math>
|-
|&nbsp;
|<math>\, = \,</math>
|<math>|z| \cdot |w| \cdot (\cos(\varphi + \psi) + \sin(\varphi + \psi) \cdot \mathrm{i})</math>
|}

hvor vi i den sidste omskrivning har anvendt to af de trigonometriske [[additionsformler]]. Man kan heraf konkludere, at

:<math>|z \cdot w| \, = \,|z| \cdot |w|</math>
:<math>\arg (z \cdot w) \, = \arg (z) + \arg (w)</math>

For <math>z \neq 0</math> gælder, at <math>z \cdot \frac{1}{z} = 1</math>. Heraf slutter vi dels at

:<math>1 = |1| = \left | z \cdot \frac{1}{z} \right | = |z| \cdot \left | \frac{1}{z} \right | \quad \Leftrightarrow  \quad \left | \frac{1}{z} \right | = \frac{1}{|z|}</math>

og dels at

:<math>0 = \arg(1) = \arg \left ( z \cdot \frac{1}{z} \right ) = \arg(z) + \arg \left ( \frac{1}{z} \right ) \quad \Leftrightarrow  \quad \arg \left ( \frac{1}{z} \right ) = -\arg(z)</math>

Heraf følger

:<math> \left | \frac{z}{w} \right | = \left | z \cdot \frac{1}{w} \right | = |z| \cdot \left | \frac{1}{w} \right | = |z| \cdot \frac{1}{|w|} = \frac{|z|}{|w|}</math>

samt

:<math>\arg \left ( \frac{z}{w} \right ) = \arg \left ( z \cdot \frac{1}{w} \right ) = \arg (z) + \arg \left ( \frac{1}{w} \right ) = \arg (z) - \arg (w) </math>

=== Funktionen cis ===

Den irske matematiker [[William Rowan Hamilton]], omtalt i det [[#William Hamilton|historiske afsnit]], indførte hjælpefunktionen <math>\mathrm{cis}</math> med komplekse funktionsværdier:

{{NumBlk|:|<math>\mathrm{cis}(x) = \cos(x) + \sin(x) \cdot \mathrm i \quad x \in \mathbb{R}</math>|{{EquationRef|9}}}}

Navnet kan opfattes som en sammentrækning af <span style="text-decoration:underline">c</span>osinus, <span style="text-decoration:underline">i</span>maginær og <span style="text-decoration:underline">s</span>inus. Ved differentiation med hensyn til <math>x</math> fås

: <math>\mathrm{cis}(x)' = -\sin(x) + \cos(x) \cdot \mathrm i = \cos(x) \cdot \mathrm i + \sin(x) \cdot \mathrm i ^2 = \mathrm i \cdot \mathrm{cis}(x)</math>

Funktionen <math>\mathrm{cis}</math> differentieres altså efter samme regel som en [[Eksponentiel vækst|eksponentialfunktion]].

Desuden har funktionen følgende egenskaber fælles med den naturlige eksponentialfunktion <math>\exp</math>:

* <math>\mathrm{cis}(z + w) = \mathrm{cis}(z) \cdot \mathrm{cis}(w)</math>

* <math>\mathrm{cis}(z - w) = \frac {\mathrm{cis}(z)}{\mathrm{cis}(w)}</math>

Anvendelse af <math>\mathrm{cis}</math> medfører en kortere notation og forbedret læselighed, for eksempel <math>e^{\mathrm i \cdot x^2} </math> kontra <math>\mathrm{cis}(x^2)</math>.

== de Moivres formel og heltalspotenser ==

Hvis man i formlen for produktet af <math>z</math> og <math>w</math> sætter <math>z = w</math>, får man

:<math>z^2 = |z|^2 \cdot (\cos(2 \cdot \varphi) + \sin(2 \cdot \varphi) \cdot \mathrm{i})</math>

og for produktet af <math>z</math> og <math>z^2</math> fås

:<math>z^3 = |z|^3 \cdot (\cos(3 \cdot \varphi) + \sin(3 \cdot \varphi) \cdot \mathrm{i})</math>

hvilket straks kan generaliseres til

:<math>z^n = |z|^n \cdot (\cos(n \cdot \varphi) + \sin(n \cdot \varphi) \cdot \mathrm{i}) \quad n \in \mathbb{N}</math>

Dette er '''de Moivres formel''' (udtales "dø mo-A-vre"). I udfoldet form lyder den

{{NumBlk|:|<math>(r \cdot (\cos(\varphi) + \sin(\varphi) \cdot \mathrm{i}))^n = r^n \cdot (\cos(n \cdot \varphi) + \sin(n \cdot \varphi) \cdot \mathrm{i}) \quad n \in \mathbb{N}</math>|{{EquationRef|10}}}}

[[Fil:ComplexPowers.svg|thumb|350px|Illustration af heltalspotenser af et komplekst tal <math>z</math>, altså <math>z^2</math>, <math>z^3</math>, ... <math>z^n</math>, ...

Med grå farve vises potenser af <math>z</math>, hvor <math>|z| = 1</math> og <math>\arg(z) = 17 ^\circ</math> og hvor potensen varierer fra <math>1</math> til <math>20</math>. Potenserne ligger alle på enhedscirklen.

Med cyan farve vises potenser af <math>z</math>, hvor <math>|z| = 0.96</math> og <math>\arg(z) = 17 ^\circ</math> og hvor potensen varierer fra <math>1</math> til <math>23</math>. Potenserne ligger alle på en indadsnoet [[logaritmisk spiral]].

Med lysegrøn farve vises potenser af <math>z</math>, hvor <math>|z| = 1.04</math> og <math>\arg(z) = 17 ^\circ</math> og hvor potensen varierer fra <math>1</math> til <math>20</math>. Potenserne ligger alle på en udadsnoet [[logaritmisk spiral]].]]

eller med anvendelse af <math>\mathrm{cis}</math>-funktionen, jfr. definitionen {{EquationNote|9|(9)}}

:<math>\mathrm{cis}(z)^n = \mathrm{cis}(n \cdot z)</math>

Opløftning af et komplekst tal <math>z</math> til <math>n</math>-te potens kan altså udføres ved at opløfte dets modulus <math>r</math> i <math>n</math>-te potens og gange dets argument <math>\varphi</math> med <math>n</math>. Figuren viser nogle eksempler på mulige resultater.

Fordelen ved de Moivres formel for <math>z^n</math> er, at man kan beregne resultatet uden først at skulle finde værdien af mellemliggende potenser <math>z^2</math>, <math>z^3</math>, ... <math>z^{n-1}</math>. Ulempen er, at man skal benytte beregningstunge trigonometriske funktioner i beregningen af <math>\arg(z)</math> samt i bestemmelse af real- og imaginærdel.

{{NumBlk||'''Eksempler'''|{{EquationRef|104|Eks.&nbsp;4}}}}

For det komplekse tal <math>z = 0.95 + 0.39 \cdot \mathrm{i} \,</math> er <math>\,| z | \approx 1.026937, \arg(z) \approx 0.389 548 \approx 22.39144 ^\circ</math>

Potenser af <math>z</math> beregnet kartesisk og polært (med de Moivres formel) vises i tabellen herunder; resultaterne stemmer naturligvis overens.

{| class="wikitable" style="text-align: left;"
|+ '''Potenser af <math>z = 0.95 + 0.39 \cdot \mathrm{i} \,</math>
|-
! style="width:20em;" |Potens
! style="width:20em;" |Kartesiske <math>z</math>-potenser
! style="width:20em;" |Modulus
! style="width:20em;" |Argument
! style="width:20em;" |Realdel
! style="width:20em;" |Imaginærdel
|-
! style="width:20em;" |<math>n</math>
! style="width:20em;" |<math>z^n</math>
! style="width:20em;" |<math>|z|^n</math>
! style="width:20em;" |<math>\arg(z) \cdot n</math>
! style="width:20em;" |<math>\mathrm{Re}\,(z^n)</math>
! style="width:20em;" |<math>\mathrm{Im}\,(z^n</math>)
|-
|<math>1</math>
|<math>0.95 + 0.39 \cdot \mathrm i</math>
|<math>1.026 \, 937 \, 194</math>
|<math>0.389 \, 547 \, 722</math>
|<math>0.95</math>
|<math>0.39</math>
|-
|<math>2</math>
|<math>0.7574 + 0.741 \cdot \mathrm i</math>
|<math>1.046</math>
|<math>0.779 \, 095 \, 444</math>
|<math>0.7504</math>
|<math>0.741</math>
|-
|<math>3</math>
|<math>0.42389 + 0.996606 \cdot \mathrm i</math>
|<math>1.083 \, 007 \, 965</math>
|<math>1.168 \, 643 \, 166</math>
|<math>0.42389</math>
|<math>0.996606</math>
|-
|<math>4</math>
|<math>0.014 \, 019 \, 16 + 1.112 \, 0928 \cdot \mathrm i</math>
|<math>1.112 \, 181 \, 160</math>
|<math>1.558 \, 190 \, 888</math>
|<math>0.014 \, 019 \, 16</math>
|<math>1.112 \, 0928</math>

|}

== Komplekse enhedsrødder ==

[[Fil:ComplexUnitRoots.svg|thumb|350px|Illustration af komplekse enhedsrødder, dvs. løsninger til ligningen <math>z^n = 1</math> for graderne <math>n = 2</math> til <math>n = 6</math>.]]

Inden for de reelle tals mængde <math>\mathbb{R}</math> har ligningen <math>x^n = 1</math> enten én eller to reelle løsninger, nemlig <math>x = 1</math>, hvis <math>n</math> er ulige, og <math>x = -1</math> og <math>x = +1</math>, hvis <math>n</math> er lige.

Ifølge [[algebraens fundamentalsætning]] har ligningen <math>z^n = 1</math> <math>n</math> komplekse rødder, som nu skal bestemmes. Først konstateres, at
:<math>z^n = 1 \quad \Rightarrow \quad |z^n| = |z|^n = 1 \quad \Rightarrow \quad |z| = 1</math>.
Alle løsninger ligger altså på enhedscirklen, så <math>z</math> kan skrives <math>z =\operatorname{cis}(\varphi)</math>, hvor <math>\varphi</math> er løsningens argument. Vi anvender nu de Moivres formel {{EquationNote|10|(10)}}:

:{|
|-
|<math>z^n = 1</math>
|<math>\quad \Rightarrow \quad</math>
|<math>\operatorname{cis}(\varphi)^n = \operatorname{cis}(n \cdot \varphi) = 1</math>
|-
|&nbsp;
|<math>\quad \Rightarrow \quad</math>
|<math>\cos(n \cdot \varphi) + \sin(n \cdot \varphi) \cdot \mathrm i = 1</math>
|-
|&nbsp;
|<math>\quad \Rightarrow \quad</math>
|<math>\cos(n \cdot \varphi) = 1</math>
|-
|&nbsp;
|<math>\quad \Rightarrow \quad</math>
|<math>n \cdot \varphi = 2 \cdot \pi \cdot p, \quad p \in \mathbb{N}</math>
|-
|&nbsp;
|<math>\quad \Rightarrow \quad</math>
|<math>\varphi = \tfrac {2 \cdot \pi}{n} \cdot p, \quad p \in [\; 0, \; 1, \; ..., \; n-1]</math>
|-
|}

Løsningerne er altså de <math>n</math> komplekse tal
{{NumBlk|:|<math>z = \operatorname{cis} \left ( \tfrac {2 \cdot \pi}{n} \cdot p \right ), \quad p \in [\; 0, \; 1, \; ..., \; n-1]</math>|{{EquationRef|11}}}}

Disse ligger jævnt fordelt på enhedscirklen med et indbyrdes vinkelmellemrum på <math>\tfrac {2 \cdot \pi}{n}</math> og udspænder en regulær <math>n</math>-kant med et hjørne i (1,0). De kaldes for de ''n-te enhedsrødder''. <ref name = "KR"/>{{rp|55}} <ref name = "Carstensen"/>{{rp|30}}

Roden med <math>p = 1</math> betegnes normalt <math>\varepsilon</math>, de øvrige er potenser af denne. Enhedsrødderne kan derfor også opremses som
:<math>1, \; \varepsilon , \; \varepsilon^2 , \; \varepsilon^3 , \; ..., \; \varepsilon^{n-1}, \quad \varepsilon = \operatorname{cis} \left ( \tfrac {2 \cdot \pi}{n} \right )</math>.
Figuren i det følgende afsnit illustrerer desuden enhedsrøddernes beliggenhed i tilfælde <math>n = 5</math>, hvor
:<math>\varepsilon = \operatorname{cis} \left ( \tfrac {2 \cdot \pi}{5} \right ) = \cos(72^\circ) + \sin(72^\circ) \cdot \mathrm i</math>.

== Ligningen zⁿ = c ==

[[Fil:ComplexRoots.svg|thumb|350px|Illustration af løsninger til komplekse ligninger af typen <math>z^n = c</math>. Grøn farve: Enhedscirklen. Rød farve: Løsninger til ligningen <math>z^5 = 1</math> (enhedsrødderne af grad 5). Blå farve: Løsninger til ligningen <math>z^5 = -11 + 3 \cdot \mathrm i</math>. Løsningspunkterne danner i begge tilfælde en regulær femkant.]]

Lad <math>c = r \cdot \operatorname{cis}(\varphi)</math> være et givet komplekst tal med modulus <math>r</math> og argument <math>\varphi</math>. Vi søger alle løsninger til ligningen
:<math>z^n= c \quad n \in \mathbb{N}</math>
Dertil skriver vi også <math>z</math> på polær form, <math>z = |z| \cdot \operatorname{cis}(v)</math> og anvender igen de Moivres formel {{EquationNote|10|(10)}}:
:<math>z^n= c \quad \Rightarrow \quad |z|^n \cdot \operatorname{cis}(n \cdot v) = r \cdot \operatorname{cis}(\varphi)</math>
Denne ligning er opfyldt, hvis
:<math>|z| = \sqrt[n]{r} \quad</math> og <math>\quad n \cdot v = \varphi + 2 \cdot \pi \cdot p \quad</math> eller <math>\quad v = \tfrac {\varphi}{n} + \tfrac {2 \cdot \pi}{n} \cdot p</math>
Ligningens <math>n</math> løsninger er derfor
{{NumBlk|:|<math>z = \sqrt[n]{r} \cdot \operatorname{cis} \left ( \tfrac {\varphi}{n} + \tfrac {2 \cdot \pi}{n} \cdot p  \right ) \quad p \in [\; 0, \; 1, \; ..., \; n-1]</math>|{{EquationRef|12}}}}

{{NumBlk||'''Eksempel'''|{{EquationRef|105|Eks.&nbsp;5}}}}
Hvilke komplekse løsninger har ligningen <math>z^5 = -11 + 3 \cdot \mathrm i</math>?

For denne ligning er <math>r = \sqrt{(-11)^2 + 3^2} = \sqrt{130}</math> og <math>\varphi = \operatorname {arctanxy} (-11,3) = 2.875 \; 341 = 164.745^\circ</math>, så

:<math>z = \sqrt[10]{130} \cdot \operatorname{cis} \left ( 0.575 \; 068 + \tfrac {2 \cdot \pi}{5} \cdot p \right ) \quad p \in [\; 0, \; 1, \; 2, \; 3, \; 4,]</math>

Ved udregning fås værdierne
:{| class="wikitable" style="text-align: center
|-
! <math>p</math>
! <math>z_p</math>
|-
|<math>\quad 0 \quad</math>
|<math>\quad +1.365 \; 327 + 0.884 \;926 \cdot \mathrm i \quad</math>
|-
|<math>1</math>
|<math>-0.419 \; 705 + 1.571 \;960 \cdot \mathrm i</math>
|-
|<math>2</math>
|<math>-1.624 \; 719 + 0.086 \;599 \cdot \mathrm i</math>
|-
|<math>3</math>
|<math>-0.584 \; 426 - 1.518 \;439 \cdot \mathrm i</math>
|-
|<math>4</math>
|<math>+1.263 \; 524 - 1.025 \;046 \cdot \mathrm i</math>
|-
|}

I det komplekse plan danner de til <math>z_p</math> hørende punkter en regulær femkant, se figuren.

== Kompleks andengradsligning ==

=== Ligningen z² = c ===

Her er <math>c</math> et vilkårligt komplekst tal. Ligningen kan løses i både kartesiske og polære koordinater:

==== Løsning i kartesiske koordinater ====

Vi sætter <math>z = x + y \cdot \mathrm i</math> og <math>c = a + b \cdot \mathrm i</math>, hvor <math>a</math> og <math>b</math> er kendte reelle tal. Opgaven er da, at finde <math>x</math> og <math>y</math>.

:<math>(x + y \cdot \mathrm i)^2 = a + b \cdot \mathrm i</math>

:<math>(x^2 - y^2) + 2 \cdot x  \cdot y  \cdot \mathrm i = a + b \cdot \mathrm i</math>

:<math>\begin{cases} x^2 - y^2 = a \\ 2 \cdot x  \cdot y = b \end{cases}</math>

Man må opdele i forskellige tilfælde:

:<math>\mathbf {a = 0 \land b = 0:}</math>

::<math>(x^2 = y^2) \land (x \cdot y = 0) \, \Leftrightarrow \, (x = 0) \land (y = 0) \Leftrightarrow z = 0</math>

:<math>\mathbf {a = 0 \land b \neq 0:}</math>
::<math>x^2 = y^2 \, \Leftrightarrow \,  (x = y) \lor (x = -y)</math>

::<math>b > 0:</math> <math>x</math> og <math>y</math> har samme fortegn, dvs. <math>y = x</math>:
:::{|
|-
|<math>2 \cdot x^2 = b</math>
|<math>\, \Leftrightarrow \,</math>
|<math>\left ( x = \sqrt{ \frac {b}{2}} = y \right ) \lor \left ( x = -\sqrt{ \frac{b}{2}} = y \right )</math>
|-
|&nbsp;
|<math>\, \Rightarrow \,</math>
|<math>\left ( z = \sqrt{ \frac {b}{2}} + \sqrt{ \frac {b}{2}} \cdot \mathrm i \right ) \lor \left ( z = -\sqrt{ \frac {b}{2}} - \sqrt{ \frac {b}{2}} \cdot \mathrm i \right )</math>
|-
|}

::<math>b < 0:</math> <math>x</math> og <math>y</math> har modsat fortegn, dvs. <math>y = -x</math>:
:::{|
|-
|<math>-2 \cdot x^2 = b</math>
|<math>\, \Leftrightarrow \,</math>
|<math>\left ( x = \sqrt{ \frac {-b}{2}} = -y \right ) \lor \left ( x = -\sqrt{ \frac{-b}{2}} = -y \right )</math>
|-
|&nbsp;
|<math>\, \Rightarrow \,</math>
|<math>\left ( z = \sqrt{ \frac {-b}{2}} - \sqrt{ \frac {-b}{2}} \cdot \mathrm i \right ) \lor \left ( z = -\sqrt{ \frac {-b}{2}} + \sqrt{ \frac {-b}{2}} \cdot \mathrm i \right )</math>
|-
|}

:<math>\mathbf {a \neq 0 \land b = 0:}</math>

::<math>2 \cdot x  \cdot y = 0 \, \Rightarrow \, (x = 0) \lor (y = 0)</math>.

::<math>a > 0:</math> Så må <math>y = 0</math> og <math>(x = \sqrt{a}) \lor (x = -\sqrt{a})</math> dvs. <math>(z = \sqrt{a}) \lor (z = -\sqrt{a})</math>

::<math>a < 0:</math> Så må <math>x = 0</math> og <math>(y = \sqrt{-a}) \lor (y = -\sqrt{-a})</math> dvs. <math>(z = \sqrt{-a} \cdot \mathrm i) \lor (z = -\sqrt{-a} \cdot \mathrm i)</math>

:<math>\mathbf {a \neq 0 \land b \neq 0:}</math>

::Da <math>b \neq 0</math>, må også <math>x \neq 0</math>, så vi kan isolere <math>y</math> i den anden ligning, <math>y =\frac{b}{2 \cdot x}</math>, og indsætte dette i den første:

:::<math>x^2 - \frac{b^2}{4 \cdot x^2} = a  \, \Leftrightarrow \, 4 \cdot (x^2)^2 - 4 \cdot a \cdot x^2 - b^2 =0</math>.

::Denne fjerdegradsligningen er en iklædt andengradsligning med <math>x^2</math> som ubekendt. Ligningens diskriminant er

:::<math>d = (4 \cdot a)^2 - 4 \cdot 4 \cdot (-b) = 16 \cdot (a^2 + b^2) = 16 \cdot | c |^2</math>.

::Ifølge det forudsatte er <math>d > 0</math>, så løsningerne er

:::<math>x^2 = \frac{4 \cdot a \pm 4 \cdot | c |}{8} = \tfrac{1}{2} \cdot a \pm \tfrac{1}{2} \cdot | c |</math>.

::Da <math>|c| > a</math>, bliver højresiden negativ, hvis fortegnet <math>-</math> benyttes. Der er derfor kun én løsning for <math>x^2</math> og af den følger <math>y^2</math>:

:::<math>\begin{array}{lcl} x^2 & = &  &  & \tfrac{1}{2} \cdot ( | c | + a) \\ y^2 & = & x^2 - a & = & \tfrac{1}{2} \cdot ( | c | - a) \end{array} </math>

::<math>x</math> og <math>y</math> selv kan være positive eller negative, men ligningen <math>2 \cdot x \cdot y = b</math> viser, at deres produkt skal have samme fortegn som <math>b</math>. Fortegnet af et reelt tal <math>x</math> er giver ved ''signum''-funktionen, der defineres ved

:::<math>\operatorname {sign}(x) = \begin{cases} -1 &  \text{ for } x < 0 \\ \;\; 0 & \text{ for } x = 0 \\ \;\; 1 & \text{ for } x >0 \end{cases}</math>

::Signum-funktionen er implementeret i de fleste programmerinssprog; i dansk [[Microsoft Excel|''Excel'']] er den fordansket til "FORTEGN".

::Vi kan nu opskrive ligningens løsning:

:::{|
|-
|<math>x = +\sqrt {\tfrac{1}{2} \cdot ( | c | + a)} > 0</math>
|<math>\quad : \quad</math>
|<math>y</math> skal have samme fortegn som <math>b</math>, dvs.
|-
|&nbsp;
|&nbsp;
|<math>y = +\operatorname {sign}(b) \cdot \sqrt {\tfrac{1}{2} \cdot ( | c | - a)}</math>
|-
|<math>x = -\sqrt {\tfrac{1}{2} \cdot ( | c | + a)} < 0</math>
|<math>\quad : \quad</math>
|<math>y</math> skal have modsat fortegn af <math>b</math>, dvs.
|-
|&nbsp;
|&nbsp;
|<math>y = -\operatorname {sign}(b) \cdot \sqrt {\tfrac{1}{2} \cdot ( | c | - a)}</math>
|}

''Konklusion:''

Da de tre første specialtilfælde også dækkes ind af den generelle formel, er løsningerne i alle situationer givet ved

{{NumBlk|:|<math>z = \pm \left ( \sqrt{ \tfrac {1}{2} \cdot ( |c| + a)} + \operatorname {sign} (b) \cdot \sqrt{ \tfrac {1}{2} \cdot ( |c| - a)}  \cdot \mathrm i \right )</math>|{{EquationRef|13}}}}

De to løsninger er hinandens modsatte tal.

{{NumBlk||'''Eksempel'''|{{EquationRef|106|Eks.&nbsp;6}}}}

:<math>z^2 = c = -96 - 40 \cdot \mathrm i </math>

::Her er <math>|c| = \sqrt{(-96)^2 + (-104)^2} = \sqrt{10816} = 104</math>
::<math>z = \pm \left ( \sqrt{ \tfrac {1}{2} \cdot ( 104 - 96)} + (-1) \cdot \sqrt{ \tfrac {1}{2} \cdot ( 104 + 96)} \cdot \mathrm i \right )= \pm (\sqrt{4} - \sqrt{100} \cdot \mathrm i) = \pm (2 - 10 \cdot \mathrm i)</math>
::<math>(z = 2 - 10 \cdot \mathrm i) \, \lor \, (z = -2 + 10 \cdot \mathrm i)</math>

==== Løsning i polære koordinater ====

Her kan man benytte resultatet fra afsnittet, der behandlede [[#Ligningen zⁿ = c|ligningen <math>z^n= c</math>]]:

:<math>z = \sqrt{r} \cdot \operatorname{cis} \left ( \tfrac {\varphi}{2} + \pi \cdot p  \right ) \quad p \in [\; 0, \; 1 \;]</math>

eller, da addition af <math>\pi</math> betyder en drejning af løsningen på <math>180^\circ</math> og dermed et fortegnsskift,

:<math>z = \pm \sqrt{r} \cdot \operatorname{cis} \left ( \tfrac {\varphi}{2} \right ) </math>

Denne metode giver løsningen ved færre regninger, men har den ulempe, at man skal bruge trigonometriske funktioner både ved bestemmelsen af argumentet <math>\varphi</math> og ved brugen af <math>\operatorname {cis}</math>.
{{NumBlk||'''Eksempel'''|{{EquationRef|107|Eks.&nbsp;7}}}}

Vi betragter igen ligningen
:<math>z^2 = c = -96 - 40 \cdot \mathrm i </math>

for hvilken <math>r = |c| = 104</math> og <math>\varphi = \arg(c) = -157.380 \; 135^\circ</math>.
Løsningerne bliver derfor
:<math>z = \pm \sqrt{104} \cdot ( \cos(-78.690 \; 068) + \sin(-78.690 \; 068) \cdot \mathrm i)</math>
:<math>z = \pm ( \sqrt{104} \cdot 0.196 \; 116 - \sqrt{104} \cdot 0.980 \; 581 \cdot \mathrm i)</math>
:<math>z = \pm ( 2 - 10 \cdot \mathrm i)</math>
altså (naturligvis) samme resultat som ved regningen med kartesiske koordinater. Dog spiller afrundingsfejl en større rolle ved denne metode.

=== Rodsymboler og komplekse tal ===

For et vilkårligt ikke-negativt reelt tal, <math>x</math>, kan man definere tallets kvadratrod, <math>\sqrt {x}</math>, som det tal, der ganget med sig selv giver <math>x</math>:

:<math>\forall \; x \in \mathbb{R} \backslash \mathbb{R}_- \; \exist ! \; y \in \mathbb{R} \backslash \mathbb{R}_- \; : \; y = \sqrt {x} \quad \Leftrightarrow \quad y^2 = x</math>

Som angivet med [[Kvantor|eksistens-kvantoren]] <math>\exist !</math> er kvadratroden entydigt bestemt. Negative tal har ingen reel kvadratrod.

For de komplekse tal stiller sagen sig anderledes. Som vist i [[#Ligningen zⁿ = c|et tidligere afsnit]], har alle komplekse tal, bortset fra <math>0</math>, to forskellige (og modsatte) komplekse kvadratrødder. I {{EquationNote|106|eksempel 6}} blev det vist, at

:<math>z^2 = -96 - 40 \cdot \mathrm i \quad \Leftrightarrow \quad (z = 2 - 10 \cdot \mathrm i) \, \lor \, (z = -2 + 10 \cdot \mathrm i)</math>.

Dette kunne også skrives

:<math>\sqrt {-96 - 40 \cdot \mathrm i \,} = \pm (2 - 10 \cdot \mathrm i)</math>,

hvor kvadratrodssymbolet nu bruges til at angive en flertydig størrelse. Men hvis denne notation anvendes på reelle tal, opstår der uheldige skrivemåder som <ref name = "Carstensen"/>

:<math>\sqrt {25} = \pm 5 \,</math>

eller endog

:<math>\, \sqrt {7} = \pm \sqrt {7}</math>

I denne ligning indeholder venstre side et komplekst, flertydigt kvadratrodssymbol, medens højre side benytter et reelt, entydigt kvadratrodssymbol.

Det er derfor uhensigtsmæssigt at benytte rodsymboler i forbindelse med komplekse tal.

=== Generel andengradsligning ===

Den komplekse andengradsligning

:<math>a \cdot z^2 + b \cdot z + c = 0 \quad a, b, c \in \mathbb {C}, \quad a \neq 0</math>
kan omskrives med nøjagtig den samme fremgangsmåde, som i det [[Andengradsligning|reelle tilfælde]] til

:<math> (2 \cdot a \cdot z + b)^2 = d \equiv b^2 - 4 \cdot a \cdot c</math>

hvor <math>d</math> som i det reelle tilfælde kaldes andengradsligningens '''diskriminant'''.

Lad nu <math>r</math> betegne den ene af de to løsninger til ligningen <math> r^2 = d</math>. Som vist i forrige afsnit er den anden løsning det modsatte tal, <math>-r</math> . Andengradsligningen har da de to løsninger
{{NumBlk|:|<math>\left ( z = \frac{-b + r}{2 \cdot a} \right ) \quad \text{og} \quad \left ( z = \frac{-b - r}{2 \cdot a} \right )</math>|{{EquationRef|14}}}}

''Bemærkning''
Som vist kan rødder i andengradspolynomier udtrykkes ved hjælp af kvadratrødder. Det viser sig, at bestemmelse af rødder i tredje- og fjerdegradspolynomier også kan udtrykkes ved hjælp af rodsymboler. Men for ligninger af grad 5 eller højere er dette ikke generelt muligt. Dette blev første gang bevist af den norske matematiker [[Niels Henrik Abel]].

{{NumBlk||'''Eksempel'''|{{EquationRef|108|Eks.&nbsp;8}}}}

Lad os løse den komplekse andengradsligning

:<math>(1 - \mathrm i) \cdot z^2 - 4 \cdot z + 9 + 19 \cdot \mathrm i = 0</math>.

Vi identificerer
* <math>a = 1 - \mathrm i</math>,
* <math>b = -4</math>,
* <math>c = 9 + 19 \cdot \mathrm i</math>,
og beregner ligningens diskriminant til
:<math>d = b^2 - 4 \cdot a \cdot  c = (-4)^2 - (4 - 4 \cdot \mathrm i) \cdot  (9 + 19 \cdot \mathrm i) = 16 - 36 - 76 \cdot \mathrm i + 36 \cdot \mathrm i - 76 = -96 - 40\cdot \mathrm i</math>

Løsningerne til ligningen <math> r^2 = d</math> blev fundet i {{EquationNote|107|eksempel 7}} og en af dem er

:<math>r = 2 - 10 \cdot \mathrm i</math>.

De to rødder bliver derfor

:<math>z_1 = \frac{-b + r}{2 \cdot a} = \frac {4 + 2 - 10 \cdot \mathrm i}{2 - 2 \cdot \mathrm i} = \frac {3 - 5 \cdot \mathrm i}{1 - \mathrm i} \cdot \frac {1 + \mathrm i}{1 + \mathrm i} = \frac {8 - 2 \cdot \mathrm i}{2} = {\color{ForestGreen} 4 - \mathrm i}</math>

:<math>z_2 = \frac{-b - r}{2 \cdot a} = \frac {4 - 2 + 10 \cdot \mathrm i}{2 - 2 \cdot \mathrm i} = \frac {1 + 5 \cdot \mathrm i}{1 - \mathrm i} \cdot \frac {1 + \mathrm i}{1 + \mathrm i} = \frac {-4 + 6 \cdot \mathrm i}{2} = {\color{ForestGreen} -2 + 3 \cdot \mathrm i}</math>.

== Komplekse funktioner ==

Reelle funktioner kan beskrives med en funktionsforskrift <math>y = f(x)</math> og illustreres grafisk i et <math>(x, y)</math> koordinatsystem, hvor <math>x</math>-aksen indeholder definitionsmængden og <math>y</math>-aksen bruges til billedmængden. Det samme kan ikke gøres med funktioner med komplekse variable, <math>w = f(z)</math>, for et komplekst tal optager jo allerede to dimensioner. I stedet kan en kompleks funktion illustreres med to koordinatsystemer, et <math>z</math>-system til definitionsmængden og et <math>w</math>-system til billedmængden.

=== Kompleks konjugering ===

Konjugering blev defineret i afsnittet om [[#Elementære regneregler for komplekse tal|elementære regneregler]]. Ved udregning konstaterer man, at der gælder følgende regler for kompleks konjugering:

* <math>\overline{z + w} = \overline{z} + \overline{w} \!\ </math>
* <math>\overline{z \cdot w} = \overline{z} \cdot \overline{w} \!\ </math>
* <math>\left| \overline{z} \right| = \left| z \right|</math>
* <math>z + \bar{z} = 2 \cdot x</math>
* <math>z \cdot \bar{z} = \bar{z} \cdot z = x^2 + y^2 = |z|^2</math>
* <math>\overline{z} = \overline{r \cdot \exp (\varphi} \cdot \mathrm i) = r \cdot \exp (-\varphi \cdot \mathrm i)</math>

Bemærk, at sum og produkt af <math>z</math> og <math>\bar{z}</math> er reelle tal.

=== Kompleks lineær funktion ===

En '''kompleks lineær funktion''' har forskriften

:<math>f(z) = a \cdot z + b, \; a \in \mathbb C \in \{ 0 \}, \; b \in \mathbb C</math>

(Hvis <math>a = 0</math>, bliver <math>f(z)</math> en konstant funktion, der afbilder alle punkter i den komplekse plan i det komplekse tal <math>b</math>).

Specielt er
* <math>f(0) = b</math>
* <math>f(1) = a + b</math>
* <math>f(\mathrm i) = a \cdot \mathrm i + b </math>.

[[Fil:ComplexLinearMapping.svg|thumb|center|550px|Illustration af den komplekse lineære funktion <math>f(z) = a \cdot z + b</math>, hvor <math>a = \sqrt 3 + \mathrm i</math> og <math>b = 2 + \mathrm i</math>.
Et net af enhedskvadrater i <math>z</math>-planet afbildes ved <math>f</math> i et andet kvadratisk net i <math>w</math>-planet.
De tre komplekse tal <math>0</math>, <math>1</math> og <math>\mathrm i</math> samt afbildningens fikspunkt <math>z^*</math> er i <math>z</math>-planet markeret med farvede prikker hhv. et sort kryds.
Deres billeder i <math>w</math>-planet har de samme signaturer. Fikspunktet er defineret ved, at <math>f(z^*) = z^*</math>, så det bliver som det eneste på sit oprindelige sted.]]
Dette illustreres på figuren med funktionen <math>f(z) = (\sqrt 3 + \mathrm i) \cdot z + (2 + \mathrm i)</math>, der også viser, hvordan et kvadratisk net i <math>z</math>-planet afbildes i et strakt, roteret og forskudt kvadratisk net i <math>w</math>-planet. Matematisk set er der tale om en [[ligedannethed]].

Vi betragter først to specialtilfælde:

# <math>a = 1</math>: Så er <math>f(z) = z + b</math>, dvs. funktionen foretager en parallelforskydning med <math>b</math>.
# <math>b = 0</math>: Så er <math>f(z) = a \cdot z</math>. For kortheds skyld kalder vi funktionsværdien for <math>w</math>, <math>w = a \cdot z</math>.

::Vi har da

::<math>|w| = |a| \cdot |z|</math>: Multiplikation ud fra (0, 0) med <math>|a|</math>.

::<math>\arg (w) = \arg(a) + \arg(z)</math>: Rotation omkring (0,0) med <math>\varphi = \arg(a)</math>.

Herefter ser vi på det generelle tilfælde, hvor <math>a \neq 1 </math>:

Funktionen har da netop et fikspunkt <math>z^*</math> defineret ved, at <math>f(z^*) = z^*</math>:

:<math>a \cdot z^* + b = z^* \quad \Leftrightarrow \quad b =(1 - a) \cdot z^* \quad \Leftrightarrow \quad z^* = \frac{b}{1 - a}</math>.

Betegner vi som ovenfor funktionsværdien med <math>w</math>, kan vi omskrive således:

:<math>w = a \cdot z + b = a \cdot ( z -  z^*) + a \cdot z^* + b = a \cdot ( z -  z^*) + z^*</math>

:<math>w -  z^* = a \cdot ( z -  z^*)</math>

Heraf fremgår, at <math>f</math> strækker og roterer som omtalt ovenover, men gør det centreret på fikspunktet
<math>z^*</math>. Det orange kvadrat, som vises i <math>z</math>-planen på figuren, afbildes ved <math>f</math> i det orange kvadrat i <math>w</math>-planet. Det sker ved
# en strækning ud fra <math>z^*</math> med det lineære forhold <math>|a| = \sqrt {(\sqrt {3})^2 + 1^2} = 2</math>
# en rotation omkring <math>z^*</math> på <math>\arg(z) = \arctan \left ( 1/ \sqrt{3} \right ) = \pi /6 =  30 ^\circ</math>

{{NumBlk||'''Eksempel'''|{{EquationRef|109|Eks.&nbsp;9}}}}
'''Beregning af et fikspunkt <math>z^*</math>'''

For den komplekse lineære funktion på figuren er <math>a = \sqrt{3} + \mathrm i</math> og <math>b = 2 + \mathrm i</math>. Heraf følger, at

:{|
|<math>z^* </math>
|<math>\, = \,</math>
|<math>\frac{b}{1 - a} = \frac {2 + \mathrm i}{1 - \sqrt{3} - \mathrm i} = \frac {2 + \mathrm i}{1 - \sqrt{3} - \mathrm i} \cdot \frac {1 - \sqrt{3} + \mathrm i}{1 - \sqrt{3} + \mathrm i} = \frac{2 - 2 \cdot \sqrt{3}+ 2 \cdot \mathrm i + \mathrm i - \sqrt{3} \cdot \mathrm i - 1}{1 + 3 - 2 \cdot \sqrt{3} + 1}</math>
|-
|
|<math>\, = \,</math>
|<math>\frac{(1 - 2 \cdot \sqrt{3}) + (3 -  \sqrt{3}) \cdot \mathrm i}{5 - 2 \cdot \sqrt{3}} \cdot \frac {5 + 2 \cdot \sqrt{3}}{5 + 2 \cdot \sqrt{3}} </math>
|-
|
|<math>\, = \,</math>
|<math>\frac {(5 + 2 \cdot \sqrt{3} - 10 \cdot \sqrt{3} - 12) + (15 + 6 \cdot \sqrt{3} - 5 \cdot \sqrt{3} - 6)}{25 - 12}</math>
|-
|
|<math>\, = \,</math>
|<math>{\color{ForestGreen} \frac {-7 - 8 \cdot \sqrt{3}}{13} + \frac {9 + \sqrt{3}}{13} \cdot \mathrm i} \approx -1.604 \,339 + 0.825 \, 542 \cdot \mathrm i</math>
|}

=== Kompleks eksponentialfunktion ===

Den reelle eksponentialfunktion <math>\mathrm{exp}</math> er defineret ved, at dens differentialkvotient er lig funktionen selv, altså

: <math>\mathrm{exp}(x)' = \mathrm{exp}(x)</math>

Som konsekvens heraf er

: <math>\exp(a \cdot x)' = a \cdot \mathrm{exp}(x)</math>

Desuden opfylder <math>\mathrm{exp}</math> [[funktionalligning]]en

: <math>\mathrm{exp}(x + y) = \mathrm{exp}(x) \cdot \mathrm{exp}(y)</math>

==== Eksponentialfunktionen med imaginært argument ====

Med baggrund i ovenstående resultat indfører man følgende definition:

:{| class="wikitable" style="background: #FF99FF; width:40em; height:4em;"
|-
| &nbsp; '''Definition:''' <br/>
&nbsp;Eksponentialfunktionen med et imaginært argument defineres ved forskriften<br/>
&nbsp;<math>\exp(x\cdot \mathrm i) = \cos(x) + \sin(x) \cdot \mathrm i \quad x \in \mathbb{R}</math>
|}

At denne definition er fornuftig bestyrkes af nedenstående egenskaber:

:{|
|<math>\exp (x\cdot \mathrm i) \cdot \exp (y\cdot \mathrm i)</math>
|<math>\, = \,</math>
|<math>(\cos(x) + \sin(x) \cdot \mathrm i) \cdot (\cos(y) + \sin(y) \cdot \mathrm i)</math>
|&nbsp;
| Ifølge definitionen
|-
|&nbsp;
|<math>\, = \,</math>
|<math>(\cos(x) \cdot \cos(y) - \sin(x) \cdot \sin(y))</math>
|&nbsp;
|
|-
|&nbsp;
|<math>\, + \,</math>
|<math>(\cos(x) \cdot \sin(y) + \sin(x) \cdot \cos(y)) \cdot \mathrm i)</math>
|&nbsp;
| Ifølge parentesregneregler
|-
|&nbsp;
|<math>\, = \,</math>
|<math>\cos(x + y) + \sin(x+y) \cdot \mathrm i</math>
|&nbsp;
| Ifølge [[additionsformler]] for <math>\cos</math> og <math>\sin</math>
|-
|&nbsp;
|<math>\, = \,</math>
|<math>\exp ((x + y) \cdot \mathrm i)</math>
|&nbsp;
| Ifølge definitionen
|-
|}

Eksponentialfunktionens [[funktionalligning]], <math>\exp (p + q) = \exp (p) \cdot \exp (q)</math>, er dermed også opfyldt for imaginære argumenter.

De elementære funktioner <math>\sin</math>, <math>\cos</math> og <math>\exp</math> har følgende [[Taylorrække|rækkeudviklinger]] gældende for alle <math>x \in \mathbb{R}</math>

:<math>\sin(x) = x - {x^3 \over 3!} + {x^5 \over 5!} - {x^7 \over 7!} + ...</math>
:<math>\cos(x) = 1 - {x^2 \over 2!} + {x^4 \over 4!} - {x^6 \over 6!} + ...</math>
:<math>\exp(x) = 1 + {x \over 1!} + {x^2 \over 2!} + {x^3 \over 3!} + {x^4 \over 4!} + {x^5 \over 5!} + ...</math>

Hvis vi ønsker at kunne benytte disse også for komplekse tal, må der (da <math>\mathrm i ^2 = -1</math>!) gælde at
:{|
|-
|<math>\exp(x \cdot \mathrm i)</math>
|<math>\, = \,</math>
|<math>1 + {x \over 1!} \cdot \mathrm i - {x^2 \over 2!} - {x^3 \over 3!} \cdot \mathrm i + {x^4 \over 4!} + {x^5 \over 5!} \cdot \mathrm i ...</math>
|-
|&nbsp;
|<math>\, = \,</math>
|<math>\left ( 1   - {x^2 \over 2!}  + {x^4 \over 4!} + ...\right ) +  \left ( {x \over 1!}  - {x^3 \over 3!} +  {x^5 \over 5!}... \right ) \cdot \mathrm i</math>
|-
|&nbsp;
|<math>\, = \,</math>
|<math>\cos(x) + \sin(x) \cdot \mathrm i</math>
|-
|&nbsp;
|<math>\, = \,</math>
|<math>\mathrm{cis} (x)</math>
|-
|}

i overensstemmelse med ovenstående resultat.

==== Eksponentialfunktionen med komplekst argument ====

Vi ønsker, at funktionalligningen gældende for reel <math>\exp</math> skal gælde generelt:

:<math>\exp(x + y \cdot \mathrm i) =  \exp(x) \cdot \exp(y \cdot \mathrm i)= \exp(x) \cdot (\cos(y) + \sin(y) \cdot \mathrm i)</math>,

hvilket fører til følgende definition af <math>\exp</math> for et vilkårligt komplekst tal <math>z</math>:

:{| class="wikitable" style="background: #FF99FF; width:40em; height:4em;"
|-
| &nbsp; '''Definition:''' <br/>
&nbsp; Eksponentialfunktionen med et komplekst argument defineres ved forskriften<br/>
&nbsp; <math>\exp(z) = \exp(x + y \cdot \mathrm i) = \exp(x) \cdot (\cos(y) + \sin(y) \cdot \mathrm i)</math>
|}

I nogle fremstillinger af de komplkse tal<ref name = "Esrom"/> vælger man i stedet at definere <math>\exp(z)</math> som den ovenfor viste uendelige sum, altså
:<math>\exp(z)= \sum_{n = 0}^{\infty}\frac{z^n}{n!} = 1 + \frac{z}{1!} + \frac{z^2}{2!} + \frac{z^3}{3!} + ...</math>

Men det kræver et større forarbejde at vise, at denne sum er veldefineret, dvs. at den konvergerer for alle <math>z \in \mathbb {C}</math>.

==== Egenskaber for exp ====

Funktionalligningen for eksponentialfunktionen <math>\exp</math> kendt fra de reelle tal <math>\mathbb{R}</math>, forbliver gyldig ved udvidelsen til de komplekse tal <math>\mathbb{C}</math>, dvs. der gælder

:<math>\exp(z + w) = \exp(z) \cdot \exp(w)</math> for alle <math>z, w \in \mathbb{C}</math>

Af definitionen fremgår også, at

:<math>\exp(z) \neq 0</math> for alle <math>z \in \mathbb{C} </math>

Udregningen

:{|
|-
|<math>\exp(z + 2 \cdot \pi \cdot \mathrm i)</math>
|<math>\, = \,</math>
|<math>\exp(z) \cdot \exp(2 \cdot \pi \cdot \mathrm i)</math>
|-
|&nbsp;
|<math>\, = \,</math>
|<math>\exp(z) \cdot (\cos(2 \cdot \pi) + \sin(2 \cdot \pi)\cdot \mathrm i)</math>
|-
|&nbsp;
|<math>\, = \,</math>
|<math>\exp(z) \cdot (1 + 0 \cdot \mathrm i)= \exp(z)</math>
|-
|}

viser, at <math>\exp(z)</math> er periodisk med en imaginær periode på <math>2 \cdot \pi \cdot \mathrm i</math>.
Geometrisk betyder det, at alle komplekse tal, som i den komplekse talplan ligger på en linje parallel med den imaginære akse og med en indbyrdes afstand på <math>2 \cdot \pi</math> ved <math>\exp</math> afbildes i det samme tal. Med andre ord er <math>\exp</math> ikke injektiv og har derfor ikke nogen invers funktion.

[[Fil:ComplexExpStrips.svg|thumb|center|550px|Den komplekse funktion <math>\exp</math> afbilder enhver af de grå striber <math>S_n, n \in \mathbb {Z},</math> med højden <math>2 \cdot \pi</math> på den komplekse plan. Komplekse tal i <math>z</math>-planet med en indbyrdes forskel på <math>2 \cdot \pi \cdot \mathrm i</math> afbildes som vist med pile i samme punkt i <math>w</math>-planet. De to pile tegnet med cyan og magenta farve viser, hvis de vendes om, hvorden den komplekse logaritmefunktion <math>\operatorname {Log}</math> afbilder komplekse tal ind i striben <math>S_0</math>.]]

Illustrationen viser med grå farver strimler med en bredde på <math>2 \cdot \pi</math>. Strimlerne <math>S_n</math> karakteriseres med et helt tal <math>n</math> og defineres som

:<math>S_n = \{ z = x + y\cdot \mathrm i \, | \, (2 \cdot n - 1) \cdot \pi \, \leqq \, \mathrm{Im}\,(z) \, < \, (2 \cdot n + 1) \cdot \pi \} \quad n \in \mathbb{N}</math>

Når man vil undersøge, hvordan <math>\exp</math> afbilder <math>z</math>-planet ind i <math>w</math>-planet, kan man derfor begrænse sig til en strimmel af bredden <math>2 \cdot \pi</math>, for eksempel strimlen

:<math>S_0 = \{ x + y\cdot \mathrm i \, | \, -\pi \,\leqq y \, < \, +\pi \}</math>

Linjer i denne strimmel, som er parallelle med den reelle akse og som har afstanden <math>y^*</math> (regnet med fortegn), kan beskrives med parameterfremstillingen
:<math> z = t + y^* \cdot \mathrm i \quad t \in \mathbb{R}</math>.

Et punkt <math>z</math> på linjen afbildes ved <math>\exp</math> i punktet

:<math>w = \exp(z) = \cos(y^*) \cdot \exp(t) + \sin(y^*) \cdot \exp(t)</math>.

Når parameteren <math>t</math> gennemløber intervallet <math>] \,- \infty; \infty \,[</math>, gennemløber billedpunktet en åben halvlinie gående ud fra <math>(0,\, 0)</math> under vinklen <math>y^*</math>.

Liniestykker i denne strimmel, som er parallelle med den imaginære akse og som har afstanden <math>x^*</math> (regnet med fortegn), kan beskrives med parameterfremstillingen
:<math> z = x^* + t \cdot \mathrm i \quad t \in [ \, -\pi ; \pi [</math>.

Et punkt <math>z</math> på liniestykket afbildes ved <math>\exp</math> i punktet

:<math>w = \exp(z) = \exp(x^*) \cdot \cos(t) + \exp(x^*) \cdot \sin(t)</math>.

Når parameteren <math>t</math> gennemløber intervallet <math>[ \,- \pi; \pi \,[</math>, gennemløber billedpunktet en cirkel med centrum i <math>(0,\, 0)</math> og radius <math>\exp(x^*)</math>. Disse forhold illustreres på nedenstående figur.

[[Fil:ComplexExpMapping.svg|thumb|center|550px|Illustration af den komplekse eksponentialfunktions afbildning af det komplekse plan, <math>w = \exp(z)</math>. ''Til venstre'': <math>z</math>-planet med de tre komplekse tal 0, 1, og <math>\mathrm i</math>, et kvadratisk net med maskestørrelse 1, en del af den vandrette stribe <math>-\pi < \operatorname{Im}(z) < +\pi</math> (markeret med en lysegrå baggrund) samt to rektangler med grøn og magenta farve. ''Til højre'': Exp-billederne af disse objekter: Vandrette linjer afbildes i halvlinier, som udgår fra <math>0</math>, lodrette i cirkler med centrum i <math>0</math>. De danner kurveskarer, som lokalt står vinkelret på hinanden. Tallet <math>w = 0</math> er som det eneste ''ikke'' et billedpunkt.]]

=== Kompleks logaritmefunktion ===

Som vist i forrige afsnit er der komplekse eksponentialfunktion <math>\exp</math> ikke injektiv, idet den afbilder enhver af striberne <math>S_i</math> ind i de komplekse tal. Den har derfor ikke nogen invers (omvendt) funktion. Men hvis man begrænser dens definitionsmængde til én af disse striber, bliver den invertérbar. Hvis man begrænser sig til ''hovedstriben''

:<math>S_0 \equiv \{ z | -\pi \leqq \mathrm{Im}\,(z)) < \pi \}</math>

kan man regne sig frem til en forskrift for den inverse funktion<ref name = "Carstensen"/>. Betegner vi den begrænsede udgave af eksponentialfunktionen med <math>\exp _0</math> og dens inverse funktion med <math>\operatorname {Log}</math>, har vi

:<math>w = \exp _0 (z) \quad \Leftrightarrow \quad \operatorname {Log}(w) = z</math>

eller på koordinatform

:<math>u + v \cdot \mathrm i= \exp_0(x + y \cdot \mathrm i) \quad \Leftrightarrow \quad \operatorname {Log}(u + v \cdot \mathrm i) = x + y \cdot \mathrm i</math>

Vi bestemmer <math>x</math> og <math>y</math>:

:<math>u + v \cdot \mathrm i= \exp(x) \cdot (\cos(y) + \sin(y) \cdot \mathrm i) \quad \Leftrightarrow \quad (u = \exp(x) \cdot \cos(y)) \land (v = \exp(x) \cdot \sin(y))</math>

:<math>|w^2| = u^2 + v^2 = \exp(2 \cdot x) \quad \Leftrightarrow \quad \exp(x) = |w| \quad \Leftrightarrow \quad x = \ln(|w|)</math>

:<math>y = \arg(w) \in [-\pi; \, \pi[</math>

Forskriften for <math>\operatorname {Log}</math>, der kaldes logaritmens ''hovedværdi'', er derfor:

{{NumBlk|:|<math>\operatorname{Log}(z) =  \ln(|w|) + \arg(w) \cdot \mathrm i </math>|{{EquationRef|15}}}}

{{NumBlk||'''Eksempler'''|{{EquationRef|110|Eks.&nbsp;10}}}}

* <math>\operatorname{Log}(\mathrm i) =  \ln(1) + \arg(\mathrm i) \cdot \mathrm i = {\color{ForestGreen} \tfrac{\pi}{2} \cdot \mathrm i}</math>
* <math>\operatorname{Log}(4 + 6 \cdot\mathrm i) =  \ln(|4 + 6 \cdot\mathrm i|) + \arg(4 + 6 \cdot\mathrm i) \cdot \mathrm i =  {\color{ForestGreen} \ln(\sqrt{52}) + \arctan(6/4) \cdot \mathrm i} \approx 1.975 \,622 + 0.982 \,794 \mathrm i</math>
* <math>\operatorname{Log}(1 - 5 \cdot\mathrm i) =  \ln(|1 - 5 \cdot\mathrm i|) + \arg(1 - 5 \cdot\mathrm i) \cdot \mathrm i =  {\color{ForestGreen} \ln(\sqrt{26}) + \arctan(-5) \cdot \mathrm i} \approx 1.629 \,048 - 1.373 \,008 \mathrm i</math>

De to sidste eksempler kan ses illustreret på ovenstående figur med flertydighed for <math>\exp</math>: Hvis retningen af de to afbildningspile tegnet med cyan og magenta farve vendes om, viser de, hvordan <math>\operatorname{Log}</math> afbilder netop de to tal <math>4 + 6 \cdot\mathrm i</math> og <math>1 - 5 \cdot\mathrm i</math> ind i <math>S_0</math>.

=== Komplekse trigonometriske funktioner ===

Vi har defineret, at

:<math>\exp(x\cdot \mathrm i) = \cos(x) + \sin(x) \cdot \mathrm i \quad x \in \mathbb{R}</math>

Da <math>\cos</math> er en lige og <math>\sin</math> en ulige funktion, følger heraf, at <math></math> <math></math>

:<math>\exp(-x\cdot \mathrm i) = \cos(x) - \sin(x) \cdot \mathrm i \quad x \in \mathbb{R}</math>

Addition af disse to ligninger fører til, at

:<math>\cos(x) = \frac{\exp(x\cdot \mathrm i) + \exp(-x\cdot \mathrm i)}{2}</math>

Subtraktion giver

:<math>\sin(x) = \frac{\exp(x\cdot \mathrm i) - \exp(-x\cdot \mathrm i)}{2 \cdot \mathrm i}</math>

Vi udvider definitionsmængden til <math>\mathbb {C}</math> ved at definere

{{NumBlk|:|<math>\cos(z) = \frac{\exp(z\cdot \mathrm i) + \exp(-z\cdot \mathrm i)}{2} \quad z \in \mathbb{C}</math>|{{EquationRef|16}}}}
{{NumBlk|:|<math>\sin(z) = \frac{\exp(z\cdot \mathrm i) - \exp(-z\cdot \mathrm i)}{2 \cdot \mathrm i} \quad z \in \mathbb{C}</math>|{{EquationRef|17}}}}

Disse udtryk blev første gang udledt af den schweiziskse matematiker [[#Leonhard Euler|Leonhard Euler]] i 1748, og de kaldes derfor ''Eulers formler'' <ref name = "Esrom"/><ref name = "Hax"/>.

For reelle tal er <math>\cos</math> og <math>\sin</math> periodiske med perioden <math>2 \cdot \pi</math>. Denne egenskab bevares ved udvidelsen til de komplekse tal:

:<math>\begin{array}{lcl} \cos(z + 2 \cdot \pi) & = & \tfrac{1}{2} \cdot (\exp((z + 2 \cdot \pi)\cdot \mathrm i) + \exp(-(z + 2 \cdot \pi)\cdot \mathrm i) \\ & = & \tfrac{1}{2} \cdot (\exp(z \cdot \mathrm i) \cdot \exp(2 \cdot \pi \cdot \mathrm i)) + \exp(-z \cdot \mathrm i) \cdot \exp(-2 \cdot \pi \cdot \mathrm i)) \\ & = & \tfrac{1}{2} \cdot (\exp(z \cdot \mathrm i) ) + \exp(-z \cdot \mathrm i) \\ & = & \cos(z) \end{array} </math>

og tilsvarende for <math>\sin</math>.

De øvrige trigonometriske funktioner defineres som i det reelle tilfælde. For eksempel er tangens og cotangens fastlagt ved

:<math>\tan(z) = \frac{\sin(z)}{\cos(z)} \quad z \in \mathbb{C} \setminus \{ \tfrac{\pi}{2} + p \cdot \pi \, | \, p \in \mathbb{Z} \}</math>
:<math>\cot(z) = \frac{\cos(z)}{\sin(z)} \quad z \in \mathbb{C} \setminus \{ p \cdot \pi \, | \, p \in \mathbb{Z} \}</math>

{{NumBlk||'''Eksempler'''|{{EquationRef|111|Eks.&nbsp;11}}}}

:<math>\cos(\mathrm i) = \frac{\exp(-1) + \exp(+1)}{2} = {\color{ForestGreen} \tfrac{1}{2} \cdot ( \mathrm e + {\mathrm e}^{-1})} \approx 1.543 \, 081</math>

:<math>\sin(\mathrm i) = \frac{\exp(-1) - \exp(+1)}{2 \cdot \mathrm i} = \tfrac{1}{2} \cdot ( {\mathrm e}^{-1} - \mathrm e) \cdot (- \mathrm i) = {\color{ForestGreen} \tfrac{1}{2} \cdot ( \mathrm e - {\mathrm e}^{-1}) \cdot \mathrm i} \approx 1.175 \, 201 \cdot \mathrm i</math>

:<math>\tan(\mathrm i) = \frac{ \mathrm e - {\mathrm e}^{-1} }{\mathrm e + {\mathrm e}^{-1}} \cdot \mathrm i = {\color{ForestGreen} \frac{ {\mathrm e}^{2} - 1}{ {\mathrm e}^{2} + 1} \cdot \mathrm i} \approx 0.761 \, 594 \cdot \mathrm i</math>

Det første af de tre tal er rent reelt, de to andre rent imaginære.

Figuren nedenfor illustrerer, hvordan den komplekse cosinus-funktion afbilder den komplekse plan ind i den komplekse plan.

[[Fil:ComplexCosMapping.svg|thumb|center|550px|Illustration af den komplekse cosinus-funktions afbildning af det komplekse plan, <math>w = \cos(z)</math>. ''Til venstre'': <math>z</math>-planet med de fire komplekse tal <math>0</math>, <math>1</math>, <math>\mathrm i</math> og <math>1 + \mathrm i</math>, et kvadratisk net med maskestørrelse 0.5, en del af den lodrette stribe <math>-\pi < \operatorname{Re}(z) < +\pi</math> (markeret med en lysegrå baggrund) samt to rektangler med grøn og cyan farve. ''Til højre'': Cosinus-billedet af disse objekter: Vandrette linjer afbildes i [[ellipse]]r, lodrette i [[Hyperbel|hyperbler]], der alle har [[Brændpunkt (geometri)|brændpunkter]] i <math>-1</math> og <math>1</math>. De danner kurveskarer, som lokalt står vinkelret på hinanden.]]

=== Komplekse hyperbolske funktioner ===
Funktionerne defineres som i det [[Hyperbolske funktioner|reelle tilfælde]]:

:<math>\cosh(z) = \frac{\exp (z) + \exp (-z)}{2} \qquad</math> Kompleks hyperbolsk cosinus

:<math>\sinh(z) = \frac{\exp (z) - \exp (-z)}{2} \qquad</math> Kompleks hyperbolsk sinus

Ved at sammenligne med definitionerne på hyperbolsk cosinus og sinus, ser man, at der i de komplekse tals verden er der en enkel sammenhæng mellem trigonometriske og hyperbolske funktioner:

:<math>\begin{array}{lcl} 
\cosh(z) & = & \cos \left ( \frac {z}{ \mathrm i} \right ) & \quad \Leftrightarrow \quad & \cos (z) & = & \cosh(z \cdot \mathrm i) \\
\sinh(z) & = & \mathrm i \cdot \sin \left ( \frac {z}{ \mathrm i} \right ) & \quad \Leftrightarrow \quad & \sin (z) & = & -\mathrm i \cdot \sinh ( z \cdot \mathrm i ) \end{array} </math>

=== Formler for komplekse trigonometriske og hyperbolske funktioner ===

Man kan udtrykke de komplekse trigonometriske og hyperbolske funktioners real- og imaginærdele ved hjælp af de tilsvarende reelle funktioner:

:<math>\begin{array}{lcl} 
\cos(z) & = & \cos(x + y \cdot \mathrm i) \\
 & = & \tfrac{1}{2} \cdot (\exp ((x + y \cdot \mathrm i) \cdot \mathrm i) + \exp (-(x + y \cdot \mathrm i)\cdot \mathrm i)) \\
 & = & \tfrac{1}{2} \cdot (\exp (-y + x \cdot \mathrm i) + \exp (y - x \cdot \mathrm i)) \\
 & = & \tfrac{1}{2} \cdot (\exp (x \cdot \mathrm i) \cdot \exp(-y) + \exp (-x \cdot \mathrm i) \cdot \exp(y)) \\
 & = & \tfrac{1}{2} \cdot ( (\cos(x) + \sin(x) \cdot \mathrm i) \cdot \exp(-y) + (\cos(-x) + \sin(-x) \cdot \mathrm i)) \cdot \exp(y))\\
 & = & \tfrac{1}{2} \cdot ( (\cos(x) + \sin(x) \cdot \mathrm i) \cdot \exp(-y) + (\cos(x) - \sin(x) \cdot \mathrm i)) \cdot \exp(y)) \\
 & = & \tfrac{1}{2} \cdot \cos(x) \cdot (\exp(-y) + \exp(y)) +  \tfrac{1}{2} \cdot \sin(x) \cdot (\exp(-y) - \exp(y)) \cdot \mathrm i \\
 & = & \cos(x) \cdot \cosh(y) - \sin(x) \cdot \sinh(y) \cdot \mathrm i \\
\end{array} </math>

:<math>\begin{array}{lcl} 
\sin(z) & = & \sin(x + y \cdot \mathrm i) \\
 & = & \tfrac{1}{2\cdot \mathrm i} \cdot (\exp ((x + y \cdot \mathrm i) \cdot \mathrm i) - \exp (-(x + y \cdot \mathrm i)\cdot \mathrm i)) \\
 & = & \tfrac{1}{2\cdot \mathrm i} \cdot (\exp (-y + x \cdot \mathrm i) - \exp (y - x \cdot \mathrm i)) \\
 & = & \tfrac{1}{2\cdot \mathrm i} \cdot (\exp (x \cdot \mathrm i) \cdot \exp(-y) - \exp (-x \cdot \mathrm i) \cdot \exp(y)) \\
 & = & \tfrac{1}{2\cdot \mathrm i} \cdot ( (\cos(x) + \sin(x) \cdot \mathrm i) \cdot \exp(-y) - (\cos(-x) + \sin(-x) \cdot \mathrm i)) \cdot \exp(y))\\
 & = & \tfrac{1}{2} \cdot ( (-\cos(x) \cdot \mathrm i + \sin(x)) \cdot \exp(-y) - (-\cos(x) \cdot \mathrm i- \sin(x))) \cdot \exp(y)) \\
 & = & \tfrac{1}{2} \cdot \cos(x) \cdot (-\exp(-y) + \exp(y)) \cdot \mathrm i +  \tfrac{1}{2} \cdot \sin(x) \cdot (\exp(-y) + \exp(y))  \\
 & = & \sin(x) \cdot \cosh(y) + \cos(x) \cdot \sinh(y) \cdot \mathrm i \\
\end{array} </math>

:<math>\begin{array}{lcl} 
\cosh(z) & = & \cos \left ( \frac {z}{\mathrm i} \right ) = \cos \left ( \frac {x + y \cdot \mathrm i}{\mathrm i} \right )= \cos (y - x \cdot \mathrm i ) \\
 & = & \cos(y) \cdot \cosh(x) + \sin(y) \cdot \sinh(x) \cdot \mathrm i \\
\end{array} </math>

:<math>\begin{array}{lcl} 
\sinh(z) & =  & \sin \left ( \frac {z}{\mathrm i} \right ) \cdot \mathrm i = \sin (y - x \cdot \mathrm i ) \cdot \mathrm i \\
 & = & (\sin(y) \cdot \cosh(x) - \cos(y) \cdot \sinh(x) \cdot \mathrm i) \cdot \mathrm i \\
 & =  & \cos(y) \cdot \sinh(x) + \sin(y) \cdot \cosh(x) \cdot \mathrm i
\end{array} </math>

'''Eksempel:'''

:<math>\cos(4 + 3 \cdot \mathrm i) = {\color{ForestGreen} \cos(4) \cdot \cosh(3) - \sin(4) \cdot \sinh(4) \cdot \mathrm i} \approx -6.580  \, 663 + 7.581 \,553 \cdot \mathrm i</math>

=== Komplekse potensfunktioner ===

En '''potensfunktion''' har en forskrift af formen
:<math>p(z) = a_n \cdot z^n \quad a_n \in \mathbb {C} \setminus \{0\}, \quad n \in \mathbb {N}</math>
hvor koefficienten <math>a_n</math> er et komplekst tal forskellig fra <math>0</math> og potensen <math>n</math> er et naturligt tal.

Funktionens virkemåde kan undersøges ved at bestemme billedet af punkterne på en cirkel med centrum i <math>0</math> og radius <math>r</math>. En sådan cirkel kan beskrives med en vinkelparameter <math>\varphi</math>:
:<math>z = r \cdot \operatorname {cis} (\varphi), \quad \varphi \in [0; \, 2 \cdot \pi[</math>.
Vi skriver den komplekse koefficient <math>a_n</math> på polær form,
:<math>a_n = | a_n | \cdot \operatorname {cis} (\varphi_0), \quad \varphi_0 = \arg(a_n)</math>
Med anvendelse af ligningerne (?) og (?) ses, at cirklens billede bliver givet ved
:<math>w = p(z) = | a_n | \cdot \operatorname {cis} (\varphi _0) \cdot r^n \cdot \operatorname {cis} (n \cdot \varphi) = | a_n | \cdot r^n \cdot \operatorname {cis}(n \cdot \varphi + \varphi _0)</math>.
Dette er en cirkel med centrum i <math>0</math> og radius <math>| a_n | \cdot r^n</math>, som gennemløbes <math>n</math> gange, når <math>z</math> gennemløber cirklen én gang; begyndelsespunktet er faseforskudt vinklen <math>\varphi _0</math>, hvilket dog ikke ændrer billedets cirkelform.

[[Fil:ComplexMonomiaMapping.svg|thumb|center|550px|Enhedscirklen i <math>z</math>-planet til venstre afbildes af fire polynomier af grad 1 til 4 i de fire cirkler vist i <math>w</math>-planet til højre. Billederne af 18 punkter på enhedscirklen i første kvadrant begyndende med et grønt og et rødt punkt er ligeledes vist. Billedpunkterne er faseforskudte, og afstanden mellem dem vokser proportional med polynomiets grad.]]

Figuren illustrerer disse forhold for billedet af en enhedscirkel, <math>|z| = 1</math>, ved fire forskellige potensfunktioner,

:<math>p_1(z) = (+0.6 + 0.4 \cdot \mathrm i) \cdot z^1 + (+1 + \mathrm i), \quad \varphi _0 \approx  33.69 ^\circ</math>.
:<math>p_2(z) = (-0.4 + 0.4 \cdot \mathrm i) \cdot z^2 + (-1 + \mathrm i), \quad \varphi _0 \approx 123.69 ^\circ</math>.
:<math>p_3(z) = (-0.6 - 0.4 \cdot \mathrm i) \cdot z^3 + (-1 - \mathrm i), \quad \varphi _0 \approx 213.69 ^\circ</math>.
:<math>p_4(z) = (+0.4 - 0.6 \cdot \mathrm i) \cdot z^4 + (+1 - \mathrm i), \quad \varphi _0 \approx 303.69 ^\circ</math>.

Der er adderet en konstant til hver funktion for at kunne forskyde billedcirklerne til hver sin kvadrant. Atten punkter på den første fjerdedel af enhedscirklen er markeret, og deres billeder viser, at det går jo hurtigere rundt på billedcirklerne, des højere potensen <math>n</math> er.

=== Komplekse polynomier ===

Et '''polynomium''' af grad <math>n</math> har en forskrift af formen
:<math>P(z) = a_n \cdot z^n  + a_{n-1} \cdot z^{n-1} + ... + a_2 \cdot z^2 + a_1 \cdot z + a_0</math>

Polynomiets ''koefficienter'' <math>a_i</math> kan være vilkårlige komplekse tal, dog skal <math>a_n \neq 0</math>. Et komplekst tal <math>r</math> siges at være en ''rod'' i polynomiet <math>P(z)</math>, hvis
:<math>P(r) = 0</math>

''Nulpolynomiet'' <math>P(z) = 0</math> tildeles ingen grad.

''Nultegradspolynomier'' <math>P(z) = a_0, \quad a_0 \neq 0</math> har ingen rødder.

''Førstegradspolynomier'' <math>P(z) = a_1 \cdot z + a_0, \quad a_1 \neq 0</math> har én rod nemlig <math>r = -a_0 /a_1</math>.

''Andengradspolynomier'' <math>P(z) = a_2 \cdot z^2 + a_1 \cdot z + a_0, \quad a_2 \neq 0</math> har to rødder, nemlig dem, der blev bestemt i afsnittet om [[#Generel andengradsligning|andengradsligninger]].

Ifølge [[algebraens fundamentalsætning]] har et <math>n</math>-te grads [[polynomium]] <math>n</math> rødder og kan skrives på formen

:<math>P(z) = a_n \cdot (z-r_1) \cdot (z-r_2) \cdot  ... \cdot (z-r_n)</math>

hvor de <math>n</math> rødder <math>r_i</math> ikke nødvendigvis er forskellige.

Ifølge afsnittet om [[#Komplekse potensfunktioner|komplekse potensfunktioner]] afbilder <math>p(z) = a_n \cdot z^n</math> en cirkel med centrum i <math>0</math> og radius <math>r</math> i en cirkel med en ny radius, <math>|a_n| \cdot r^n</math>, som gennemløbes <math>n</math> gange. Da et polynomium er en sum af potensfunktioner, bliver billedet af en cirkel ved et polynomium en kurve, som er en sum af cirkelbevægelser med forskellig radius og frekvens, en art epicykelbevægelse. Figuren herunder viser et eksempel på dette. I artiklen [[algebraens fundamentalsætning]] vises yderligere billeder af andre cirkler ved det samme polynomium.

[[Fil:ComplexPolynomiaMapping.svg|thumb|center|550px|Tredjegradspolynomiet <math>P(z) = z^3  -15 \cdot z^2 + (57 + 48 \cdot \mathrm i) \cdot z + 33 - 56 \cdot \mathrm i</math> afbilder den til venstre viste cirkel med radius <math>r = 5</math> i kurven vist til højre. Udvalgte punkter på cirklen og deres billeder er ligeledes vist. Et af disse, <math>z_* = 3 + 4 \cdot \mathrm i</math>, er markeret med grøn farve. Det fremgår, at billedpunktet er <math>P(z_*) = 0</math>, så <math>3 + 4 \cdot \mathrm i</math> er en rod i polynomiet.]]

=== Eksempler ===

Tredjegradspolynomiet

:<math>P(z) = z^3  -15 \cdot z^2 + (57 + 48 \cdot \mathrm i) \cdot z + 33 - 56 \cdot \mathrm i</math>

har de tre komplekse rødder

:<math>r_1 = \mathrm i, \quad r_2 = 3 + 4 \cdot \mathrm i, \quad r_3 = 12 - 5 \cdot \mathrm i</math>

Sjettegradspolynomiet

:<math>P(z) = z^6  - 1</math>

har som vist i afsnittet om [[#Komplekse enhedsrødder|komplekse enhedsrødder]] de seks enhedsrødder

:<math>r_1 = +1, \qquad r_3 = +\tfrac {1}{2} + \tfrac {1}{2} \cdot \sqrt{3} \cdot \mathrm i , \qquad r_5 = -\tfrac {1}{2} + \tfrac {1}{2} \cdot \sqrt{3} \cdot \mathrm i</math>
:<math>r_2 = -1, \qquad r_4 = +\tfrac {1}{2} - \tfrac {1}{2} \cdot \sqrt{3} \cdot \mathrm i , \qquad r_6 = -\tfrac {1}{2} - \tfrac {1}{2} \cdot \sqrt{3} \cdot \mathrm i</math>.

De fire komplekse rødder er parvis hinandens konjugerede, og faktoriseringen af polynomiet kan derfor med fordel ske ved at parre konjugerede rødder:

:<math>(z - r_3) \cdot (z - r_4) = (z - \tfrac {1}{2} - \tfrac {1}{2} \cdot \sqrt{3} \cdot \mathrm i) \cdot (z - \tfrac {1}{2} + \tfrac {1}{2} \cdot \sqrt{3} \cdot \mathrm i) = (z - \tfrac {1}{2})^2 + \tfrac {3}{4} = z^2 - z + 1</math>

:<math>(z - r_5) \cdot (z - r_6) = (z + \tfrac {1}{2} - \tfrac {1}{2} \cdot \sqrt{3} \cdot \mathrm i) \cdot (z + \tfrac {1}{2} + \tfrac {1}{2} \cdot \sqrt{3} \cdot \mathrm i) = (z + \tfrac {1}{2})^2 + \tfrac {3}{4} = z^2 + z + 1</math>

Vi har derfor faktoriseringen

:<math>z^6  - 1 = (z - 1) \cdot (z + 1) \cdot (z^2 - z + 1) \cdot (z^2 + z + 1)</math>

=== Polynomier med reelle koefficienter ===

Det polynomium af grad seks, som blev omtalt i eksemplet, har reelle koefficienter og parvis konjugerede komplekse rødder. Dette gælder generelt: Vi betragter nu et polynomium, hvor alle koefficienter er reelle

:<math>P(z) = a_n \cdot z^n  +  ... + a_2 \cdot z^2 + a_1 \cdot z + a_0, \qquad a_i \in \mathbb{R}</math>

og antager at <math>r</math> er en rod , dvs.

:<math>a_n \cdot r^n  +  ... + a_2 \cdot r^2 + a_1 \cdot r + a_0 = 0</math>

Ligningen konjugeres og vi benytter regneregler fra afsnittet om [[#Kompleks konjugering|konjugering af komplekse tal]]:

:<math>\overline{a_n \cdot r^n  +  ... + a_2 \cdot r^2 + a_1 \cdot r + a_0} = \overline{0}</math>

:<math>\overline{a_n \cdot r^n}  +  ... + \overline{a_2 \cdot r^2} + \overline{a_1 \cdot r} + \overline{a_0} = 0</math>

:<math>\overline{a_n} \cdot \overline{r^n}  +  ... + \overline{a_2} \cdot \overline{r^2} + \overline{a_1} \cdot \overline{r} + \overline{a_0} = 0</math>

:<math>a_n \cdot \overline{r}^n  +  ... + a_2 \cdot \overline{r}^2 + a_1 \cdot \overline{r} + a_0 = 0</math>

Ved den sidste omskrivning benyttes at <math>a_i</math>-erne er reelle tal. Den viser, at også <math>\overline{r}</math> er rod i polynomiet.

Lad nu <math>P(z)</math> være et ikke-konstant polynomium med reelle koefficienter, der ''ikke'' har nogen reel rod. Ifølge algebraens fundamentalsætning må <math>P(x)</math> så have en rod <math>r</math>, som er kompleks. Ifølge ovenstående er også <math>\overline{r}</math> rod, så <math>P(z)</math> har faktorerne <math>z - r</math> og <math>z - \overline{r}</math>. Produktet af de to faktorer er

:<math>(z - r) \cdot (z - \overline{r}) = z^2 - (r + \overline{r}) \cdot z + r \cdot \overline{r}</math>

Koefficienterne i dette andengradspolynomium er [[#Kompleks konjugering|som tidligere vist]] reelle. Ved polynomiers division kan <math>P(x)</math> så skrives på formen

:<math>P(z) = (z^2 - (r + \overline{r}) \cdot z + r \cdot \overline{r}) \cdot Q(z)</math>

hvor <math>Q(x)</math> er et polynomium, hvis koefficienter ligeledes er reelle.

Hvis <math>P(z)</math> ''har'' reelle rødder, lad os sige i alt <math>m</math> rødder, så kan disse udspaltes i førstegradspolynomier:

:<math>P(z) = (z - r_1) \cdot (z - r_2) \cdot ... \cdot (z - r_m) \cdot Q(z)</math>
hvor polynomiet <math>Q(z)</math> ingen reelle rødder har. Da <math>Q(z)</math> som vist kan faktoriseres i andengradspolynomier, kan man konkludere følgende:

''Et ikke-konstant polynomium med reelle koefficienter kan skrives som et produkt af førstegradspolynomier og andengradspolynomier, som alle har reelle koefficienter.''

Eksemplet [[#Eksempler|ovenfor]] viser opspaltningen af polynomiet <math>z^6 - 1</math>.

== Matrixrepresentation af komplekse tal ==

Mængden af <math>2 \times 2 \;</math>-[[Matrix|matricer]] af formen
: <math>Z = \begin{pmatrix}a&-b\\b&a\end{pmatrix} = a \cdot \begin{pmatrix}1&0\\0&1\end{pmatrix} + b \cdot \begin{pmatrix}0&-1\\1&0\end{pmatrix} = a \cdot E + b \cdot I \,</math> med <math>\, a,b \in \R</math>
kan også anvendes til at modellere komplekse tal. De to enheder, det reelle tal <math>1</math> og det imaginære tal <math>\mathrm i</math>, repræsenteres af henholdsvis enhedsmatricen <math>E = \begin{pmatrix}1&0\\0&1\end{pmatrix}</math> og matricen <math>I = \begin{pmatrix}0&-1\\1&0\end{pmatrix}</math>. Der gælder derfor, at:
: <math>\operatorname{Re}(Z) = a</math>
: <math>\operatorname{Im}(Z) = b</math>
: <math>I^2 = -E</math>
: <math>\operatorname{abs}(Z) = \sqrt{a^2 + b^2} = \sqrt{\det Z}</math>
Mængden <math>\{ a \cdot E + b \cdot I \, | \, a,b \in \R \}</math> danner et [[Undervektorrum|underrum]] af [[vektorrum]]met dannet af reelle <math>2 \times 2</math>-matricer.

De reelle tal repræsenteres af [[Diagonalmatrix|diagonalmatricerne]] <math>\begin{pmatrix}a&0\\0&a\end{pmatrix}</math>, de imaginære tal af matricerne <math>\begin{pmatrix}0&-b\\b&0\end{pmatrix}</math>.

== De komplekse tals historie ==

[[Fil:1983 CPA 5426 (1).png|thumb|'''Muhammad Musa al-Khwarizmi''' (ca. 780 - 850) Persisk matematiker, der virkede det meste af sin tid i Bagdad. Mindefrimærke udstedt af [[Sovjetunionen]] 6. september 1983 i anledning af hans ca. 1200 års fødselsdag.]]
I forbindelse med behandlingen af kvadratiske ligninger har man meget tidligt bemærket og fremhævet det umulige i kvadratrodsuddragning af negative tal, altså retfærdiggøre at <math>x^2=-1 \Rightarrow x=\pm\sqrt{-1}</math> kunne tillægges en mening. Det skete allerede i den i 820 forfattede algebra-bog af den persiske matematiker [[Muhammad ibn Mūsā al-Khwārizmī|Muhammad al-Khwārizmī]] (efter hvem den matematiske disciplin [[algebra]] er opkaldt). Men matematikere blev ikke stående på det standpunkt, at ligninger af den nævnte type skulle være uløselige.

=== Tredjegradsligninger ===
[[Fil:Niccolò Tartaglia.jpg|thumb|'''Niccolò Fontana Tartaglia''' (ca. 1500 - 1577), italiensk matematiker]]
[[Fil:Jerôme Cardan.jpg|thumb|'''Gerolamo Cardano''' (1501 - 1576), italiensk matematiker, filosof, astrolog, opfinder og læge.]]

Tilskyndelsen til at studere hvad vi i dag kalder komplekse tal som et selvstændigt emne opstod i 1500-tallet hos de italienske matematikere [[Niccolò Fontana Tartaglia]], [[Gerolamo Cardano]] (''Ars magna,'' Nürnberg 1545) og [[Rafael Bombelli]] (''L’Algebra,'' Bologna 1572; sandsynligvis skrevet mellem 1557 og 1560) <ref name = "GerickeDe"/> <ref name = "GerickeDk"/> <ref name = "Carstensen"/>{{rp|59}}. De søgte efter rødder hos tredje- og fjerdegradspolynomier. Selv om man kun var interesseret i reelle rødder, viste formlerne, at man i visse tilfælde kom ud for kvadratrødder af negative tal.

Man søgte efter en metode til at finde rødder i tredjegradsligninger af formen

:<math>x^3 = p \cdot x + q</math>

En sådan blev fundet af Scipione del Ferro omkring 1515 og uafhængigt af ham af Niccolò Tartaglia i 1539.<ref name = "GerickeDk"/>{{rp|79}} Tartaglias metode bygger på at udregne kubus på summen af to kubikrødder. Med nutidig notation har vi, at
:<math>\left(\sqrt[3]{u} + \sqrt[3]{v}\right)^3 = 3 \cdot \sqrt[3]{u \cdot v} \left(\sqrt[3]{u} + \sqrt[3]{v}\right) + u + v</math>

Sætter man <math>x = \sqrt[3]{u} + \sqrt[3]{v}</math>, <math>p = 3 \cdot \sqrt[3]{u \cdot v}</math> og <math>q = u + v</math>, så kan <math>u</math> og <math>v</math> udtrykkes ved <math>p</math> og <math>q</math> som henholdsvis <math>u = q/2 + \sqrt{(q/2)^2 - (p/3)^3}</math> og <math>v = q/2 - \sqrt{(q/2)^2-(p/3)^3}</math>. Heraf følger, at

:<math>x = \sqrt[3]{q/2 + \sqrt{(q/2)^2-(p/3)^3}} + \sqrt[3]{q/2 - \sqrt{(q/2)^2-(p/3)^3}}</math>.

Hvis størrelsen <math>(q/2)^2 - (p/3)^3</math> er ikke-negativ, opstår der ingen problemer, dette tilfælde blev kaldt ''casus reducibilis''. Men er den negativ, kommer man ud på dybt vand til imaginære tal (''casus irreducibilis''); i så fald skal den anden kubikrod opfattes som den komplekst konjugerede af den første.

I 1545 offentliggjorde den italienske matematiker [[Gerolamo Cardano]] (1501–1576) sin bog ''Artis magnae sive de regulis algebraicis liber unus'' (''Det store værk om algebraens regler, bind 1'') <ref name = "KlineVol1"/>. Han havde tidligere fået overtalt Tartaglia til at røbe sin fremgangsmåde mod højtideligt at love ikke at afsløre den. Dette løfte holdt Cardano ikke, hvilket førte til en bitter strid mellem de to <ref name = "Carstensen"/>{{rp|56}}.

I bogen behandler Cardano også den opgave at finde to tal, hvis produkt er 40 og hvis sum er 10. Problemet fører til ligningen <math>x \cdot (10 - x) = 40</math> eller <math>x^2 - 10 \cdot x + 40 = 0</math>, og han fremhæver, at den ikke har nogen løsning. Men han tilføjer, at hvis man i løsningsformlen for en normeret [[andengradsligning]],
:<math>x_{1,2} = -\frac{p}{2}\pm\sqrt{ \frac{p^2}{4} - q }</math>
indsætter <math>p = -10</math> og <math>q = 40</math>, så fremkommer kvadratroden
: <math>\sqrt{25-40}=\sqrt{-15}</math>.
Hvis man kunne tillægge dette udtryk nogen mening, så ville tallene
:<math>x_1 = 5 + \sqrt{-15}</math>
:<math>x_2 = 5 - \sqrt{-15}</math>
faktisk være en løsning på problemet.

Problemet er her beskrevet med moderne notation. Cardano selv skrev de to komplekse rødder som <ref name = "GerickeDk"/>{{rp|78}}
:<math>5 \cdot \tilde{p} \cdot R \cdot \tilde{m} \cdot 15 \quad</math> og <math>\quad 5 \cdot \tilde{m} \cdot R \cdot \tilde{m} \cdot 15 \quad</math>
hvor <math>\tilde{p}</math> står for "plus", <math>\tilde{m}</math> for "minus" og <math>R</math> for "radix" (rod). De moderne symboler, <math>+</math>, <math>-</math> og <math>\surd</math> var endnu ikke i brug - og anvendelse af sådanne nye tegn ville kræve, at bogtrykkeren først fik fremstillet nye typer til at sætte dem med.

=== Rafael Bombelli ===

[[Fil:Bombelli - Algebra, 1572 - 56656.jpg|thumb|Bogen ''Algebra'' udgivet i 1572 af '''Rafael Bombelli''' (1526 - 1572)]]

Den italienske matematiker Bombelli er den første, der formulerer regler for, hvordan man skal regne med kvadratrødder af negative tal.<ref name = "Katz"/> Han benytter betegnelsen "più di meno" ("plus af minus") for hvad vi i dage ville skrive som <math>+ \sqrt{(-)}</math> og "men di meno" ("minus af minus") for <math>- \sqrt{(-)}</math>.

I bogen ''Algebra'' starter han pædagogisk med at formulere <span style="color:Green">velkendte regneregler</span> og introducerer så de <span style="color:Red">nye</span><ref name = "GerickeDk"/>{{rp|82}}:

{| class="wikitable" style="text-align: left;"
|+ '''Bombellis regneregler'''
|-
! style="width:25em;" |Bombellis verbale regneregel
! style="width:12em;" |Moderne skrivemåde for reglen
|-
|<span style="color:Green">Più via più fà più<br/>Plus gange plus giver plus</span>
|<span style="color:Green"><math>+ \sqrt{n} \cdot + \sqrt{n} = +n</math></span>
|-
|<span style="color:Green">Più via meno fà meno<br/>Plus gange minus giver minus</span>
|<span style="color:Green"><math>+ \sqrt{n} \cdot - \sqrt{n} = -n</math></span>
|-
|<span style="color:Green">Meno via meno fà più<br/>Minus gange minus giver plus</span>
|<span style="color:Green"><math>- \sqrt{n} \cdot - \sqrt{n} = +n</math></span>
|-
|<span style="color:Red">Più di meno via più di meno, fà meno<br/>Plus af minus gange plus af minus giver minus</span>
|<span style="color:Red"><math>+ \sqrt{-n} \cdot + \sqrt{-n} = -n</math></span>
|-
|<span style="color:Red">Più di meno via men di meno, fà più<br/>Plus af minus gange minus af minus giver plus</span>
|<span style="color:Red"><math>+ \sqrt{-n} \cdot - \sqrt{-n} = +n</math></span>
|-
|<span style="color:Red">Meno di meno via più di meno, fà più<br/>Minus af minus gange plus af minus giver plus</span>
|<span style="color:Red"><math>- \sqrt{-n} \cdot + \sqrt{-n} = +n</math></span>
|-
|<span style="color:Red">Meno di meno via men di meno, fà meno<br/>Minus af minus gange minus af minus giver minus</span>
|<span style="color:Red"><math>- \sqrt{-n} \cdot - \sqrt{-n} = -n</math></span>
|-
|}

=== Descartes og Leibniz ===

[[Billede:Christoph Bernhard Francke - Bildnis des Philosophen Leibniz (ca. 1695).jpg|thumb|
'''Gottfried Wilhelm Leibniz''' (1646 - 1716). Tysk matematiker. Portræt af Christoph Bernhard Francke ca. 1695.]]

Den franske filosof [[René Descartes]] tog afstand fra kvadratrødder af negative tal og indførte betegnelsen "imaginær" for dem i afhandlingen ''La Géométrie'' fra 1637<ref name = "Berg"/><ref name = "Descartes"/>.
{{quote|''([...] quelquefois seulement imaginaires c'est-à-dire que l'on peut toujours en imaginer autant que j'ai dit en chaque équation, mais qu'il n'y a quelquefois aucune quantité qui corresponde à celle qu'on imagine.)
[...] nogle gange alene imaginært, det vil sige, at man kan alene tænke på det som uvirkeligt, sådan som jeg har sagt ved hver ligning, men somme tider findes der ingen størrelse, som svarer til noget man kan forestille sig.''}}

Den tyske [[polyhistor]] og udvikler af differential- og integralregning, [[Gottfried Wilhelm Leibniz|Leibniz]], beskæftigede sig også med imaginære tal. Han påviste <ref name = "Carstensen"/>{{rp|58}}, at

:<math>\sqrt{1 + \sqrt{-3}} + \sqrt{1 - \sqrt{-3}} = \sqrt{6}</math>,

et resultat, der forbløffede mange, for hvordan kunne summen af to "uvirkelige" tal give et "virkeligt" tal? Leibniz selv betegnede i 1702 disse imaginære tal som <ref name = "Remmert"/>

{{quote|''...eine feine und wunderbare Zuflucht des menschlichen Geistes, beinahe ein Zwitterwesen zwischen Sein und Nichtsein.''
...en fin og vidunderlig tilflugt for det menneskelige sind, næsten en krydsning mellem væren og ikke-væren.}}

=== Abraham de Moivre ===
[[Fil:Abraham de moivre.jpg|thumb|'''Abraham de Moivre''' (1667-1754), fransk matematiker.]]

I 1700-tallet blev anvendelsen af komplekse tal mere almindelig, da man fandt ud af, at formel manipulation af udtryk med komplekse tal kunne bruges til at forenkle regning med trigonometriske funktioner. Således kunne [[Abraham de Moivre]] i 1707 vise, at
:<math> \cos x = \tfrac{1}{2} (\cos(nx) + \sin(nx) \cdot \mathrm i)^{1/n} + \tfrac{1}{2}(\cos(nx) - \sin(nx) \cdot \mathrm i)^{1/n}</math>
gjaldt for alle naturlige tal <math>n</math> <ref name = "Smith"/>.

Han tilskrives at have udledt den berømte formel

:<math>(\cos (x) + \sin (x) \cdot \mathrm i)^{n} = \cos (n \cdot x) + \sin (n \cdot x) \cdot \mathrm i. </math>

der i dag bærer hans navn. Den blev bevist i 1749 af Euler.

=== Leonhard Euler ===
[[Fil:Leonhard Euler.jpg|thumb|'''Leonhard Euler''' (1707 - 1783). Verdens mest produktive matematiker, her næsten blind på højre øje, senere også blind på det venstre. Portræt af Jakob Emanuel Handmann, 1753.]]
Den produktive schweiziske matematiker [[Leonhard Euler]] står bag meget af den notation, som også i dag benyttes inden for matematikken. Han populariserede anvendelsen af <math>\pi</math> som betegnelse for det konstante forhold mellem en cirkels omkreds og dens diameter (indført af waliseren William Jones) og indførte betegnelserne <math>\mathrm e</math> for grundtallet for den naturlige logaritmefunktion, <math>\Sigma</math> som symbol for en sum af beslægtede led, <math>f(x)</math> for funktionsværdi og også <math>\mathrm i</math> for den imaginære enhed <ref name = "Dunham"/>.

I 1748 kunne Euler forbinde de trigonometriske funktioner med eksponetialfunktionen, idet han udledte, hvad der i dag betegnede [[Eulers formel]]:

:<math>\cos (\varphi) + \sin (\varphi \cdot \mathrm i) = e ^{\varphi \cdot \mathrm i} </math>

Det gjorde han ved formel regning med komplekse [[potensrække]]r, jævnfør afsnittet [[#Kompleks eksponentialfunktion]]. Han noterede desuden, at man med denne formel kunne reducere enhver trigonometrisk identitet til en meget enklere eksponentiel identitet.

Det gav anledning til forvirring, at man ved anvendelse af den kendte regneregel for ikke-negative reelle tal,
:<math>\sqrt{a \cdot b} = \sqrt{a} \cdot \sqrt{b}</math>
på imaginære tal kunne nå frem til modstriden
:<math>1 = \sqrt{1} = \sqrt{(-1) \cdot (-1)} = \sqrt{-1} \cdot \sqrt{-1} = -1</math>
en ligning, som længe plagede Euler. Ikke desto mindre introducerede han komplekse tal for sine studerende langt tidligere end det er tilfældet i dag. I sin grundlæggende algebra-bog fra 1765, ''Vollständige Anleitung zur Algebra'', indførte han næsten straks komplekse tal og anvendte dem lige så naturligt som reelle tal.

[[Fil:VignetteEulerIdentity.svg|thumb|left|150px]]
Ligningen

:<math>\mathrm e ^{\varphi \cdot \mathrm i} = \cos(\varphi) + \mathrm i \cdot \sin(\varphi)</math>

er af fysikeren [[Richard Feynman|Richard P. Feynman]] blevet kaldt "the most remarkable formula in mathematics".<ref name = "Feynman"/>

Et specialtilfælde af denne formel, [[Eulers identitet]],

:<math>\mathrm e ^{\pi \cdot \mathrm i} + 1 = 0</math>

er ved en afstemning blandt matematikere i 1988 blevet betegnet som "den smukkeste formel i matematikken", fordi den samler begreberne ''addition'', ''multiplikation'' og ''potensopløftning'' i en elementær ligning, som indeholder de vigtige konstanter <math>0</math>, <math>1</math>, <math>\mathrm e</math>, <math>\mathrm i</math> og <math>\pi</math> og dermed repræsenterer de matematiske discipliner algebra, analyse og geometri.<ref name = "Wells1988/> <ref name = "Wells1990/>

=== Caspar Wessel ===

Den første, som fremkom med en geometrisk fortolkning af komplekse tal som punkter i et talplan, var den dansk-norske landmåler [[Caspar Wessel]], bror til digteren [[Johan Herman Wessel]] (der om Caspar skrev: "Han tegner Landkort og og læser Loven, han er ligesaa flittig, som jeg er doven" <ref name = "Carstensen"/>{{rp|59}}). Han ønskede at kunne regne med orienterede liniestykker for at lette beregningen af sider og vinkler i trekanter og andre polygoner. I 1799 fik han trykt en afhandling i [[Videnskabernes Selskab|Det kongelige danske videnskabernes Selskabs]] skrifter<ref name = "Wessel1799"/>, der bl.a. indeholder regler for addition og multiplikation af liniestykker. De relevante paragraffer er følgende; "unitet": "enhed", "perpendicular" : "vinkelret på":

{{Quotation|'''§1:'''<br/>
To rette Linier adderes, naar man først føier dem sammen, saaledes at den ene begynder, hvor den anden slipper, derefter drager fra de sammenføiedes første til sidste Punct en ret Linie, og antager saa denne for de sammenføiedes Sum... Ere de adderte Linier directe, stemmer Definitionen fuldkommen overeens med den sædvanlige.<br/><br/>
'''§4:'''<br/>
Productet af to rette Linier maa i alle Maader formeres af den ene Factor, som den anden er formeret af den positive eller absolutte Linie, der sættes <math>=</math> 1, der er:<br/>
Først maae Factorerne være af den Direction, at de begge kan optages i samme Plan som den positive Unitet.<br/>
Dernæst må i hensigt til Længden Productet forholde sig til den ene Factor, som den anden til Uniteten; og<br/>
Endelig, dersom man giver den positive Unitet, Factorerne og Produktet et fælles første Punct, skal Productet i Hensigt til dets Retning ligge i omtalte Unitets og Factores Plan, og afvige fra den ene Factor ligesaa mange Grader, og til samme side, som den anden Factor afviger fra Uniteten, saa at Productets Directionsvinkel, eller afvigning fra den positive Unitet, bliver saa stor som Summen af Factorernes Direktionsvinkler.<br/><br/>
'''§5''':<br/>
Lad <math>+1</math> betegne den positive retlinede Unitet, og <math>+\varepsilon</math> en vis anden Unitet, der er perpendicular på den positive, og har samme Begyndelsespunct: saa er Directionsvinkelen af <math>+1 = 0^\circ</math>, af <math>-1 = 180^\circ</math>, af <math>+\varepsilon = 90^\circ</math>, af <math>-\varepsilon = -90^\circ</math> eller <math>270^\circ</math>; og i Følge den Regel, at Productets Directionsvinkel er Summen af Factorernes, bliver<br/>
:<math>\begin{array}{lcl} (+1) \cdot (+1) = +1, & (+1) \cdot (-1) = -1 & (-1) \cdot (-1) = +1, 
\\ (+1) \cdot (+\varepsilon) = +\varepsilon, & (+1) \cdot (-\varepsilon) = -\varepsilon, & (-1) \cdot (+\varepsilon) = -\varepsilon,
\\ (-1) \cdot (-\varepsilon) = +\varepsilon, & (+\varepsilon) \cdot (+\varepsilon) = -1, & (+\varepsilon) \cdot (-\varepsilon) = +1, 
\\ (-\varepsilon) \cdot (-\varepsilon) = -1. &  &  
\end{array}</math>
<br/>Hvoraf sees, at <math>\varepsilon</math> bliver <math>\sqrt{-1}</math>, og Productets Afvigning bestemmes saaledes, at ei een enste af de almindelige Operationsregler overtrædes.
|Caspar Wessel|Om Directionens Analytiske Betegning, side 473 - 475|Videnskabernes Selskabs Skrifter, Kjøbenhavn 1799.}}

Fastsættelsen omtalt i §1 ville man i dag beskrive som reglen for addition af vektorer, og i §4 gives reglen for produktet af komplekse tal formuleret i polære koordinater. Endelig forklarer §5 omhyggeligt, hvordan man skal regne med <math>\varepsilon</math>, som i dag betegnes <math>\mathrm i</math>.

Men da Wessels afhandling var affattet på dansk i et relativt obskurt tidsskrift, forblev den upåagtet<ref name="Stillwell"/>, indtil en oversættelse til fransk blev udgivet i 1897<ref name = "Wessel1897"/>. Hundrede år senere blev skriftet også oversat til engelsk <ref name = "Wessel1997"/>.

=== Jean-Robert Argand ===

Uafhængigt af Wessel udgav den franske amatørmatematiker [[Jean-Robert Argand]] (1768 - 1783) i 1806 et ligeledes obskurt privattryk med de samme idéer om en kompleks talplan. I pamfletten gav han også et bevis for [[algebraens fundamentalsætning]], der siger, at ethvert ikke-konstant polynomium har en rod (og dermed at et polynomium af grad <math>n</math> har <math>n</math> rødder). Den franske matematiker [[Adrien-Marie Legendre|Legendre]] fik kendskab til skriftet og fra 1813 blev det kendt i brede kredse. [[Carl Friedrich Gauss|Gauss]] omtaler fremstillingen i et brev til [[Friedrich Bessel]] dateret 18. december 1811 <ref name = "KlineVol2"/>.

=== Carl Friedrich Gauss ===

[[Fil:Carl Friedrich Gauss 1840 by Jensen.jpg|thumb|'''Carl Friedrich Gauß''' (1777–1855), malet af Christian Albrecht Jensen. Gauß regnes som den største af alle matematikere, på latin ''Princeps mathematicorum.''<ref name = "Zeidler"/>]]

[[Carl Friedrich Gauss]] havde allerede tidligere beskæftiget sig med [[algebraens fundamentalsætning]] og offentliggjort et topologisk bevis for den i 1797, men her udtrykt tvivl om "den sande metafysik af kvadratroden af −1".

Gauss' arbejdsmotto var ''pauca sed matura'' (sparsomt, men modent), og han offentliggjorde derfor ikke noget, før han selv syntes, at det var fuldstændigt og hævet over kritik. Først i 1831 var den nævnte tvivl blevet overvundet. Han offentliggjorde da en afhandling, ''Theoria residuorum biquadraticorum'' (Teorien for bikvadratiske residuer) , i hvilken han indførte betegnelsen "komplekse tal" og lagde grunden for den notation og terminologi, som benyttes i dag:

{{quote|...tales numeros vocabimus numeros integros complexos, ita quidem, ut reales complexis non opponantur, sed tamquam species sub his contineri censeatur.<br/>
...sådanne tal kalder vi hele , komplekse tal, således at de reelle tal ikke står i modsætning til de komplekse tal, men betragtes som indeholdt i dem som en underart.<br/>
- Bind 2, side 102 af ''Carl Friedrich Gauss' Werke'', 12 bind, Göttingen, 1870 - 1933. <ref name = "GerickeDk"/>{{rp|77}}}}

Gauss beskrev komplekse tal ved hjælp af punkter i en plan, den ''gaussiske talplan''. Om den tidligere uvilje mod imaginære tal skriver han:

{{quote|Hvis dette emne hidtil er blevet betragtet fra et forkert synspunkt og har været indhyllet i mystik og mørke, så skyldes det for en stor del en uhensigtsmæssig terminologi. Hvis man i stedet for at kalde <math>+1</math>, <math>-1</math> og <math>\sqrt{-1}</math> for ''positiv'', ''negativ'' og ''imaginær'' (eller endnu værre ''umulig'') enhed havde brugt betegnelser som for eksempel ''direkte'', ''modsat'' og ''lateral'' enhed, så ville der næppe have være plads for en sådan grad af uklarhed".<br/>- Gauss<ref name = "Merino"/>}}

Gauss overvejede også, om det var muligt at udvide de regneregler, som gjaldt for todimensionale komplekse tal til tredimensionale talpar. Han bebudede en afhandling...

{{quote|...som også vil besvare spørgsmålet om, hvorfor forholdene mellem ting, som fremstiller en mangfoldighed med mere end to dimensioner, endnu ikke er i stand til at opvise andre størrelsesarter end dem, der er tilladt i den almindelige aritmetik.<br/>
- Bind 2, side 178 af ''Carl Friedrich Gauss' Werke'', 12 bind, Göttingen, 1870 - 1933. <ref name = "GerickeDk"/>{{rp|106}}}}

Citatet antyder, at Gauss havde indset, at en sådan udvidelse ikke er mulig.

=== Augustin Louis Cauchy ===

[[Fil:Augustin-Louis Cauchy 1901.jpg|thumb|'''Augustin Louis Cauchy''' (1789 - 1857), fransk matematiker. Lithografi fra omkring 1840 af Zéphirin Belliard efter et maleri af Jean Roller.]]

Den [[Kompleks analyse|komplekse funktionsteori]] regnes for grundlagt af den franske matematiker [[Augustin Louis Cauchy]], der var en flittig skribent, idet han i sin karriere offentliggjorde over 800 videnskabelige artikler og fem lærebøger inden for matematik og matematisk fysik. I 1814 indleverede et skrift om kompleks integration til det franske akademi; det blev dog først offentliggjort i 1825. I 1821 udgav han lærebogen ''Cours d’analyse'', hvor han indførte en regoristisk behandling af bl.a. begrebet [[kontinuitet]] ved hjælp af den stadig i dag anvendte <math>\varepsilon - \delta</math> formalisme.

Cauchy behandlede funktioner, som afbilder den komplekse plan ind i den komplekse plan, og han undersøgte specielt [[holomorfe funktion]]er, dvs. funktioner af en kompleks variabel, der er differentiable i en omegn af ethvert punkt i sin definitionsmængde. Om en sådan funktion <math>f(z)</math> beviste han, at linjeintegralet beregnet langs en vilkårlig lukket kurve <math>C</math> er nul:

:<math> \oint_C f(z)dz = 0 </math>

Dette resultat betegnes i dag ''Cauchys integralsætning''.

=== William Hamilton ===
[[Fil:William Rowan Hamilton portrait oval combined.png|thumb|'''William Rowan Hamilton''' (1805 - 1865), irsk matematiker der fandt en modsætningsfri måde at definere komplekse tal på og som senere udvidede disse til mængden af [[kvaternioner]] (hyperkomplekse tal).]]

I 1833 fik den irske matematiker [[William Rowan Hamilton]] konstrueret en modsætningsfri definition af komplekse tal <math>a + b \cdot \mathrm i</math> som ordnede par <math>(a,b)</math> af reelle tal, hvor addition og multiplikation foregår efter reglerne <ref name="Alten"/>

:<math>\begin{array}{lcl}
(a_1,b_1)+(a_2,b_2) & = & (a_1 + a_2,b_1 + b_2)\\
(a_1,b_1) \cdot (a_2,b_2) & = & (a_1 \cdot a_2 - b_1 \cdot b_2,a_1 \cdot b_2 + a_2 \cdot b_1)
\end{array}</math>

Hamilton introducerede også den [[#Funktionen cis|ovenfor]] indførte funktion <math>\operatorname{cis}</math> <ref name="Hamilton_1899"/>.

I mange år arbejdede Hamilton på at forsøge at udvide talbegrebet fra de komplekse tals to dimensioner til tre: Er det muligt at definere addition og multiplikation for reelle talsæt <math>(a_1, a_2, a_3)</math> på en sådan måde, at der fremkommer et legeme? Han opdagede i 1843, at dette ikke var muligt, men hvis man gik en dimension op og betragtede fire-dimensionale talpar <math>(a_1, a_2, a_3, a_4)</math>, så kunne det gøres<ref name = "Carstensen"/>{{rp|79}}. Dog måtte man for at konstruere tallegemet afstå fra kravet om, at multiplikation er kommutativ. Hamiltons tallegeme kaldes [[Kvaternioner|kvaternionlegemet]], og for dets elementer, kvaternionerne, gælder altså ''ikke'' generelt, at <math>a \cdot b = b \cdot a</math>.

=== Den senere udvikling ===

Teorien for holomorfe (dvs. overalt differentiable funktioner) blev påbegyndt i 1825 af [[Augustin Louis Cauchy|Cauchy]] og videreudviklet af især [[Bernhard Riemann]] og [[Karl Weierstrass]] op gennem det 19. århundrede<ref name = "Berg"/>{{rp|9}}. De i dag almindeligt anvendte begreber inden for komplekse tal stammer hovedsageligt fra grundlæggerne. Argand betegnede størrelse <math>\cos (\varphi) + \sin (\varphi) \cdot \mathrm i</math> for ''retningsfaktoren'' og <math>r = \sqrt{a^2 + b^2}</math> for ''modulus''; Cauchy (1828) kaldte <math>\cos (\varphi) + \sin (\varphi)\cdot \mathrm i</math> for en ''reduceret form'' (l'expression réduite) og synes at have indført betegnelsen ''argument''; Gauss introducerede <math>i</math> for <math>\sqrt{-1}</math>, begrebet ''komplekst tal'' for <math> a + b \cdot \mathrm i</math> og kaldte <math>a^2 + b^2</math> for tallets ''norm''. Udtrykket ''retningskoefficient'', som ses anvendt for <math>\cos(\varphi) + \sin( \varphi) \cdot \mathrm i</math> skyldes [[Hermann Hankel]] (1867) og termen ''absolut værdi'' for ''modulus'' stammer fra [[Karl Weierstrass]].

I dag regner man lige så problemfrit med komplekse tal som med reelle tal og betegnelsen ''imaginær'' skal udelukkende ses historisk.

== Anvendelser ==

* [[Kompleks analyse|Kompleks funktionsteori]]
* [[Fraktal]]er.
* Uden for matematikken finder komplekse tal udbredt anvendelse i [[elektrodynamik]] og [[kvantemekanik]].
* Elektriske kredsløb <ref name = "Hax"/>{{rp|43-72}}.

== Henvisninger ==
{{reflist|refs=
<ref name = "KR">Erik Kristensen, Ole Rindung (1964). ''Matematik III''. Kapitel III. G.E.C. Gads Forlag.</ref>
<ref name = "Esrom">Mogens Esrom Larsen. ''Komplekse tal og funktioner''. Gyldendal, 1973. {{ISBN|8700840912}}.</ref>
<ref name = "Carstensen">Jens Carstensen. ''Komplekse tal''. Systime, 3. udgave 1995. {{ISBN|87 7783 412 7}}.</ref>
<ref name = "Hax">Knud Erik Nielsen, Esper Fogh (2009) .''Komplekse tal - teori og anvendelse''. Forlaget Hax. {{ISBN|978-87-89839-35-6}}.</ref>
<ref name = "MathWorld">{{cite web|url=http://mathworld.wolfram.com/ComplexNumber.html|title=Komplekse tal på Mathworld}}</ref>
<ref name = "EjKursiv">{{kilde nyheder |first=Tore |last=Gustafson |title= Komplexa tal |journal= Särttryck ur Differentialekvationer och komplexa tal |page=1 |year=2013 |url=http://www.users.abo.fi/togustaf/DiffE/KomplexaTal.pdf |sprog=sv |access-date=2020-04-07}}</ref>
<ref name = "GerickeDe">Helmuth Gericke (1970). ''Geschichte des Zahlbegriffs''. [[Mannheim]]: Bibliographisches Institut AG.</ref>
<ref name = "GerickeDk">Helmuth Gericke (1994). ''Talbegrebets historie''. Oversat af Kirsti Andersen og Kate Larsen. Matematiklærerforeningen, [[Aarhus Universitet]]. {{ISBN|87-89229-66-5}}.</ref>
<ref name = "KlineVol1">Morris Kline (1972). ''Mathematical thought from ancient to modern times''. Oxford University Press. '''1''' s.&nbsp;253.</ref>
<ref name = "KlineVol2">Morris Kline (1972). ''Mathematical thought from ancient to modern times''. Oxford University Press. '''2'''. s.&nbsp;631.</ref>
<ref name = "Remmert">R. Remmert (1983). ''Komplexe Zahlen''. I: H.-D. Ebbinghaus et al.: ''Zahlen''. Springer. s. 48.</ref>
<ref name = "Katz">{{cite book |last1=Katz |first1=Victor J. |title=A History of Mathematics, Brief Version |section= 9.1.4 |publisher=[[Addison-Wesley]] |isbn=978-0-321-16193-2 |year=2004}}</ref>
<ref name = "Berg">Christian Berg (2004). [http://web.math.ku.dk/noter/filer/2kf-05.pdf "Kompleks funktionsteori"], Noter. Københavns Universitet, Matematisk Afdeling.</ref>
<ref name = "Descartes">{{cite book |title=La Géométrie &#124; The Geometry of René Descartes with a facsimile of the first edition |author=[[René Descartes]] |year=1954 |orig-year=1637 |publisher=[[Dover Publications]] |isbn=978-0-486-60068-0 |page= |url=https://archive.org/details/geometryofrenede00rend |access-date=20. april 2011 }}</ref>
<ref name = "Dunham">William Dunham (1999). ''Euler: The Master of Us All''. Mathematical Association of America. {{isbn|978-0-88385-328-3}}.</ref>
<ref name = "Feynman">[[Richard P. Feynman]], Robert B. Leighton, Matthew Sands (1963). I ''The Feynman Lectures on Physics, Volume I''. Kapitel 22: "Algebra", s. 22-10. Addison-Wesley.</ref>
<ref name = "Wells1988">David Wells (1988). "Which is the most beautiful?". ''Mathematical Intelligencer''. '''10''' (4): 30-31. {{doi|10.1007/BF03023741}}.</ref>
<ref name = "Wells1990">David Wells (1990). "Are these the most beautiful?". ''Mathematical Intelligencer''. '''12'''(3): 37-41. {{doi|10.1007/BF03024015}}.</ref>
<ref name = "Wessel1799">{{cite journal | last=Wessel | first=Caspar | date=1799 | url=https://archive.org/stream/nyesamlingafdetk5179kong#page/468/mode/2up | title=Om Directionens analytiske Betegning, et Forsøg, anvendt fornemmelig til plane og sphæriske Polygoners Opløsning |  journal=Nye Samling af det Kongelige Danske Videnskabernes Selskabs Skrifter| volume=5 | pages=469–518 | location=København | publisher=Det Kongelige Danske Videnskabernes Selskab}} </ref>
<ref name = "Wessel1897">{{cite book | title=Essai sur la représentation analytique de la direction | trans-title=Afhandling om retningens analytiske repræsentation | last=Wessel | first=Caspar | date=1799 | translator-first=H. G. | translator-last=Zeuthen | url=http://gallica.bnf.fr/ark:/12148/bpt6k99681g/f1.image | location=København | publisher=Royal Danish Academy of Sciences and Letters | publication-date=1897 | language=fr}}</ref>
<ref name = "Wessel1997">{{cite book | title=On the analytical representation of direction: an attempt applied chiefly to solving plane and spherical polygons, 1797 | date=1797 | first=Caspar | last=Wessel | translator-first=Flemming | translator-last=Damhus | editor-first1=Bodil | editor-last1=Branner | editor-first2=Jesper | editor-last2=Lützen | isbn=8778761581 | oclc=43346556 | publication-date=1997 | language=en | publisher=C. A. Reitzels Forlag| location=København}}</ref>
<ref name = "Stillwell">John Stillwell. ''Mathematics and its History''. Springer. s.&nbsp;287.</ref>
<ref name = "Smith">{{cite book|title=A Source Book in Mathematics, Volume 3|first=David Eugene|last=Smith|publisher=Courier Dover Publications|year=1959|isbn=9780486646909|page=444|url=https://books.google.com/books?id=3TSKAAAAQBAJ&pg=PA444}}</ref>
<ref name = "Zeidler">{{cite book |last=Zeidler |first=Eberhard |title=Oxford Users' Guide to Mathematics |location=Oxford, UK |publisher=[[Oxford University Press]] |year=2004 |isbn=978-0-19-850763-5 |page=[https://archive.org/details/oxfordusersguide00zeid/page/n1210 1188] |title-link=Oxford Users' Guide to Mathematics}}</ref>
<ref name = "Merino">Citeret fra [http://www.math.uri.edu/~merino/spring06/mth562/ShortHistoryComplexNumbers2006.pdf "A Short History of Complex Numbers"]. Orlando Merino. University of Rhode Island. Januar 2006.</ref>
<ref name = "Alten">{{Literatur |Autor=Heinz-Wilhelm Alten |Titel=4000 Jahre Algebra. Geschichte, Kulturen, Menschen |Verlag=Springer |Ort=Berlin m.&nbsp;fl. |Datum=2003 |ISBN=3-540-43554-9 |Seiten=310}}</ref>
<ref name="Hamilton_1899">{{cite book |title=Elements of Quaternions |author-first=William Rowan |author-last=Hamilton |author-link=William Rowan Hamilton |editor-first1=William Edwin |editor-last1=Hamilton |editor-link1=William Edwin Hamilton |editor-first2=Charles Jasper |editor-last2=Joly |editor-link2=Charles Jasper Joly |date=1899 |orig-year=1866 |edition=2 |volume=I |publisher=Longmans, Green & Co. |publication-place=London, UK |page=262 |url=https://archive.org/details/117770258_001 |access-date=2019-08-03 |quote=<small>[…] recent ''abrigdement'' cis for <math>\cos + \mathrm i \sin</math> […]</small>|postscript=&nbsp;(genoptrykt af Chelsea Publishing Company i 1969).}} </ref>
}}

{{Navboks Tal}}
{{autoritetsdata}}

{{lovende}}

[[Kategori:Komplekse tal| ]]
[[Kategori:Kompleks analyse]]
[[Kategori:Tal]]