据考证，人类对这条定理的认识，少说也超过4000年！中国最早的一部数学著作――《周髀算经》的开头，就有这条定理的相关内容：周公问：“窃闻乎大夫善数也，请问古者包牺立周天历度。夫天不可阶而升，地不可得尺寸而度，请问数安从出？”商高答：“数之法出于圆方，圆出于方，方出于矩，矩出九九八十一，故折矩以为勾广三，股修四，径隅五。既方其外，半之一矩，环而共盘。得成三、四、五，两矩共长二十有五，是谓积矩。故禹之所以治天下者，此数之所由生也。”从上面所引的这段对话中，我们可以清楚地看到，我国古代的人民早在几千年以前就已经发现并应用勾股定理这一重要懂得数学原理了。在西方有文字记载的最早的证明是毕达哥拉斯给出的。据说当他证明了勾股定理以后，欣喜若狂，杀牛百头，以示庆贺。故西方亦称勾股定理为“百牛定理”。遗憾的是，毕达哥拉斯的证明方法早已失传，我们无从知道他的证法。实际上，在更早期的人类活动中，人们就已经认识到...

各种数学叙述（按重要性来排列）引理（又称辅助定理，补理）－某个定理的证明的一部分的叙述。它并非主要的结果。引理的证明有时还比定理长，例如舒尔引理。推论－一个从定理随之而即时出现的叙述。若命题B可以很快、简单地推导出命题A，命题A为命题B的推论。命题定理数学原理结构定理一般都有许多条件。然后有结论——一个在条件下成立的数学叙述。通常写作“若条件，则结论”。用符号逻辑来写就是条件→结论。而当中的证明不视为定理的成分。逆定理若存在某叙述为A→B，其逆叙述就是B→A。逆叙述成立的情况是A←→B，否则通常都是倒果为因，不合常理。若果叙述是定理，其成立的逆叙述就是逆定理。若某叙述和其逆叙述都为真，条件必要且充足。若某叙述为真，其逆叙述为假，条件充足。若某叙述为假，其逆叙述为真，条件必要。逻辑中的定理命题集合的可计算性问题（Calculabilite）我们可以通过可计算性（Calculabilite）这...

简介采样是将一个信号（例如时间或空间上连续的函数）转换为数字序列（时间或空间上离散的函数）的过程。这个定理的香农版本陈述为：如果函数x(t)不包含高于Bcps（次/秒）的频率，它完全取决于一系列相隔1/(2B)秒的点的纵坐标。因此2B样本/秒或更高的采样频率就足够了。相反，对于一个给定的采样频率fs，完全重构的频带限制为B≤fs/2。在频带限制过高（或根本没有频带限制）的情形下，重构表现出的缺陷称为混叠。现在对于此定义的陈述有时会很小心的指出x(t)必须不包括频率恰好为B的正弦曲线，或是B必须小于½的采样频率。这二个门槛，2B及fs/2会称为奈奎斯特速率（英语：Nyquistrate）及奈奎斯特频率。这些是x(t)及采样设备的属性。上述的不等式会称为奈奎斯特准则，有时会称为拉贝准则（Raabecondition）。此定理也可以用在其他定义域（例如离散系统）的函数下，唯一的不同是量测t,fs...

历史这个定理起源于柏克莱加州大学（UniversityofCalifornia,Berkeley）的计算机科学家埃里克·布鲁尔在2000年的分布式计算原则研讨会（SymposiumonPrinciplesofDistributedComputing（英语：SymposiumonPrinciplesofDistributedComputing）（PODC））上提出的一个猜想。在2002年，麻省理工学院（MIT）的赛斯·吉尔伯特（英语：SethGilbert）和南希·林奇（英语：NancyLynch）发表了布鲁尔猜想的证明，使之成为一个定理。吉尔伯特和林奇证明的CAP定理比布鲁尔设想的某种程度上更加狭义。定理讨论了在两个互相矛盾的请求到达彼此连接不通的两个不同的分布式节点的时候的处理方案。参见分布式计算的谬论（FallaciesofDistributedComputing（英语：Fallaci...

证明罗尔定理的几何意义首先，因为f{\displaystylef}在闭区间[a,b]{\displaystyle[a,b]}上连续，根据极值定理，f{\displaystylef}在[a,b]{\displaystyle[a,b]}上有最大值和最小值。如果最大值和最小值都在端点a{\displaystylea}或b{\displaystyleb}处取得，由于f(a)=f(b){\displaystylef(a)=f(b)}，f{\displaystylef}显然是一个常数函数。那么对于任一点ξξ-->∈∈-->(a,b){\displaystyle\xi\in(a,b)}，我们都有f′′-->(ξξ-->)=0{\displaystylef^{\prime}(\xi)=0}。现在假设f{\displaystylef}在ξξ-->∈∈-->(a,b){\d...