首页 > 其他分享 >一些组合数学的证明

一些组合数学的证明

时间:2024-05-02 17:00:46浏览次数:29  
标签:dbinom 组合 dfrac 个数 times 数学 证明 underline

广义二项式系数

\(\dbinom{a}{n} = \dfrac{a^\underline{n}}{n!}\)

证明:\(\dbinom{a}{n} = C_a^n = \dfrac{a!}{n!(a-n)!} , \dfrac{a^\underline{n}}{n!} = \dfrac{\frac{a!}{(a-n)!}}{n!} = \dfrac{a!}{n!(a-n)!}\)

对称公式

\(\dbinom{n}{m} = \dbinom{n}{n-m}\)

证明:\(\dbinom{n}{m}=\dfrac{n!}{m!(n-m)!},\dbinom{n}{n-m}=\dfrac{n!}{(n-m)!m!}\)

加法公式

\(\dbinom{n}{m} = \dbinom{n-1}{m} + \dbinom{n-1}{m-1}\)

证明:\(\dbinom{n}{m}=\dfrac{n!}{m!(n-m)!}\),

\(\dbinom{n-1}{m} + \dbinom{n-1}{m-1}\)

\(= \dfrac{(n-1)!}{m!(n-m-1)!} + \dfrac{(n-1)!}{(m-1)!(n-m)!}\)

\(= \dfrac{(n-1)!(n-m)}{(m-1)!(n-m-1)!m(n-m)} + \dfrac{(n-1)!m}{(m-1)!(n-m-1)!(n-m)m}\)

\(= \dfrac{(n-1)!(n-m+m)}{(m-1)!(n-m-1)!(n-m)m}\)

\(= \dfrac{n!}{m!(n-m)!}\)

感性理解:\(n\) 个数中取 \(m\) 个数的方案数,等于没选第 \(m\) 个数的和选了第 \(m\) 个数的方案数总和。

吸收公式

\(m\dbinom{n}{m} = n\dbinom{n-1}{m-1}\)

证明:

\(m\dbinom{n}{m}=m\times\dfrac{n!}{(m-1)!(n-m)!}=\dfrac{n!}{(m-1)!(n-m)!}\)

\(n\dbinom{n-1}{m-1}=n\times\dfrac{(n-1)!}{(m-1)![(n-1)-(m-1)]!}=\dfrac{n!}{(m-1)!(n-m)!}\)

三项式恒等式

\(\dbinom{a}{b}\dbinom{b}{c}=\dbinom{a}{c}\dbinom{a-c}{b-c}\)

证明:

\(\dbinom{a}{b}\dbinom{b}{c}=\dfrac{a!}{b!(a-b)!}\times\dfrac{b!}{c!(b-c)!}=\dfrac{a!}{c!(a-b)!(b-c)!}\)

\(\dbinom{a}{c}\dbinom{a-c}{b-c}=\dfrac{a!}{c!(a-c)!}\times\dfrac{(a-c)!}{(b-c)![(a-c)-(b-c)]!}=\dfrac{a!}{c!(a-b)!(b-c)!}\)

标签:dbinom,组合,dfrac,个数,times,数学,证明,underline
From: https://www.cnblogs.com/CheZiHe929/p/18170337

相关文章

  • 【未整合】数学 day2
    线性代数若一个函数是线性的,当且仅当\(f(x+y)=f(x)+f(y)\)且\(f(cx)=cf(x)\)。定义域和值域都是实数的线性函数是正比例的。确定了,不如自学。重新定义线性,将\(c\)视作”数“,将\(x\)和\(f(x)\)都视作”可运算的元素“。本质上就是一种映射。向量在OI中,定义向量是......
  • 【未整合】数学 day1.2
    !!!数论\(\sum_1^n[i\inprime]=O(\frac{n}{\logn})\)。算数基本定理是常识。经典问题:\(\gcd\times\operatorname{lcm}=a\timesb\)。埃氏筛\(O(n\log\logn)\)处理出\(1\simn\)的所有质数。对于所有质数扫描所有倍数。质数的倒数和为\(O(\log\logn)\)。P7960定义......
  • 网课-组合数学学习笔记
    排列\[A_n^m=\dfrac{n!}{(n-m)!}\]组合\[\dbinom{n}{m}=\dfrac{n!}{(n-m)!}\]下降幂&上升幂\[\]二项式定理隔板法如果隔板法的每个间隔有下界(下界可以不同),可以先把下界从整体减去。P5520[yLOI2019]青原樱:可将树看作隔板。环排列\(n\)的长度,\(m\)种颜色。可以......
  • 【未整合】数学 day1
    会把集训笔记抽时间整合到省选/NOI数学的文章上。讲师:施开成,CTSC第五名。组合数学\(C_n^m\)表示在\(m\)个数中选\(n\)个数的方案数,狭义的要求\(n\gem\ge0\),\(n,m\)均为正整数。也叫二项式系数。对于实数\(a\)和非负整数\(n\),定义下降幂\(a^{n_{_}}\),等于\(a(......
  • 读天才与算法:人脑与AI的数学思维笔记15_声响的数学之旅
    1. 音乐1.1. 巴赫的作品以严格的对位著称,他十分中意对称的结构1.2. 巴托克的作品很多都以黄金比例为结构基础,他非常喜欢并善于使用斐波纳契数列1.3. 有时,作曲家是本能地或者不自知地被数学的模式和结构所吸引,而他们并没有意识到这些数学模式的意义1.4. 有时,他们主动去寻......
  • ZORICH数学分析
    ZORICH数学分析CHAPTER1一些通用的数学概念与记号§1.逻辑符号1.关系与括号\[L\impliesP\\\text{表示L蕴含P}\]\[L\iffP\\\text{表示L与P等价}\]\[((L\impliesP)\land(\negP))\implies(\negL)\\\text{表示若P由L推出,而P不真,则L不真}\]\[\neg((L\iffG)\l......
  • 好题——数学与数据结构
    前言本文章将会持续更新,主要是一些个人觉得比较妙的题,主观性比较强(给自己记录用的),有讲错请补充。带!号的题是基础例题,带*号的是推荐首先完成的题(有一定启发性的)。组合数P6620[省选联考2020A卷]组合数问题运用斯特林数好的例题,普通幂转下降幂。用到第二类斯特林数。\[......
  • leetcode算法热题--字母异位词组合
    题目给你一个字符串数组,请你将字母异位词组合在一起。可以按任意顺序返回结果列表。字母异位词是由重新排列源单词的所有字母得到的一个新单词。示例1:输入:strs=["eat","tea","tan","ate","nat","bat"]输出:[["bat"],["nat","tan"],[&q......
  • Go语言系列——Go协程、信道(channel)、缓冲信道和工作池、Select、Mutex、结构体取代类
    文章目录21-Go协程Go协程是什么?Go协程相比于线程的优势如何启动一个Go协程?启动多个Go协程22-信道(channel)什么是信道?信道的声明通过信道进行发送和接收发送与接收默认是阻塞的信道的代码示例信道的另一个示例死锁单向信道关闭信道和使用forrange遍历信道23-缓冲信......
  • 零知识证明与同态加密:隐私计算的双剑
    PrimiHub一款由密码学专家团队打造的开源隐私计算平台,专注于分享数据安全、密码学、联邦学习、同态加密等隐私计算领域的技术和内容。在数字时代,隐私保护已成为全球关注的焦点。隐私计算作为解决数据隐私问题的关键技术,其核心目标是在不泄露个人或敏感信息的前提下,实现数据的计......