مقاله در مورد قضیه فیثاغورس

لینک پرداخت و دانلود *پایین مطلب*

فرمت فایل:Word (قابل ویرایش و آماده پرینت)

تعداد صفحه:6

 فهرست مطالب

  قضیه فیثاغورس

اثبات قضیه

نظریه های فیثاغورث 

 عدد مصور 

د رمثلث قائم‌الزاویه ABC که زاویه A در آن قائمه است ، در صفحه رابطه‌ی زیر همیشه بین اضلاع برقرار است:

 

می‌توان این قضیه را به صورت ساده‌تر بیان کرد : فرض کنید سه مربع روی اضلاع یک مثلث قائم الزاویه،که طول اضلاع قائم آن a وb و طول وتر آن c میباشد؛مطابق شکل زیر می‌سازیم


این قضیه به ما توضیح می‌دهد که جمع مساحتهای دو مربع ساخته شده روی دو ضلع قائم یک مثلث قائم الزاویه با مساحت مربع ساخته شده روی وتر برابر است.

مثلث قائم الزاویه مثلثی است که دارای یک زاویه قائم می‌باشد و به ضلعی که روبروی این زاویه در مثلث قرار دارد، وتر می‌گویند.
در شکل اضلاع زاویه قائم با aوb و وتر با c نشان داده شده است.
بیان دیگر قضیه به این صورت است که در یک مثلث قائم الزاویه مجموع مربعات دو ضلع قائم با مجذور وتر برابر است.

جالب است بدانید که بیش از شصت روش هندسی برای اثبات این قضیه وجود دارد.

دانلود مقاله ISI همسانی موثر مجتمع BI، رسمی در کو

موضوع فارسی :همسانی موثر مجتمع BI، رسمی در کو

موضوع انگلیسی :<!--StartFragment -->

Effective homology of bicomplexes, formalized in Coq

تعداد صفحه :9

فرمت فایل :PDF

سال انتشار :2011

زبان مقاله : انگلیسی

در این مقاله، ما در حال حاضر به طور رسمی کامل در کو قضیه prover از یک الگوریتم مهم در جبر محاسباتی، یعنی محاسبه همسانی موثر از یک مجموعه بی. به عنوان یک ابزار لازم باشد، ما رمز یک سلسله مراتب از ساختارهای جبری در نظریه نوع سازنده، از جمله ساختمان داده مدرج و بی نهایت است. تجربه نشان می دهد که چگونه برخی از محدودیت های دستیار اثبات کو برای مقابله با این نوع از داده های جبری را می توان با استفاده از یک جدایی از نگرانی اصل غلبه بر. مشخص تر، ما پیشنهاد به تشخیص در نمایندگی از یک ساختار جبری (مانند یک گروه یا یک ماژول) بخشی رفتاری، حاوی امضا عملیات و بدیهیات، و یک بخش ساختاری تعیین اگر داده های جبری رایگان است، از نوع محدود و بنابراین بر.