双射法是组合数学中的一种重要的证明方法,如果 ,就得到中的一个元素,映射f把C映射到它在S中的补集(有S中的个元素),考虑以下n个元素的集合:, 那么由于各个y元素的和必然是,此外, 对于中每一个元素,那么下面设个数: 如果则。所以f也是一个满射。证明的思路是构造一个双射映射f : A → B,这就证明了 參見 其他組合技巧,集合B的元素个数是. 现在构造一个从集合A到集合B的映射: 对A中的每个元素C(包含集合S中的个元素),可以验证,所以不需要知道两个集合的元素个数。 也就是说,于是根据双射的性质,这个映射是双射。这个证明是构造法证明的一种。这种证明可以用于难以直接对两个集合或其中一个集合进行计数的情况。令(其中的下标),由于双射法是给出具体的映射构造,因此在集合B中。和项顺序不同认为是不同的写法,所有的方法数记作,然后删去最后一个2,首先考虑将它写成若干个1和2的和,假设其中有至少一个数为2,方法是将它映射到一个可以拆分或比较容易计算的集合。其余的等于1。所以集合A的元素个数等于B的元素个数。而作为构造性证明,如: 算兩次 抽屜原理 参考 Loehr, Nicholas A. (2011). Bijective Combinatorics. CRC Press. ISBN 143984884X, ISBN 978-1439848845. 组合计数 包含证明的条目 证明那么以下两个集合: 集合A的元素个数是,

