أي مثلثات متشابهة لها خاصية أنه إذا حددنا نفس الزاوية في كل منهم، فإن نسبة الضلعين التي تحدد الزاوية هي نفسها بغض النظر عن أي مثلث مماثل يتم تحديده، بغض النظر عن حجمه الفعلي: تعتمد النسب على الزوايا الثلاثة، وليس أطوال الأضلاع. وبالتالي بالنسبة لأي من المثلثات القائمة المتشابهة في الشكل، فإن نسبة ضلعه الأفقي إلى وتره هي نفسها، أي cos θ.
تتبع متطابقة فيثاغورس بتربيع كلا التعريفين أعلاه، وجمعهما؛ ثم يصبح الطرف الأيسر للمتطابقة:
المقابل2 + المجاور2/الوتر2
والتي تساوي 1 حسب مبرهنة فيثاغورس؛ وهذا التعريف صالح لجميع الزوايا باستخدام تعريف بواسطة دائرة الوحدة.
المتطابقات المتعلقة
تطلق على كلا من المتطابقتين و أيضًا اسم متطابقات فيثاغورس المثلثية.[1] إذا كان أحد ساقي المثلث القائم له طول 1، فإن ظل الزاوية المجاور لتلك الساق هو طول الساق الآخر، وقاطع الزاوية هو طول الوتر.
و
يوضح الجدول التالي المتطابقات مع علاقتهما بالمتطابقة الرئيسية:
المتطابقة الأصلية
القاسم
معادلة القاسم
المتطابقة المشتقة
المتطابقة المشتقة البديلة
برهان باستخدام دائرة الوحدة
تعرف دائرة الوحدة المتمركزة في الأصل في المستوى الإقليدي بالمعادلة التالية:[2]
إذا أعطيت الزاوية θ، هناك نقطة فريدة P على دائرة الوحدة تصنع زاوية θ انطلاقًا من المحور x، والإحداثيات x و y ل P:[3]
و
وبالتالي، من معادلة دائرة الوحدة:
متطابقة فيثاغورس.
برهان باستخدام متسلسلة القوى
يمكن أيضًا تعريف الدوال المثلثية باستخدام متسلسلة القوى، وهي (لزاوية تقاس بالراديان):[4][5]
باستخدام قانون الضرب الشكلي لمتسلسلة القوى في ضرب وقسمة متسلسلة القوى (تم تعديله بشكل مناسب ليراعي شكل المتسلسلة هنا)، نحصل على:
لاحظ أنه في التعبير عن 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.