Auteur : Géry Huvent

Cette activité guidée propose étude expérimentale à l’aide d’un logiciel de calcul formel : conjecturer, démontrer avec et sans le logiciel.

Déroulement

• Lieu : salle informatique
• Durée : 1 ou 2 séances de 2h
• Matériel élève :
  • logiciel de calcul formel (Maple, Mupad)

But

• Énoncer une conjecture précise et la démontrer avec le logiciel de calcul formel.
• Démontrer le même résultat sans le logiciel.

Prérequis

• Savoirs :
  • Commandes de base du logiciel Maple (factor, solve, sum, définition des fonctions).
  • Formule des Leibniz.

Documents

_{Transfert par E.O.}