JeuLimite : une alternance de quantificateurs illustrée par un "jeu".

Dans un jeu à deux joueurs, quand on cherche à dire que le second joueur a une stratégie gagnante, on obtient un énoncé du type
      Pour tout coup1 du premier joueur...
      Il existe un coup2 du second joueur tel que...
      Pour tout coup3 du premier joueur...
      Il existe un coup4 du second joueur tel que...
      ...
      Le second joueur gagne

On retrouve un énoncé de ce type dans la définition du concept de limite : pour tout epsilon, il existe un delta ...

Ceci nous conduit à imaginer un jeu à deux joueurs, où le premier donnerait des nombres epsilon positifs en guise de défi, et où le second devrait trouver des nombres delta en guise de réponse. Voici un petit logiciel mettant en scène cette idée.

Votre navigateur ignore la balise <APPLET>
Pour exécuter le programme JeuLimite, cliquez sur l'image ci-dessus.

Mode d'emploi

Supposons qu'on veuille vérifier si .

On doit tout d'abord entrer les informations pertinentes dans les champs :

Remarques importantes

Le but du "jeu" (sans fin) est de pouvoir, pour chaque rectangle jaune présenté par le programme, réduire ses dimensions horizontales (au moyen de la souris) de façon à ce que tous les points du graphe de la fonction soient contenus dans ce rectangle réduit. Si vous réussissez, le programme vous présentera un nouveau rectangle / défi. Si vous échouez, le programme vous le signalera, puis vous présentera un nouveau rectangle / défi de façon à vous permettre de corriger une éventuelle erreur de votre part. Si tout correction s'avérait impossible, c'est que la fonction n'admet pas la limite L au point a.


Téléchargement de l'application autonome

Pour contacter les auteurs

André Boileau   (Voir aussi son  site web.)
Professeur
Section Didactique
Département de mathématiques
UQAM
Maurice Garançon
Professeur retraité
Section Didactique
Département de mathématiques
UQAM