算两次

✍ dations ◷ 2025-07-02 09:56:16 #组合数学,数学推理

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

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

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

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

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

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

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

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

相关

  • 古今字陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书(大篆 ‧  小篆)隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧  书法 ‧ 飞白书笔画 ‧ 
  • 行为心理学行为主义(英语:Behaviorism)又称作行为论,是20世纪初起源于美国的心理学流派,主张心理学应该研究可以被观察和直接测量的行为,反对研究没有科学根据的意识。其主要特色为以系统方
  • 金手指网路奖在1999年成立的金手指网络广告奖,也称作金手指网络奖,是华文界的第一个网络大奖,主要目的是鼓励网络世界的多元创意。金手指网络广告奖一开始,是由中时电子报、PC Home Online、
  • 寒武纪生命大爆发寒武纪大爆发(亦称寒武纪生命大爆发,Cambrian Explosion),是相对短时期的进化事件,开始于距今5.41亿年前的寒武纪时期,化石记录显示绝大多数的动物“门”都在这一时期出现了。它持
  • 陆军航空兵学院中国人民解放军陆军航空兵学院(简称陆军航空兵学院),位于北京市通州区台湖镇,隶属中国人民解放军陆军。是军官与士兵同校训练的多学科、多层次的综合院校,为中国人民解放军陆军航
  • 腾讯电脑管家腾讯电脑管家(原QQ医生、QQ电脑管家)是由腾讯公司发布的一款安全软件。包括杀毒、实时保护、修复漏洞、系统清理、电脑加速、软件管理、硬件检测、网速保护等功能。同时,使用该
  • 原料药原料药(英文:API, Active Pharmaceutical Ingredients),又称活性药物成分,由化学合成、植物提取或者生物技术所制备,但病人无法直接服用的物质,一般再经过添加辅料、加工,制成可直接
  • 方形船蛤方形船蛤(学名:)为船蛤科船蛤属下的一个种。
  • 乔瓦尼·纳托利乔瓦尼·纳托利(法语:Giovanni Forti Natoli Lanza Moncada Orioles Alifia e Luna),生于墨西拿广域市,斯佩尔林加王子,纳托利王室,领导者和斯佩尔林加的公国家元首.约翰·纳托利标
  • 星系晕尖点问题星系晕尖点问题出现在宇宙论模拟的冷暗物质将在宇宙最密集的区域形成尖点-也就是说,在中心点的数值将出现一个尖锐的峰值。这暗示了星系的中心,例如我们的银河系,将会比其他区域