Si dans l'équation

on fait -^ = ^' on obtient la formule

chaque facteur qui est une différence de carrés peut être remplacé par un produit, et l'on a

on en déduit

îT 224466 in in

2 I 33557 (2 n— i) (2/1+1)"*'' formule célèbre que Wallis a découverte par un procédé très-différent.

417. On a rattaché depuis longtemps la formule précédente à uhe formule de