صيغ ظل نصف الزاوية

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

البراهين

البراهين الجبرية 
باستخدام صيغ الزاوية المزدوجة ومتطابقة فيثاغورس ، نحصل على:

بأخذ حاصل قسمة صيغ الجيب وجيب التمام:بالجمع بين متطابقة فيثاغورس وصيغة ضعف الزاوية لجيب التمام: 

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

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

البراهين الهندسية 

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

تعويض ظل نصف الزاوية في حساب التكامل 

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

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

يمثل الوسيط  الإسقاط المجسامي للنقطة  على محور  مع مركز الإسقاط عند . وبالتالي، فإن صيغ ظل نصف الزاوية تعطي تحويلات بين الإحداثيات المجسامية  على دائرة الوحدة والإحداثيات الزاوية القياسية .

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

انظر أيضا 

 قائمة المتطابقات المثلثية

الروابط الخارجية 

 ظل الزاوية النصفية في Planetmath

مطابقات رياضية
قطوع مخروطية
علم المثلثات