پرش به محتوا

اتحاد پاسکال

از ویکی‌پدیا، دانشنامهٔ آزاد

در ریاضیات، اتحاد پاسکال یک همانی ترکیبیاتی در مورد ضریب دوجمله‌ای است. بنابر اتحاد پاسکال، به‌ازای هر عدد طبیعی n

  • به‌ازای

که در آن یک ضریب دوجمله‌ای است. نوشتن این اتحاد به صورت زیر هم رایج است:

  • به‌ازای

اثبات ترکیبیاتی[ویرایش]

اثباتی شهودی برای این اتحاد وجود دارد. یادآوری می‌شود که تعداد حالت‌هایی است که می‌توان از مجموعه‌ای n تایی، k چیز برداشت. یک عضو دلبخواهی از مجموعه به عنوان X جدا می‌شود. حال هر بار که زیرمجموعه‌ای k تایی از مجموعه برداشته شود، X یا عضو این زیر مجموعه است یا عضو این زیرمجموعه نیست. اگر X عضو زیر مجموعه باشد، با کنار گذاشتن آن تعداد حالت‌ها برابر می‌شود. اگر X عضو زیرمجموعه نباشد با کنار گذاشتن آن تعداد حالت‌ها برابر است. از آنجا که حالت دیگری ممکن نیست (X یا در زیرمجموعهٔ kتایی هست یا در آن نیست) پس

اثبات جبری[ویرایش]

قصد بر این است که ثابت شود:

تعمیم[ویرایش]

اگر و . آنگاه:

جستارهای وابسته[ویرایش]

منابع[ویرایش]