الهوية (الرياضيات)

دليل مرئي على صحة نظرية فيثاغورس : من أي زاويةθ{\displaystyle \theta }النقطة(x،y)=(كوسθ،الخطيئةθ){\displaystyle (x,y)=(\cos \theta ,\sin \theta )}تقع على دائرة الوحدة ، والتي تحقق المعادلةx2+y2=1{\displaystyle x^{2}+y^{2}=1}. هكذا،كوس2θ+الخطيئة2θ=1{\displaystyle \cos ^{2}\theta +\sin ^{2}\theta =1}.

في الرياضيات ، المتطابقة هي مساواة تربط تعبيرًا رياضيًا A  بتعبير رياضي آخر B ، بحيث ينتج عن A و B (اللذان قد يحتويان على بعض المتغيرات ) القيمة نفسها لجميع قيم المتغيرات ضمن نطاق معين . [ 1 ] [ 2 ] بعبارة أخرى، A = B متطابقة إذا كان A و B يُعرّفان الدالة نفسها ، والمتطابقة هي مساواة بين دالتين مختلفتي التعريف. على سبيل المثال،   (أ+ب)2=أ2+2أب+ب2{\displaystyle (a+b)^{2}=a^{2}+2ab+b^{2}} وكوس2θ+الخطيئة2θ=1{\displaystyle \cos ^{2}\theta +\sin ^{2}\theta =1}هي متطابقات. [ 3 ] يُشار إلى المتطابقات أحيانًا برمز الخطوط الثلاثة بدلاً من = ، علامة المساواة . [ 4 ] رسميًا، المتطابقة هي مساواة كمية شاملة .

الهويات المشتركة

المتطابقات الجبرية

هويات معينة، مثلأ+0=أ{\displaystyle a+0=a}وأ+(-أ)=0{\displaystyle a+(-a)=0}تشكل هذه المتطابقات أساس الجبر ، [ 5 ] بينما تشكل متطابقات أخرى، مثل(أ+ب)2=أ2+2أب+ب2{\displaystyle (a+b)^{2}=a^{2}+2ab+b^{2}}وأ2-ب2=(أ+ب)(أ-ب){\displaystyle a^{2}-b^{2}=(a+b)(a-b)}يمكن أن يكون مفيدًا في تبسيط التعبيرات الجبرية وفي توسيعها. [ 6 ]

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

هندسياً، تُعرَّف المتطابقات المثلثية بأنها متطابقات تتضمن دوالاً معينة لزاوية واحدة أو أكثر . [ 7 ] وهي تختلف عن متطابقات المثلث ، التي تتضمن كلاً من زوايا المثلث وأطوال أضلاعه . ويقتصر هذا المقال على تناول المتطابقات المثلثية فقط.

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

تتضمن إحدى أبرز الأمثلة على المتطابقات المثلثية المعادلةالخطيئة2θ+كوس2θ=1،{\displaystyle \sin ^{2}\theta +\cos ^{2}\theta =1,}وهذا صحيح لجميع القيم الحقيقية لـθ{\displaystyle \theta }من ناحية أخرى، المعادلة

كوسθ=1{\displaystyle \cos \theta =1}

هذا صحيح فقط لقيم معينة منθ{\displaystyle \theta }ليس كل شيء. على سبيل المثال، تكون هذه المعادلة صحيحة عندماθ=0،{\displaystyle \theta =0,}لكنها خاطئة عندماθ=2{\displaystyle \theta =2}.

وهناك مجموعة أخرى من المتطابقات المثلثية تتعلق بما يسمى بصيغ الجمع/الطرح (مثل متطابقة ضعف الزاوية).الخطيئة(2θ)=2الخطيئةθكوسθ{\displaystyle \sin(2\theta )=2\sin \theta \cos \theta }صيغة الجمع لـلون برونزي(x+y){\displaystyle \tan(x+y)})، والتي يمكن استخدامها لتقسيم التعبيرات ذات الزوايا الأكبر إلى تلك ذات المكونات الأصغر.

الهويات الأسية

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

بم+ن=بمبن(بم)ن=بمن(بج)ن=بنجن{\displaystyle {\begin{aligned}b^{m+n}&=b^{m}\cdot b^{n}\\(b^{m})^{n}&=b^{m\cdot n}\\(b\cdot c)^{n}&=b^{n}\cdot c^{n}\end{aligned}}}

على عكس الجمع والضرب، فإن عملية الأسس ليست تبديلية . على سبيل المثال، 2 + 3 = 3 + 2 = 5 و 2 × 3 = 3 × 2 = 6 ، لكن 2³ = 8 بينما = 9 .

