算两次

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

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

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

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

相关

  • 进化 (消歧义)演化、演变、演进、是翻译自英文“Evolution”,这个字有许多意义,其中包括许多作品。以下名单为列举 ,关于更多以Evolution为名的事物,可参考其他语言版本。
  • 二十四史二十四史,中国古代各朝撰写的二十四部史书的总称,是获历朝代纳为正统的史书,故又称“正史”,记载逾四千年的中国历史,上起传说的黄帝,止于明朝崇祯十七年(1644年),计3213卷,约4000万字
  • 科学 (中国杂志)《科学》杂志是中国科学社以美国科学促进会(AAAS)及其科学杂志为模式创办的杂志。1915年1月首期《科学》月刊在上海由商务印书馆出版,发刊词上“科学”与“民权”赫然并列,申明
  • C69/D31ICD-10 第二章:肿瘤,为WHO规定的各类已发现的肿瘤。恶性肿瘤(C00-C97)淋巴、造血和有关组织的恶性肿瘤 (C81-C96)原位肿瘤 (D00-D09)良性肿瘤 (D10-D36)动态未定或动态未知的肿瘤(D37
  • 凸包在一个实数向量空间 V {\displaystyle V} 中,对于给定集合 X {\displaystyle X} ,所
  • 东南亚友好合作条约《东南亚友好合作条约》由东南亚国家联盟发起国于1976年2月24日在印尼巴厘岛举行的东盟第一次首脑会议上签署的。所有东盟成员国随后成为签约国。1987年,东盟修改《条约》,邀
  • 洛根县洛根县(Logan County, Colorado)是美国科罗拉多州东北部的一个县,北邻内布拉斯加州。面积4,778平方公里。根据美国2000年人口普查,共有人口20,504人。县治斯特林 (Sterling)。成
  • 暴孟奇暴孟奇(1528年-?年),字纯甫,号玉溪,山西屯留人,明朝政治人物,同进士出身。山西乡试第四名举人。嘉靖四十四年(1565年)中式乙丑科进士。历任户部主事,河南道监察御史、卫辉府知府,陕西临巩
  • 陈庆熇陈庆熇(1923年-1997年)是台湾的漫画家,笔名青禾。出生于福建福州。
  • 上川阳子上川阳子(日语:上川 陽子/かみかわ ようこ ,1953年3月1日-),日本女性政治家,自由民主党党员。出身于静冈县静冈市。众议院议员(当选5期),在自民党内属于宏池会(岸田派)。她曾历任第三次