چرا مجموعِ مکعبها مربعِ مجموع است؟
یکی از زیباترین فرمولهای مربوط به مجموعها این است:
این رابطه در نگاه اول کمی غیرمنتظره است: چرا باید جمعِ مکعبها دقیقاً مربعِ یک جمعِ سادهتر باشد؟
در این یادداشت، بهجای محاسبهی جبری،
میخواهیم یک نگاه هندسی به این رابطه بیندازیم.
بازنویسی مسئله: مربعِ یک مجموع یعنی چه؟
بیایید سمت راست را کمی باز کنیم. اگر بگذاریم:
آنوقت:
اما ضربِ دو مجموع یعنی چه؟
یعنی جمعِ همهی حاصلضربهای ممکن:
اینجا دقیقاً جایی است که تفسیر هندسی وارد میشود.
تفسیر هندسی: یک مربعِ بزرگ
مربعِ را میتوان بهصورت یک مربعِ بزرگ با ضلعِ دید.
این مربع را به صورت زیر تقسیم میکنیم:
- یک نوار به طولِ ،
- بعد یک نوار به طولِ ،
- بعد ،
- و همینطور تا .
هم در جهت افقی، و هم در جهت عمودی.
در نتیجه، مربعِ بزرگ به بلوکهایی با مساحتهای تقسیم میشود.
هر بلوک، حاصلضربِ یک عدد از سطر و یک عدد از ستون است.
تمرکز روی گوشه: مربعهای تو در تو
حالا به گوشهی پایین–چپِ شکل نگاه کنید.
اگر فقط نوارهای مربوط به را در هر دو جهت در نظر بگیریم، یک مربع کوچکتر با ضلع
خواهیم داشت.
به این ترتیب، درون مربع بزرگ، یک دنباله از مربعهای تو در تو شکل میگیرد:
- مربعِ ضلع ،
- بعد مربعِ ضلع ،
- بعد مربعِ ضلع ،
- و همینطور ادامه پیدا میکند.
هر بار چه چیزی اضافه میشود؟
فرض کنید مربعِ مربوط به را ساختهایم. برای رسیدن به مربعِ مربوط به ، چه چیزی باید اضافه کنیم؟
دقیقاً یک «لایهی L-شکل»:
- یک نوار افقی با طول و عرض ،
- یک نوار عمودی مشابه،
- که در گوشه روی هم میافتند.
این لایه دقیقاً همان چیزی است که مربعِ قبلی را به مربعِ جدید تبدیل میکند.
مساحت این لایه چقدر است؟
به همان لایهی L-شکل نگاه کنیم.
برای رفتن از مرحلهی به مرحلهی چه چیزی اضافه کردیم؟
- یک نوار عمودی با عرض و طول ،
- یک نوار افقی با همان ابعاد.
اگر این دو نوار را جداگانه حساب کنیم، مجموع مساحتشان میشود:
اما یک نکته هست: گوشهی مشترک — یعنی مربعِ — در این جمع دوبار شمرده شده است.
پس باید یکبار آن را کم کنیم.
در نتیجه، مساحت کل لایه برابر است با:
حالا فقط همین را ساده میکنیم.
میدانیم:
پس داریم:
و این دقیقاً همان چیزی است که میخواستیم.
کنار هم گذاشتنِ همهی لایهها
حالا از تا ، همهی این لایهها را روی هم بگذارید.
کل مربعِ بزرگ با ضلع
از همین لایهها ساخته شده است.
پس مساحت کل مربع برابر است با:
اما این همان مساحت
است.
نتیجه
در نتیجه، نه از راهِ یک محاسبهی تصادفی، بلکه از راهِ یک ساختارِ هندسیِ لایهبهلایه داریم:
این تساوی صرفاً یک اتحاد جبری نیست؛
بیانِ این حقیقت است که یک مربعِ بزرگ،
از پوستههایی با حجمهای مکعبی ساخته شده است.