از ویکیپدیا، دانشنامهٔ آزاد
فرمول والیس نام یک رابطه ریاضی است.
فرمول والیس یکی از مهمترین آثار جان والیس در ریاضیات است. او با ابداع این فرمول ریاضی کار لئونارد اویلر را پیش انداخت.
والیس از کارهای فرما و دیگران برای محاسبه
سطح زیر نیمدایره را برابر
در نظر گرفت.
سپس رابطه زیر را نتیجه گرفت:
با در نظر گرفتن حاصل ضرب نامحدود زیر:
میتوان فرمول والیس را به صورت زیر نوشت:
فرمول والیس برای اعداد صحیح فرد عبارت است از:
و برای اعداد صحیح زوج:
در فرمول ریاضی بالا !!m حاصل ضرب (m(m - 2)(m - 4 است.
- Carl B. Boyer, A history of mathematics, 2nd edition, by John Wiley & Sons, Inc., page 384, 1991