所谓微分法其实就是我们所熟悉的导数,它是一种无限分割的方法,同积分法一样,它们是处理曲线和曲面的有利工具,也是一门很伟大的自然语言.微分方程就是一种名副其实的描述自然的语言. 同样这里如果取单侧导数,那么能够证明该点单侧具有连续型.通过原命题与逆否命题的等价性我们也能够看到,函数在某处不连续,在该处必然不可导.…

偏导数本质上就是一元微分学向多元函数的推广. 关于定义域的开域.闭域的推广: 其实这个定义本质上讲的就是xoy面上阴影区域的最外面的一周,只不过这里用了更加规范的数学语言. 二次函数的图形.层曲线(等值曲线): 一元函数的定义域在x轴上,函数图像在xoy面上:二元函数的定义域在xoy面上,函数图像在空间当中,而三元函数的定义域对应着空间的集合体.这里面对二元.三元函数我们有一个最基本的问题,就是勾勒出它们的大致图像,虽然目前有数学软件可以较为快速准确的描绘出函数的图像,但是掌握一定的确定函数图像…

泰勒定理: 证明:…

之前关于二重积分的笔记,介绍了二重积分概念的引入,但是对于它的计算方法(化为累次积分),介绍的较为模糊,它在<概率论基础教程>中一系列的推导中发挥着很重要的作用. 回想先前关于二重积分的几何含义,求解一个曲顶圆柱的体积,我们用如下的符号进行定义: 现在我们通过另外一条路径,再次得到几何体的体积,便可以建立等式,那么对于一般的二重积分,我们就找到了计算方法. 看这样一个图: 落在x-O-y上的面积就是被积区域D,几何体的顶部z=f(x,y)就是被积函数,为了求解这个几何体的体积,我们采取先求侧面…

前言:其实无穷序列和无穷级数和数列{an}以及我们接触微积分就给出的极限概念lim有着紧密的联系,它对于我们在具体的问题当中进行建模和数据分析有着非常重要的作用. 无穷序列: 最简单的一种说法,就是一个有无限项的数列{an}.由于其项数无限,我们就可以去分析随着数列下标n的增加,an的敛散性,这就和极限联系了起来.包括极限的运算法则夹层定理,在这里都有用武之地. 无穷级数: 一个很简单的说法,就是将无穷序列加和,然后分析其敛散性. 在不同的实际工程问题中我们将会面临不同的无穷级数,因此在这之前数…

定积分一个广泛的应用就是在求解一些“看似不规则”的几何体的体积,之所以说看似不规则,是因为不规则之下还是有一定的“规则性”可言的,我们就是需要抓住这些线索进行积分运算得到体积. 方法1:切片法. 这里由于处理的方法思想和典型的离散的黎曼和到连续的积分的过程类似,因此这里不再重复推导,直接给出如何应用以及实例. 基于这条定理,我们能够直接介绍一下卡瓦列里原理.卡瓦列里原理表明,高度相同并且在每个高度上的横截面积相同的几何体的体积相同,直观的理解,就像下面这两堆“叠硬币”图. 下面我们看一些实例.…

点积.向量夹角: 无论对于空间向量还是平面向量,我们所熟知的是:给出任意两个向量,我们都能够根据公式计算它们的夹角,但是这个夹角必须是将两个向量的起点重合后所夹成的小于等于π的角,可是,这是为什么呢? 它其实来源于如下的定理(这里的定理和证明过程以三维向量为例,对于二维向量,可做完全一致的推导): 证明: 考虑在如下的一个三角形中. 通过这个定理的证明过程就能够理解:为什么我们求向量夹角用点积:两个向量之间的点积为什么等于两个向量模长再乘以夹角的余弦值:为什么我们求出来的角是起点重合的两个向量夹…

写在前面:写在前面的当然是对大天朝教材的吐槽啦. 曾记否,高中所学虚数和复平面的概念,如此虚无的概念到了大学一门叫<模拟电子技术>的课程中居然明目张胆的开始进行计算! 曾记否,高中的指对运算,他们老师由于不想说话就向我们扔了一个自然对数e! 其实很多人觉得数学抽象.晦涩而且无章可循,其实这都是假想,如果真的有这种感觉,很大程度上是教科书在编排顺序上有瑕疵.数学本身是语言,描述自然的语言,因此在每个概念.公式的背后,往往都需要(或者说必然)对应着现实模型,因此在学习新的概念的时候,考察它的现实意…

定积分中值定理: 积分自身的定义是简单的,但是在教学过程中人们往往记得的只是它的计算方法,在引入积分的概念的时候,往往就将其与计算方法紧密的捆绑在一起,实际上,在积分简单的定义之下,微积分基本定理告诉了我们积分的计算方法. 微积分基本定理: 能够看到,正是基于这样一个基本定理,我们才能够找到积分的计算方法,从这个角度就可以充分的理解为什么求积分的过程实际上是一个求“反导数”(求导的逆运算)的过程了.…

这一章节讨论积分的定义以及微积分基本定理. 笔者先前在数学证明专栏中关于高斯定理的证明的开头,给出了一段关于微积分思想的概括,文中提到根据导数(微分)的定义,根据其逆定义来给出积分的定义和计算方法,这里其实是及其不严谨的,积分本身有着自己的定义,而其计算方法正是微积分基本定理所呈现出来的东西. 积分的定义: 积分的现代定义的本质就是黎曼和,笔者之前关于多重积分定义的引入其实就已经提到过,这里是对一维的积分进行定义,相对二重.三重积分则会简单很多. 理论总是源于实际问题嘛,在解决曲线和坐标系围成的…