Cette figure GeoGebra illustre une démonstration
du théorème fondamental de l'algèbre : tout polynôme p(z) non constant à
coefficients complexes a au moins une racine complexe.
Le polynôme en question est défini par
Sur le graphique de gauche (le domaine), on peut
voir un point z circulant sur un cercle bleu, centré à l'origine. On
peut redimentionner ce cercle bleu en déplaçant le point bleu pâle. On
peut arrêter ou déclencher le mouvement du point z par un clic sur
l'icône en bas à gauche.
Sur le graphique de droite (le codomaine), on peut voir le point
correspondant p(z) circulant sur une courbe rouge, qui est en fait
l'image du cercle bleu par le polynôme p(z).
Une racine z du polynôme p(z) correspond au cas où le point rouge
p(z) se situe exactement à l'origine du codomaine. En manipulant
le rayon du cercle bleu ainsi que la position du point z sur ce cercle,
on peut révéler une à une les n racines du polynôme : mais on travaille
ici pour un polynôme particulier.
Note : pour nous aider dans notre démarche, GeoGebra nous permet de
redéfiniir tant le domaine que le codomaine par des translations
(glissers de souris) que des zooms (via la roulette de la souris).
Le raisonnement général découle des observations suivantes (quand p
n'est pas un polynôme constant) :
Tout a commencé à la lecture d'une brochure de Gilbert Labelle, intitulée Introduction aux nombres complexes et applications (dont un extrait est reproduit dans le document suivant), dans laquelle on esquissait une preuve visuelle du théorème fondamental de l'algèbre. J'ai d'abord cherché à rendre cette approche plus dynamique, en utilisant le logiciel Graphing Calculator (voir le lien suivant). Par la suite, pour permettre que l'interactivité se transfère sur le web, j'en ai fait une version GeoGebra, à l'occasion du Congrès de l'AMQ 2016.
Créé par André Boileau
Template par OS Templates