bonjour, j'ai un algo qui calcul le pgcd de deux nombres n1 et n2
Je dois prouver cette algo mais je ne sais pas vraiment comment le faire. Je l'ai fais tourner pour les première valeurs( n1 = 1 et n2 =2) mais je ne sais pas comment le prouver pour n valeurs.

Code : Sélectionner tout - Visualiser dans une fenêtre à part
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
FonctionPGCD(T1,T2 :tableau) :entier
    pgcd, p1, p2 :entier
      Début
           pgcd←1; p1←1; p2←1;
 
    Tant Que(p1≤Taille1) et (p2≤taille2)Répéter
        Si T1[p1,1]=T2[p2,1]
           Alors
           m←min(T1[p1,2],T2[p2,2])
           pgcd←pgcd * [T1[p1,1]]^m
           p1←p1 + 1
           p2←p2 + 1
 
       Sinon Si T1[p1,1] < T2[p2,1]
          Alors p1←p1+1
       Sinon p2←p2+1
      Fin Si
    Fin Si
  Fin Tant Que
Retour
pgcd
Fin