Forma algébrica dos números complexos

A motivação histórica ajuda a entender por que o conjunto foi criado: no século XVI, ao resolver cúbicas pelo método de Cardano, matemáticos como Bombelli esbarravam em raízes quadradas de números negativos, chamadas "impossíveis", mas que, manipuladas formalmente, levavam à solução real correta. Isso mostrou que os complexos não eram apenas um capricho, e sim uma extensão coerente dos reais. A definição rigorosa como pares ordenados $(a,b)$ de números reais, com soma $(a,b)+(c,d)=(a+c,b+d)$ e produto $(a,b)\cdot(c,d)=(ac-bd,ad+bc)$, dá base formal ao símbolo $a+bi$, em que $i=(0,1)$ satisfaz $i^{2}=(-1,0)$, ou seja, $-1$.

Em $\mathbb{C}=\{a+bi \mid a,b\in\mathbb{R}\}$, com $i^2=-1$, o termo $a$ é a parte real e $b$ a parte imaginária, e é essa estrutura de par ordenado $(a,b)$ que gera os subconjuntos notáveis. Além de $\mathbb{R}$ (caso $b=0$) e do conjunto dos imaginários puros $I=\{bi \mid b\in\mathbb{R}\}$, que inclui o próprio zero, vale registrar que $I$, ao contrário de $\mathbb{R}$, não é um subcorpo: somando $i$ com $i$ obtém-se $2i\in I$, mas multiplicando $i\cdot i=-1\notin I$, o que já quebra a multiplicação. Também aparecem os **múltiplos reais de $i$, os complexos de módulo unitário** e a distinção entre $\mathbb{C}$ e seus subconjuntos fechados para soma e produto, como $\mathbb{Q}(i)=\{a+bi \mid a,b\in\mathbb{Q}\}$ e $\mathbb{Z}[i]=\{a+bi \mid a,b\in\mathbb{Z}\}$, o anel dos inteiros gaussianos.

A igualdade em $\mathbb{C}$ repousa sobre a própria construção do conjunto: identificando cada complexo $z=a+bi$ com o par ordenado $(a,b)$ de reais, a condição $a+bi=c+di$ nada mais é do que a igualdade entre pares ordenados, que exige coordenadas correspondentes iguais. Esse critério é o que garante que a representação algébrica seja única — cada número complexo corresponde a um único ponto do plano de Argand-Gauss — e é exatamente o que autoriza tratar "parte real" e "parte imaginária" como funções bem definidas de $z$, denotadas $\operatorname{Re}(z)$ e $\operatorname{Im}(z)$. Vale destacar que essa separação só é legítima porque não há ambiguidade entre os conjuntos $\{a+bi\}$ e $\{c+di\}$ quando $a=c$ e $b=d$; se a representação fosse múltipla, dois números iguais poderiam gerar equações distintas e todo o método ruiria.

A adição em $\mathbb{C}$ herda sua força do fato de que o conjunto dos complexos, munido dessa operação e da multiplicação, forma um corpo, e a estrutura aditiva sozinha já constitui um grupo abeliano: existe o elemento neutro $0=0+0i$, cada $z=a+bi$ possui oposto $-z=-a-bi$ e vale a comutatividade e a associatividade, propriedades que você deve saber justificar a partir da própria definição, pois decorrem de somas de números reais. Um ponto que costuma passar batido é que a adição é feita componente a componente justamente porque identificamos $\mathbb{C}$ com $\mathbb{R}^2$ via $a+bi\mapsto(a,b)$; esse isomorfismo preserva a soma, ou seja, somar complexos é somar vetores, o que explica a já citada regra do paralelogramo e também a interpretação do módulo $|z+w|\le|z|+|w|$ como desigualdade triangular.

Para fixar, tome $z_1=3-2i$ e $z_2=-5+7i$: somando as partes reais, $3+(-5)=-2$, e as imaginárias, $-2+7=5$, obtemos $z_1+z_2=-2+5i$; verifique no plano que o vetor resultante é a diagonal do paralelogramo de lados $Oz_1$ e $Oz_2$, e note que $z_1+z_2=z_2+z_1$, como exige a comutatividade. A subtração segue de imediato como soma com o oposto, e é aí que muitos erros aparecem por sinal trocado apenas na parte imaginária.

A multiplicação em $\mathbb{C}$ não é uma regra solta: ela nasce de estender a distributividade dos reais ao símbolo $i$, com a única imposição de que $i^{2}=-1$. Isso significa que o produto fica inteiramente determinado assim que exigimos que a operação seja associativa, comutativa, distributiva e compatível com a soma; essas condições, aliás, fazem de $\mathbb{C}$ um corpo, no qual todo elemento não nulo tem inverso.

Dominar a distributiva com $i^{2}=-1$ é, portanto, o alicerce que sustenta tanto as identidades quanto as interpretações vetoriais e as aplicações mais elaboradas que os exames exigem.

A ideia central por trás do quociente em $\mathbb{C}$ é que dividir é multiplicar pelo inverso, e o inverso de um complexo não nulo $w$ é simplesmente $\frac{\bar{w}}{|w|^2}$ — resultado que combina a identidade $w\bar{w}=|w|^2$ com o fato de $|w|^2$ ser um real positivo. Isso permite enxergar a racionalização não como truque, mas como consequência algébrica: multiplicar por $\frac{\bar{w}}{\bar{w}}$ transforma o denominador em número real, eliminando a parte imaginária e deixando o quociente na forma $a+bi$. Na prática, se $z=3+2i$ e $w=1-i$, então $\frac{z}{w}=\frac{(3+2i)(1+i)}{(1-i)(1+i)}=\frac{3+3i+2i+2i^2}{2}=\frac{1+5i}{2}=0{,}5+2{,}5i$. Note como o conjugado no denominador gera exatamente $|w|^2=2$, confirmando a fórmula geral.

Geometricamente, o módulo do quociente é o quociente dos módulos, $\left|\frac{z}{w}\right|=\frac{|z|}{|w|}$, e o argumento satisfaz $\arg\left(\frac{z}{w}\right)\equiv \arg z-\arg w \pmod{2\pi}$, ou seja, dividir gira o vetor $z$ no sentido horário pelo ângulo de $w$ e ajusta seu comprimento pela razão dos módulos — interpretação que conecta álgebra e Geometria Analítica e ajuda a resolver problemas de regiões no plano complexo.

A chave para entender as potências de $i$ é perceber que a multiplicação por $i$ equivale a girar 90° no plano complexo, de modo que aplicar $i$ quatro vezes devolve o número à posição inicial — daí o período 4. Isso explica por que os valores nunca "escapam" do conjunto $\{1, i, -1, -i\}$: cada potência é apenas uma rotação, e não um crescimento.

Vale notar ainda que potências negativas seguem a mesma lógica, pois $i^{-1}=\frac{1}{i}=-i$, $i^{-2}=-1$ e assim por diante, de modo que a regra do resto funciona para qualquer inteiro, bastando ajustar o sinal quando o expoente é negativo.

Dominar a tabela básica e a redução pelo resto é, portanto, essencial para resolver esses itens com rapidez e segurança.