محاسبهٔ ثابتهای ریاضی
هیچکدام از استانداردهای سیپلاسپلاس و یا سی عدد π را تعریف نکردهاند.
بنابراین هر برنامهنویسی که قصد داشته باشه از توابع مثلثاتی یا آماری استفاده
کنه مجبوره خودش π رو تعریف کنه. خوشبختانه فایلهای سرآیند استاندارد عدد π
رو تعریف کردهاند، (ثابت M_PI
در هدر math.h
رو ببینید) با این وجود استفاده
از این ثابت و ثابتهای دیگه بسیار خطرناک هست و برای کاربردهای دقیق باعث بروز
خطاهای عددی خواهد شد.
خوشبختانه میشه با صرف هزینهٔ صفر در زمان اجرا π رو بهصورت استاندارد (با تعاریف مشخص عددی) و البته در زمان کامپال محاسبه کرد. برای این کار از meta-programming به وسیلهٔ template ها در C++ استفاده میکنیم. از مزایای این روش میشه به قابل حمل بودن و پیروی کامل از استاندارد IEEE 754 اشاره کرد که از لحاظ دقت عددی و یکسان بودن نتایج روی ماشینهای مختلف بسیار مهم هست.
برای محاسبهٔ عدد π روشهای مختلفی وجود داره. اکثر این روشها براساس محاسبهٔ یک سری یا دنباله هستند که در بینهایت به عدد پی همگرا میشه. یکی از بهترین روشها فرمول Bailey–Borwein–Plouffe هست. اثبات میشه که:
$$\pi=\sum_{n=0}^{\infty}{\left[\frac{1}{16^{n}}\left(\frac{4}{8n+1}-\frac{2}{8n +4}-\frac{1}{8n+5}-\frac{1}{8n+6}\right)\right]}$$
بنابراین با این کد توی C++ میتونیم بهسادگی عدد پی رو تا هر تعداد تکرار که میخواهیم حساب کنیم:
|
|
نتایج:
pi: 3.14142246642247
pi: 3.14159265322809
pi: 3.14159265358979
pi: 3.14159265358979
چرا؟
روشهای زیادی برای محاسبهٔ عدد پی وجود داره. چرا دقیقاً این روش بهتره؟ مثلاً روش نیوتون بهصورت هندسی عدد پی رو به این صورت حساب میکنه:
$$\pi=\frac{3}{4}\sqrt{3}+24\int_{0}^{\frac{1}{4}}{\sqrt{x-x^{2}}},dx$$
که خوب از نظر عددی محاسبهٔ پیچیدهتری داره و زمان کامپایل نمیشه درست حسابش کرد. روشهای دیگهای هم وجود دارن مثل روش تبدیل همگرایی افزایشی اویلر (OEIS A054387) که اثبات میکنه:
$$\pi=\sum_{n=0}^{\infty}{\frac{\left({n!}^{2}2^{n-1}\right)}{\left(2n+1\right)! }}$$
با بررسی تمام این سریها متوجه میشیم که خطای عددی افزایشی در فرمول BBP از تمام فرمولهای پیوسته و سریهای گسستهٔ دیگه کمتره.
ثابتهای دیگر
عدد پی تنها عدد گنگ مورد استفاده در ریاضیات نیست. با این حال در زمینهٔ محاسبات علمی به اعداد دیگه مثل عدد e (پایهٔ لگاریتم طبیعی، عدد اویلر) خیلی کم نیاز پیدا میکنیم. (در این مورد خاص دو دلیل داره. یکی این که بهراحتی قابل تبدیل به محاسبات مختلط هست و دوم این که تابع استاندارد exp در زبان برنامهنویسی سی وجود داره (: