Salut,

Tu peux commencer à prouver la chose avec n dans IN, puis prouver , toujours dans IN, que exp(-nx)=(exp(x))^-n=exp^-n(x)

Sans coupure malencontreuse :
Tu peux commencer à prouver la chose avec n dans IN,
puis prouver , toujours dans IN, que exp(-nx)=(exp(x))^-n=exp^-n(x)

Ainsi je peux faire mon initialisation à 0. Super merci!

Aussi, je suis gêné par l'écriture « exp » ça ne change pas grand chose si?

Je préfère l'écriture avec « e »

Ecris avec " , c'est préférable.e"

Hum...
Ecris avec "e" , c'est préférable  

C'est dimanche, fin de semaine, on est tous fatigué lol

Donc la j'ai fais ma récurrence avec n

Maintenant je refais une récurrence avec -n dans l'hérédité?

Ensuite? Que dois-je marquer? Par jonction d'ensemble?

Oui, et oui

Je viens de finir les récurrences. Voici mes deux conclusions et ma déduction finale:

Par raisonnement par récurrence, on a prouvé que :
x , n exp ( nx ) =( exp (x) )ⁿ

Et que : x , n exp ( (-n)x) = ( exp (x) )ⁿ

Ainsi, par jonction ( réunion ) d'ensemble :

x , n , exp ( (-n)x) = (  exp (x) )ⁿ

Pardon!!

exp ((-n)x) = ( exp (x) )^-n

Non, ta conclusion est bien :  x ,n ,  exp ( nx ) =( exp (x) )ⁿ

Ah oui je me suis même trompé dans la conclusion... ok merci pour tout monsieur!

De rien