! قضیه

{picture file=img/daneshnameh_up/Pythagorean.png}

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


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

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

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

!اثبات قضیه

{picture file=img/daneshnameh_up/Pythagorean_proof.png}

می توان با توجه به شکل روبرو اثبات هندسی قضیه را به راحتی درک کرد.
در هر دو شکل مربعی به ضلع a+b داریم.در شکل سمت راست چهار نمونه از مثلث قائم الزاویه دور مربع ساخته شده بروی وتر وجود دارد. و هر چهار مثلث دارای مساحت یکسان می باشند. با چند جابجایی در شکل سمت راست به شکل سمت چپ می رسیم.در این شکل همان چهار مثلث قبلی وجود دارند ولی مربعی که اضلاع آن به c بود به دو مربع به اضلاع a,b تبدیل شده است، که همان قضیه فیثاغورث را نشان میدهد

{picture file=img/daneshnameh_up/Pythagr2.gif}

شکل روبرو نیز نشان دهنده روش دیگری از اثبات هندسی می باشد: