Une annulation anomale ou accidentelle est un type particulier de procédure arithmétique erronée qui donne une réponse numériquement correcte. Une tentative est faite pour simplifier une fraction en annulant des chiffres individuels du numérateur et du dénominateur. Il ne s'agit pas d'une opération légitime et elle ne donne généralement pas de réponse correcte, mais dans certains cas rares, le résultat est numériquement le même que si une procédure correcte avait été appliquée[1]. Les cas triviaux d’annulation des zéros de fin ou lorsque tous les chiffres sont égaux sont ignorés.


Un exemple d'annulation anomale en analyse

Voici des exemples d'annulation anomale qui produisent néanmoins un résultat correct (ceux-ci et leurs inverses sont tous des cas en base 10 où la fraction est différente de 1 et avec deux chiffres) :

  • [2]

L'article de Boas analyse les cas à deux chiffres dans des bases autres que la base 10, par exemple,32/13 =2/1 et son inverse sont les seules solutions en base 4 à deux chiffres.

Un exemple d'annulation anomale avec plus de deux chiffres est165/462 =15/42, et un exemple avec un nombre différent de chiffres est 98/392 =8/32 .

Propriétés élémentaires

modifier

Lorsque la base est première, il n’existe pas de solutions à deux chiffres. Cela peut être prouvé par contradiction : supposons qu’une solution existe. Sans perte de généralité, nous pouvons dire que cette solution est

 

où la double ligne verticale indique la concaténation des chiffres. Ainsi, nous avons

 

Mais  , car ce sont des chiffres en base   ; encore   divise  , ce qui signifie que  . Donc le côté droit est nul, ce qui signifie que le côté gauche doit également être nul, c'est-à-dire,  , une contradiction avec la définition du problème. (Si  , le calcul devient  , qui est l’un des cas triviaux exclus.)

Une autre propriété est que le nombre de solutions dans une base   est impair si et seulement si   est un carré pair. Cela peut être prouvé de la même manière que ci-dessus : supposons que nous ayons une solution

 

Alors, en faisant la même manipulation, on obtient

 

Supposons que  . Alors notez que   est également une solution à l'équation. Cela crée presque une involution de l’ensemble des solutions vers lui-même. Mais nous pouvons également remplacer pour obtenir  , qui n'a de solutions que lorsque   est un carré. Posons  . En prenant des racines carrées et en réorganisant on obtient  . Étant donné que le plus grand diviseur commun de   est un, nous savons que  . En notant que  , cela a précisément les solutions   : c'est-à-dire qu'il a un nombre impair de solutions lorsque   est un carré pair. La réciproque de l’affirmation peut être prouvé en notant que ces solutions satisfont toutes aux exigences initiales.

Voir aussi

modifier

Références

modifier
  1. (en) Eric W. Weisstein, « {{{titre}}} », sur MathWorld
  2. Boas, R. P. "Anomalous Cancellation." Ch. 6 in Mathematical Plums (Ed. R. Honsberger). Washington, DC: Math. Assoc. Amer., pp. 113–129, 1979.