拉格朗日定理

开尔文定理可推论得到拉格朗日定理,即漩涡不生不灭定理:
　　正压理想流体在质量力有势的情况下,如果初始时刻某部分流体内无涡,则在此之前或以后的任何时刻中这部分流体皆为无涡.反之,若初始时刻该部分流体有涡

若f(x)在闭区间[a,b]上连续，在（a，b）内可导，则存在至少一个x=x0属于（a，b），使得f ' (x0)=[f(b)-f(a)]/（b-a）。他的意义是，在[a,b]上连续的可导函数必至少有一点的斜率=右边的式子（即区间两端的斜率）。