双射法 双射法是组合数学中的一种重要的证明方法用来证明两个有限集合A和B的元素数目相等证明的思路是构造一个双射映射f  A  B于是根据双射的性质A和B的元素数目就是相等的这个证明是构造法证明的一种由于双射法是给出具体的映射构造而不是分别点算两个集合所以不需要知道两个集合的元素个数这种证明可以用于难以直接对两个集合或其中一个集合进行计数的情况此外双射法也可以用来计算一个集合难以直接计算时方法是将它映射到一个可以拆分或比较容易计算的集合而作为构造性证明双射法用到的f也许可以用来更深刻地分析集合本身的性质