على عكس الجمع والضرب، فإن الأسس ليست عملية تجميعية . على سبيل المثال، (2 + 3) + 4 = 2 + (3 + 4) = 9 و (2 × 3) × 4 = 2 × (3 × 4) = 24 ، لكن 2³ أس 4 يساوي 8⁴ ( أو 4096)، بينما 2 أس 3⁴ يساوي 2⁸¹ ( أو 2,417,851,639,229,258,349,412,352). عند عدم وجود أقواس، يكون الترتيب، اصطلاحًا، من الأعلى إلى الأسفل، وليس من الأسفل إلى الأعلى.

بصq:=ب(صq)،{\displaystyle b^{p^{q}}:=b^{(p^{q})},} بينما (بص)q=بصq.{\displaystyle (b^{p})^{q}=b^{p\cdot q}.}

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

تربط عدة صيغ مهمة، تسمى أحيانًا بالهويات اللوغاريتمية أو قوانين اللوغاريتمات ، اللوغاريتمات ببعضها البعض: [ أ ]

المنتج، النسبة، القوة والجذر

لوغاريتم حاصل ضرب عددين هو مجموع لوغاريتمات العددين المضروبين؛ ولوغاريتم نسبة عددين هو الفرق بين لوغاريتميهما. ولوغاريتم القوة p لعدد ما يساوي p مضروبًا في لوغاريتم العدد نفسه؛ ولوغاريتم الجذر p يساوي لوغاريتم العدد مقسومًا على p . يوضح الجدول التالي هذه المتطابقات مع أمثلة. ويمكن اشتقاق كل متطابقة منها بالتعويض بتعريفات اللوغاريتمات. x=بسجلبx،{\displaystyle x=b^{\log _{b}x},}و/أوy=بسجلبy،{\displaystyle y=b^{\log _{b}y},}في الجانب الأيسر.

صيغةمثال
منتجسجلب(xy)=سجلب(x)+سجلب(y){\displaystyle \log _{b}(xy)=\log _{b}(x)+\log _{b}(y)}سجل3(243)=سجل3(927)=سجل3(9)+سجل3(27)=2+3=5{\displaystyle \log _{3}(243)=\log _{3}(9\cdot 27)=\log _{3}(9)+\log _{3}(27)=2+3=5}
ناتج القسمةسجلب(xy)=سجلب(x)-سجلب(y){\displaystyle \log _{b}\!\left({\frac {x}{y}}\right)=\log _{b}(x)-\log _{b}(y)}سجل2(16)=سجل2(644)=سجل2(64)-سجل2(4)=6-2=4{\displaystyle \log _{2}(16)=\log _{2}\!\left({\frac {64}{4}}\right)=\log _{2}(64)-\log _{2}(4)=6-2=4}
قوةسجلب(xص)=صسجلب(x){\displaystyle \log _{b}(x^{p})=p\log _{b}(x)}سجل2(64)=سجل2(26)=6سجل2(2)=6{\displaystyle \log _{2}(64)=\log _{2}(2^{6})=6\log _{2}(2)=6}
جذرسجلبxص=سجلب(x)ص{\displaystyle \log _{b}\!{\sqrt[{p}]{x}}={\frac {\log _{b}(x)}{p}}}سجل101000=12سجل101000=32=1.5{\displaystyle \log _{10}\!{\sqrt {1000}}={\frac {1}{2}}\log _{10}1000={\frac {3}{2}}=1.5}

تغيير القاعدة

يمكن حساب اللوغاريتم log b ( x ) من لوغاريتمات x و b بالنسبة إلى أساس k اختياري باستخدام الصيغة التالية:

سجلب(x)=سجلك(x)سجلك(ب).{\displaystyle \log _{b}(x)={\frac {\log _{k}(x)}{\log _{k}(b)}}.}

تحسب الآلات الحاسبة العلمية النموذجية اللوغاريتمات للأساسين 10 و e . [ 8 ] يمكن تحديد اللوغاريتمات بالنسبة لأي أساس b باستخدام أي من هذين اللوغاريتمين من خلال الصيغة السابقة:

سجلب(x)=سجل10(x)سجل10(ب)=سجلهـ(x)سجلهـ(ب).{\displaystyle \log _{b}(x)={\frac {\log _{10}(x)}{\log _{10}(b)}}={\frac {\log _{e}(x)}{\log _{e}(b)}}.}

بفرض وجود عدد x ولوغاريتمه log b ( x ) لأساس غير معروف b ، فإن الأساس يُعطى بالصيغة التالية:

ب=x1سجلب(x).{\displaystyle b=x^{\frac {1}{\log _{b}(x)}}.}

متطابقات الدوال الزائدية

تُحقق الدوال الزائدية العديد من المتطابقات، وكلها متشابهة في شكلها مع المتطابقات المثلثية . في الواقع، تنص قاعدة أوزبورن [ 9 ] على أنه يمكن تحويل أي متطابقة مثلثية إلى متطابقة زائدية عن طريق توسيعها بالكامل بدلالة قوى صحيحة للجيب وجيب التمام، وتغيير الجيب إلى sinh وجيب التمام إلى cosh، وعكس إشارة كل حد يحتوي على حاصل ضرب عدد زوجي من الجيب الزائدي. [ 10 ]

