- Pour n = 1, la proposition est évidemment vérifiée avec p1 = q1 = 1
- On suppose n vrai, donc il existe deux entiers pn et qn tels que :
(2 + sqrt(3))^n = pn + qn*sqrt(3)
Montrons que la proposition est vrai au rang n+1 :
(2 + sqrt(3))^(n+1) = (2 + sqrt(3))(2 + sqrt(3))^n
D´où :
(2 + sqrt(3))^(n+1) = (2 + sqrt(3))(pn + qn*sqrt(3))
Soit en développant et réordonnant les termes :
(2 + sqrt(3))^(n+1) = (2pn + 3qn) + (pn + 2qn)*sqrt(3)
En notant p_(n+1) = (2pn + 3qn) et q_(n+1) = (pn + 2qn), on a bien
(2 + sqrt(3))^(n+1) = p_(n+1) + q_(n+1)*sqrt(3)
avec p_(n+1) et q_(n+1) entiers naturels (car sommes et produits d´entiers naturels).