MathLabs
定理已证明

乘法原理定理

命题陈述

设一项工作由 kk 个相继的步骤 T1,T2,…,TkT_1, T_2, \dots, T_k 组成,其中第 nin_i 步无论之前的步骤如何选择,都可以用 nin_i 种方式完成。那么完成整个步骤序列的方法数为 N=n1⋅n2⋯nkN = n_1 \cdot n_2 \cdots n_k。

为什么成立?

由于每一步的选择数不依赖于前面的步骤,所以每一种选择组合都是一个不同的合法结果,组合的数目恰好像数矩形网格中的格子那样相乘。

证明思路

第一步(基础情形 k=1k=1):只有一个步骤时显然有 N1=n1N_1 = n_1 种方法,与 k=1k=1 时的公式一致。

第二步(基础情形 k=2k=2):对完成第1步的 n1n_1 种方法中的每一种,第2步仍然有 n2n_2 种做法,因为它的数目不依赖于第1步的结果。这样,所有选择对被分成 n1n_1 个不相交的组,每组大小为 n2n_2(每种第1步结果对应一组),于是加法原理给出总数为 n2n_2 自加 n1n_1 次,即 N2=n1⋅n2N_2 = n_1 \cdot n_2。

第三步(对 kk 归纳):假设公式对 k−1k-1 个步骤成立,即前 k−1k-1 个步骤合起来共有 Nk−1N_{k-1} 种结果。把这 k−1k-1 个步骤看成一个结果数为 Nk−1N_{k-1} 的“合成步骤”,把第 kk 步看成第二个独立步骤,结果数为 nkn_k(其数目仍不依赖于之前的选择)。对这两步应用两步的基础情形,得到 Nk=Nk−1⋅nkN_k = N_{k-1} \cdot n_k,即 Nk=n1⋅n2⋯nkN_k = n_1 \cdot n_2 \cdots n_k。由归纳法,该公式对所有 kk 都成立。

用到此定理的主题

分步证明

该定理暂无分步证明。

参考文献

  1. Richard A. Brualdi (2009). Introductory Combinatorics
  2. Kenneth H. Rosen (2019). Discrete Mathematics and Its Applications