Bilan de cette activité

Nous voici donc en mesure de tracer n'importe quelle tangente à une ellipse à l'aide d'une équerre puisqu'il suffit de tracer la perpendiculaire à (MF) en M puis l'intersection T de cette droite avec une directrice : la tangente est la droite (TM).

Il s'agit d'un problème géométrique. L'ordinateur nous permet de prouver ce théorème en se dispensant de passer trop de temps dans des calculs algébriques compliqués : nous restons dynamiques mathématiquement sans être perturbés par l'aquisition d'une virtuosité algébrique ou informatique. Les instructions données correspondent à la démarche mathématique. Nous avons fait des mathématiques et très peu d'informatique en somme. Nous nous sommes concentrés sur le raisonnement et l'ordinateur nous a permis de ne pas nous perdre dans les calculs.

Le travail avec un calculateur formel est donc la continuation logique du travail avec une calculatrice usuelle, mais en offrant beaucoup plus de posibilités bien sûr.