算两次

✍ dations ◷ 2025-12-07 08:55:02 #组合数学,数学推理

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

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

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

相关

加拿大圣公会加拿大圣公会（英语：Anglican Church of Canada，简称ACC 或 ACoC，法语：l'Église Anglicane du Canada）是普世圣公宗在加拿大的教省。加拿大圣公会是全加拿大第三大的宗教组织，仅次
卫星运载火箭卫星运载火箭（Satellite Launch Vehicle 3 (SLV-3)，उपग्रह प्रक्षेपण यान 3）为印度太空研究机构于1970年代早期应太空科技需求所发展的运载火箭，整个计划由阿
于洋于洋（1930年－），曾用名于延江，中国大陆电影演员、表演艺术家。生于山东省费县农村，后因生活所迫，随母亲“闯关东”投奔外祖母家。1943年，因饰演影片《表》中的流浪儿童比较成功，在“满
邦联陆军合计服役人数1,082,119联盟军（Confederate Army），即美国南北战争(美国内战 1861–1865)时期南方联盟方面陆军，亦称南军（Southern Army）。在美国南北战争期间，联盟军主要与北方联邦
市郊郊区（英语：Suburb，台港称近郊，亦称邻近都市区域、市郊）是指城市外围人口较多的区域。通常是商业区较少，而以住宅为主，或者还有相当程度农业活动但属于都市行政辖区的地区。因此在都
朝鲜葱饼朝鲜葱饼（韩语：파전）是一种朝鲜饼食，主要材料有面粉 (밀가루)（庆尚道是朝鲜的小麦主产地）、鸡蛋 (계란) 和葱 (파) ，常加入海产(해물)，成为有名的海鲜葱饼（韩语：해물파전、又称为海鲜
小行星7495小行星7495（7495 Feynman）是一颗绕太阳运转的小行星，为主小行星带小行星。该小行星于1995年11月22日发现。小行星7495的轨道半长轴为2.8083144 UA，离心率为0.158。
Silent Snow《Silent Snow》是花泽香菜以个人名义发表的第4张单曲。于2013年1月16日由Aniplex发行。距前作《happy endings》发行两个月后发行的第四张单曲、以“冬”作为主题。本张单
分形宇宙学分形宇宙学（英语：Fractal cosmology），亦作残形宇宙论，是物理宇宙学中的一个小众理论，算是一种非主流学说。这一理论认为，宇宙中的物质分布和宇宙结构本身在各个尺度上具有分形结构，
滨海阿尔卑斯山脉滨海阿尔卑斯山脉（法语：Alpes maritimes）是欧洲的山脉，是西阿尔卑斯山脉的一部分，横跨法国的库内奥省和因佩里亚省与意大利的滨海阿尔卑斯省，最高点海拔高度3,297米。