Si queremos que este polinomio tenga una raíz, entonces tenemos que usar un sistema de números más grande: necesitamos declarar por fiat que existe una raíz cuadrada de−1. \[ \overline{z+w} = \ove...Si queremos que este polinomio tenga una raíz, entonces tenemos que usar un sistema de números más grande: necesitamos declarar por fiat que existe una raíz cuadrada de−1. ¯z+w=¯z+¯wand¯zw=¯z⋅¯w.Además, también(a+bi)(a−bi)=a2+b2, lozˉz es un número real no negativo para cualquier número complejoz.
