展开全部
如果ΣAn=ΠAn，可以互换2113
如果Σ5261An>ΠAn, 那么假设ΣAn是Π4102An的p倍
Σ(对i)1653Π(对专j)f(i，j)=Π(对j)Σ(对i)f(i,j)
两边去掉属f(i,j)
Σ(对i)Π(对j)=Π(对j)Σ(对i)
Σ(对i)=Π(对j)
∑表示数学中的求和符号，主要用于求多个数的和，
∑下面的小字，i=1表示从1开始求和，上面的小字表示的是需要求和的数目，
如N表示的就是从1加到N的所有数的和。
第一个表示几次方a^n表示a的n次方，第二个表示求和 第三个表示连乘如∏i=1(符号下面)n(符号上面)ai(符号右面)表示a1*a2....*an，求和含义一样 符号下面表示右面式子可变参量的下限(或初值) 符号上面表示右面式子可变参量的上限(或终值)。
扩展资料：
将数学证明表达为形式化的数学客体，从而通过数学技术来简化对他们的分析。证明通常用归纳式地定义的数据结构来表达，例如链表，盒链表，或者树，它们根据逻辑系统的公理和推理规则构造。因此，证明论本质上是语法逻辑，和本质上是语义学的模型论形相反。和模型论，公理化集合论，以及递归论一起，证明论被称为数学基础的四大支柱之一。
参考资料来源：百度百科-证明