primeiro matematico a usar raizes quadradas de numeros negativos em seus trabalhos foi o italiano Girolamo Cardano (1501-1576), quando tentava encontrar uma formula resolutiva para equacoes do 3o grau. Mas foi Rene Descartes (1596-1650) que cunhou o nome imaginario para as raizes quadradas de numeros negativos. Mais tarde, os matematicos De Moivre (1667-1754) e Newton (1642-1727), combinaram trigonometria com numeros complexos em seus trabalhos. Mais tarde ainda, Euler (1707-1783) usou $i$ para designar o numero imaginario $\sqrt{-1}$, que foi amplamente aceito, pois ocultava o espectro da raiz quadrada negativa. O topografo e cartografo noruegues Caspar Wessel (1745-1818) foi o primeiro a representar geometricamente os numeros complexos. (recorte da introducao da dissertacao)Nesta postagem, apresento uma demonstracao para equacao da reta no plano complexo, e diferente da demonstracao que foi apresentada na dissertacao, mas e fundamentada no trabalho que estou lendo. Nao farei uma apresentacao sobre numeros complexos, pois excede o objetivo da postagem, assim, vou considerar verdadeiros os Postulados 1 e 2, mesmo sabendo que sao teoremas, assim, evito de demonstra-los, mas os apresento a fim de facilitar a compreensao das demonstracoes.Postulado 1Sejam $z_1$ e $z_2$ pontos do plano complexo e $\overline{z_1}$ e $\overline{z_2}$ seus respectivos conjugados, sao verdadeiras as igualdades:$\overline{z_1+z_2}=\overline{z_1}+\overline{z_2}$$\overline{z_1\cdot z_2}=\overline{z_1}\cdot\overline{z_2}$$\overline{\left(\dfrac{z_1}{z_2}\right)}=\dfrac{\overline{z_1}}{\overline{z_2}}$Postulado 2Sejam $z_1,z_2$ e $z_3$ pontos colineares do plano complexo, temos $\dfrac{z_1-z_2}{z_3-z_2}\in\mathbb{R}$RetaSeja $r$ uma reta que passa pelos pontos $A(x_a,y_a)$ e $B(x_b,y_b)$. Sendo $P(x,y)$ um ponto generico de $r$, podemos definir $r$ atraves da equacao parametrica$$r:\left\{\begin{matrix}x=x_a+t\cdot (x_b-x_a)\\ y=y_a+t\cdot (y_b-y_a)\end{matrix}\right.,t\in\mathbb{R}$$Tambem poderiamos definir $r$ na forma$$r:(x,y)=(x_a,y_a)+t\cdot[ (x_b,y_b)-(x_a,y_a)]$$Associando $A(x_a,y_a),B(x_b,y_b)$ e o ponto generico $P(x,y)$ aos numeros complexos $z_a=x_a+y_b\cdot i,z_b=x_b+y_b\cdot i$ e $z=x+y\cdot i$, respectivamente, a equacao da reta $r$ no plano complexo sera$$r:z=z_a+t\cdot (z_b-z_a), t\in\mathbb{R}$$Logo,$$t=\dfrac{z-z_a}{z_b-z_a}$$Como $\dfrac{z-z_a}{z_b-z_a}\in\mathbb{R}$,entao$$\dfrac{z-z_a}{z_b-z_a}=\overline{\left(\dfrac{z-z_a}{z_b-z_a}\right)}=\dfrac{\overline{z-z_a}}{\overline{z_b-z_a}}=\dfrac{\overline{z}-\overline{z_a}}{\overline{z_b}-\overline{z_a}} \\ \Downarrow \\ \dfrac{z-z_a}{z_b-z_a}=\dfrac{\overline{z}-\overline{z_a}}{\overline{z_b}-\overline{z_a}} \\ \Downarrow \\ \left(z-z_a\right)\cdot\left(\overline{z_b}-\overline{z_a}\right)=\left(z_b-z_a\right)\cdot\left(\overline{z}-\overline{z_a}\right) \\ \Downarrow \\ z\cdot\overline{z_b}-z\cdot\overline{z_a}-z_a\cdot\overline{z_b}+z_a\cdot\overline{z_a}=z_b\cdot\overline{z}-z_b\cdot\overline{z_a}-z_a\cdot\overline{z}-z_a\cdot\overline{z_a} \\ \Downarrow \\ \left(z_b-z_a\right)\cdot \overline{z}-\left(\overline{z_b}-\overline{z_a}\right)\cdot z + z_a\cdot\overline{z_2}-\overline{z_1}\cdot z_2=0$$Tomando $B=\left(z_b-z_a\right)\Rightarrow \overline{B}=\left(\overline{z_b}-\overline{z_a}\right)$ e $C= \left(z_a\cdot\overline{z_2}-\overline{z_1}\cdot z_2\right($, assim, podemos definir a reta $r$ como:$$r:B\cdot\overline{z}-\overline{B}\cdot z + C=0$$EXEMPLODetermine a equacao da reta $r$ que passa nos pontos $z_a=2-3\cdot i$ e $z_b=-1+2\cdot i$.SOLUCAOTemos$B=-1+2\cdot i-\left(2-3\cdot i\right)=-3+5\cdot i \Rightarrow \overline{B}=-3-5\cdot i$$C=\left(2-3\cdot i\right)\cdot\left(-1-2\cdot i\right)-\left(2+3\cdot i\right)\cdot\left(-1+2\cdot i\right)=-2\cdot i$Entao, a equancao da reta $r$ sera$$r:\left(-3-5\cdot i\right)\cdot\overline{z}-\left(-3-5\cdot i\right)\cdot z - 2\cdot i=0$$REFERENCIAFEITOSA, Laercio Francisco. Aplicacoes dos Numeros Complexos na Geometria Plana. 2013. 86 f. Dissertacao (Mestrado) - Curso de Mestrado Profissional em Matematica em Rede Nacional - Profmat, Universidade Federal da Paraiba, Joao Pessoa-pb, 2013. Disponivel em: . Acesso em: 18 ago. 2015.