[TUTO] Démonstration par récurrence

[bruce93]

Bonjour,
j'ai téléchargé votre programme de demonstration par recurence mais lors que j'entre "recur()" il me dit que la fonction n'est pas defini vous auriez une solution ?
merci d'ava nce

[NspireCas]

Bonjour,

Tu as bien une Ti-Nspire Cas ?

[Warol]

Salut,


Je ne sais pas si je l'utilise mal, mais à chaque fois que je met une démonstration par récurrence, le programme sort des F(Un) pour chaque cas, alors que la propriété à démontrer est beaucoup plus simple que ça ( et aussi ce n'est pas les même réponse que dans mes corrigés )



Même dans ce cas je ne vois pas d'ou elle sort, l'expression de f(x)

[Hamza.S]

je ne connais rien aux suites mais je comprends très bien l'expression f(x)
si tu notes f(u(n))=5*u(n)+1 ce n'est pas parlant par contre avec x on comprend tout de suite

[Warol]

Bonjour,

Cette méthode elle marche pas pour toutes les démonstrations or le programme utilise celle-ci pour toutes les démonstrations
Je parle pas de démonstration compliqué, mais très simple

Et parfois l'expression F(Un) est incohérente parfois y'a des termes on ne sait pas d'ou ça sort bref ça donne des résultats faux et incohérent

Y'a que pour l'Initialisation ou c'est vrai , l'héridité c'est faux


Merci,

[Bisam]

Warol : Pour éviter de parler dans le vide, donne un exemple d'exercice que tu souhaiterais voir résoudre, et on tâchera de t'expliquer dans cette situation de quoi il retourne.

Pour l'instant, je ne vois pas de problème dans ce qui est écrit dans la photo que tu as postée (mis à part que c'est mal rédigé... mais bon, au lycée, ça passerait sûrement). On utilise la croissance d'une certaine fonction f qui apparaît dans la relation définissant la suite U.

[Warol]

Rebonjour,


Je voulais savoir si ce programme pouvait capté des propriétés de ce genre, pour les suites, avec une petite inconnue ?




Et pour les récurrences des autres chaps, ça capte pas ?


Merci, bonne journée

[NspireCas]

Salut

Non ça ne marche pas s'il y a une inconnue.

[Warol]

Bonjour,


Est-il possible à ce jour, d'améliorer le programme de récurrence pour qu'il puissent marché avec des inconnues, et de le rendre plus puissant, afin qu'il démontre en dehors des suites, des récurences présent dans d'autres chapitres? ou c'est inenvisageable d'un point de vu technique

[Bisam]

Il est déjà très peu fiable dans le cadre des suites (dans le sens où il ne peut pas conclure dans de nombreux cas alors que le résultat est démontrable). Ce sera encore pire si on tente d'élargir à d'autres possibilités.

Malheureusement, la calculette ne peut pas remplacer le cerveau !