برهان دوسویی

در ترکیبیات، برهان دوسویی () یک فن اثباتی است که تابع دوسویی  بین دو مجموعه متناهی A و B، یا با حفظ اندازه یک تابع دوسویی بین دو کلاس ترکیبیاتی، را پیدا می‌کند و نشان می‌دهد که تعداد اعضای دو مجموعه (یا کلاس) برابر است (). یکی از موارد کاربرد این روش وقتی است که مراد است اندازهٔ A بدست آورده شود، ولی راهی برای شمردن عناصر آن وجود ندارد. با ایجاد تناظر دوسویی از A به یک B که شمردن عناصرش ساده‌تر است، مسئله حل می‌شود.

جستارهای وابسته 
 بسط دوجمله‌ای
 قضیه کانتور برنشتاین
 شمارش مضاعف
 اثبات ترکیبیاتی

منابع 

 

برهان‌های ریاضیات
ترکیبیات شمارشی