تعطي دالة غودرمان علاقة مباشرة بين الدوال المثلثية والدوال الزائدية التي لا تتضمن أعدادًا مركبة .

المنطق والجبر الشامل

بصورة رسمية، الهوية هي صيغة كمية عالمية حقيقية من الشكل التالي:x1،...،xن:s=ت،{\displaystyle \forall x_{1},\ldots ,x_{n}:s=t,}حيث أن s و t عبارة عن مصطلحات لا تحتوي على متغيرات حرة أخرى غيرx1،...،xن.{\displaystyle x_{1},\ldots ,x_{n}.}بادئة الكميةx1،...،xن{\displaystyle \forall x_{1},\ldots ,x_{n}}غالباً ما يُترك هذا الأمر ضمنياً عند ذكر أن الصيغة هي متطابقة. على سبيل المثال، غالباً ما تُعطى بديهيات المونويد على شكل صيغ .

x،y،z:x*(y*z)=(x*y)*z،x:x*1=x،x:1*x=x،{\displaystyle \forall x,y,z:x*(y*z)=(x*y)*z,\quad \forall x:x*1=x,\quad \forall x:1*x=x,}

أو باختصار،

x*(y*z)=(x*y)*z،x*1=x،1*x=x.{\displaystyle x*(y*z)=(x*y)*z,\qquad x*1=x,\qquad 1*x=x.}

إذن، هذه الصيغ هي متطابقات في كل زمرة أحادية. وكما هو الحال مع أي مساواة، تُسمى الصيغ التي لا تحتوي على مُكمِّم غالبًا بالمعادلات . بعبارة أخرى، المتطابقة هي معادلة صحيحة لجميع قيم المتغيرات. [ 11 ] [ 12 ]

انظر أيضاً

مراجع

ملحوظات

  1. يمكن العثور على جميع البيانات الواردة في هذا القسم في Shirali 2002 ، القسم 4، Downing 2003 ، ص 275، أو Kate & Bhapkar 2009 ، ص 1-1، على سبيل المثال.

الاقتباسات

  1. معادلة. موسوعة الرياضيات. الرابط: http://encyclopediaofmath.org/index.php?title=Equation&oldid=32613
  2. برات، فوغان، "الجبر"، موسوعة ستانفورد للفلسفة (طبعة شتاء 2022)، إدوارد ن. زالتا وأوري نودلمان (محرران)، الرابط: https://plato.stanford.edu/entries/algebra/#Laws
  3. "كلمات الرياضيات: الهوية" . www.mathwords.com . تم الاطلاع عليه بتاريخ 1 ديسمبر 2019 .
  4. "الهوية - تعريف المصطلح الرياضي - مرجع الرياضيات المفتوح" . www.mathopenref.com . تاريخ الاسترجاع: 1 ديسمبر 2019 .
  5. "الهويات الأساسية" . www.math.com . تم الاطلاع عليه بتاريخ 1 ديسمبر 2019 .
  6. "المتطابقات الجبرية" . www.sosmath.com . تم الاطلاع عليه بتاريخ 1 ديسمبر 2019 .
  7. ستابل، إليزابيث. "المتطابقات المثلثية" . بيربل ماث . تم الاسترجاع في 1 ديسمبر 2019 .
  8. بيرنشتاين، ستيفن؛ بيرنشتاين، روث (1999)، ملخص شوم لنظرية ومشاكل عناصر الإحصاء. الجزء الأول، الإحصاء الوصفي والاحتمالات ، سلسلة ملخصات شوم، نيويورك: ماكجرو هيل ، ISBN 978-0-07-005023-5، ص 21
  9. أوزبورن، ج. (1 يناير 1902). "109. طريقة تذكيرية للصيغ الزائدية" . المجلة الرياضية . 2 (34): 189. doi : 10.2307/3602492 . JSTOR 3602492 . 
  10. بيترسون، جون تشارلز (2003). الرياضيات التقنية مع حساب التفاضل والتكامل ( الطبعة الثالثة). سينجايج ليرنينج. ص 1155. ISBN   0-7668-6189-9.، الفصل 26، الصفحة 1155
  11. ناحوم ديرشوفيتز ؛ جان بيير جوانو (1990). "أنظمة إعادة الكتابة". في جان فان ليوين (محرر). النماذج الرسمية والدلالات . دليل علوم الحاسوب النظرية. المجلد ب. إلسيفير. الصفحات 243-320 .  
  12. فولفغانغ فيكسلر (1992). ويلفريد براور ؛ غريغورز روزنبرغ ؛ أرتو سالوما (محررون). الجبر الشامل لعلماء الحاسوب . سلسلة دراسات الجمعية الأوروبية لعلوم الحاسوب النظرية. المجلد 25. برلين: سبرينغر. ISBN  3-540-54280-9.هنا: التعريف 1 من القسم 3.2.1، صفحة 160.

مصادر