Des équations
/cu.sin.,a; = ^ — - + g m4
ca~ ^» t ~ sin.x. cos. a? , i Jda;. cos.1 a? = - + jj?f
on déduit
/ rfx.sin,ta;= T cUp.oo^,*« î ;
et en général, les formules de réduction données n° 294,
,^ , sin."t~1a?.cos.a? m— i . * *
fax. cos.mx = h— — Jda?.coa,,|-1a!,
Cette expression très-remarquable <lu nombre * a été donnée |>ar Wallis.