考研数学中需要证明的定理主要取决于报考的专业和科目，但以下为常见的重要定理分类整理，供参考：

一、微积分基本定理相关

变限积分求导定理

若$F（x） = int_{a}^{x} f（t） dt$，则$F'（x） = f（x）$。证明需利用原函数的性质。

牛顿-莱布尼茨公式

$int_{a}^{b} f（x） dx = F（b） - F（a）$，其中$F$是$f$的原函数。证明通过导数与积分的互逆关系。

二、微分中值定理

费马引理

若函数在某点可导且取得极值，则该点导数为0。证明基于导数定义。

罗尔定理

若函数在闭区间$[a, b]$连续、开区间$（a, b）$可导，且$f（a） = f（b）$，则存在$c in （a, b）$使$f'（c） = 0$。

拉格朗日中值定理

若函数在$[a, b]$连续、$（a, b）$可导，则存在$c in （a, b）$使$f'（c） = frac{f（b） - f（a）}{b - a}$。

柯西中值定理

若函数$f$和$g$在$[a, b]$连续、$（a, b）$可导，且$g'（x） neq 0$，则存在$c in （a, b）$使$frac{f'（c）}{g'（c）} = frac{f（b） - f（a）}{g（b） - g（a）}$。

泰勒中值定理

函数在某点可展开为泰勒级数，证明涉及导数的多次应用。

三、几何与数论

勾股定理

直角三角形中，两直角边的平方和等于斜边的平方。证明方法多样，包括几何拼图、代数推导等。

柯西-施瓦茨不等式

$（sum_{i=1}^n a_i bi）^2 leq sum{i=1}^n ai^2 sum{i=1}^n b_i^2$，适用于向量内积空间。

贝叶斯定理

在概率论中，$P（A|B） = frac{P（B|A）P（A）}{P（B）}$，用于计算条件概率。

四、其他重要定理

Stolz定理 ：若数列${a_n}$和${b_n}$满足$bn to infty$且$frac{a{n+1} - an}{b{n+1} - bn}$收敛，则$lim{n to infty} frac{a_n}{bn} = lim{n to infty} frac{a_{n+1} - an}{b{n+1} - b_n}$。

注意事项

证明与记忆的区别

考试仅需掌握定理结论，无需记忆证明过程。若遇到证明题，建议先分析所需定理，再尝试构造辅助函数或利用已知定理推导。

教材与真题的结合

以考研数学教材（如李永乐复习全书）为准，结合近5年真题中的证明题类型进行针对性训练。

以上内容综合自多份考研资料，具体需结合报考专业要求进行筛选和深化学习。