قضیه فیثاغورس: مربع وتر برابر مجموع مربع دو ضلع دیگر
ریشههای تاریخی و تعریف بنیادین
قضیه فیثاغورس به ریاضیدان یونانی، فیثاغورس ساموسی (حدود 570 – 495 پیش از میلاد) نسبت داده میشود، هرچند شواهدی از کاربرد آن در تمدنهای کهن بابل و مصر پیش از او وجود دارد. این قضیه یک رابطه دقیق میان اضلاع هر مثلث قائمالزاویه برقرار میکند. اگر مثلثی دارای یک زاویه راست (۹۰ درجه) باشد، ضلع مقابل آن زاویه که بزرگترین ضلع مثلث است، وتر نامیده میشود. دو ضلع دیگر که زاویه قائمه را میسازند، ساقها نام دارند.
برای نمونه، اگر طول ساقهای یک مثلث قائمالزاویه به ترتیب 3 و 4 واحد باشد، وتر برابر خواهد بود با $c = \sqrt{3^2 + 4^2} = \sqrt{9 + 16} = \sqrt{25} = 5$. این اعداد معروف به سهتایی فیثاغورسی3 هستند.
اثبات هندسی با روش مربعها (اثبات بصری)
یکی از سادهترین اثباتهای این قضیه، روش هندسی "مربع ساخته شده روی وتر" است. فرض کنید مربعی به ضلع $a+b$ رسم میکنیم. درون آن، چهار مثلث قائمالزاویه همنهشت با ساقهای $a$ و $b$ قرار میدهیم.
- مساحت مربع بزرگ: $(a+b)^2 = a^2 + 2ab + b^2$
- مساحت چهار مثلث: $4 \times \frac{1}{2}ab = 2ab$
- مساحت مربع داخلی (که وترها روی اضلاع آن قرار گرفته): $c^2$
از آنجا که مساحت مربع بزرگ برابر مجموع مساحت چهار مثلث به اضافه مساحت مربع کوچک است، داریم: $a^2 + 2ab + b^2 = 2ab + c^2$. با حذف $2ab$ از دو طرف، رابطه $a^2 + b^2 = c^2$ به دست میآید.
جدول مقایسه ویژگیهای اضلاع در مثلث قائمالزاویه
| نوع ضلع | ویژگی اصلی | رابطه در فیثاغورس | مثال عددی |
|---|---|---|---|
| ساق اول ($a$) | تشکیلدهنده زاویه قائمه، کوتاهتر از وتر | $a^2 = c^2 - b^2$ | a=3 |
| ساق دوم ($b$) | تشکیلدهنده زاویه قائمه، عمود بر ساق اول | $b^2 = c^2 - a^2$ | b=4 |
| وتر ($c$) | رأسالمقابل زاویه قائمه، بزرگترین ضلع | $c^2 = a^2 + b^2$ | c=5 |
کاربرد عملی: محاسبه فاصله در صفحه مختصات
یکی از مهمترین کاربردهای قضیه فیثاغورس، محاسبه فاصله بین دو نقطه در صفحه دکارتی است. اگر دو نقطه $A(x_1, y_1)$ و $B(x_2, y_2)$ داشته باشیم، فاصله $d$ به صورت زیر محاسبه میشود:
مثال عینی: فرض کنید نقطه $A(1, 2)$ و نقطه $B(4, 6)$ را داریم. اختلاف مختصات $x$ ها برابر $3$ و اختلاف $y$ ها برابر $4$ است. بنابراین فاصله برابر $d = \sqrt{3^2 + 4^2} = \sqrt{9 + 16} = 5$ واحد خواهد بود. این روش پایه و اساس بسیاری از محاسبات در نقشهبرداری، فیزیک و علوم کامپیوتر است.
تعیین نوع مثلث با استفاده از عکس قضیه فیثاغورس
عکس قضیه فیثاغورس به ما امکان میدهد تا بدون اندازهگیری زاویه، نوع مثلث را مشخص کنیم. اگر سه ضلع مثلث به صورت $a \le b \le c$ مرتب شده باشند، آنگاه:
- اگر $a^2 + b^2 = c^2$، مثلث قائمالزاویه است.
- اگر $a^2 + b^2 > c^2$، مثلث حادهالزاویه است (همه زاویهها کمتر از ۹۰ درجه).
- اگر $a^2 + b^2 ، مثلث منفرجهالزاویه است (یک زاویه بزرگتر از ۹۰ درجه).
چالشهای مفهومی
پرسش ۱: آیا قضیه فیثاغورس فقط در مثلث قائمالزاویه کاربرد دارد؟
پاسخ: بله، به صورت مستقیم فقط در مثلث قائمالزاویه برقرار است. اما از آن برای محاسبه فاصله، ارتفاع، قطر مربع یا مستطیل و همچنین در شکلهای هندسی دیگر با رسم ارتفاع یا قطر میتوان استفاده کرد.
پرسش ۲: چرا مجموع مربع دو ساق با مربع وتر برابر است، نه با توان دیگر؟
پاسخ: این رابطه برگرفته از هندسه اقلیدسی و مفهوم مساحت مربعهای ساخته شده روی اضلاع است. توان $2$ به دلیل بعد مساحت (طول در طول) ظاهر میشود. برای توانهای بالاتر (مثلاً مکعب) چنین رابطه سادهای در فضای اقلیدسی وجود ندارد.
پرسش ۳: در زندگی روزمره کجا از این رابطه استفاده میشود؟
پاسخ: مثالها شامل تعیین فاصله مستقیم بین دو نقطه در نقشه، محاسبه طول نردبانی که به دیوار تکیه داده شده، تعیین کوتاهترین مسیر در ساختمانسازی، طراحی رمپها و پلها، و در فیزیک برای محاسبه برآیند نیروهای عمود بر هم است.
جدول سهتاییهای فیثاغورسی پرکاربرد
| ساق اول ($a$) | ساق دوم ($b$) | وتر ($c$) |
|---|---|---|
| 3 | 4 | 5 |
| 5 | 12 | 13 |
| 8 | 15 | 17 |
| 7 | 24 | 25 |
پاورقی
1 وتر (Hypotenuse): بزرگترین ضلع مثلث قائمالزاویه که در مقابل زاویه قائمه قرار دارد.
2 ساق (Leg): هر یک از دو ضلع مثلث قائمالزاویه که زاویه قائمه را میسازند.
3 سهتایی فیثاغورسی (Pythagorean Triple): مجموعه سه عدد طبیعی مانند $a, b, c$ که در رابطه $a^2+b^2=c^2$ صدق کنند.