Introduction

« Un voyage de mille lieues commence toujours par un premier pas ».

Lao Tseu, Doo De Jing (-600 Av J.C)

Il a fallu plus de 3 siècles pour aboutir au raisonnement par récurrence tel qu'il va vous être présenté dans cette partie. Le raisonnement par récurrence a été inventé par Fermat et Pascal au XVIIe siècle, le principe de démonstration a été axiomatisé par Peano à la fin du XIXè siècle et son nom définitif lui a probablement été donné par Henri Poincaré en 1902.