آنچه كه با عنوان «چكيده» در اول مسابقهها و زنگ تفريحها مشاهده ميكنيد صرفاً مخصوص معلمان، مربيان، كارشناسان محترم آموزشي و ساير علاقهمندان است.
سؤالاز شما خواسته ميشود يك كيك شكلاتي مكعب مستطيلي را به شكلات مكعبي (با اضلاع برابر) تقسيم كنيد. بهعبارت ديگر هدف آن است كه كيكي مربعي مستقل بهدست آيد.
از طرف ديگر تنها اجازه داريد در هر مرتبه تنها يك قطعه شكلات را با استفاده از يك برش عمودي يا افقي ببريد.
بهعنوان مثال فرض كنيد بنا داريد كيك شكلاتي مكعب مستطيلي را به قطعهي شكلاتي ببريد. اولين برش دو قطعهي ايجاد ميكند. با يك برش ديگر ميتوانيد هر دو قطعهي ايجاد شده را به دو قطعهي مستقل تبديل كنيد. بدينترتيب نهايتاً سه برش مورد نياز خواهد بود.
ثابت كنيد براي تقسيم كيك شكلاتي مكعب مستطيلي را به شكلات مكعبي (با اضلاع برابر) به برش نياز داريد.
بهطور استدلالي اگر بخواهيم يك كيك شكلاتي را بهطور كامل برش دهيم نياز داريم كه يكبار آن را به دو نيم كنيم و سپس بهصورت بازگشتي هر نيمه را به دو نيم قسمت تقسيم كنيم.
اين بيانگر استفاده از «استقراي قوي» در اندازهي كيك شكلاتي است كه اندازه برحسب واحد چهارگوش كيك بيان ميشود. اكنون بهجاي مسألهاي كه شامل دو متغير باشد (مسألهي دو بعدي) مسأله يك متغيره (برحسب اندازه) خواهد بود. با اين سادهسازي ميتوانيم مسأله را با «استقراي قوي» حل كنيم.
براي اثبات از «استقراي قوي» در اندازهي كيك شكلاتي استفاده ميكنيم. فرض كنيد گزارهاي باشد كه عبارت است از: يك كيك شكلاتي با اندازهي كه به برش نياز دارد.
مرحلهي اولابتدا را 1 در نظر ميگيريم:
(رابطهي 1)
صحيح است چون براي اينكه تنها يك چهارگوش كيك شكلاتي داشته باشيم به برش نياز است.
مرحلهي استقراييفرض كنيد و هر قطعه كيك شكلاتي با اندازهي كه در آن: است نياز به حداكثر برش است. حالا بايد نشان دهيم كه براي برش يك قطعه شكلات بهاندازهي به حداكثر برش نياز است.
براي اين منظور ابتدا قطعه كيك شكلاتي با اندازهي را به قطعههاي كوچكتر با اندازهي و برش ميدهيم؛ لذا داريم:
(رابطهي 2)
اين امر مطمئناً ممكن است بهخاطر اينكه اندازهي قطعه كيك شكلاتي حداقل 2 است. اكنون قطعههاي با اندازهي و بين 1 و است بنابراين با استفاده از «استقراي قوي» برش دادن اين دو قطعه به چهارگوشهاي مستقل بهطور جداگانه نياز به و برش است.
بنابراين حداكثر تعداد كل برشهاي مورد نياز براي برش قطعه كيك شكلاتي با اندازهي به چهارگوشهاي مجزا از رابطهي ذيل محاسبه خواهد شد:
(رابطهي 3)
اين رابطه نشان ميدهد كه بر دلالت داشته و بدينترتيب مسأله با استقراي قوي ثابت ميشود.