标签：lfloor right frac rfloor 证明 一些 乘法 杂项 left
1
\[\left\lfloor\frac {\left\lfloor \frac{x}{b} \right\rfloor}{c} \right\rfloor=\left\lfloor\frac{x}{bc}\right\rfloor \]其中 \(x\in\R,b,c\in\N\)
- 证明：设 \(x=kbc+r\) ，其中 \(r\in[0,bc)\) ，我们把 \(x\) 带入左边式子可以的得到：\[k+\left\lfloor\frac {\left\lfloor \frac{r}{b} \right\rfloor}{c} \right\rfloor \]
\(S_{myself}=\varnothing\)
因为：
所以我们可以得到：
\[\left\lfloor\frac {\left\lfloor \frac{r}{b} \right\rfloor}{c} \right\rfloor=k \]显然，右边式子也等于 \(k\) ，所以结论成立。
2
步长为 \(k\)，模 \(i\)，两个位置能够互相走到的充要条件是 \(a\equiv b\bmod \gcd(k,i)\)
证明：
考虑设 \(g=(k,i)\)，我们有 \(a+cg=b+dg\Rightarrow a=b+(d-c)g\)，所以有 \(b+(d-c)g\equiv ck+b\bmod i\)，显然存在这样的一个 \(c\)。
同理，我们可以证明必要性。
3
平面图欧拉公式：
\[ F-E+V=2 \]其中 \(F\) 表示出现的平面数，\(E\) 表示边数 \(V\) 表示点数。
4
圆内接六边形，六条边直线交于三点，三点共线（帕斯卡定理）
5
矩阵乘法的扩展性
我们认为，如果两个运算 \(\times\) 和 \(+\) 满足一下条件，就可以利用矩阵乘法来进行实现：
加法需要满足：交换律，结合律，有幺元。
乘法需要满足：结合律，有幺元。
加法和乘法需要满足分配率，即左分配律，右分配律同时满足。
满足以上条件的定义了两个运算的集合，也被称作半环。
6
设 \(h(n)\) 表示一张有 \(n\) 个点的图，加无向边，如果加边个数是奇数，贡献是 \(-1\)，是偶数则为 \(1\)。考虑让整张图联通的贡献是多少。
有 \(h(n)=(-1)(n-1)h(n-1)\)
关于这点的证明，只需要注意到，一张大小为 \(n\) 的图，设 \(T\) 表示 \(1\) 所在的连通块，如果 \(|T|\le n-2\)，我们有其贡献为 \(0\)，原因是剩下的图偶数和奇数边的方案相等。
标签：lfloor,right,frac,rfloor,证明,一些,乘法,杂项,left 来源： https://www.cnblogs.com/TianMeng-hyl/p/16070854.html
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。