Description
Fichier TxtView généré sur TI-Planet.org.
Compatible TI-73/76/82/83/84.
Nécessite l'intallation d'un kernel/shell compatible et du programme TxtView approprié.
<<
Mq exp est l'unique fonction f derivable sur R tq exp'(x)=exp(x) et exp(0)=1
Supposons que g soit une fonction derivable sur R tq g'=g et g(0)=1
Mq g=exp ou k = g/exp est constante sur R et egale a 1
k(x)= (g'(x)exp(x)-g(x)exp'(x))/exp²(x) = (g(x)exp(x)-g(x)exp(x))/exp²(x) = 0
Donc k est constante sur R.
k(0)= g(0)/exp(0) = 1/1 = 1
d'ou pr tout x appartenant a R, k(x)=1 et g=exp
>>