Changement de variable (simplification algébrique)

Le changement de variables est un procédé mathématique qui consiste à remplacer une variable ou même une fonction par une autre fonction de celle-ci ou d'un autre paramètre. Ce procédé est un des outils principaux pour la simplification de formules algébriques ou, plus généralement, d'équations.

Par exemple, c'est par un changement de variable qu'on peut obtenir l'équation de Weierstrass d'une courbe elliptique.

On peut aussi appliquer ce procédé pour simplifier le calcul d'une somme ou d'un produit (par exemple, pour permettre le regroupement de termes similaires).

« Pour déterminer un résultat concis dans le domaine d'un problème, nous pouvons utiliser des transformations qui ne sont pas nécessairement valables en dehors de ce domaine. Par exemple, certaines transformations qui sont valables pour tous les entiers ou pour tous les nombres positifs ne sont pas valables pour plus de nombres réels générales, et quelques transformations sont valables pour tous les nombres réels ne sont pas valables pour tous les nombres complexes. »[1]

Exemple

modifier

Considérons le système d'équations

 
 

  et   sont des nombres entiers positifs avec  . (Source: 1991 AIME) La résolution de cette équation n'est normalement pas très difficile, mais elle peut être un peu fastidieuse. Cependant, on peut réécrire la deuxième équation tel que  . Faire le changement de variable   réduit le système à   La résolution de celle-ci donne   ou   Le changement de la première paire ordonnée nous donne  , qui nous donne facilement la solution   Le changement de la deuxième paire ordonnée nous donne  , qui nous donne aucune solution. Par conséquent, la solution qui permet de résoudre le système est  .

Notes et références

modifier
  • David R. Stoutemyer, « Ten commandments for good default expression simplification », Journal of Symbolic Computation, special Issue in Honour of Keith Geddes on his 60th Birthday, vol. 46,‎ , p. 859-887 (DOI 10.1016/j.jsc.2010.08.017, lire en ligne, consulté le )