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

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

المتطابقة هي:

يجب الانتباه إلى هذا الترميز  يكافئ .

البراهين وعلاقاتهم بمبرهنة فيثاغورس

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

التعريفات الأولية لدالتي الجيب وجيب التمام بدلالة أضلاع المثلث القائم هي:

تتبع متطابقة فيثاغورس بتربيع كلا التعريفين أعلاه، وجمعهما؛ ثم يصبح الطرف الأيسر للمتطابقة:

والتي تساوي 1 حسب مبرهنة فيثاغورس؛ وهذا التعريف صالح لجميع الزوايا باستخدام تعريف بواسطة دائرة الوحدة.

المتطابقات المتعلقة 

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

 و 

يوضح الجدول التالي المتطابقات مع علاقتهما بالمتطابقة الرئيسية:

برهان باستخدام دائرة الوحدة 

تعرف دائرة الوحدة المتمركزة في الأصل في المستوى الإقليدي بالمعادلة التالية:

إذا أعطيت الزاوية θ، هناك نقطة فريدة P على دائرة الوحدة تصنع زاوية θ انطلاقًا من المحور x، والإحداثيات x و y ل P:

 و 

وبالتالي، من معادلة دائرة الوحدة:

متطابقة فيثاغورس.

برهان باستخدام متسلسلة القوى 
يمكن أيضًا تعريف الدوال المثلثية باستخدام متسلسلة القوى، وهي (لزاوية تقاس بالراديان):

باستخدام قانون الضرب الشكلي لمتسلسلة القوى في ضرب وقسمة متسلسلة القوى (تم تعديله بشكل مناسب ليراعي شكل المتسلسلة هنا)، نحصل على:

 

لاحظ أنه في التعبير عن sin2، يجب أن يكون n على الأقل 1، بينما في التعبير عن sin2، فإن الحد الثابت يساوي 1. والحدود المتبقية من مجموعها (مع إزالة العوامل المشتركة):

حسب مبرهنة ذو الحدين:

وهو المطلوب اثباته.

برهان باستخدام المعادلة التفاضلية 

يمكن تعريف الجيب وجيب التمام كحللين للمعادلة التفاضلية:

تحققان على التوالي y(0) = 0, y′(0) = 1 و y(0) = 1, y′(0) = 0.  يستنتج من نظرية المعادلات التفاضلية العادية أن الحل الأول هي دالة الجيب، والحل الثاني، جيب التمام، هي مشتقة الحل الأول، ويترتب على ذلك أن مشتق جيب التمام هو مقابل الجيب. المتطابقة تعادل التأكيد على أن الدالة:

ثابتة وتساوي 1. تعطي الاشتقاق باستخدام قاعدة السلسلة:

إذن، z ثابتة حسب مبرهنة القيمة الوسطى. تؤكد الحساب أن z(0) = 1، و z ثابتة إذن z = 1 لكل x.

مراجع وملاحظات 

علم المثلثات
مبرهنة فيثاغورس
مطابقات رياضية