میایم اول مساله رو برای حالتی که
نفر روی یک خط ایستاده اند حل می کنیم:
مساله معادل این است که از بین اعداد
،
تا عدد انتخاب کنیم که تفاضل هیچ دوتایی 1 نشود.
فرض کنید اعدادی که انتخاب کرده ایم
باشد در این صورت طبق فرض بالا،
. و اگر تعریف کنیم
آنگاه
و دیگر شرطی روی این متغیر ها نداریم. پس تعداد آنها که برابر تعداد
ها است، برابر
می شود. حالا برای مساله اصلی تعداد حالت هایی رو که
انتخاب شده اند رو کم می کنیم.
1 انتخاب شده، پس 2 انتخاب نشده، همین طوری n-1 هم انتخاب نشده. حالا باید k-2 تا متغیر دیگه رو انتخاب کنیم، از بین n-4 تا عدد، که طبق همون فرمولی که نوشتم تعدادشون میشه:
که خب الان واضحه که طبق اصل متمم جواب مساله ی اصلی میشه: