Présentation

La « division par zéro » désigne toute expression du type A ÷ 0. En arithmétique habituelle des nombres réels, cette opération n'est pas définie : on ne peut pas attribuer un nombre réel unique qui, multiplié par 0, reconstitue le dividende A lorsque le diviseur vaut 0. Par exemple, si A * B = C et que B = 0, alors C = 0. {\displaystyle A*B=C} Inversement, écrire A = C / B avec B = 0 conduit à des contradictions évidentes : l'équation ne permet plus de déterminer A de façon unique. {\displaystyle A=C/B}

Cas distincts : 0/0 et a/0 (a ≠ 0)

Il convient de distinguer deux situations fondamentales. Quand le numérateur est non nul (a/0 avec a ≠ 0), l'expression est dite indéfinie ou « infinie » au sens intuitif : aucune valeur réelle ne satisfait la relation a = 0 × x. Ainsi on parle souvent de divergence vers l'infini, mais ce n'est pas une égalité dans l'ensemble des réels. {\displaystyle A=0/0} Lorsque le numérateur est zéro (0/0), la situation est plus délicate : 0/0 est qualifié de forme indéterminée parce que n'importe quel nombre x vérifie 0 = 0 × x. Il n'existe donc pas de valeur unique associée à 0/0 et les règles algébriques usuelles deviennent inapplicables. {\displaystyle A}

Interprétations en analyse et exemples

En calcul différentiel et intégral, une expression ponctuellement égale à 0/0 peut néanmoins admettre une limite finie ou infinie selon la manière dont les termes approchent zéro. Par exemple, la limite de sin(x)/x quand x tend vers 0 vaut 1, alors que la limite de 1/x quand x tend vers 0 n'existe pas (diverge). Ces différences expliquent l'emploi du terme « forme indéterminée » : 0/0 n'indique pas le comportement limite, il impose d'utiliser d'autres techniques (facteur commun, développement en série, règle de l'Hôpital) pour déterminer la limite effective. {\displaystyle A}

Traitement en mathématiques étendues et en informatique

Plusieurs extensions conceptuelles des réels proposent des manières de « gérer » la division par zéro. Dans la droite réelle étendue, on ajoute ±∞ pour représenter certaines limites, mais ces objets ne vérifient pas toutes les propriétés algébriques ordinaires. En géométrie projective, on ajoute un point à l'infini unique, ce qui change la manière dont on interprète certaines divisions. En informatique, les langages et normes flottantes distinguent souvent entre infini (Inf) et « not a number » (NaN) : une opération non nulle divisée par zéro produit une valeur infinie, alors que 0/0 produit NaN ou déclenche une exception, selon l'implémentation. {\displaystyle A}

Remarques historiques et importance pratique

  • La question de la division par zéro a été abordée depuis l'Antiquité : les mathématiciens ont rapidement reconnu l'impossibilité d'attribuer une valeur cohérente dans l'arithmétique classique.
  • En analyse moderne, comprendre la différence entre « indéfini », « indéterminé » et « infini » est essentiel pour le calcul de limites et la résolution d'équations différentielles.
  • En pratique, éviter les divisions par zéro est crucial en algorithmique, simulation numérique et ingénierie : on ajoute des contrôles, des régularisations ou des conventions pour prévenir des résultats non significatifs.

En résumé, la division par zéro n'est pas autorisée dans l'algèbre des nombres réels car elle détruit l'information nécessaire pour inverser la multiplication par zéro. Selon le contexte (analyse des limites, extensions des nombres, calcul numérique), on adopte des conventions ou des outils pour décrire le comportement des expressions qui tendent vers une division par zéro, mais cela ne rend pas la division par zéro véritablement définie dans l'ensemble des réels.