Le but de cet article est de présenter, d'une part la construction, facile, des nombres complexes, et d'autre part, la démonstration, parfois un peu plus compliquée, qu'il s'agit bien d'un corps algébriquement clos.

Définition (Une définition est un discours qui dit ce qu'est une chose ou ce que signifie un nom. D'où la division entre les définitions réelles et les définitions nominales.) en tant que corps valué

En tant que simple corps, les complexes sont aisés à définir; cela fait appel à la notion d'extension algébrique (En mathématiques et plus particulièrement en algèbre, une extension algébrique L sur un corps K est une extension de corps dans laquelle tous les éléments sont algébriques sur K c’est-à-dire sont racines d'un polynôme non...) par adjonction de racines :

La classe de X est notée i (parfois, par exemple en électricité (L’électricité est un phénomène physique dû aux différentes charges électriques de la matière, se manifestant par une énergie. L'électricité désigne également la branche de la physique qui étudie...), les physiciens préfèrent utiliser j, et réservent la lettre i à une intensité). Elle vérifie comme on le souhaitait la relation: i² = − 1.

Ceci définit une extension des nombres réels, de dimension (Dans le sens commun, la notion de dimension renvoie à la taille ; les dimensions d'une pièce sont sa longueur, sa largeur et sa profondeur/son épaisseur, ou bien son diamètre si c'est une pièce de révolution.) 2 (on peut donc bien écrire de façon unique tout (Le tout compris comme ensemble de ce qui existe est souvent interprété comme le monde ou l'univers.) nombre (La notion de nombre en linguistique est traitée à l’article « Nombre grammatical ».) complexe sous la forme a + bi où a et b sont des réels). On va la munir de la norme (Une norme, du latin norma (« équerre, règle ») désigne un état habituellement répandu ou moyen considéré le plus souvent comme une règle à suivre. Ce terme...) d'extension algébrique la plus naturelle dans ce cadre: . Elle prolonge bien celle des réels, et en tant qu'espace vectoriel (En algèbre linéaire, un espace vectoriel est une structure algébrique permettant en pratique d'effectuer des combinaisons linéaires. Pour une introduction au concept de vecteur, voir l'article Vecteur.) de dimension finie sur , on a bien un espace complet (En mathématiques, un espace métrique M est dit complet ou espace complet si toute suite de Cauchy de M a une limite dans M (c’est-à-dire qu'elle converge dans M). La propriété de complétude...).

Démonstration (En mathématiques, une démonstration permet d'établir une proposition à partir de propositions initiales, ou précédemment démontrées à partir de propositions...) de la clôture algébrique (En mathématiques, une clôture algébrique d'un corps K est une extension algébrique de K qui est algébriquement close.)

via les fonctions holomorphes et le théorème (Un théorème est une proposition qui peut être mathématiquement démontrée, c'est-à-dire une assertion qui peut être établie comme vraie au travers d'un raisonnement logique construit à partir d'axiomes. Un théorème est à...) de Liouville

On raisonne par l'absurde : soit P un polynôme (En mathématiques, un polynôme est la combinaison linéaire des puissances d'une variable, habituellement notée X. Ces objets sont largement utilisés en pratique, ne serait-ce que parce qu'ils donnent localement une valeur approchée de...) non constant n'ayant aucune racine dans le corps des complexes. Alors on peut définir son inverse (En mathématiques, l'inverse d'un élément x d'un ensemble muni d'une loi de composition interne · notée multiplicativement, est un élément y tel que x·y =...) sur tout entier. Q est développable en série entière au voisinage (La notion de voisinage correspond à une approche axiomatique équivalente à celle de la topologie. La topologie traite plus naturellement les notions globales comme la continuité qui s'entend ici comme la continuité en...) de tout point (Graphie), donc holomorphe. De plus, en module, P(z) tend vers l'infini (Le mot « infini » (-e, -s ; du latin finitus, « limité »), est un adjectif servant à qualifier quelque chose...) lorsque z tend vers l'infini, donc Q(z) tend vers zéro (Le chiffre zéro (de l’italien zero, dérivé de l’arabe sifr, d’abord transcrit zefiro en italien) est un symbole marquant une position vide dans...) en l'infini. Q étant de plus continue, elle est bornée sur entier. Étant holomorphe, elle est constante, par le théorème de Liouville. Contradiction (Une contradiction existe lorsque deux affirmations, idées, ou actions s'excluent mutuellement.).