給定頂點座標均是整點（或正方形格子點）的簡單多邊形，皮克定理說明了其面積 A {\displaystyle A} 和內部格點數目 i {\displaystyle i} 、邊上格點數目 b {\displaystyle b} 的關係： A = i + b 2 − 1 {\displaystyle A=i+{\frac...

在数学中，柯西-利普希茨定理（Cauchy-Lipschitz Theorem），又称皮卡-林德勒夫定理（Picard-Lindelöf Theorem），保证了一階常微分方程的局部解以至最大解的存在性和唯一性。此定理最早由奧古斯丁·路易·柯西于1820年发表，但直到1868年，才由鲁道夫·利普希...

斯托克斯定理（英文：Stokes' theorem），也被称作广义斯托克斯定理、斯托克斯–嘉当定理（Stokes–Cartan theorem）、旋度定理（Curl Theorem）、开尔文-斯托克斯定理（Kelvin-Stokes theorem），是微分几何中关于微分形式的积分的定理...

伯特兰-切比雪夫定理 贝亚蒂定理 贝叶斯定理 博特周期性定理 闭图像定理 伯恩斯坦定理 不动点定理 布列安桑定理 布朗定理 贝祖定理 博苏克-乌拉姆定理 巴拿赫不动点定理 布尔素理想定理 贝尔纲定理 布劳威尔不动点定理 本迪克森-杜拉克定理 本原元定理 垂径定理 陈氏定理 采样定理 迪尼定理 等周定理 代数基本定理...

在数理逻辑中，哥德尔不完备定理是库尔特·哥德尔于1931年证明并发表的两条定理。第一条定理指出： 这是形式逻辑中的定理，容易被错误表述。有许多命题听起来很像是哥德尔不完备定理，但事实上并不是。具体实例见对哥德尔定理的误解。 把第一条定理的证明过程在体系内部形式化后，哥德尔证明了第二条定理。该定理指出： 哥德尔不完备定理...

f(B)的差。如果把这条直线旋转180度，将得到值−d。根据介值定理，一定存在某个旋转角，使得d = 0，在这个角度上便有f(A) = f(B)。 这是一个更加一般的结果——博苏克-乌拉姆定理的特殊情况。 中值定理 极值定理 達布定理 Weisstein, Eric W. (编). Bolzano's...

，就不能算是定理）。 猜想是相信為真但未被證明的數學敘述，或者叫做命题，當它經過證明後便是定理。猜想是定理的來源，但並非唯一來源。一個從其他定理引伸出來的數學敘述可以不經過成為猜想的過程，成為定理。 如上所述，定理需要某些邏輯框架，繼而形成一套公理（公理系統）。同時，一個推理的過程，容許從公理中引出新定理和其他之前發現的定理。...

中值定理包括微分中值定理和积分中值定理。 微分中值定理分为罗尔中值定理、拉格朗日中值定理和柯西中值定理，内容粗略的说是指平面上一段固定端點的可微曲线，兩端點之中必然有一点，它的斜率與連接兩端點的直線斜率相同（严格的数学表达参见下文）。 當提到均值定理時在沒有特別說明下一般指拉格朗日均值定理。 如果函数...

在最初的领域中，这个结果与若尔当曲线定理、毛球定理和博苏克－乌拉姆定理一样，是少数刻画欧几里得空间之拓扑性质的关键定理之一。因此，布劳威尔定理在拓扑学中也有重要的地位。这个定理也被应用于证明各种微分方程的深入结果中，在大部分的微分几何课程中都可以见到对这个定理的介绍。即使在看上去与这个定理...

1，那么把最大模原理应用于g，可得g是常数，因此f(z) = kz，其中k是常数且|k| = 1。这在当|f '(0)| = 1时也是正确的。 施瓦茨引理有一个变体称为施瓦茨-皮克定理（Schwarz-Pick theorem），刻画了单位圆盘的解析自同构（即单位圆盘到自身的全纯双射）的特性。 设 f : D → D {\displaystyle...

定理是一阶逻辑的中心性质，不在所有逻辑中成立。比如二阶逻辑就没有完备性定理。 完备性定理等价于超滤子引理，它是弱形式的选择公理，在不带有选择公理的策梅洛-弗兰克尔集合论中有着等价的可证明性。 对定理的最初证明的解释请参见哥德尔完备性定理的最初证明。 在现代逻辑课本中，哥德尔完备性定理通常使用Leon...

在數學中，陳定理（或陳–高斯–博內定理，英語：Chern–Gauss–Bonnet theorem）以数学家陈省身、卡尔·弗里德里克·高斯、皮埃尔·奥西恩·博内（英语：Pierre Ossian Bonnet）的名字命名。此定理断言：2n維黎曼流形的歐拉示性數可以從曲率計算出來。陳定理也是高斯–博內定理...

TREE函數、Kruskal樹定理（英語：Kruskal's tree theorem）是逆數學的突出示例。由安德魯·瓦茲尼（英语：Andrew Vázsonyi）推測並由約瑟夫·克魯斯卡爾證明。 已隱藏部分未翻譯内容，歡迎參與翻譯。 In mathematics, Kruskal's tree theorem...

微积分基本定理（英語：Fundamental theorem of calculus）描述了微积分的两个主要运算──微分和积分之间的关系。 定理的第一部分，称为微积分第一基本定理，此定理表明：給定任一連續函數，可以（利用積分）構造出該函數的反導函數。這一部分定理的重要之處在於它保證了連續函數的反導函數的存在性。...

以法国数学家米歇尔·罗尔命名的罗尔中值定理（英語：Rolle's theorem）是微分学中一条重要的定理，是三大微分中值定理之一，叙述如下：如果函数 f ( x ) {\displaystyle f(x)} 满足 在闭区间 [ a , b ] {\displaystyle [a,b]} 上连续； 在开区间...

1654年，費馬和帕斯卡的書信中的討論，可算是概率論的開端。 1656年他和概率論的正式創立者克里斯蒂安·惠更斯的交流，使惠更斯增加對概率的興趣。 费马大定理（費馬最後定理） 费马小定理 费马平方和定理 費馬數 費馬螺线 数学珍宝梅森素数：迄今人类仅发现47个. 新浪网. [2017-11-25]...

定理断言了其存在的子模型。 上述定理假定了有限或可数无限的语言。更一般的勒文海姆–斯科伦定理做其他有关基数的假定。类似于这个经典定理的某些定理，断言更小的子模型的存在(“向下”勒文海姆–斯科伦定理)；其他一些断言更大基数的模型的存在(“向上”勒文海姆–斯科伦定理)。 勒文海姆-斯科伦定理: 如果...

341=11\times 31} ，不是質数。滿足費馬小定理的合數被稱為费马伪素数。 皮埃爾·德·費馬于1636年发现了这个定理。在一封1640年10月18日的信中他第一次使用了上面的书写方式。在他的信中费马还提出a是一个素数的要求。 1736年，歐拉出版了一本名為“一些與素數有關的定理的證明”（拉丁文：Theorematum...

黎曼–罗赫定理（Riemann–Roch theorem）是数学中的一个重要工具，在复分析和代数几何中的应用尤为广泛。利用该定理，可计算具有指定零点与极点的亚纯函数空间的维数。它将具有纯拓扑亏格 g 的连通紧黎曼曲面上的复分析以某种方式转换为纯代数背景。 此定理...

在经典統計力學中，能量均分定理（Equipartition Theorem）是一種聯繫系統溫度及其平均能量的基本公式。能量均分定理又被稱作能量均分定律、能量均分原理、能量均分，或僅稱均分。能量均分的初始概念是熱平衡時能量被等量分到各種形式的运动中；例如，一个分子在平移運動时的平均動能應等於其做旋轉運動时的平均動能。...

在阿尔泽拉-阿斯卡利定理首次獲证的年代，人们并没有充分理解该定理的重要意义。随着研究的不断深入，紧致性成为了分析学、拓扑学领域的关键概念，而此定理就描述了紧致性。 该定理是利用欧拉法证明常微分方程组理论中的皮亚诺存在性定理时不可或缺的一环，也是複分析中的蒙泰尔定理的证明中的重要组成部分。此外，彼得-外尔定理的一个证明中用到了此定理。...

夾擠定理（英語：squeeze theorem），又稱夹逼定理、夹极限定理、三明治定理、逼近定理、迫敛定理，是有關函數的極限的数学定理。指出若有兩個函數在某點的極限相同，且有第三個函數的值在這兩個函數之間，则第三個函數在該點的極限也相同。 設 I {\displaystyle I} 為包含某點 a...

从这个定理还得出，有一个无限模型的任何理论都有任意大基数的模型。所以，有着带有不可数多个自然数的皮亚诺算术有非标准模型。非标准分析是出现无限个自然数的另一个例子，是不能被任何公理化所排除的可能事物，也是紧致性定理的一个推论。 紧致性定理可以使用哥德尔完备性定理...

可靠性定理是数理逻辑的最基本结果。它们有关于某个形式逻辑语言与这个语言的形式演绎系统的特定语义理论。可靠性定理有两种主要变体：弱可靠性的和强可靠性的。“强”与“弱”的意义在于，强可靠性考虑句子的任意集合，而与弱可靠性有关的句子的空集是这种集合之一。大多数的演绎系统，强可靠性和弱可靠性都成立，但並非全部的演繹系統都如此。...

theorem）、散度定理（Divergence Theorem）、高斯散度定理（Gauss's Divergence Theorem）、高斯－奥斯特罗格拉德斯基公式或高－奥公式，是指在向量分析中，一个把向量场通过闭合曲面的流动（即通量）与曲面内部的向量场的表现联系起来的定理。该定理与斯托克斯定理（Stokes'...

古爾丁定理（英語：Guldinus theorem），最初由古希臘的帕普斯發現，後來在16世紀保羅·古爾丁（英语：Paul Guldin）又重新發現了這個定理。 有一條平面曲線，跟它的同一個平面上有一條軸。由該平面曲線以該條軸與旋轉而產生的旋轉曲面的表面積 A {\displaystyle A} ，等於曲線的長度...

皮亚诺公理（英語：Peano axioms；義大利語：Assiomi di Peano），也称皮亚诺公设，是意大利数学家朱塞佩·皮亚诺提出的关于自然数的五条公理系统。根据这五条公理可以建立起一阶算术系统，也称皮亚诺算术系统。 皮亚诺的这五条公理用非形式化方法叙述如下： 0是自然数； 每一个确定的自然数a，都有一个确定的后继数a'...

斯通-魏尔施特拉斯逼近定理（Stone–Weierstrass theorem）有两个： 闭区间上的连续函数可用多项式级数一致逼近。 闭区间上周期为 2 π {\displaystyle 2\pi } 的连续函数可用三角函数级数一致逼近。 第一逼近定理可以推广至 R n {\displaystyle...

《定理》（義大利語：Teorema）是一部於1968年上映的義大利託寓和悬疑片。該片由皮埃尔·保罗·帕索里尼執導和編劇，並由泰倫斯·史丹普（英语：Terence Stamp）、劳拉·贝蒂、西尔瓦娜·曼加诺、马西莫·吉洛蒂（英语：Massimo Girotti）和安妮·維亞珊絲姬（英语：Anne...

代数几何中，格罗滕迪克-黎曼-罗赫定理是关于相干层上同调的意义深远的结果。它是关于复流形的希策布鲁赫-黎曼-罗赫定理的推广，其又是对紧黎曼曲面上线丛的经典黎曼-罗赫定理的推广。 黎曼-罗赫型定理将向量丛上同调的欧拉示性数与其拓扑度，或更一般地与其（上）同调中的示性类或其代数类似物联系起来。经典的黎曼-罗赫定理...

四色定理（英語：four color theorem），又稱四色地圖定理（four color map theorem），是一个数学定理：如果在平面上劃出一些邻接的有限区域，那么可以用四种颜色来给这些区域染色，使得每两个邻接区域染的颜色都不一样；另一个通俗的说法是：每个无外飞地的地图都可以用不多於四...