Un fichier montrant que pour chaque tangente à la courbe de la fonction exponentielle , en repère orthonormé, il existe une tangente symétrique pour la courbe de la fonction logarithme népérien. Pour chacune de ces tangentes , le programme montre 2 points stratégiques. On peut afficher ou effacer les tangentes sur la 2° courbe en cochant ou décochant une case en bas. Le curseur en haut permet de se déplacer sur les 2 courbes.
Trouver les coordonnées des points de couleur sur la 1ère courbe puis déduire celles des points symétriques. Vérifier que ces 2 points symétriques ont bien des abscisses différentes. Puis démontrer avec ces 2 points la formule de dérivation de la fonction logarithme népérien.