اتحاد پاسکال

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

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

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

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

تعمیم 
اگر  و . آنگاه:

جستارهای وابسته 
 مثلث خیام-پاسکال

منابع 

 

اتحادهای ریاضی
ترکیبیات