算两次

✍ dations ◷ 2025-04-27 03:47:06 #组合数学,数学推理

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

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

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

相关

  • 古典时期古典时代(或称为古典时期、古典古代、古风时期,英语:Classical antiquity)是对希腊罗马世界(英语:Greco-Roman world)(以地中海为中心,包括古希腊和古罗马等一系列文明)的长期文化史的
  • 库姆坐标:34°39′N 50°53′E / 34.650°N 50.883°E / 34.650; 50.883库姆(波斯文:قم‎)是伊朗伊斯兰共和国库姆省省会,距首都德黑兰西南156千米(97英里)。自伊斯兰教什叶派十二伊
  • 克柔龙昆士兰克柔龙 K. queenslandicus Longman, 1924 波亚卡克柔龙 K. boyacensis Hampe, 1992克柔龙属(属名:Kronosaurus)又名克诺龙、长头龙,是种海生爬行动物,属于蛇颈龙目的上龙
  • 大良牛乳大良牛乳,又叫金榜牛乳,是一种原产于顺德大良金榜村(现金榜居委会)的白色圆状薄片牛奶制成品,顺德美食之一,有“东方芝士”称号。因其圆片形状,故也被称为“金榜牛乳饼”。大良牛乳
  • 洛杉矶快艇洛杉矶快船(英语:Los Angeles Clippers),是一支位于美国加利福尼亚州洛杉矶的NBA篮球队,分属于西部的太平洋赛区,主场为斯台普斯中心。球队在1970年成立于布法罗,1978年迁至圣迭戈,1
  • 城步县城步苗族自治县(城步县)是湖南省邵阳市下辖的自治县,是中国五个苗族自治县之一,位于湖南西南边陲、邵阳市西南部,南部与广西壮族自治区接壤。城步县辖区总面积2647平方公里,总人口
  • 平壤地铁DK4型电动车组平壤地铁DK4型电动车组是平壤地铁的电动车组车款之一,现在已经退出运营。DK4型由中国大陆长春轨道客车生产,共112辆。列车外观与北京地铁DK2型和DK3型相似。自1973年开始在平
  • 古斯塔沃·恩格瓦尔克里斯托夫·奥尔森(瑞典语:Gustav Engvall;1996年4月29日-)是一位瑞典足球运动员。在场上的位置是前锋。他现在效力于瑞典足球超级联赛球队哥登堡足球俱乐部。他也代表瑞典国家
  • 约翰·纽霍夫约翰·纽霍夫(荷兰语:Joan Nieuhof,又译约翰·尼霍夫;1618年7月22日-1672年10月8日)是一位荷兰旅行家。他写了一些有关他在巴西、中国和印度旅行的书籍。其中最著名的旅行是他在16
  • 佩尔·阿尔宾·汉松佩尔·阿尔宾·汉松(Per Albin Hansson,1885年10月28日-1946年10月6日) 瑞典政治家。从1925年起任瑞典社会民主党主席。1932年—1946年间4次担任瑞典首相。领导国家摆脱20世纪30