recurrence.py

Created by tara-cornu

Created on October 11, 2021

588 Bytes


Prouvons par récurrence que pour
tout entier nEN : 
  "u(n)=...."


- Initialisation: pour n=O

......

La propriété est donc vraie au rang
0 et elle est donc initialisée.


- Héréfité : Soit k un entier.

Supposons que la propriété soit
vraie au rang k, c'est-à-dire : 
  'u(k)=........'

La propriété est-elle toujours
vraie au rang k+1 ?

......

donc la propriété est vraie au
rang k+1 et est héréditaire.


- Conclusion: 

La proposition est vraie 
au rang n=... et héréditaire,
donc d'après le principe de 
récurrence, "u(n)=..." pour tout
nEN.