في الرياضيات، جداول قيم الدوال المثلثية مفيدة في عدة مجالات. قبل وجود الآلات الحاسبة الجيبية، كانت الجداول المثلثية ضرورية للملاحة والعلوم والهندسة التطبيقية. كان حساب الجداول الرياضية أحد المجالات المهمة للدراسة، مما أدى إلى تطوير أول أجهزة الحوسبة الميكانيكية.
الحواسيب الحديثة والآلات الحاسبة الجيبية تولد الآن قيم دالة مثلثية عند الطلب، وذلك باستخدام مكتبات خاصة للرمز الرياضي. غالبًا ما تستخدم هذه المكتبات الجداول المحسوبة مسبقًا داخليًا، وتحسب القيمة المطلوبة باستخدام طريقة الاستيفاء المناسبة. لا يزال يتم استخدام استيفاء الجداول البحث البسيطة للدوال المثلثية في الرسومات الحاسوبية، حيث قد تكون هناك حاجة إلى دقة متواضعة فقط وغالبًا ما تكون السرعة قصوى.[1]
الحساب عند الطلب
تستخدم الحواسيب والحاسبات الحديثة مجموعة متنوعة من التقنيات لتوفير قيم الدوال المثلثية عند الطلب للزوايا الكيفية. تتمثل إحدى الطرق الشائعة، خاصةً في المعالِجات الراقية ذات وحدات الفاصلة العائمة، في الضم بين تقريب كثير حدود أو ناطق (Rational) (مثل تقريب تشيبيشيف، وتقريب أفضل موحد، وتقريب Padé، وعادةً ما يتعلق بالدقة العليا أو المتغيرة، متسلسلات تايلور ولورنت) مع تقليص المدى والبحث عن جدول - يبحثون أولاً عن أقرب زاوية في جدول صغير، ثم يستخدموا كثير الحدود لحساب التصحيح. ولكن الحفاظ على الدقة أثناء إجراء هذا الاستيفاء أمر غير بديهي؛ يمكن استخدام طرق مثل جداول Gal الدقيقة وتقليص مدى Cody و Waite وخوارزميات تقليص Payne و Hanek لهذا الغرض. على الأجهزة الأكثر بساطة التي تفتقر إلى مضاعف العتاد، توجد خوارزمية تسمى CORDIC (بالإضافة إلى التقنيات ذات الصلة) والتي تكون أكثر فعالية، حيث تَستَخدِم الإزاحات والإضافات فقط. يتم تطبيق كل هذه الطرق بشكل شائع في العتادات لأسباب تتعلق بالأداء (Performance).
يُستخدَم متعدد الحدود الخاص المستخدم لتقريب دالة مثلثية في وقت مبكر باستخدام تقريب لخوارزمية تقريب الحدود (Minimax).
بالنسبة لحسابات عالية الدقة، عندما يصبح تقارب المتسلسلة بطيئًا للغاية، يمكن تقريب الدوال المثلثية بواسطة المتوسط الحسابي الهندسي، الذي يقارب في حد ذاته الدالة المثلثية بواسطة التكامل الإهليلجي (المركب) (Brent، قي 1976).
الدوال المثلثية للزوايا التي هي مضاعفات ناطقة ل2π هي أعداد جبرية. يمكن ايجاد قيم a/b·2π من خلال تطبيق متطابقة دي موافر من أجل n = a على جذر الوحدة من الرتبة b، الذي هو أيضًا جذر لكثير الحدود xb - 1 في المستوى المركب. على سبيل المثال، جيب وجيب التمام للعدد 2π ⋅ 5/37 هما هما الأجزاء الحقيقية والتخيلية، على التوالي، من القوة الخامسة للجذر 37 للوحدة cos(2π/37) + sin(2π/37)i، التي هي جذر للكثير الحدود x37 − 1 من الدرجة 37. بالنسبة لهذه الحالة، فإن خوارزمية اكتشاف الجذر مثل طريقة نيوتن أبسط بكثير من خوارزميات المتوسط الحسابي الهندسي أعلاه عندما تتقارب بمعدل خط التقارب المماثل. الخوارزميات الأخيرة مطلوبة من أجل الثوابت المثلثية المتسامي.
مقالات ذات صلة
مراجع
- Carl Benjamin Boyer; Merzbach, Uta C. (2011-01-25). A History of Mathematics (باللغة الإنجليزية). John Wiley & Sons. . مؤرشف من الأصل في 19 فبراير 2020.
- Manfred Tasche and Hansmartin Zeuner (2002) "Improved roundoff error analysis for precomputed twiddle factors", Journal for Computational Analysis and Applications 4(1): 1–18.
- James C. Schatzman (1996) "Accuracy of the discrete Fourier transform and the fast Fourier transform", SIAM Journal on Scientific Computing 17(5): 1150–1166.
- Vitit Kantabutra (1996) "On hardware for computing exponential and trigonometric functions," IEEE Transactions on Computers 45(3): 328–339 .
- Richard P. Brent (1976) "Fast Multiple-Precision Evaluation of Elementary Functions", Journal of the Association for Computing Machinery 23: 242–251.
- Singleton, Richard C. (1967) "On computing the fast Fourier transform", Communications of the ACM 10: 647–654.
- Gal, Shmuel and Bachelis, Boris (1991) "An accurate elementary mathematical library for the IEEE floating point standard", ACM Transactions on Mathematical Software.