(X +6)*2 = 2X + 12 = 2X + 12 - X = X + 12 - 11 = X + 1 : oui c'est juste
l'expression littérale est donc x+1
en q1), tu as choisi 3 nombres, tu as obtenu 3 résultats, ce qui t'a permis de faire une conjecture : tu as supposé que le programme ajoute 1 au nombre de départ.
en q2), quand tu déroules avec x, tu prouves que tu ne t'étais pas trompé en q1 : tu prouves ta conjecture, car si le calcul est x+1, le programme ajoute 1 au nombre de départ quel que soit le nombre de départ.
Ici, on ne conjecture plus, on apporte une preuve.
Tu vois ?