1. Calculons les puissances de : On constate que , ce qui simplifie le calcul suivant :
2. On a , et : les coefficients , , sont les puissances successives de . D'où la conjecture :
3. Considérons la propriété, définie pour tout entier naturel non nul :
Initialisation : Pour , on a et . Les deux membres coïncident, donc est vraie.
Hérédité : Soit . Supposons vraie, c'est-à-dire . Alors : en utilisant établi à la question 1. C'est exactement , qui est donc vraie.
Conclusion : Par principe de récurrence, la propriété est vraie pour tout entier naturel non nul :
4. On reprend la même démarche pour :
Conjecture. Le coefficient en bas à droite vaut , , , soit ; celui en haut à droite vaut , , , soit . D'où :
Démonstration. Considérons la propriété :
Initialisation : Pour : . Donc est vraie.
Hérédité : Soit . Supposons vraie. Alors : car . C'est exactement , qui est donc vraie.
Conclusion : Par principe de récurrence, pour tout entier naturel non nul :
On remarquera la différence de méthode : pour , l'hérédité repose sur la relation ; pour , elle repose sur un calcul direct de produit. Dans les deux cas, c'est l'observation des premières puissances qui a guidé la conjecture.