Mostrar código-fonte de Número complexo

{{Mais notas|data=abril de 2021}}
{{Conjuntos de números}}
Em [[matemática]], um '''número complexo''' é um elemento de um [[sistema numérico]] que contém os [[números reais]] e um elemento específico denotado {{mvar|i}}, chamado de unidade imaginária, e que satisfaz a equação {{math|1=''i''{{sup|2}} = −1}}.

O fato de um [[número negativo]] não ter [[raiz quadrada]] parece ter sido claro para os matemáticos que se depararam com esta questão, até a concepção do modelo dos números complexos.<ref name="PRINC">Whitehead, Alfred North & Russell, Bertrand: ''Principia Mathematica''. 3 vols, Merchant Books, 2001, ISBN 978-A1603861823 (vol. 1), ISBN aw978-1603861830 (vol. 2), ISBN 978-1603861847 (vol. 3)</ref><ref name="INTRO">Russell, Bertrand (1919), ''Introduction to Mathematical Philosophy'', George Allen and Unwin, London, UK. Reimpressão, John G. Slater (intro.), Routledge, London, UK, 1993</ref> Um '''número complexo''' é um [[número]] '''<math>z</math>''' que pode ser escrito na forma '''<math>z = x + yi</math>''', sendo <math>x</math> e <math>y</math> números reais e '''<math>i</math>''' denota a [[unidade imaginária]]. Esta tem a propriedade <math>i^2 = -1,</math> sendo que <math>x</math> e <math>y</math> são chamados respectivamente '''parte real''' e '''parte imaginária''' de '''<math>z</math>'''.<ref>''Trigonometria e Números Complexos'', por M. P. do Carmo, A. C. Morgado, E. Wagner; IMPA-VITAE, Brasil, 1992</ref><ref name="GIEZZI">{{citar livro|primeiro=Iezzi|último=Gelson|título=Fundamentos de Matemática elementar|volume=6|edição=3|local=São Paulo|editora=Atual|ano=1977|página=1-9}}</ref>
[[Imagem:Illustration of a complex number.svg|thumb]]
O conjunto dos números complexos, denotado por '''<math>\mathbb{C}</math>''', contém o conjunto dos [[números reais]]. Munido de operações de adição e multiplicação obtidas por extensão das operações de mesma denominação nos números reais, adquire uma [[estrutura algébrica]] denominada ''[[Corpo (matemática)|corpo]] [[Corpo algebricamente fechado|algebricamente fechado]]'', sendo que esse fechamento consiste na propriedade que tem o [[conjunto]] de possuir todas as soluções de qualquer [[equação polinomial]] com coeficientes naquele mesmo conjunto (no caso, o conjunto dos complexos). O conjunto dos números complexos também pode ser entendido por seu [[isomorfismo]] com um [[espaço vetorial]] sobre '''<math>\mathbb{R}</math>''', o conjunto dos reais.<ref>{{citar web|url=https://canal.cecierj.edu.br/012016/453f95169841f5f28c400aed94d56d18.pdf|titulo=Conjunto dos números complexos|data=2014|acessodata=30 de novembro de 2019|publicado=Fundação CECIERJ|ultimo=PAULANTI|primeiro=Cláudio}}</ref>

Além disso, a cada número complexo podemos atribuir um número real positivo chamado [[Módulo (álgebra)|módulo]], dado por:
: <math>|z| = \sqrt{x^2 + y^2}.</math>

O módulo de ''z'', visto como uma [[norma (matemática)|norma]] no espaço vetorial, conduz a um [[espaço normado]] topologicamente [[espaço completo|completo]].{{carece de fontes|data=abril de 2021}}

Os números complexos são representados geometricamente no ''plano complexo''. Nele, representa-se a parte real, <math>x,</math> no eixo horizontal e a parte imaginária, <math>y,</math> no eixo vertical.

Os números complexos são utilizados em várias áreas do conhecimento, tais como [[engenharia]], [[eletromagnetismo]], [[física quântica]], [[teoria do caos]], [[Processamento de sinal|processamento de sinais]], teoria de controle, dinâmica de fluidos, [[cartografia]], análise de vibração, além da própria matemática, em que são estudadas análise complexa, álgebra linear complexa, álgebra de Lie complexa, com aplicações em resolução de [[equação algébrica|equações algébricas]] e [[equação diferencial|equações diferenciais]].<ref>{{citar web|url=https://www.ime.unicamp.br/~ftorres/ENSINO/MONOGRAFIAS/NC1.pdf|titulo=Números complexos|data=20 de junho de 2014|acessodata=30 de novembro de 2019|publicado=Universidade Estadual de Campinas|ultimo=|primeiro=}}</ref>

Em algumas situações, é comum a troca da letra <math>i</math> pela letra <math>j,</math> devido ao frequente uso da primeira como indicação de [[corrente elétrica]].

== História ==
O conceito de número complexo teve um desenvolvimento gradual. Começaram a ser utilizados formalmente no século XVI em fórmulas de resolução de [[equação do terceiro grau|equações de terceiro]] e quarto graus.<ref name="USP">{{citar web|url=http://www.ime.usp.br/~martha/caem/complexos.pdf|título=História dos Números Complexos|autor=Cerri, Cristina; Monteiro, Martha S.|data=setembro de 2001|publicado=Instituto de Matemática e Estatística da Universidade de São Paulo|acessodata=17 de janeiro de 2012}}</ref>

Os primeiros que conseguiram dar soluções a equações cúbicas foram [[Scipione del Ferro]] e [[Niccolò Fontana Tartaglia|Tartaglia]]. Este último, depois de ter sido alvo de muita insistência, passou os resultados que tinha obtido a [[Girolamo Cardano]], que prometeu não divulgá-los. Cardano, depois de conferir a exatidão das resoluções de Tartaglia, não honrou sua promessa e publicou os resultados, mencionando o autor, em sua obra [[Ars Magna]] de 1545, iniciando uma enorme inimizade.

A fórmula deduzida por Tartaglia afirmava que a solução da equação <math>x^3+px+q=0</math> era dada por
: <math> x = \sqrt[3]{-\frac{q}{2} + \sqrt{\left(\frac{q}{2}\right)^2 +
\left(\frac{p}{3}\right)^3}} + \sqrt[3]{- \frac{q}{2} - \sqrt{\left(\frac{q}{2}\right)^2 +
\left(\frac{p}{3}\right)^3}}.</math>

Um problema inquietante percebido na época foi que algumas equações (as equações que têm três raízes reais, chamadas de [[casus irreducibilis]]) levavam a raízes quadradas de números negativos.

Por exemplo, a equação:
: <math>x^3 -15x -4 =0</math>

tem três raízes reais, como se pode observar facilmente ou pelo gráfico da função:
: <math>f(x) = x^3 -15x -4</math>

ou por fatoração:
: <math>x^3 -15x -4 = (x-4)(x^2+4x+1)=0</math>

se e somente se:
: <math>x = 4;</math>
: <math>x=-2-\sqrt{3};</math>

ou:
: <math>x=-2+\sqrt{3}.</math>

Entretanto, usando-se a fórmula de Tartaglia, chega-se a:
: <math>x=\sqrt[3]{2+\sqrt{-121}} + \sqrt[3]{2-\sqrt{-121}}</math>

Essa questão evidenciou o fato de que havia mais a se investigar e a se aprender sobre os números.

[[Rafael Bombelli]] experimentou escrever as expressões:
: <math>\sqrt[3]{2+\sqrt{-121}}</math> e <math>\sqrt[3]{2-\sqrt{-121}}</math>

na forma:
: <math>a+\sqrt{-b}</math> e <math>a-\sqrt{-b}</math>

respectivamente. Admitindo válidas as propriedades usuais das operações tais como comutativa, distributiva etc., usou-as nas expressões obtidas, obtendo <math>a=2</math> e <math>b=1.</math> Com isso, chegou a:
: <math>x=\sqrt[3]{2+\sqrt{-121}} + \sqrt[3]{2-\sqrt{-121}} = (2 + \sqrt{-1}) + (2 - \sqrt{-1}) = 4</math>

No início, os números complexos não eram vistos como números, mas sim como um artifício algébrico útil para se resolver equações. [[René Descartes|Descartes]], no século XVII, os chamou de ''números imaginários''.

[[Abraham de Moivre]] e [[Leonhard Euler|Euler]], no século XVIII começaram a estabelecer uma estrutura algébrica para os números complexos. Em particular, Euler denotou a raiz quadrada de -1 por <math>i.</math> Ainda no [[século XVIII]] os números complexos passaram a ser interpretados como pontos do plano ([[plano de Argand-Gauss]]), o que permitiu a escrita de um número complexo na [[Coordenadas polares|forma polar]]. Com isso, conseguiu-se calcular potências e raízes de modo eficiente e claro. Ainda no século XVIII, Gauss demonstrou o [[Teorema Fundamental da Álgebra]].

== Definições ==
=== Plano complexo ===
[[Imagem:Argandgaussplane.png|frame|No plano de Argand-Gauss, parte real é representada pela reta das abscissas (x, horizontal) e a parte imaginária pela reta das ordenadas (y, vertical).|276x276px]]
{{Artigo principal|[[Plano complexo]]}}
O [[plano complexo]], também chamado de '''plano de Argand-Gauss,''' é uma representação geométrica do conjunto dos números complexos. Da mesma forma, como cada ponto da reta está associado a um [[número real]], o plano complexo associa [[função bijetora|biunivocamente]] o ponto '''( x , y )''' do [[Plano (geometria)|plano]] ao número complexo '''x + yi'''. Esta associação conduz a pelo menos duas formas de representar um número complexo:

* '''Forma retangular''' ou '''cartesiana''':
:: <math>Z=(x,y)=x+yi</math>
representa o número '''Z''' em [[coordenadas cartesianas]] separando a parte real da parte imaginária.

* '''Forma polar''':
:: <math>Z=r(\cos\theta+i\sen\theta)=r\mathrm{cis}(\theta)=re^{i\theta}, \ \ \ |Z|=r </math>

onde '''r''' é a [[distância euclidiana]] do ponto
:: <math>Z=(x,y)</math>

até a origem do [[sistema de coordenadas]], chamada de '''módulo''' do número complexo. Este é denotado por:
:: <math>|Z|=\sqrt{x^2+y^2}</math>

Já <math>\theta</math> se trata do [[ângulo]] entre a [[semi-reta]] <math>\overline{OZ}</math> e o semi-eixo real, chamado de '''argumento''' do número complexo ''Z'' e denotado por <math>\arg(Z).</math>

Através da [[identidade de Euler]] <math>e^{i\theta}=\cos\theta +i\sen\theta.</math>

A forma polar é equivalente à chamada '''forma exponencial''': <math>Z=re^{i\theta}</math>

=== Operações elementares ===
O conjunto dos números complexos é um [[Corpo (matemática)|corpo]]. Portanto, é fechado sobre as operações de [[adição]] e [[multiplicação]], além de possuir a propriedade de que todo elemento não-nulo do conjunto possui um [[inverso multiplicativo]]. Todas as operações do corpo podem ser performadas através das propriedades [[Associatividade|associativa]], [[Comutatividade|comutativa]] e [[distributividade|distributiva]], levando em consideração a identidade <math>i^2=-1</math>

Sejam ''z'' e ''w'' dois números complexos dados por <math>z=(a,b)</math> e <math>w=(c,d)</math> então definem-se as relações e operações elementares tal como segue:

* '''Identidade''':
: <math>z=w</math> [[se e somente se]] <math>a=c</math> e <math>b=d.</math>

* '''Soma''':
: <math>z + w = w + z = (a + bi) + (c + di) = (a + c) + (b+d)i</math>

* '''Produto''':
:<math>zw = wz = (a + bi) (c + di) = ac + adi + bci + bdi^2 = ac + adi + bci - bd = (ac - bd) + (ad + bc)i</math>

* '''Conjugado''':
[[Imagem:Complexo.png|thumb|Exemplo número complexo com módulo 2 e argumento 120°. Em vermelho o conjugado deste número em verde o oposto]]
: <math>\overline{z} = a - bi,</math> onde <math>\overline{z}</math> denota o conjugado de z. Outra notação usada para o conjugado de <math>z</math> é <math>{z}^*.</math>

O conjugado de um número complexo é seu simétrico no [[plano complexo]] em relação ao [[Número real|eixo real]]. A soma e o produto de um número complexo com seu conjugado tem parte imaginária nula.

* '''Soma de um complexo por seu conjugado''':
: <math>z + \overline{z} = (a + bi)+(a - bi) = 2a.</math>

* '''Produto de um complexo por seu conjugado''':
: <math>z\cdot\overline{z} = (a + bi) (a - bi) = a^2 - abi + abi - b^2 i^2 = a^2 - b^2i^2.</math> <br />Como <math>i^2 = -1,</math> temos que o produto de um Número Complexo <math>a + bi</math> pelo seu Conjugado <math>a - bi</math> se dá por: <math>(z)\overline{z} = a^2 + b^2.</math>

* '''Módulo''':
: <math>\left|z\right| = r = \sqrt{a^2 + b^2}</math>

* '''Inverso multiplicativo''' (para <math>z \neq 0</math>):
: <math>\frac{1}{z} = \frac{1}{a + bi} = \frac{a - bi}{(a + bi)(a - bi)} = \frac{a - bi}{a^2 + b^2} = \frac{\overline{z}}{\left|z\right|^2}.</math>

As operações de [[subtração]] e [[divisão]] são efetuadas transformando em adição com o [[oposto aditivo]] e em multiplicação com o [[inverso multiplicativo]], respectivamente. Algumas operações são mais facilmente realizadas na forma polar:
: <math>z = a + bi = r (\cos\varphi+ i\mathrm{sen}\,\varphi) = r e^{i\varphi}.</math>

* '''Produto''':
: <math> z \cdot w = r_1\,e^{i\varphi_1} \cdot r_2\,e^{i\varphi_2}

= r_1\,r_2\,e^{i(\varphi_1 + \varphi_2)}</math>

* '''Inverso multiplicativo''' (para <math>z \neq 0</math>):
: <math> \frac{1}{z} = \frac{1}{r_1\,e^{i\varphi_1}} = \frac{1}{r_1} \cdot e^{-i(\varphi_1)}</math>

* '''Divisão''':
: <math>\frac{z}{w} = \frac{r_1\,e^{i\varphi_1}}{r_2\,e^{i\varphi_2}}
 = \frac{r_1}{r_2}\,e^{i (\varphi_1 - \varphi_2)}</math>

* '''Potenciação''':
: <math>z^n = \big(r_1\,e^{i\varphi_1}\big)^n = r_1^n\,e^{in\varphi_1},~~ n=0,1,2,3,\ldots</math>

* '''Conjugado''':
: <math>\overline{z} = r_1\,e^{-i\varphi_1}</math>

O produto de um número complexo pelo seu conjugado é:
: <math>z \overline{z} = r_1\,e^{i\varphi_1} \cdot r_1\,e^{-i\varphi_1} = r_1 \cdot r_1\,e^{i\varphi_1-i\varphi_1} = r_1^2 \,e^0 = r_1^2</math>

=== O módulo ===
Sejam ''z'' e ''w'' dois números complexos dados por <math>z=(a,b)</math> e <math>w=(c,d),</math> o módulo possui as seguintes propriedades:
<math>
\begin{array}{lcl}
|z|&=&\sqrt{a^2+b^2}; \\
|\overline{z}|&=&|z|; \\
|z\cdot w|&=&|z|\cdot|w|; \\
|z+w|&\leq& |z|+|w|; \\
|z|&=&0 \Longleftrightarrow z=0.
\end{array}
</math>

Cabe ressaltar, conforme exposto acima, que o número zero é o único número complexo cujo módulo de Z é igual a Z.

A [[distância]] entre dois números complexos é definida como:
: <math>\hbox{dist}\left(z,w\right)=|z-w|</math>

== Propriedades algébricas ==
[[Imagem:Carl Friedrich Gauss.jpg|thumb|direita|'''Gauss''' demonstrou que o conjunto dos números complexos é algebricamente fechado]]
O conjunto dos números complexos formam um [[corpo (matemática)|corpo]] [[fecho algébrico|algebricamente fechado]]. Isso significa que toda [[equação algébrica]] de grau não nulo pode possuir como solução um número complexo. Mais formalmente, a seguinte equação
: <math>\alpha_n z^n + \alpha_{n-1} z^{n-1}+\ldots + \alpha_1 z + \alpha_0 =0,\quad \alpha_n\neq 0</math>
possui pelo menos uma solução complexa.

Este resultado é conhecido como [[teorema fundamental da álgebra]] e foi demonstrado primeiramente pelo matemático [[Alemanha|alemão]] [[Carl Friedrich Gauss]]. Uma consequência deste teorema é que todo [[polinômio]] de grau ''n'' pode ser decomposto em um produto de n fatores lineares complexos:
: <math>\alpha_n z^n + \alpha_{n-1} z^{n-1}+\ldots + \alpha_1 z + \alpha_0 =\alpha_n\left(z-z_1\right)\left(z-z_2\right)\cdots \left(z-z_n\right)</math>

=== Radical algébrico ===
{{Artigo principal|Raiz da unidade}}
O radical algébrico é definido no conjunto dos números complexos como uma [[função multivalente]], devido ao fato que a [[equação algébrica]]:
: <math>z^n= A</math>
possui ''n'' soluções distintas para cada <math>A\neq 0,</math> que são dadas pela [[fórmula de De Moivre]]:
: <math>z_k = |A|^{1/n}\left(e^{i(\theta+2k\pi)/n}\right),~~ k=0,1,\ldots, n-1</math>
onde <math>A=|A|e^{i\theta}.</math>

=== Estrutura de campo<ref>{{Citar web |url=https://www.scribd.com/doc/52289490/Apostol-Tom-M-Mathematical-Analysis |titulo=Tom M. Apostol - Mathematical Analysis (5ed 1981).pdf |acessodata=2020-11-06 |website=Scribd |lingua=pt}}</ref> ===
O conjunto '''C''' de números complexos é um campo. Resumidamente, isso significa que os seguintes fatos são válidos: primeiro, quaisquer dois números complexos podem ser adicionados e multiplicados para produzir outro número complexo. Em segundo lugar, para qualquer número complexo <math>z</math>, seu [[inverso aditivo]] −<math>z</math> também é um número complexo; e terceiro, todo número complexo diferente de zero tem um número complexo [[Inverso multiplicativo|recíproco]]. Além disso, essas operações satisfazem uma série de leis, por exemplo, a lei da [[comutatividade]] de adição e multiplicação para quaisquer dois números complexos <math>z_1</math> e <math>z_2</math>:

<math>z_1+z_2=z_2+z_1</math>

<math>z_1z_2=z_2z_1</math>

Essas duas leis e os outros requisitos de um campo podem ser comprovados pelas fórmulas fornecidas acima, usando o fato de que os próprios números reais formam um campo.

Ao contrário dos reais, '''C''' não é um campo ordenado, ou seja, não é possível definir uma relação <math>z_1</math> que seja compatível com a adição e multiplicação. Na verdade, em qualquer campo ordenado, o quadrado de qualquer elemento é necessariamente positivo, então <math>i^2=-1</math> impede a existência de uma ordem em '''C'''.

Quando o campo subjacente para um tópico ou construção matemática é o campo de números complexos, o nome do tópico geralmente é modificado para refletir esse fato. Por exemplo: [[análise complexa]], [[Matriz (matemática)|matriz]] complexa, [[polinômio]] complexo e [[álgebra de Lie]] complexa.

== Propriedades topológicas e analíticas ==
O conjunto dos números complexos munido da distância <math>\hbox{dist}\left(z,w\right)=|z-w|</math> forma um [[espaço métrico completo]]. De fato, o módulo possui todas as características de uma [[norma (matemática)|norma]].

=== Convergência nos complexos ===
Diz-se que uma sequência <math>z_n</math> de números complexos é convergente se existe um número complexo <math>z</math> tal que:
: <math>\lim_{n\to \infty}|z-z_n|=0</math>

neste caso, denota-se:
: <math>\lim_{n\to \infty}z_n=z\quad\hbox{ou}\quad z_n\to z</math>

* É fácil verificar que se <math>z_n=a_n+ib_n,</math> então <math>z_n</math> converge para <math>z=a+ib</math> [[se e somente se]] <math>a_n</math> converge para <math>a</math> e <math>b_n</math> converge para <math>b.</math>
* Do fato de que <math>\left||z_n|-|z|\right|\leq |z_n-z|,</math> é válido que se <math>z_n\to z</math> então <math>|z_n|\to |z|</math>

== O conjunto dos números complexos como extensão algébrica ==
Outra forma de entendermos os números complexos é através de polinômios com coeficientes reais. Ao usarmos a identidade <math>i^2 +1 =0</math> para simplificarmos identidades algébricas, estamos efetivamente encontrando o maior fator de <math>i^2+1</math> na expressão e o substituindo por zero. Por exemplo, a expressão <math>i^3 -i + 5</math> pode ser escrita formalmente como <math>(i^2+1)i -2i + 5</math> e, substituindo a identidade, encontramos <math>i^3-i+5 = -2i+5</math>. Esse processo pode ser sistematizado da seguinte forma: dado um polinômio de coeficientes reais na variável <math>x</math> (isso é, um elemento de <math>\mathbb{R}[x]</math>), podemos dividi-lo por <math>x^2+1</math> e trabalharmos somente com o seu resto (que deve, pelas propriedades da [[Divisão polinomial]]) ter grau um, ou seja, ser da forma <math>a+bx</math>.

Esse processo de adicionar a raiz de um polinômio a um corpo é conhecido, no campo da [[álgebra abstrata]], como extensão de corpos. O número <math>i</math> pode ser interpretado como o elemento que gera a [[extensão algébrica]] dos números reais contendo a raiz do polinômio <math>x^{2}+1.</math> Isto é, o [[corpo (matemática)|corpo]] <math>\mathbb{C} = \mathbb{R}[i]</math> é isomorfo ao [[corpo quociente]] <math>\mathbb{R}[x]/(x^{2}+1)</math> pela aplicação <math>\phi : \mathbb{C} \rightarrow \mathbb{R}[x]/(x^{2}+1),</math> onde o [[homomorfismo de anéis]] é tal que, restrito aos reais, é a aplicação identidade e leva <math>i</math> em <math> \phi (i) = x.</math> Por essa própria construção vemos que, como <math>-i</math> também é raiz de <math>x^2+1</math>, os corpos obtidos adicionando qualquer uma dessas raízes devem ser isomorfos, isso é, <math>\mathbb{R}[i] \sim \mathbb{R}[-i]</math>. Ao tratar desse ponto de vista algébrico, entendemos que a conjugação, por ser um isomorfismo de corpos, preserva somas e produtos.

=== Logaritmos ===
==== Função logarítmica natural ====
Se <math>z = r e^{i \theta}</math> , onde ''<math>r</math>'' é o módulo e ''<math>\theta</math>'' é o argumento medido em radianos do número complexo ''<math>z</math>'' e <math>e^w = z</math>, gostaríamos de escrever <math>\ln(w) = e</math>. Isso não é imediato no entanto, porque, diferente do caso real, a exponencial complexa não é uma [[Função injectiva]], de fato <math>e^{2i\pi n}=1</math> para todo número inteiro <math>n</math>. Não sendo injetiva, a [[função exponencial]] com [[Contradomínio]] nos números complexos não admite [[Função inversa]] no sentido usual. Essas considerações de lado, escreva <math>w = a+bi</math> então <math>e^w = e^{a}e^{bi}</math> e portanto <math>e^ae^{bi}= re^{i\theta}</math>. Da igualdade desses números complexos escritos na forma polar temos: <math>a = \ln r</math> e <math>b = \theta + 2k \pi</math> onde <math>k</math> representa algum [[número inteiro]]. Desse raciocínio, definimos a função logarítmica natural de uma variável complexa z pela equação:

: <math>\ln z</math> = <math>\ln r</math> + <math>i</math> ( <math>\theta</math> + <math>2k\pi</math> )

Assim, a função ''<math>ln</math> <math>z</math>'' é multivalente com infinitos valores - mesmo para números reais. Se alterarmos o domínio dessa função logaritmo para uma [[Superfície de Riemann]] convenientemente definida, podemos transformar o logaritmo complexo em uma função de fato.

Chamamos de valor principal de ''<math>ln</math> <math>z</math>'' o número definido por:

:<math>\ln z = \ln r</math> + <math>i</math> <math>\theta</math>

==== Função logarítmica decimal ====
Em termos de logaritmos decimais, podemos definir a função logarítmica anterior como:
: <math>\lg z = \lg r +</math> <math>i \lg e</math> ( <math>\theta</math> ± <math>2k\pi</math> )

Essa função também é multivalente e têm seu valor principal quando <math>k = 0.</math>

== Gráficos de funções complexas ==
A representação gráfica de uma função com domínio e imagem no campo dos complexos é impraticável, pois tal função reside na [[quarta dimensão]], ou seja, seria preciso um sistema de coordenadas com quatro eixos perpendiculares entre si para a construção da curva, a qual seria uma "superfície-2D" representada num "hiperespaço-4D".

Todavia, existem diversas maneiras de se estudar o comportamento de tais funções sem sair de nosso [[espaço euclidiano]] de três dimensões.

Uma delas, pouco usual, é representar uma função complexa, por exemplo <math>f(z)=-z</math>, no próprio plano de Argand-Gauss, utilizando cores para representar o "jeito" da função. Este método denomina-se "Color Domain" ou Domínio de Cores. Temos então que para todo ponto do plano complexo está associada uma cor que corresponde à imagem da função neste ponto.

Outra opção é representar apenas os valores da função que têm imagem real, como na figura da próxima seção. Esta secção da curva de uma função complexa irá resultar em uma nova curva unidimensional que está distribuída no espaço tridimensional. A representação dos valores reais da imagem da função complexa é interessante principalmente porque nos ajuda a compreender, por exemplo, as raízes complexas de um polinômio, como <math>P(x)=x^2+1</math>, cujas raízes são <math>i</math> e <math>-i</math>.

Observe que na figura que segue o plano X/Y corresponde ao [[Plano complexo|plano de Argand-Gauss]], e o eixo Z de valores reais representa a imagem de apenas números complexos cuja transformação <math>z^2+1</math> possui parte imaginária nula. Isso não quer dizer que a função não tenha imagem no campo complexo, apenas que essa imagem não pode ser representada na figura.

== Forma trigonométrica dos números complexos ==

=== Representação trigonométrica ===
Na representação trigonométrica, um número complexo <math>z=a+ib</math> é determinado pelo módulo do vetor que o representa, e pelo ângulo que faz com o semieixo positivo das abscissas.<ref>{{citar web|url=http://www.mat.ufrgs.br/~vclotilde/disciplinas/html/complexos_trigonometria-web/complexos_trigonometria_leitura_complexos_trigonometria_tarefa_1.htm|titulo=Números complexos na forma trigonométrica|data=|acessodata=30 de novembro de 2019|publicado=Universidade Federal do Rio Grande do Sul|ultimo=GARCIA|primeiro=Vera}}</ref>
[[Ficheiro:Complexos.png|direita|371x371px|miniaturadaimagem]]
Um vetor é representado por um segmento de reta orientado, e define grandezas que se caracterizam por:
* '''''Módulo:''''' exprime o comprimento do segmento;
* '''''Direção:''''' é dada pelo ângulo entre a reta suporte e a horizontal;
* '''''Sentido:''''' é dado pela seta.
Quando <math>z=a+ib</math>:
* Argumento de <math>z</math> é o ângulo <math>\theta</math>
* Módulo de <math>z</math> é o comprimento <math>r=|z|=\sqrt{a^2+b^2}</math>
O ''argumento geral'' de <math>z</math> é <math>\theta+2\pi k</math> ou <math>\theta+360^\circ k</math>, o ''argumento principal é'' o valor de <math>\theta</math> no intervalo <math>-\pi<\theta\leq\pi</math> ou <math>-180^\circ<\theta\leq180^\circ</math>.

A partir das relações trigonométricas, obtêm-se:

:<math>\cos\theta={a \over |z|}</math>, isto é <math>a=|z|\cos\theta</math>

:<math>\sen\theta={b \over |z|}</math>, isto é <math>b=|z|\sen\theta</math>

Portanto, para o número complexo <math>z=a+ib</math><math>\quad</math><math>\Rightarrow</math><math>\quad</math> <math>z=(|z|\cos\theta)+i(|z|\sen\theta)</math>

Exemplos:

<math>\quad</math>1) Se <math>z</math> é um número real, com <math>|z|=1</math>, e o ponto P pertence à reta das abcissas,

<math>\quad</math><math>\quad</math>Isto é: <math>\theta=0+2\pi k</math> e <math>|z|=1</math>

<math>\quad</math><math>\quad</math><math>z=1</math> na forma trigonométrica é <math>z=\cos2\pi k+i\sen2\pi k</math>, com <math>k\in\mathbb{Z}</math>.

<math>\quad</math><math>\quad</math>Isso quer dizer que existem infinitas representações trigonométricas para <math>z</math>, correspondentes a giros dados em torno da origem.

<math>\quad</math><math>\quad</math>Neste caso, <math>z=1</math> pode ser representado por:

<math>\quad</math><math>\quad</math><math>z=\cos\left(2\pi\cdot 0\right) +i\sen\left(2\pi\cdot 0\right)</math><math>\quad</math><math>\Rightarrow</math><math>\quad</math><math>z=\cos0+i\sen0</math>

<math>\quad</math><math>\quad</math><math>z=\cos\left(2\pi\cdot 1\right) +i\sen\left(2\pi\cdot 1\right)</math><math>\quad</math><math>\Rightarrow</math><math>\quad</math><math>z=\cos2\pi+i\sen 2\pi</math>

<math>\quad</math><math>\quad</math><math>z=\cos\left(2\pi\cdot 2\right) +i\sen\left(2\pi\cdot 2\right)</math><math>\quad</math><math>\Rightarrow</math><math>\quad</math><math>z=\cos4\pi+i\sen4\pi</math>

<math>\quad</math><math>\quad</math>Etc..

<math>\quad</math>2) Se <math>z</math> é um [[número imaginário]], com <math>|z|=1</math>, e o ponto P pertence à reta das ordenadas,

<math>\quad</math><math>\quad</math>Isto é: <math>\theta=\frac{1}{2}\pi+2\pi k</math> e <math>|z|=1</math>

<math>\quad</math><math>\quad</math><math>z=i</math> na forma trigonométrica é <math>z=\cos\left(\frac{1}{2}\pi+2\pi k\right)+i\sen\left(\frac{1}{2}\pi+2\pi k\right)</math>, com <math>k\in\mathbb{Z}</math>.

<math>\quad</math><math>\quad</math>Como no exemplo anterior, existem infinitas representações trigonométricas para <math>z</math>, correspondentes a giros dados em torno da origem.

<math>\quad</math><math>\quad</math>Neste caso, <math>z=i</math> pode ser representado por

<math>\quad</math><math>\quad</math><math>z=\cos\left(\frac{1}{2}\pi+2\pi\cdot 0\right)+i\sen\left(\frac{1}{2}\pi+2\pi\cdot 0\right)</math><math>\quad</math><math>\Rightarrow</math><math>\quad</math><math>z=\cos\frac{1}{2}\pi+i\sen\frac{1}{2}\pi</math>

<math>\quad</math><math>\quad</math><math>z=\cos\left(\frac{1}{2}\pi+2\pi\cdot 1\right)+i\sen\left(\frac{1}{2}\pi+2\pi\cdot 1\right)</math><math>\quad</math><math>\Rightarrow</math><math>\quad</math><math>z=\cos\frac{5}{2}\pi+i\sen\frac{5}{2}\pi</math>

<math>\quad</math><math>\quad</math><math>z=\cos\left(\frac{1}{2}\pi+2\pi\cdot 2\right)+i\sen\left(\frac{1}{2}\pi+2\pi\cdot 2\right)</math><math>\quad</math><math>\Rightarrow</math><math>\quad</math><math>z=\cos\frac{9}{2}\pi+i\sen\frac{9}{2}\pi</math>

<math>\qquad</math><math>\qquad</math>Etc..

=== Igualdade de números complexos ===
Dados dois números complexos <math>z=a+ib</math> e <math>w=c+id</math> têm-se, na forma trigonométrica, um argumento geral, sendo:

<math>\quad</math><math>z=|z|(\cos\left(\theta+2\pi k\right)+i\sen\left(\theta+2\pi k\right))</math>

<math>\quad</math><math>w=|w|(\cos\left(\alpha+2\pi k\right)+i\sen\left(\alpha+2\pi k\right))</math>

<math>\quad</math><math>z=w</math><math>\quad</math><math>\Leftrightarrow</math><math>\quad</math><math>|z|\cos\theta=|w|\cos\alpha</math> e <math>|z|\sen\theta=|w|\sen\alpha</math><math>\quad</math><math>\Leftrightarrow</math><math>\quad</math><math>|z|=|w|</math> e <math>\alpha=\theta+2\pi k</math>

A igualdade exige que <math>|z|=|w|</math> mas não exige que <math>\theta=\alpha</math>, mas sim que os vetores coincidam, na mesma direção, módulo e sentido.

=== Simétrico de um número complexo ===
[[Ficheiro:Simétrico_de_um_Complexo.png|ligação=undefined|direita|203x203px|miniaturadaimagem]]
O simétrico de um número complexo <math>z=a+ib</math> é o número <math>-z=-(a+ib)</math>, ou seja <math>-z=(-a)+i(-b)</math>.

Corresponde a uma rotação de 180° em torno da origem, a partir de <math>z</math>.

Em notação trigonométrica:

:<math>z=|z|\left(\cos\theta+i\sen\theta\right)</math> e <math>(-z)=|z|\left(\cos\left(\theta+\pi\right)+i\sen\left(\theta+\pi\right)\right)</math>

Exemplo:

:<math>z=1+i=|z|(\cos\theta+i\sen\theta)=\sqrt{2}\left(\cos\frac{\pi}{4}+i\sen\frac{\pi}{4}\right)</math>

:<math>(-z)=-1-i=|z|(\cos(\theta+\pi)+i\sen(\theta+\pi))=\sqrt{2}\left(\cos\frac{5}{4}\pi+i\sen\frac{5}{4}\pi\right)</math>

=== Conjugado de um número complexo ===
[[Ficheiro:Conjugado_de_um_Número_Complexo.png|ligação=undefined|direita|miniaturadaimagem|184x184px]]
O conjugado de um número complexo <math>z=a+ib</math> é o número <math>\bar{z}=a-ib</math>.

Corresponde a uma reflexão de <math>z</math> na reta das abcissas.

Em notação trigonométrica:

:<math>z=|z|(\cos\theta+i\sen\theta)</math> e <math>\bar{z}=|z|(\cos(-\theta)+i\sen(-\theta))</math>

Exemplo:

:<math>z=1+i=|z|\left(\cos\theta+i\sen\theta\right)=\sqrt{2}\left(\cos\frac{\pi}{4}+i\sen\frac{\pi}{4}\right)</math>

:<math>\bar{z}=-1-i=|z|\left(\cos(-\theta)+i\sen(-\theta)\right)=\sqrt{2}\left(\cos\left(-\frac{5}{4}\right)\pi+i\sen\left(-\frac{5}{4}\right)\pi\right)</math>

=== Produto dos números complexos ===
Seja <math>z=|z|\left(\cos\theta+i\sen\theta\right)</math> e <math>w=|w|\left(\cos\alpha+i\sen\alpha\right)</math>, a interpretação geométrica do produto dos números complexos pode seguir os seguintes casos:

==== O produto de um número complexo Z por um número real K ====
<math>\quad</math><math>\quad</math><math>k\cdot z=k\cdot |z|(\cos\theta+i\sen\theta)</math>
[[Ficheiro:2z.png|ligação=undefined|esquerda|miniaturadaimagem|182x182px]]
Se <math>k>1</math>, então o produto corresponde a uma ampliação do vetor <math>z</math>

''Exemplo:''

<math>z=1+i=|z|(\cos\theta+i\sen\theta)=\sqrt{2}(\cos45^\circ+i\sen45^\circ)</math>

<math>2z=2+2i=2|z|(\cos\theta+i\sen\theta)=2\sqrt{2}(\cos45^\circ+i\sen45^\circ)</math>

<math>\quad</math>

<math>\quad</math>

<math>\quad</math>
[[Ficheiro:Meio_z.png|ligação=undefined|esquerda|miniaturadaimagem|190x190px]]
<math>\quad</math><math>\quad</math>

Se <math>0<k<1</math>, então o produto corresponde a uma contração do vetor <math>z</math>

''Exemplo:''

<math>z=1+i=|z|(\cos\theta+i\sen\theta)=\sqrt{2}(\cos45^\circ+i\sen45^\circ)</math>

<math>\frac{1}{2}z=\frac{1}{2}+\frac{1}{2}i=\frac{1}{2}|z|(\cos\theta+i\sen\theta)=\frac{\sqrt{2}}{2}(\cos45^\circ+i\sen45^\circ)</math>

<math>\quad</math>

<math>\quad</math>

<math>\quad</math>
[[Ficheiro:-z.png|ligação=undefined|esquerda|miniaturadaimagem|189x189px]]
<math>\quad</math>

Se <math>k<0</math>, então o produto corresponde a uma ampliação ou contração do vetor <math>z</math>, seguida de uma rotação de <math>180^\circ</math>, pois <math>z</math> passará para a semi-reta oposta, que contém <math>-z</math>.

''Exemplo:''

<math>z=1+i=|z|(\cos\theta+i\sen\theta)=\sqrt{2}(\cos45^\circ+i\sen45^\circ)</math>

<math>(-1)z=-(1+1i)=|z|(\cos(\theta+180^\circ)+i\sen(\theta+180^\circ))=\sqrt{2}(\cos225^\circ+i\sen225^\circ)</math>

<math>\quad</math>

<math>\quad</math>

<math>\quad</math>

==== O produto de um número complexo Z por um imaginário puro ====
Dados <math>z=|z|(\cos\theta+i\sen\theta)</math> e <math>w=|w|(\cos90^\circ+i\sen90^\circ)</math>,

<math>\quad</math><math>\quad</math><math>zw=|z|(\cos\theta+i\sen\theta)|w|(\cos90^\circ+i\sen90^\circ)</math>

<math>\quad</math><math>\quad</math><math>zw=|z||w|((\cos\theta \cos90^\circ-\sen\theta \sen90^\circ)+i(\cos\theta \sen90^\circ+\sen\theta \cos90^\circ))</math>

A partir desta etapa, é necessário utilizar a expressão trigonométrica da soma dos ângulos dos senos e cossenos:

<math>\quad</math><math>\quad</math><math>\cos(\theta+\alpha)=\cos\theta \cos\alpha-\sen\theta \sen\alpha</math>

<math>\quad</math><math>\quad</math><math>\sen(\theta+\alpha)=\cos\theta \sen\alpha+\cos\alpha \sen\theta</math>

Logo,

<math>\quad</math><math>\quad</math><math>\cos(\theta+90^\circ)=\cos\theta \cos90^\circ-\sen\theta \sen90^\circ</math>

<math>\quad</math><math>\quad</math><math>\sen(\theta+90^\circ)=\cos\theta \sen90^\circ+\cos90^\circ \sen\theta</math>

Então,

<math>\quad</math><math>\quad</math><math>zw=|z||w|((\cos\theta \cos90^\circ-\sen\theta \sen90^\circ)+i(\cos\theta \sen90^\circ+\sen\theta \cos90^\circ))</math>

<math>\quad</math><math>\quad</math><math>\quad</math><math>\quad</math><math>=|z||w|(\cos(\theta+90^\circ)+i\sen(\theta+90^\circ))</math>

O produto de um número complexo por um número imaginário puro corresponde a uma ampliação ou contração do vetor, seguido de uma rotação de <math>90^\circ</math> no sentido anti-horário, em torno da origem do vetor obtido.

==== O produto de um número complexo genérico Z por um outro número complexo W ====
Dados <math>z=|z|(\cos\theta+i\sen\theta)</math> e <math>w=|w|(\cos\alpha+i\sen\alpha)</math>,

<math>\quad</math><math>\quad</math><math>zw=|z|(\cos\theta+i\sen\theta)|w|(\cos\alpha+i\sen\alpha)</math>

<math>\quad</math><math>\quad</math><math>zw=|z||w|((\cos\theta \cos\alpha-\sen\theta \cos\alpha)+i(\cos\theta \cos\alpha+\sen\theta \cos\alpha))</math>

Assim como no caso anterior, é necessário utilizar a soma dos angulos dos senos e cossenos.

Logo,

<math>\quad</math><math>\quad</math><math>zw=|z||w|(\cos(\theta+\alpha)+i\sen(\theta+\alpha))</math>

O produto de um número complexo <math>z</math> por outro número complexo <math>w</math> corresponde a uma ampliação ou contração do vetor, seguido de uma rotação do ângulo igual ao argumento do vetor <math>w</math> no sentido anti-horário em torno da origem do vetor obtido.

=== Soma dos números complexos ===
A soma de números complexos corresponde à soma dos vetores complexos associados a esses números.

Dados quaisquer números reais <math>z</math> (de vetor <math>\vec{OA}</math>) e <math>w</math> (de vetor <math>\vec{OB}</math>), a soma <math>z+w</math> tem como representação vetorial o vetor <math>\vec{OC}</math>, dado por <math>\vec{OA}+\vec{OB}=\vec{OC}</math>.

''Exemplos:''
[[Ficheiro:Soma1.png|ligação=undefined|esquerda|miniaturadaimagem|220x220px]]
[[Ficheiro:Soma2.png|ligação=undefined|esquerda|miniaturadaimagem|220x220px]]
<math>z=\vec{OA}=1+3i</math>

<math>w=\vec{OB}=5+1i</math>

<math>z+w=\vec{OA}+\vec{OB}=\vec{OC}=6+4i</math>

<math>\quad</math>

<math>\quad</math><math>\quad</math>

<math>\quad</math>

<math>\quad</math>

<math>z=\vec{OA}=-2+2i</math>

<math>w=\vec{OB}=4+2i</math>

[[Ficheiro:Soma3.png|ligação=undefined|esquerda|miniaturadaimagem|220x220px]]
<math>z+w=\vec{OA}+\vec{OB}=\vec{OC}=2+4i</math><math>\quad</math>

<math>\quad</math>

<math>\quad</math>

<math>\quad</math>

<math>\quad</math>

<math>z=\vec{OA}=-2+2i</math>

<math>w=\vec{OB}=4-1i</math>

<math>z+w=\vec{OA}+\vec{OB}=\vec{OC}=2+1i</math>

<math>\quad</math>

<math>\quad</math>

==Ver também==
{{Correlatos
|wikilivros=Análise complexa/Introdução
}}
*[[Número complexo hiperbólico]]
*[[Número transfinito]]
*[[Quaterniões]]
*[[Quaterniões hiperbólicos]]

{{Referências}}

==Ligações externas==
*{{Link|pt|2=http://sorzal-df.fc.unesp.br/~edvaldo/dominiocores.htm |3=Domínio de Cores, Funções Complexas}}
*[http://www.interaula.com/matweb/medio/213/ncomplex.htm Projeto MatWeb - Números Complexos]
*{{Link|pt|2=http://www.educ.fc.ul.pt/docentes/opombo/seminario/euler/numeroscomplexos.htm |3=Números Complexos, uma abordagem científica}}
*{{Link|pt|2=http://wwwp.fc.unesp.br/~edvaldo/ |3=Funções de uma Variável Complexa: Visualização e Interpretação Gráfica}}

{{Números}}
{{Portal3|Matemática}}

[[Categoria:Números complexos]]
[[Categoria:Análise complexa]]