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

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

 المتطابقات المثلثية الابتدائية 
تصغير|تحدد الدوال المثلثية العلاقات بين أطوال الأضلاع والزوايا الداخلية للمثلث القائم الزاوية. على سبيل المثال، يُعَرَّف جيب الزاوية θ على أنه طول الضلع المقابل مقسومًا على طول الوتر.

 متطابقات فيثاغورس 
المتطابقة 1:



النتيجتان التاليتان تتبعان هذه ومتطابقات النسب المثلثية. للحصول على الأولى، نقوم بتقسيم الطرفين  على ؛ للثانية، نقسّم على .




بصورة مماثلة:




المتطابقة 2:

الحسابات التالية لجميع الدوال العكسية الثلاث.



البرهان 2:

الرجوع إلى الرسم البياني للمثلث. لاحظ أن  حسب مبرهنة فيثاغورس.



بتعويض بالدوال المناسبة:



تعطي إعادة الترتيب:



 متطابقات مجموع الزوايا 

 الجيب 
يسار|تصغير|350x350بك| رسم توضيحي لصيغة مجموع زاويتين.
ارسم خطًا أفقيًا (محور x)؛ حدد نقطة الأصل O. ارسم مستقيمًا من O يميل بزاوية  فوق المستقيم الأفقي والمستقيم الثاني يميل بزاوية  فوق المستقيم الأخير؛ الزاوية بين المستقيم الثاني ومحور x هي  .

ضع النقطة P على المسقيم المحدد بـ  على مسافة قياسها 1 من الأصل.

ليكن PQ مستقيم عمودي على المستقيم OQ المحدد بالزاوية ، مرسوم من النقطة Q على هذا الخط إلى النقطة P. إذن OQP هي زاوية قائمة.

ليكن QA عمودي من النقطة A على محور x إلى Q، وPB عمودي من النقطة B على المحور x إلى P. إذن OAQ وOBP زاويتان قائمتان.

نرسم النقطة R على PB بحيث يكون QR موازيًا للمحور x.

الآن الزاوية  (لأن  تجعل  و ، إذن  )





 ، إذن 
 ، إذن 


بتعويض  بـ  وباستخدام خاصية التناظر، نحصل أيضًا على:




 جيب التمام 
باستخدام الشكل أعلاه:







  ، إذن 

 ، إذن 



بتعويض  بـ  وباستخدام خاصية التناظر، نحصل أيضًا على:




أيضا، باستخدام صيغ الزاويتين المتتامتين:



 الظل وظل التمام 
من صيغتي الجيب وجيب التمام، نحصل على:



بقسمة كل من البسط والمقام على ، نحصل على:



بطرح  من  وباستخدام متطابقة :



وبالمثل من صيغتي الجيب وجيب التمام، نحصل على:



عندئذ بقسمة كل من البسط والمقام على  ، نحصل على:



أو باستخدام :



باستخدام :



 متطابقات ضعف الزاوية 
من متطابقات مجموع زاويتين، نحصل على:



و



تعطي متطابقات فيثاغورس الشكلين البديلين للأخيرة:





تعطي متطابقات مجموع الزوايا أيضًا:





ويمكن أيضًا إثبات ذلك باستخدام صيغة أويلر:



بتربيع كلا الطرفين ينتج:



لكن تعويض الزاوية بنسختها المضاعفة، والذي يحقق نفس النتيجة في الطرف الأيسر من المعادلة، ينتج:



يترتب على ذلك أن:

  .

بنشر المربع والتبسيط على الطرف الأيسر من المعادلة يعطي:

  .

لأن الأجزاء التخيلية والحقيقية يجب أن تكون هي نفسها، يتبقى لدينا المتطابقات الأصلية:

  ,

وأيضًا:

  .

 متطابقات نصف الزاوية 
تؤدي المتطابقتان اللتان تعطيان الأشكال البديلة لـ cos 2θ إلى المعادلات التالية:





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

بالنسبة لدالة الظل، المعادلة هي:



عندئذ بضرب البسط والمقام داخل الجذر التربيعي بـ () وباستخدام متطابقات فيثاغورس:



وأيضًا، إذا ضُرِبَا البسط والمقام في ()، ستكون النتيجة هي:



وهذه تعطي أيضا:



نفس الشيء بالنسبة لدالة ظل التمام:



 متطابقة ثلاثية الظلال 
إذا كانت المساواة "" محققة (على سبيل المثال، ، و  و  هي زوايا المثلث)، فإن:



الإثبات: dead link



 متطابقة ثلاثية ظلال التمام 
إذا كانت المساواة "" محققة، فإن:

 .

الإثبات:

نعوّض كل من ψ + θ + ϕ بزواياها المتتامة، وبذلك تتحول ظلال التمام إلى الظلال والعكس:

يعطى:




إذن، تُستنتج النتيجة من متطابقة ثلاثية الظلال.

 متطابقات من المجموع إلى الجداء 





 إثبات متطابقة الجيب 
نبدأ أولًا بمتطابقتي مجموع زاويتين:




وبجمع المتطابقات معًا:



وبالمثل، بطرح متطابقتي مجموع زاويتين،



لتكن  و :

 إذن،  و 

نعوض  و :




إذن:



 إثبات متطابقتي جيب التمام 
وبالمثل بالنسبة لجيب التمام، نبدأ بمتطابقات مجموع زاويتين:




مرة أخرى، بالجمع والطرح:




نعوض  و  كما في السابق:




 انظر أيضًا 

 قائمة المتطابقات المثلثية
 توليد الجداول المثلثية
 متسلسلات مادهافا
 صيغة أويلر

 المراجع 

تصنيف:مقالات تحوي براهين رياضية
تصنيف:حساب المثلثات