算两次

✍ dations ◷ 2025-05-21 00:37:10 #组合数学,数学推理

在数学中，算两次是一个常用的证明技巧，常在证明恒等式时被提到。其思想是，对一个具体的量用方法甲来计算，得到的答案是A，而用方法乙则得到B，那么等式A = B成立。此思想虽然明显，但在实际使用时由于方法甲与方法乙通常有明显的差异，因此能把两个表面上相去甚远的式子联系起来。算两次产生过很多漂亮的证明。

组合数学中的算两次是一种组合证明方法。我们可以对同一个组合计数问题从两个不同的方面去观察，从而得到两个表达式，其值却相同。例如以下问题：

设为给定的正整数。假如你要创造一种语言，其中的字母只有 ※ 和 ◎ 两种，而每个词语总是由个字母组成，那最多可以有多少个不同的词语？

甲：由于词语中任一位置都可以自由地选择※或◎中的任何一个，所以答案是 2 × 2 × ... × 2 = 2。

乙：如果进一步规定◎正好出现次，那么符合要求的单词就只有那么多个了。但可以是 0, 1, 2, ..., 的任何一个，因此总计起来即为 $\sum _{k=0}^{n}{n \choose k}$ $\sum _{k=0}^{n}{n \choose k}$ ，其中 ${n \choose k}$ ${n \choose k}$ 是组合数（n取k）。

两种方法都得到了正确的表达式，因此 $\sum _{k=0}^{n}{n \choose k}=2^{n}$ $\sum _{k=0}^{n}{n \choose k}=2^{n}$ 。

除了以上的二项式系数和，以下这些基本的组合恒等式也可以用算两次的办法来论证（但对不同的读者来说不一定是最简单的办法）：

微积分中的富比尼定理指出重积分在一定条件下可以用不同方法来计算。在这个意义下，算两次也造就了不少分析恒等式。

相关

非洲猪瘟非洲猪瘟病毒科（学名：Asfarviridae）是双链DNA病毒中的一个科。非洲猪瘟病毒属（Asfivirus）是本科唯一的一个属，而与本科相关的Faustovirus（英语：Faustovirus）至今仍未分类。该类病毒主
魏拉洛伯士海托尔·维拉-罗伯斯（葡萄牙语：Heitor Villa-Lobos，1887年3月5日－1959年11月17日），生于巴西，拉美最负盛名的古典乐作曲家，也是著名的指挥家和大提琴家。其音乐作品风格深受巴西民俗
类风湿关节炎类风湿性关节炎（英文：rheumatoid arthritis，简称RA），是一个主要影响关节的长期持续性疾病。它通常导致关节发热、肿胀和疼痛。疼痛和僵硬往往于休息后更恶化。最常见的是手腕和手
电路电子回路（英语：Electrical network），是由电气设备和元器件，按一定方式连接起来，为电荷流通提供了路径的总体，也叫电子线路或称电气回路，简称网络或回路。如电源、电阻、电容、电感、
星形八面体在几何学中，星形八面体（英语：Stellated octahedron）是八面体中唯一的星形多面体，是一种二复合四面体，又称为八角星体（英语：stella octangula、拉丁语为eight-pointed star，意为八角星
比利时法语社群法语社群（Communauté française），又称瓦隆－布鲁塞尔联盟（Fédération Wallonie-Bruxelles），是比利时三个社群之一。法语社群的意思是使用法语的比利时人；并成立代表比利时法语居
徐清吉徐清吉（1907年－1982年）生于佳里镇。他与郭水潭、王登山曾经加入日本人多田利郎在1929年（昭和4年）创立的“南溟艺园”。是日治时期盐分地带文学作家群之中，相当重要的一位，也被后人
霍普金斯山 (亚利桑那州)霍普金斯山（Mount Hopkins）是一个位于美国亚利桑那州圣克鲁斯县的山峰，属于圣塔瑞塔山脉的一部分。弗雷德·劳伦斯·惠普尔天文台位于这座山。霍普金斯山在科罗纳多国家森林范
A4公路A4公路、A4高速公路可以指：
苯基溴化镁苯基溴化镁是一种格氏试剂，化学式为C6H5MgBr。它可以在有机合成反应中提供苯基合成子。它在实验室可以通过溴苯和镁屑的反应得到，反应中需要加入少量的碘来活化镁，以引发反应。