Forum TI-Planet.org

Quelqu'un sait pourquoi uk≥n-1 ⇔ uk≥0|n≥3 ne renvoit pas true ?

Merci

Euhhh, contexte ? (u)
parce que sinon, ton '3' sort de nulle part, là..

C'est quoi uk?... Car là je vois mal pourquoi tu as fait apparaître un 3...

EDIT : Adriweb Ninja

parce c'est false, tout simplement
uk>=n-1 ==> uk>=0 ok
mais uk>=0 ==> uk>=n-1 faux

Le "|", c'est un "et" ?
Parce que dans ce cas c'est normal que ça renvoie faux, on peut très bien avoir n=1, uk=0 et on a alors uk≥n-1 mais pas uk≥0|n≥3.

Désolé, dans mon programme de récurrence , on veut prouver que u(n)>= 0 , on fait l'initialisation puis dans l'hérédité on tombe sur u(k+1)>n-1.
(u0=0 et u(n+1)=n-1+1/3*u(n))
Puisque u(k+1)>n-1 avec n plus grand ou égal à 3 (le rang d'initialisation), alors la propriété est vraie , mais la nspire ne comprend apparemment pas l'équivalence...

le "|" signifie "sachant que", autant sur nspire que sur 68k

Adriweb wrote:le "|" signifie "sachant que", autant sur nspire que sur 68k

Ah. Ben oubliez ce que j'ai dit plus haut, ça s'applique au "et" mais je ne connais pas le "sachant que" -.-

Nspirecas wrote:Désolé, dans mon programme de récurrence , on veut prouver que u(n)>= 0 , on fait l'initialisation puis dans l'hérédité on tombe sur u(k+1)>n-1.
(u0=0 et u(n+1)=n-1+1/3*u(n))
Puisque u(k+1)>n-1 avec n plus grand ou égal à 3 (le rang d'initialisation), alors la propriété est vraie , mais la nspire ne comprend apparemment pas l'équivalence...

uk≥n-1 ⇔ uk≥0|n≥3 = false
uk≥n-1 ==> uk≥0|n≥3 = true

ATTENTION aux équivalences : ce sont des doubles implications !

Le "|" signifie "sachant que" et non "pour tout", Nspirecas.