par sos-math(21) » lun. 30 déc. 2013 08:31
Bonjour,
Le principe de descente infinie est un type de raisonnement mathématique, peu utilisé, surtout au lycée, et qui se rencontre essentiellement en arithmétique.
Il repose sur le fait qu'une suite strictement décroissante d'entiers naturels est nécessairement finie et s'arrête à 0.
Le cas le plus simple est bien celui de l'algorithme d'Euclide, quand on recherche \(PGCD(a,b)\).
La division euclidienne produit un reste strictement inférieur au diviseur \(0\leq r< b\).
Comme dans l'algorithme d'Euclide, on effectue la suite des divisions euclidiennes du diviseur par le reste, on a à un rang n donné \(0\leq r_{n+1}<r_n\).
La suite \((r_n)\) ainsi construite est une suite d'entiers strictement décroissante. Elle est nécessairement finie car chaque terme occupe une place strictement inférieure au précédent et comme les restes sont "coincés" entre 0 et \(b\), diviseur de départ, il n'y a qu'un nombre fini d'emplacements pour ces restes. On est donc obligé de s'arrêter à un moment donné :
Il existe un rang \(n_0\), tel que \(r_{n_0}\neq 0\) et \(r_{n_0+1}=0\). On tombe sur le pgcd de \(a\) et \(b\).
C'est ce raisonnement qui permet de "finir" l'algorithme d'Euclide.
est-ce plus clair ?
Bon courage
Bonjour,
Le principe de descente infinie est un type de raisonnement mathématique, peu utilisé, surtout au lycée, et qui se rencontre essentiellement en arithmétique.
Il repose sur le fait qu'une suite [u]strictement décroissante[/u] d'entiers naturels est nécessairement finie et s'arrête à 0.
Le cas le plus simple est bien celui de l'algorithme d'Euclide, quand on recherche [tex]PGCD(a,b)[/tex].
La division euclidienne produit un reste strictement inférieur au diviseur [tex]0\leq r< b[/tex].
Comme dans l'algorithme d'Euclide, on effectue la suite des divisions euclidiennes du diviseur par le reste, on a à un rang n donné [tex]0\leq r_{n+1}<r_n[/tex].
La suite [tex](r_n)[/tex] ainsi construite est une suite d'entiers strictement décroissante. Elle est nécessairement finie car chaque terme occupe une place strictement inférieure au précédent et comme les restes sont "coincés" entre 0 et [tex]b[/tex], diviseur de départ, il n'y a qu'un nombre fini d'emplacements pour ces restes. On est donc obligé de s'arrêter à un moment donné :
Il existe un rang [tex]n_0[/tex], tel que [tex]r_{n_0}\neq 0[/tex] et [tex]r_{n_0+1}=0[/tex]. On tombe sur le pgcd de [tex]a[/tex] et [tex]b[/tex].
C'est ce raisonnement qui permet de "finir" l'algorithme d'Euclide.
est-ce plus clair ?
Bon courage