صيغ ظل نصف الزاوية
قالب:يتيمة قالب:لا مصدر قالب:شريط جانبي حساب المثلثات
في علم المثلثات، تربط صيغ ظل نصف الزاوية ظل نصف الزاوية بالدوال المثلثية لكامل الزاوية. ظل نصف الزاوية هو الإسقاط المجسامي للدائرة على المستقيم. ومن هذه الصيغ:من هذه يمكن اشتقاق المتطابقات التي تعبر عن الجيب وجيب التمام والظل دوالًا لظلال نصف الزاوية:
البراهين
البراهين الجبرية
باستخدام صيغ الزاوية المزدوجة ومتطابقة فيثاغورس ، نحصل على:
بأخذ حاصل قسمة صيغ الجيب وجيب التمام:بالجمع بين متطابقة فيثاغورس وصيغة ضعف الزاوية لجيب التمام:
بإعادة ترتيب، وأخذ الجذور التربيعية:والتي تعطي عند القسمة:بدلاً عن ذلك:اتضح أن إشارات القيمة المطلقة في هاتين الصيغتين الأخيرتين قد تُسْقَط، بغض النظر عن الربع قالب:Mvar الموجود فيه. مع أو بدون رموز القيمة المطلقة، لا تنطبق هذه الصيغ عندما يكون البسط والمقام على الطرف الأيمن صفرًا.
أيضًا، باستخدام صيغ جمع وطرح الزوايا لكل من جيب التمام وجيب التمام، نحصل على:بجمع الصيغتان الأولى والثانية وجمع الثالثة والرابعة الموضحة أعلاه:بوضع و وتعويض به:بقسمة مجموع الجيبين على مجموع جيبي التمام، نحصل على:
البراهين الهندسية

بتطبيق الصيغ المشتقة أعلاه على المعين الموجود على اليسار، يتضح ذلك بسهولة أن:وفي دائرة الوحدة، تطبيق ما سبق يوضح ذلك أن . بتطبيق خاصية تشابه المثلثات، نلاحظ أن:يترتب على ذلك أن:
تعويض ظل نصف الزاوية في حساب التكامل

في التطبيقات المختلفة لحساب المثلثات، من المفيد إعادة كتابة الدوال المثلثية (مثل الجيب وجيب التمام) بدلالة الدوال الكسرية لمتغير جديد . تُعْرَف هذه المتطابقات جماعيًّا باسم صيغ ظل نصف الزاوية بسبب تعريف . يمكن أن تكون هذه المتطابقات مفيدة في حساب التفاضل والتكامل لتحويل الدوال الكسرية بدلالة الجيب وجيب التمام إلى دوال قالب:تعبير رياضي من أجل إيجاد مشتقاتها العكسية.
هندسيًا، تُنْشَأ على النحو التالي: من أجل أي نقطة قالب:تعبير رياضي على دائرة الوحدة، نرسم المستقيم الذي يمر عبرها وعبر النقطة قالب:تعبير رياضي ويقطع محور قالب:تعبير رياضي عند نقطة ما قالب:تعبير رياضي . يمكن إظهار باستخدام هندسة بسيطة أن قالب:تعبير رياضي. معادلة المستقيم المرسوم هي قالب:تعبير رياضي . معادلة تقاطع المستقيم والدائرة هي معادلة تربيعية تتضمن قالب:تعبير رياضي. حلا هذه المعادلة هما قالب:تعبير رياضي و قالب:تعبير رياضي. هذا يسمح لنا بكتابة الأخير دوالًا كسرية لـ قالب:تعبير رياضي (الحلول موضحة أدناه).
يمثل الوسيط قالب:تعبير رياضي الإسقاط المجسامي للنقطة قالب:تعبير رياضي على محور قالب:تعبير رياضي مع مركز الإسقاط عند قالب:تعبير رياضي. وبالتالي، فإن صيغ ظل نصف الزاوية تعطي تحويلات بين الإحداثيات المجسامية قالب:تعبير رياضي على دائرة الوحدة والإحداثيات الزاوية القياسية قالب:تعبير رياضي.
عندئذ لدينا:وبإزالة φ بين ما ورد أعلاه مباشرة والتعريف الأولي لـ ، نصل إلى العلاقة المفيدة التالية لقوس الظل بدلالة اللوغاريتم الطبيعي:في حساب التفاضل والتكامل، يُستخدم تعويض فايرشتراس لإيجاد المشتقات العكسية للدوال الكسرية لـ قالب:تعبير رياضي و قالب:تعبير رياضي. بعد وضع:وهذا يقتضي:من أجل بعض الأعداد الصحيحة قالب:تعبير رياضي، وبالتالي: