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

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

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

\sin^2 \theta + \cos^2 \theta = 1.

يجب الانتباه إلى هذا الترميز  يكافئ (\sin\theta)^2.

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

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

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

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

#### المتطابقات المتعلقة
تصغير|توضح المثلثات القائمة المتشابهة دالتي الظل والقاطع.

تطلق على كلا من المتطابقتين 1 + \tan^2 \theta = \sec^2 \theta و 1 + \cot^2 \theta = \csc^2 \theta أيضًا اسم متطابقات فيثاغورس المثلثية. إذا كان أحد ساقي المثلث القائم له طول 1، فإن ظل الزاوية المجاور لتلك الساق هو طول الساق الآخر، وقاطع الزاوية هو طول الوتر.

: \tan \theta =\frac{b}{a}  و  \sec \theta = \frac{c}{a} 

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

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

تصغير|النقطة  على دائرة نصف قطرها 1 تصنع زاوية منفرجة
تصغير|دالة الجيب على دائرة الوحدة (أعلى) وتمثيلها البياني (أسفل)

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

:x^2 + y^2 = 1.

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

x = \cos \theta و  y = \sin \theta

وبالتالي، من معادلة دائرة الوحدة:
: \cos^2 \theta + \sin^2 \theta = 1

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

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

:\begin{align}
  \sin x &= \sum_{n = 0}^\infty \frac{(-1)^n}{(2n + 1)!} x^{2n + 1},\\
  \cos x &= \sum_{n = 0}^\infty \frac{(-1)^n}{(2n)!} x^{2n}.
\end{align}

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

: 
\begin{align}
\sin^2 x & = \sum_{i = 0}^\infty \sum_{j = 0}^\infty \frac{(-1)^i}{(2i + 1)!} \frac{(-1)^j}{(2j + 1)!} x^{(2i + 1) + (2j + 1)} \\
& = \sum_{n = 1}^\infty \left(\sum_{i = 0}^{n - 1} \frac{(-1)^{n - 1}}{(2i + 1)!(2(n - i - 1) + 1)!}\right) x^{2n} \\
& = \sum_{n = 1}^\infty \left( \sum_{i = 0}^{n - 1} {2n \choose 2i + 1} \right) \frac{(-1)^{n - 1}}{(2n)!} x^{2n},\\
\cos^2 x & = \sum_{i = 0}^\infty \sum_{j = 0}^\infty \frac{(-1)^i}{(2i)!} \frac{(-1)^j}{(2j)!} x^{(2i) + (2j)} \\
& = \sum_{n = 0}^\infty \left(\sum_{i = 0}^n \frac{(-1)^n}{(2i)!(2(n - i))!}\right) x^{2n} \\
& = \sum_{n = 0}^\infty \left( \sum_{i = 0}^n {2n \choose 2i} \right) \frac{(-1)^n}{(2n)!} x^{2n}.
\end{align}


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

:\sum_{i = 0}^n {2n \choose 2i} - \sum_{i = 0}^{n - 1} {2n \choose 2i + 1}
= \sum_{j = 0}^{2n} (-1)^j {2n \choose j}
= (1 - 1)^{2n}
= 0 

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

:\sin^2 x + \cos^2 x = 1 \ , 

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

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

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

::y* + y = 0</math>

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

:<math>z = \sin^2 x + \cos^2 x</math>

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

:<math> \frac{d}{dx} z = 2 \sin x \ \cos x + 2 \cos x \ (-\sin x) = 0 \ , </math>
إذن، *z* ثابتة حسب [[مبرهنة القيمة المتوسطة|مبرهنة القيمة الوسطى]]. تؤكد الحساب أن *z*(0) = 1، و *z* ثابتة إذن *z* = 1 لكل *x''.

## المراجع

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