算两次

✍ dations ◷ 2025-04-05 20:24:50 #组合数学,数学推理

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

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

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

相关

  • 南瓜南瓜是葫芦科南瓜属的植物。“南瓜”一词可以特指南瓜属中的中国南瓜(Cucurbita moschata),也可以泛指包括笋瓜(又称印度南瓜)、西葫芦(又称美洲南瓜)等在内的其他南瓜属栽培种。其
  • 花粉粒花粉(pollen)是种子植物的微小孢子堆,成熟的花粉粒实为其小配子体,能产生雄性配子。花粉由雄蕊中的花药产生,由各种方法到达雌蕊,使胚珠授粉。花粉通常是对称的,多为球形;大叶藻(Zost
  • 假阳具假阴茎又称快乐棒(Dildo或Dildoe)是通常用来自慰,也可以用来当成性交的性玩具之一。假阴茎是助性用品(或称情趣用品)的一个主要种类,它的相对或相关用品为假阴道。假阴茎源来已久,
  • 众数众数(英语:mode)指一组数据中出现次数最多的数据值。例如{2,3,3,3}中,出现最多的是3,因此众数是3,众数可能是一个数,但也可能是多个数。在离散概率分布中,众数是指概率质量函数有最
  • 李书章李书章(1954年-),河北阜城人。1971年入伍,第三军医大学硕士研究生学历,主任医师。中国人民解放军中将,现任中央军事委员会后勤保障部副部长。曾任第三军医大学副教务长,1999年,任第三
  • 瑟普赖斯市瑟普赖斯(英语:Surprise)是美国亚利桑那州马里科帕县的一座城市,也是菲尼克斯都会区继吉尔伯特之后人口增长速度第二快的市:根据美国人口普查局的数据,该城2000年普查时只有30,848
  • 胂指砷化氢(氢化砷,AsH3)分子中的氢原子部分或全部被烃基取代的一切衍生物。有时也专指砷化氢,是一种氮族元素的氢化物。又指砷烷,如烷烃命名,例如甲砷烷(一砷烷),乙砷烷(二砷烷,联
  • 索柱 (康熙乙未进士)索柱(满语:ᠰᠣᠵᡠ,穆麟德:,生年不详-卒年不详),字海峰,姓氏不详。正红旗满洲人,属于何保住佐领。清朝政治人物。康熙五十四年(1715年)乙未科第三甲第一百三十九名同进士出身。早年历官
  • 艾莉雅·沙伯艾莉雅·沙伯(Alia Sabur,1989年2月22日-),于美国纽约市出生,是美国神童之一,也是全球最年轻大学教授。9岁时,沙伯已经获得跆拳道黑带。11岁,跟美国洛克兰管弦交响乐团(Rockland Symph
  • 翁溥翁溥(?-1556年),字德宏,浙江绍兴府诸暨县人,明朝政治人物。浙江乡试第十二名。嘉靖八年(1529年)己丑科进士。授太湖县知县,拜吏科给事中。嘉靖三十三年(1553年),入为兵部右侍郎。次年,转左