Considere la ecuación de $z^2 + 1$. Como usted probablemente sabe, $i$ es una raíz de la ecuación. De hecho, este es el más comúnmente utilizado definición de $i$: un número tal que $i^2=-1$.
Pero $-i$ también es una raíz de $z^2+1$, así que ¿por qué no elegir este? Ok. Vamos a escribir $i'=-i$. Desde $i$ $i'$ comparten la misma definición, "todo" lo que es satisfecha por uno de ellos ha de ser satisfecho por el otro. Por ejemplo, desde la $(1+i)^4 = -4 $, debemos tener $(1+i')^4 = -4$; esto es cierto!
Cuando digo "todo", en realidad me refiero a todas ecuación polinómica. El principio general es el siguiente: si $i$ es una raíz de algunos polinomio $P(z)$ con coeficientes reales, entonces lo $i'=-i$. En el ejemplo anterior, el polinomio sería $P(z) = (1+z)^4 + 4$.
Este principio es más poderosa de lo que parece a primera vista. Por ejemplo, si $a+ib$ ( $a,b \in \Bbb R$ ) es una raíz de algunos polinomio $Q(z)$ con coeficientes reales, entonces $i$ es una raíz de $P(z) = Q(a+zb)$. Podemos deducir que $-i$ es una raíz de $P(z)$ $a-ib$ es una raíz de $Q(z)$. De la misma manera, se puede ver que
$$
(a_1+ib_1) + (a_2+ib_2)=(a_3+ib_3) \iff (a_1-ib_1) + (a_2-ib_2)=(a_3-ib_3)
$$
con $P(z) = (a_1+zb_1) + (a_2+zb_2)-(a_3+zb_3)$, y
$$
(a_1+ib_1)(a_2+ib_2)=(a_3+ib_3) \iff (a_1-ib_1)(a_2-ib_2)=(a_3-ib_3)
$$
(que el polinomio tomaría usted?)
La noción de conjugado es sólo una manera de formalizar todos estos "simetrías" entre el$i$$-i$. Por ejemplo, los dos últimos equivalencias escribir
$$
\overline{z_1}+ \overline{z_2} = \overline{z_1+ z_2}
,\qquad
\overline{z_1}\times \overline{z_2} = \overline{z_1\times z_2}
$$
Comentario: el mismo tipo de cosas que podría hacer con $\sqrt{2}$ $-\sqrt{2}$ y ecuaciones polinómicas con coeficientes racionales. La idea general detrás de todo esto es que de la Teoría de Galois.