Démonstration par récurrence

[milobil]

Merci pour ce tutoriel.

Cepdenant à chaque fois que j'essaye de démontrer un truc du genre U(n)>2 (je fais tous les réglages comme indiqués), le programme s'éxecute bien; l'initiatilsation est faite et quand au niveau de l'héridité on arrive U(n+1) = f(U(n)) avec f(x) = ...., j'obtiens cette erreur :

Erreur : La variable n'est pas définie.

Aucune valeur n'a été associée à la variable.

Pourtant j'ai tout bien suivi..

Voilà ce que j'ai rentré au préalable :

L'énnoncé :


U(0) = 0
Rang d'initialisation : 0
U(n+1) = (-4/3)+(3*u(n))
Propriété à démontrer : u(n)≤(2/3)


Merci de m'aider

[NspireCas]

Bonsoir,
Télécharge la dernière version du programme et ça devrait marcher.

[milobil]

Merci de votre réponse cependant je suis sur la derniere version.

Une idée de ce qui est à l'origine du problème ? Peut-être la syntaxe ?

[NspireCas]

Je ne pourrais pas modifier le programme avant la fin de la semaine ...
Quand l'as tu téléchargé en fait ? Par dernière version j'entends que tu l'as pris après le 25 septembre.
Essayé de me citer ou de prendre une photo de la ligne ou y a l'erreur

[milobil]

Je l'ai téléchargé aujourd'hui, de cet url :
archives_voir.php?id=22298

Voici ce que j'ai sur ma calculatrice :





Pourtant tout a l'air correct, et quand je rentre l'exemple de votre tutoriel ça marche très bien, mais dès que je fais un autre ca bloque toujours au même niveau.

[NspireCas]

Je pourrai voir ça jeudi ou vendredi, désolé ^^

[Medoragent]

J'ai essayé ton exemple et chez moi ça marche, j'obtiens à la fin que la propriété est vraie, soit u(n) < ou = 2/3.

[milobil]

Tu pourrais me dire quelle syntaxe tu as utilisé pour écrire la suite etc ?

Merci

[Medoragent]

Premier rang = 0
U(0) = 0
Rang d'initialisation : 0
U(n+1) = (-4/3)+(3*u(n))
Propriété à démontrer : u(n)≤(2/3)
U(n+1) = f(u(n)) ? non

Autrement dit, exactement comme toi.
Je viens de penser que c'est peut-être dû au -, tu mets le - de la soustraction ou du sens/signe pour (-4/3)+(3*u(n)) ?

[pierrotdu18]

Je veux pas trop faire c****, mais n'oublie pas que ta suite est définie sur

$mathjax$\mathbb{N}^*$mathjax$

...