Annulation anomale
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.
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) :
L'article de Boas analyse les cas à deux chiffres dans des bases autres que la base 10, par exemple,3213 =21 et son inverse sont les seules solutions en base 4 à deux chiffres.
Un exemple d'annulation anomale avec plus de deux chiffres est165462 =1542, et un exemple avec un nombre différent de chiffres est 98392 =832 .
Propriétés élémentaires
modifierLorsque 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
modifierRéférences
modifier- (en) Eric W. Weisstein, « {{{titre}}} », sur MathWorld
- Boas, R. P. "Anomalous Cancellation." Ch. 6 in Mathematical Plums (Ed. R. Honsberger). Washington, DC: Math. Assoc. Amer., pp. 113–129, 1979.