算两次

✍ dations ◷ 2025-06-30 20:33:24 #组合数学,数学推理

在数学中,算两次是一个常用的证明技巧,常在证明恒等式时被提到。其思想是,对一个具体的量用方法甲来计算,得到的答案是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}}

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

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

相关

  • 圣迭戈圣迭戈加利福尼亚大学 (英语:University of California, San Diego;常用缩写“UCSD”或“UC San Diego”),简称“圣迭戈加州大学”,民间多译作“加利福尼亚大学圣迭戈分校”,是美国
  • span style=color:#0055AA;大气/span地球大气层,又称大气圈,因重力关系而围绕着地球的一层混合气体,是地球最外部的气体圈层,包围着海洋和陆地,大气圈没有确切的上界,在离地表2000-16000公里高空仍有稀薄的气体和基本
  • 复活 (消歧义)复活,可以指:
  • 比佛利山庄比佛利山庄可以指:其他用法,请见比佛利山 (消歧义)
  • 济东泰武临道济东泰武临道,清朝地方行政区划中的道。康熙九年(1670年),设济东道,驻济南府。 康熙十三年十月丙午(1674年11月13日),分济南府及东昌府属的聊城县等九州、县来属。道治迁德州。 康熙
  • EViewsEViews是为Windows设计的统计分析软件,主要应用于计量经济分析。 EViews是由Quantitative Micro Software(QMS)开发的。1.0版于1994年3月推出,代替了原先的MicroTSP软件,目前最新
  • 卡拉·德莱文涅卡拉·乔斯林·德莱文涅(英语:Cara Jocelyn Delevingne,/ˈkɑːrə ˈdɛləviːn/ ,1992年8月12日-)是一名英国女性超级模特儿、演员和歌手。2012年和2014年,赢得两项英国时尚大
  • 米克·麦卡锡 米克·麦卡锡(英语:Mick McCarthy,1959年2月7日-)生于英国巴恩斯利,是前爱尔兰职业足球运动员,退役后出任主教练,他曾经执教米尔沃尔、桑德兰、爱尔兰国家队及伍尔弗汉普顿流浪,也
  • 奥格雷县奥格雷县 (Ogres rajons、俄语:Огрский район)是拉脱维亚中部的一个县。面积1,843平方公里。人口63,027人。县治奥格雷。下分4市16村。
  • 武藤敬司武藤敬司(1962年12月23日-)出生于山梨县富士吉田市,是日本的重量级职业摔角选手。身高188公分,体重103公斤。1984年10月5日于安东尼奥·猪木率领的新日本职业摔角团体中出道,表现