【菜科解读】

高等数学十大定理公式有有界性、 最值定理、零点定理、费马定理、 罗尔定理、拉格朗日中值定理、柯西中值定理、泰勒定理（泰勒公式）、积分中值定理（平均值定理）。

1、有界性

|f(x)|≤K

2、 最值定理

m≤f(x)≤M

3、 介值定理

若m≤μ≤M，∃ ξ∈[a,b]，使f(ξ)=μ

4、零点定理

若 f(a)⋅f(b)<0∃ ξ∈(a,b) ，使f(ξ)=0

5、费马定理

设f(x)在x0处：1，可导 2，取极值，则f′(x0)=0

6、 罗尔定理

若f(x)在[a,b] 连续，在(a,b) 可导，且f(a)=f(b) ，则 ∃ ξ∈(a,b) ，使得f′(ξ)=0

7、拉格朗日中值定理

若f(x)在[a,b] 连续，在(a,b) 可导，则∃ ξ∈(a,b) ，使得 f(b)−f(a)=f′(ξ)(b−a)

8、柯西中值定理

若f(x)、g(x)在[a,b] 连续，在(a,b) 可导，且g′(x)≠0 ，则

∃ ξ∈(a,b) ，使得 f(b)−f(a)g(b)−g(a)=f′(ξ)g′(ξ)

9、泰勒定理（泰勒公式）

n阶带皮亚诺余项：条件为在$x_0$处n阶可导 

$f(x)=f(x_0)f'(x_0)(x-x_0)+\dfrac{f''(x_0)}{2!}(x-x_0)^2+...+\dfrac{f^{(n)}(x_0)}{n!}(x-x_0)^n+o((x-x_0)^n)\ ,x\xrightarrow{} x_0$

n阶带拉格朗日余项：条件为 n+1阶可导

$f(x)=f(x_0)f'(x_0)(x-x_0)+\dfrac{f''(x_0)}{2!}(x-x_0)^2+...+\dfrac{f^{(n)}(x_0)}{n!}(x-x_0)^n+\dfrac{f^{(n+1)}(\xi)}{(n+1)!}(x-x_0)^{n+1}\ ,x\xrightarrow{} x_0$

10、积分中值定理（平均值定理）

若 f(x)在 [a,b] 连续，则∃ ξ∈(a,b)，使得 ∫baf(x)dx=f(ξ)(b−a)

勾股定理现约有五百种证明方法，是数学定理中证明方法最多的定理之一

若设直角边为 a、b，斜边为 c，则公式为：a2+b2=c2核心要点名称由来中国古代称直角三角形短直角边为 “勾”，长直角边为 “股”，斜边为 “弦”，因而得名；

西方则以毕达哥拉斯命名。

逆定理（判定直角）若三角形三边长 a、b、c（c 为最长边）满足 a2+b2=c2，则该三角形为直角三角形，且直角在 a、b 夹角处。

经典整数解（勾股数）满足定理的正整数组合，如：基础组：(3, 4, 5)、(5, 12, 13)倍数组：(6, 8, 10)（3,4,5 的 2 倍）两种经典证明（直观易懂）1. 赵爽弦图（中国古代，面积割补法）将 4 个全等的直角三角形（直角边 a、b，斜边 c）拼成边长为 c 的大正方形，内部形成边长为 b−a 的小正方形。

大正方形面积：c2总面积也可表示为：4 个三角形面积 + 小正方形面积 = 421ab+(b−a)2化简得：c2=2ab+b2−2ab+a2=a2+b2，得证。

2. 相似三角形法（简洁严谨）在 Rt△ABC 中，作斜边 AB 上的高 CD，将原三角形分为△ACD 和△CBD，三者两两相似。

由△ABC∽△ACD，得 AC2=ABAD由△ABC∽△CBD，得 BC2=ABBD两式相加：AC2+BC2=AB(AD+BD)=AB2，即 a2+b2=c2。

常见应用求边长：已知直角三角形两边，求第三边（如 a=3，b=4，则 c=32+42=5）。

判定直角：用逆定理判断三角形是否为直角三角形。

实际场景：计算两点间距离（如坐标平面内点 (x1,y1) 与 (x2,y2) 的距离为 (x2−x1)2+(y2−y1)2）、工程测量、几何建模等。

关键提示仅适用于直角三角形，非直角三角形需用余弦定理。

勾股定理是余弦定理的特例（当夹角为 90 时，cos90=0）。

世界上最难十大数学题：霍奇猜想排名第一，四色定理上榜

2、NP完全问题NP完全问题是一个多项式复杂程度的非确定性问题，公式写作NP=P?，但是不确定NP等于P，还是NP不等于P。

3、庞加莱猜想庞加莱猜想内容是“任何一个单连通的，闭的三维流形一定同胚于一个三维的球面"，此猜想能够帮助人们更好的理解和研究三维空间，其中的三维情形被俄罗斯数学家格里戈里·佩雷尔曼证明。

4、黎曼假设黎曼假设是一个数学猜想，是一个关于黎曼ζ函数ζ(s)的零点分布的猜想，它们在纯数学以及其他应用中都起到了很大的作用，该猜想也是克雷数学研究所悬赏的世界七大数学难题之一。

5、杨-米尔斯存在性和质量缺口杨-米尔斯存在性和质量缺口描述了重粒子，同时又确认了在数学上严格的方程没有已知的解，该定律虽被大多数物理学家确认，但是至今仍未在数学上得到一个令人满意的证实。

6、纳卫尔-斯托可方程的存在性与光滑性纳卫尔-斯托可方程的存在性与光滑性描述了我们日常生活中见到的起伏的波浪、湍急的气流的运动方向，但是我们对于这个方程的理解仍然非常少。

7、BSD猜想BSD猜想主要描述了阿贝尔簇的算术性质与解析性质之间的联系，由BSD猜想可推导出 奇偶性猜想、西尔维斯特猜想等猜想，但同时，这个猜想也还未被证实。

8、四色定理四色定理通过应用几何的原理证明了平面内是无法构造五个及五个以上的两两相连的区域，解决了空间问题，具有重要的意义，但同时它也是数学界的一大难题。

9、哥德巴赫猜想哥德巴赫猜想表述为“任一大于2的整数都可写成三个质数之和"，是哥德巴赫在1742年在给欧拉的信中提出的一个猜想，但是直到死去，欧拉也没有证明这一猜想。

10、费马猜想费马猜想指的是“当整数n > 2时，关于x,y,z的不定方程 x^n + y^n = z^n 无正整数解"，不过该猜想在1994年时被英国的数学家安德鲁·怀尔斯完成了。