bjr
résultat des programmes avec n, nbre quelconque au départ
prog A
nbre n
+5 n+5
-1 n-1
produit (n+5) (n-1)
+ 9 (n+5) (n-1) + 9
=> résultat = n² - n + 5n - 5 + 9 = n² + 4n + 4
prog B
nbre n
+2 n+2
au² (n+2)²
=> résulat = n² + 4n + 4 car (a+b)² = a² + 2ab + b²
donc vrai
