Bonjour,
en reprenant ton exp. :
Le principe est de partir de l'hypothèse de récurrence et de démontrer que la propriéte est alors vrais au rang n+1.
Hypothèse : 2ⁿ > 2n
⇒ 2 x 2ⁿ > 2 x 2n
⇔ 2ⁿ⁺¹ > 4n
Or 4n = 2(n + 1) + 2n - 2 = 2(n + 1) + 2(n - 1)
Et pour tout n ≥ 1, 2(n - 1) ≥ 0 ⇒ 2(n + 1) + 2(n - 1) ≥ 2(n + 1)
Donc, pout tout n ≥ 1, 4n ≥ 2(n + 1)
⇒ 2ⁿ⁺¹ > 4n ≥ 2(n + 1)
cqfd : propriété vraie au rang 1, et héréditaire, donc vraie pour tout n