Division par zéro

Un article de Wikipédia, l'encyclopédie libre.

En mathématiques, une division par zéro est une division dans laquelle le diviseur serait zéro. Ainsi, une division par zéro s'écrirait $\frac{x}{0}$ , où $x$ serait le dividende.

En algèbre, la division par zéro n'est pas définie. En analyse, sous certaines conditions, il est possible de calculer la limite d'un quotient dont le dénominateur est une suite ou une fonction de limite nulle.

En informatique, une division par zéro cause une erreur qui peut, dans certains cas, nuire sérieusement au déroulement du programme.

Explication de l'impossibilité de la division par 0 [modifier]

L'explication qui suit est valable dans un anneau commutatif quelconque, c'est-à-dire un ensemble muni de deux lois (addition et multiplication) vérifiant les propriétés algébriques usuelles. En particulier, l'ensemble des nombres entiers (relatifs), celui des nombres réels, ou encore celui des nombres complexes rentrent dans ce cadre. On note $0$ l'élément neutre de l'addition (le « zéro » en question), et $1$ l'élément neutre de la multiplication. Il s'agit de montrer que zéro ne peut pas être un élément inversible de l'anneau.

Si c'était le cas, en notant $a$ l'inverse de zéro, on aurait, par définition d'un inverse, $0\times a=1$ (ce qu'on pourrait noter aussi $a=\frac{1}{0}$ ). Mais, dans tout anneau, on montre aisément qu'on a, pour tout $a$ , l'égalité $0\times a=0$ (on dit que $0$ est élément absorbant pour la multiplication). En effet, par distributivité de la multiplication sur l'addition, on peut écrire $(0+0)\times a=0\times a+0\times a$ , et comme on a $0 + 0 = 0$ , cela entraîne, après avoir soustrait $0\times a$ à chaque membre, l'égalité $0=0\times a$ . On obtiendrait alors l'égalité $0 = 1$ , à partir de laquelle on prouve aisément que tout élément de l'anneau est égal à $0$ . En résumé, le seul anneau où la notion de division par zéro aurait un sens serait réduit à un seul élément, ce qu'on exclut en général de la définition d'un anneau (qui requiert ainsi que $0$ et $1$ soient distincts).

C'est pourquoi la division par zéro n'a non seulement pas de sens dans les ensembles de nombres usuels (entiers, réels ou complexes), mais plus généralement dans tout ensemble de nombres vérifiant les propriétés algébriques usuelles vis à vis de l'addition et de la multiplication (ce qu'on appelle un anneau). Il n'y a donc pas d'espoir de construire un nouvel ensemble de nombres qui donnerait un sens à l'inverse de zéro (comme celui des nombres complexes donne un sens à la racine carrée de $- 1$ ), sauf si l'on accepte de perdre des propriétés essentielles du calcul algébrique usuel (notamment la distributivité de la multiplication sur l'addition).

Notion de limite

On ne peut ainsi pas donner de sens au quotient $\frac{1}{0}$ . Mais en analyse, on peut essayer de donner un sens à la limite du quotient $\frac{1}{x}$ lorsque $x$ tend vers zéro. Ainsi, si $x$ désigne un nombre réel, le quotient $\frac{1}{x}$ peut avoir une valeur absolue aussi grande qu'on veut, à condition de prendre $x$ suffisamment proche de zéro. On écrit cela

$\lim_{x\to 0}\left|\frac{1}{x}\right|=+\infty,$

et on dit que la valeur absolue de ce quotient admet pour limite « plus l'infini » lorsque $x$ tend vers zéro. Si l'on veut se passer de la valeur absolue, il faut distinguer deux cas, selon que $x$ tend vers zéro par valeurs négatives (dans ce cas, le quotient tend vers $-\infty$ ) ou positives (le quotient tend alors vers $+\infty$ ).