پیشینه

فرمول والیس یکی از مهم‌ترین آثار جان والیس در ریاضیات است. او با ابداع این فرمول ریاضی کار اولر را پیش انداخت.

بیان ریاضی

والیس از کارهای فرما و دیگران برای محاسبه


eb900852272956ffd0d683502842eda7

سطح زیر نیم‌دایره را برابر f4d20ddf55f158ae04ce992c29d98efdدر نظر گرفت.

سپس رابطه زیر را نتیجه گرفت:

331870c4f54b730186ca2020e2c81814

با در نظر گرفتن حاصل ضرب نامحدود زیر:


d8103a7ed1e8a191b0217f1715a0a129

می‌توان فرمول والیس را به صورت زیر نوشت:


a1109cfdf48033e41255cf85db4a7051

فرمول والیس برای اعداد صحیح فرد عبارت است از:


87b0fa4c307a8f0e05d2420f063a5b19

و برای اعداد صحیح زوج:


c4d511ac93e143fa6b0356bcead2d253

در فرمول ریاضی بالا !!m حاصل ضرب (m(m - 2)(m - 4 است.