微分中值定理及其应用
安阳师范学院本科学生毕业论文
微分中值定理及其应用
作 者 系(院) 专 业 年 级 学 号 指导老师 论文成绩 日 期
张庆娜
数学与统计学院 数学与应用数学
2006级 06081090 姚合军
2010年6月
学生诚信承诺书
本人郑重承诺:所成交的论文是我个人在导师指导下进行的研究工作即取得的研究成果。尽我所知,除了文中特别加以标注和致谢的地方外,论文中不包括其他人已经发表的或撰写的研究成果,也不包括为获得安阳师范学院或其他教育机构的学位或证书所需用过的材料。与我一同工作的同志对本研究所作出的任何贡献均已在论文中作了明确的说明并表示了谢意。
签名: 日期:
论文使用授权说明
本人完全了解安阳师范学院有关保留、使用学位论文的规定,即:学校有权保留送交论文的复印件,允许论文被查阅和借阅;学校可以公布论文的全部或部分内容,可以采用影印、缩印或其他复制手段保存论文。
签名: 导师签名: 日期
微分中值定理及其应用
张庆娜
(安阳师范学院 数学与统计学院, 河南 安阳455002)
摘 要:介绍了使用微分中值定理一些常见方法,讨论了洛尔中值定理、拉格朗日中值定理、柯西中值定理在证明中根的存在性、不等式、等式及判定级数的敛散性和求极限等方面的应用,最后通过例题体现微分中值定理在具体问题中的应用.
关键词:连续;可导;微分中值定理;应用
1 引言
人们对微分中值定理的认识可以上溯到公元前古希腊时代.古希腊数学家在几何研究中,得到如下论:“抛物线弓形的顶点的切线必平行于抛物线弓形的底”,这正是拉格朗日定理的特殊情况.希腊著名数学家阿基米德(Archimedes)正是巧妙地利用这一结论,求出抛物弓形的面积.
意大利卡瓦列里(Cavalieri) 在《不可分量几何学》(1635年) 的卷一中给出处理平面和立体图形切线的有趣引理,其中引理3基于几何的观点也叙述了同样一个事实:曲线段上必有一点的切线平行于曲线的弦,这是几何形式的微分中值定理,被人们称为卡瓦列里定理.
人们对微分中值定理的研究,从微积分建立之始就开始了.1637,著名法国数学家费马(Fermat) 在《求最大值和最小值的方法》中给出费马定理,在教科书中,人们通常将它称为费马定理.1691年,法国数学家罗尔(Rolle) 在《方程的解法》一文中给出多项式形式的罗尔定理.1797年,法国数学家拉格朗日在《解析函数论》一书中给出拉格朗日定理,并给出最初的证明.对微分中值定理进行系统研究是法国数学家柯西(Cauchy) ,他是数学分析严格化运动的推动者,他的三部巨著《分析教程》、《无穷小计算教程概论》 (1823年)、《微分计算教程》(1829年),以严格化为其主要目标,对微积分理论进行了重构.他首先赋予中值定理以重要作用,使其成为微分学的核心定理.在《无穷小计算教程概论》中,柯西首先严格地证明了拉格朗日定理,又在《微分计算教程》中将其推广为广义中值定理—柯西定理.从而发现了最后一个微分中值定理.
近年来有关微分中值定理问题的研究非常活跃,且已有丰富的成果,相比之下,对有关中值定理应用的研究尚不是很全面.由于微分中值定理是高等数学的一个重要基本内容,而且无论是对数学专业还是非数学专业的学生,无论是研究生入学考试还是更深层次的学术研究,中值定理都占有举足轻重的作用,因此有关微分中值定理应用的研究显得颇为必要. 2 预备知识
由于微分中值定理与连续函数紧密相关,因此有必要介绍一些闭区间上连续函数的性质、定理.
定理2.1[1](有界性定理) 若函数f(x)在闭区间[a,b]上连续,则f(x)在[a,b]上有界.即常数M0 ,使得x[a,b]有|f(x)|M.
定理2.2(最大、最小值定理) 若函数f(x) 在闭区间[a,b]上连续,则f(x)在[a,b]上有最大值与最小值.
定理2.3(介值性定理) 设函数f(x)在闭区间[a,b]上连续,且f(a)f(b).若为介于f(a)与f(b)之间的任意实数(f(a)f(b)或f(b)f(a)),则至少存在一点x0(a,b)使得
f(x0) .
定理2.4(根的存在定理) 若函数f(x)在闭区间[a,b]上连续,且f(a)与f(b)异号(即f(a)f(b)0).则至少存在一点x0(a,b)使
f(x0)0,
即方程f(x)0在开区间(a,b)内至少有一个根.
定理2.5(一致连续性定理) 若函数f(x)在闭区间[a,b]上连续,则f(x)在闭区间[a,b]上一致连续.
定理2.6 设区间I1的右端点为c,cI1;区间I2的左端点也为c,cI2(其中I1,I2可分别为有限或无限区间).若f(x)分别在I1和I2上一致连续,则f(x)在I1I2上也一致连续.
定理2.7(比较原则) 设un和vn是两个正项级数,如果存在某正数N,对一切
nN都有
unvn,
则
(1)若级数vn收敛,则级数un也收敛; (2)若级数un发散,则级数vn也发散.
定理2.8 绝对收敛的级数一定收敛. 3 相关的几个重要定理
定理3.1(费马定理) 设函数f(x)在点x0的某邻域内有定义,且在点x0可导,若点x0为
f(x)的极值点,则必有
f(x0)0.
定理3.2(罗尔中值定理) 若函数f(x)满足如下条件: (1)f(x)在闭区间[a,b]上连续; (2)f(x)在开区间(a,b)内可导; (3)f(a)f(b),
则在开区间(a,b)内至少存在一点,使得
f()0.
定理3.3(拉格朗日中值定理) 若函数f(x)满足如下条件: (1)f(x)在闭区间[a,b]上连续; (2)f(x)在开区间(a,b)内可导; 则在开区间(a,b)内至少存在一点,使得
f(b)f(a)
f().
ba
定理3.4(柯西中值定理) 若函数f(x),g(x)满足如下条件: (1)在闭区间[a,b]上连续; (2)在开区间(a,b)内可导; (3)f(x),g(x)不同时为零; (4)g(a)g(b);
则在开区间a,b内存在一点,使得
f()f(b)f(a)
. g()g(b)g(a)
注 上面各定理的条件是充分的,但不是必要的. 4 微分中值定理的应用 4.1 证明有关等式
在证明一些出现导数的等式时,进行适当的变形后,考虑应用微分中值定理加以证明.还有,就是我们在证明一些与中值定理有关的题目时,构造辅助函数是解决问题的关键.在证明题中巧妙选用和构造辅助函数,进行系统分析和阐述,从而证明相关结论.
例4.1.1[5]f(x)是定义在实数集R上的函数,若对任意x,yR,有f(x)f(y)M(xy)2,其中M是常数,则f(x)是常值函数.
证明 对任意xR,x的改变量为x,由条件有f(xx)f()M(2x),即
f(xx)f(x)
Mx,
x
两边关于x0取极限得
0lim
x0
f(xx)f(x)
limMx0 x0x
所以f(x)0.
由中值定理f(x)f(0)f()x0,即f(x)f(0), 故在R上f(x)是常值函数.
思路总结 要想证明一个函数f(x)在某区间上恒为常数一般只需证明该函数的导函数f(x)在同一区间上恒为零即可.
1x12x1
例4.1.2[2] 设f(x)1x23x2,证明:存在(0,1),使得f()0.
1x34x3
11
证明 由于f(x)在[0,1]上连续,在(0,1)内可导,f(0)220,
33
1
f(1)110 .符合罗尔中值定理的条件,故存在(0,1),使f()0
21
例4.1.3 若f(x)在[0,1]上有三阶导数,且f(0)f(1)0,设F(x)x3f(x),试证在(0,1)内至少存在一个,使F()0.
证明 由题设可知F(x),F(x),F(x),F(x)在[0,1]上存在,又F(0)F(1),由罗尔中值定理,1(0,1)使
F(1)0, 又F(0)[3x2f(x)x3f(x)]|x00可知F(x)在上[0,1]满足罗尔中值定理,于是2(0,1),使得
F(2)0, 又F(0)[6xf(x)6x2f(x)x3f(x)]|x00对F(x)存在(0,2)(0,1)(0,1),使 F()0.
例4.1.4[4](达布定理的推论) 若函数f(x)在[a,b]内有有限导数,且f(a)f(b)0 ,
则至少存在c(a,b),使得f(c)0.
(b证明 f(a)f),不妨设0f(a)0,f(b)0,
因为f(a)limf[x(f)a(x)]a/(
xa
由)极限的局部保号性可知,10,当
x(a,a1)时,
f(x)f(a)0,即f(x)f(a).
同样20,当x(b2,b)时,
f(x)f(b)0,即f(x)f(b).
取min{1,2,和
ba
,于是在(a,a),(b,b)中,分别有 2
f(x)f(a)
f(x)f(b).
故f(a),f(b)均不是f(x)在[a,b]中的最小值,最小值一定是在内部的一点处取得,设为c由费马定理可知,
f(c)0.
小结 证明导函数方程f(n)(x)0的根的存在性的证明方法有如下几种:
①验证函数f(x)在[a,b]上满足罗尔中值定理的三个条件,由此可直接证明f()0. ②在大多数情况下,要构造辅助函数F(x),验证在[a,b]上满足罗尔中值定理的三个条件,证明F()0,进而达到证明问题的目的.
③验证x为函数的极值点,应用费马定理达到证明问题的目的.
例4.1.5 设f(x)在[a,b]上连续,在(a,b)内可导,0ab,试证:,(a,b)使ab
f()f().
2
证明 由于0ab,f(x),g(x)x2,g(x)2x0,x(a,b)
由于f(x),g(x)在[a,b]上满足柯西中值定理 ,所以(a,b)使
f()f(b)f(a)
2b2a2f()f(b)f(a)(ba)f(),(a,b)
2ba
由上面二式可得,(a,b)使得:
ab
f()f().
2
例4.1.6 设函数f(x)在[0,1]上连续,在(0,1)内可导,且f(0)0,f(1)1.试证:对任意给定的正数a,b在(0,1)内不同的,使
ab
ab. f()f()a
1. 证明 由于a,b0所以0
ab
又由于f(x)在[0,1]上连续且f(0)0,f(1)1.由介值性定理,(0,1)使得
a
f(),
ab
f(x)在[0,],[,1]上分别用拉格朗日中值定理有
f()f(0)f(),(0,)
即
f()f(),(0,)
f(1)f()(1)f(),(,1)
即
1f()(1)f(),(,1)
于是由上面两式有
1
1f()b
f()(ab)f()f()a
f()(ab)f()ab
(ab)f()(ab)f()
将两式相加得
1
即
ab
ab. f()f()
小结 大体上说,证明在某区间内存在,满足某种等式的方法是: ①用两次拉格朗日中值定理.
②用一次拉格朗日中值定理,一次罗尔中值定理. ③两次柯西中值定理.
④用一次拉格朗日中值定理,一次柯西中值定理. 4.2 证明不等式
在证明不等式时,可以考虑从微分中值定理入手,找出切入点,灵活运用相关微分中值定理,进行系统的分析,从而得以巧妙解决.
例4.2.1[3] 设 ⑴f(x),f(x)在[a,b]上连续;
⑵f(x)在(a,b)内存在; ⑶f(a)f(b)0;
⑷在(a,b)内存在点c,使得f(c)0;
求证在(a,b)内存在,使f()0.
证明 由题设知存在x1(a,b),使f(x)在xx1处取得最大值,且由⑷知
f(x1)0,xx1也是极大值点,所以
f(x1)0.
f()
(ax1)2,(a,x1). 由泰勒公式:f(a)f(x1)f(x1)(ax1)2!
所以f()0.
abaab
ln例4.2.2 设0ba,证明. abb
证明 显然等式当且仅当ab0时成立. 下证 当0ba时,有
abaab
ln ① abb
作辅助函数f(x)lnx,
则f(x)在[b,a]上满足拉格朗日中值定理,则(b,a)使
lnalnb1
②
ab
由于0ba,所以
111
③ ab
1lnalnb1
,即 由②③有
aabb
abaab
ln. abb
小结 一般证明方法有两种
①利用泰勒定理把函数f(x)在特殊点展开,结论即可得证. ②利用拉格朗日中值定理证明不等式,其步骤为:
第一步 根据待证不等式构造一个合适的函数f(x),使不等式的一边是这个函数在区间[a,b]上的增量f(b)f(a);
第二步 验证f(x)在[a,b]上满足拉格朗日中值定理的条件,并运用定理,使得等式的另一边转化为f()(ba);
第三步 把f()适当放大或缩小.
4.3 利用微分中值定理求极限及证明相关问题
例4.3.1 设函数在xx0点的某一邻域内可导,且其导数f(x)在x0连续,而nx0n
f(n)f(n)
当n时nx0,nx0,求 lim.
nnn
解 设{n},{n}u0(x0),则由拉格朗日中值定理有 f(n)f(n)
f(n),(nnn).
nn
已知nx0(n),又f(x)在x0连续,即f(x0)limf(x),所以
xx0
lim
n
f(n)f(n)
nn
limf(n)limf(x)f(x0).
n
xx0
x
x
例4.3.2 若f(x)在(a,)内可导,且lim[f(x)f(x)]0,求limf(x).
分析 由式[f(x)f(引进辅助函数F(x)f(x)ex,g(x)ex,显然x)]exf[x(ex),]g(x)0.
解 由lim[f(x)f(x)]0,知0,X0当xX时f(x)f(x),
x
令F(x)f(x)ex,g(x)ex对xX,在[X,x]上利用柯西中值定理有
F(x)F(X)F()
,(X,x)
g(x)g(X)g()即
f(x)exf(X)eX[f()f()]e
,
exeXe
亦有
[f(x)f(X)]eXx
f()f(),
1eXx
或
由于limeXx
x
|f(x)||f(X)|eXx|f()f()|(1eXx) 0,所以x1X,当xx1时有
eXx和eXx1,
于是xx1,使
|f(x)||f(X)|2
即
limf(x)0.
x
小结
方法1 选择适当的函数和区间利用拉格朗日中值定理并结合导函数的特点及极限的迫敛性求的最终结果.
方法2 选择适当的函数和区间利用柯西中值定理结合具体题意求的最终结果. 4.4 证明零点存在性
在证明方程根的存在性时,出现满足中值定理的相关条件时,可以考虑运用微分中值定理加以解决.从某种意义来说,微分中值定理为证明方程根的存在性提供了一种方法.
aaa
例4.4.1 设aiR且满足a012...n0,证明方程
23n1
a0a1x1a2x2...anxn0在(0,1)内至少有一个实根.
x2x3xn1
证明 引进辅助函数F(x)a0xa1a2...an,
23n1
显然F(0)F(1)0,F(x)又是多项式函数在[0,1]上连续,在(0,1)可导,F(x)满足罗尔中值定理的条件,故存在(0,1)使
F()0
而
F(x)a0a1x1a2x2...anxn
故方程
a0a1x1a2x2...anxn0
在(0,1)内至少有一个实根.
注 本题构造F(x)的依据是使F(x)得导数恰好是所证方程的左边. 例4.4.2 证明:方程x5x10有唯一正根. 证明 (存在性)令f(x)x5x1,
显然f(x)是连续函数,取区间[0,N]则f(x)在[0,N]上连续,在(0,N)内可导,且
f(x)5x410,
由连续函数的零点定理,知存在x0(0,N)使f(x0)0即方程有正根(N0).
(唯一性)下面用反证法证明正根的唯一性,
设处x0外还有一个x10不妨设x0x1使f(x1)0则f(x)在[x0,x1]上满足罗尔中值定理条件,于是存在(x0,x1)使
f()0
这与上面的f(x)5x410矛盾.
所以,方程有唯一的正根.
例4.4.3 设f(x),g(x),h(x)在[a,b]上连续,在(a,b)内可导,证明(a,b)使f(a)g(a)h(a)
f(b)g(b)h(b)0并由此说明拉格朗日中值定理和柯西中值定理都是它的特例. f()g()h()
f(a)g(a)h(a)
证明 作辅助函数F(x)f(b)
f(x)
(a,b)使
g(b)h(b)由于F(a)F(b)0,由罗尔中值定理知g(x)h(x)
f(a)g(a)h(a)
)f(b)g(b)h, (b ) 0F( ①
f()g()h()若令h(x)1,则由①式有
f(a)
0F()f(b)
f()
g(a)
1
g(b)1, ② g()0
由②式可得
f(b)f(a)f()
g(b)g(a)g()
此即柯西中值定理.
若令h(x)1,g(x)x由①式有
f(a)
a)f(b)b, 1 ③ 0F(
f()10由③可得
f(b)f(a)
f()
ba
此即为拉格朗日中值定理.
此类型题的一般解题方法小结 证明根的存在性有以下两种方法 (1)构造恰当的函数F(x),使F(x)f(x);对F(x)使用洛尔定理即可证得结论存在,使得f()0;
(2)对连续函数f(x)使用介值定理;
证明根的唯一性一般用反证法,结合题意得出矛盾,进而结论得证. 4.5 函数的单调性
f(x)
例4.5.1[6] 证明:若函数f(x)在[0,a)可导,f(x)单调增加,且f(0)0,则函数在
x
(0,a)也单调增加.
证明 对任意x1,x2(0,a),且x1x2,则f(x)在[0,x1]与[x1,x2]均满足拉格朗日中值定理条件,于是分别存在c1(0,x1),c2(x1,x2),使
f(x1)f(0)
,
x10f(x2)f(x1)
, f(c2)
x2x1
由于f(x)单调增加,且f(0)0,所以
f(x1)f(x2)f(x1)
,
x1x2x1
从而
f(x1)f(x2)
,
x1x2
f(x)
即函数在(0,a)也单调增加.
x
证明函数为单调函数一般有两种方法: (1)利用函数单调的定义来证明;
(2)利用导函数f(x)来证明.若在该区间上恒有f(x)0则f(x)为单增函数;若在该区间上恒有f(x)0则f(x)为单减函数. 4.6 导数的中值估计
例4.6.1[7] 设f(x)在[a,b]上二次可微, f(a)f(b)0,则至少存在一点(a,b),使得
2
f()f(b)f(a).
(ba)2
abab
]与[,b]上可导,所以由中值定理有 证明 因为函数f(x)在[a,22abf()f(a)
ab f(c1),c1(a,), (1)
2a2
ab
f(b)f()
,c(ab,b), (2) f(c2)2
2b2
(1)(2),并整理得
2
[f(b)f(a)], (3) f(c2)f(c1)
ba
又f(a)f(b)0,且f(x)在[a,b]上二次可微,则分别在(a,c1)与(c2,b)内至少存在1与2,
f(c1)
使
f(c1)
f(1),1(a,c), 1 (4)c1a
f(c2)
f(2),2(c2,b), (5) c2b
(4)(5),并整理得
c f(c )()f(1)(ca)f2()( b,6) 2)f(112c
将(6)式代入(3)式得
2
f(b)f(a)f(1)(c1a)f(2)(c2b) ba
令f()max{f(1),f(2,则
2
f(b)f(a)f(1)c1af(2)c2bf()ba ba
即
f()
2
f(b)f(a),(a,b).
(ba)2
解题方法小结
选择适当的区间分别利用拉格朗日中值定理并进行适当处理,再结合具体题目采用适当的手段最终证得所求结论.
4.7 证明函数在区间上的一致连续
(x)0,证明:f(x)在(0,1]内一例4.7.1 设函数f(x)在(0,1]内连续且可导,
有lim
x0
致连续.
证明 由函数极限的局部有界性知,存在M0和c(0,1),使
(x)M,x(0,c]
于是x1,x2(0,c],且x1x2不妨设x1x2由柯西中值定理,(x1,x2),有
()
即
x2x2x1
故0,min{(
2M
)2,c},当x1,x2(0,c],且x2x1时,
由上面两式得到
f(x2)f(x1)2M2
于是知f(x)在(0,c]上一致连续,
由于f(x)在(0,1]上连续,所以f(x)在[c,1]上一致连续, 由定理知f(x)在(0,1]内一致连续.
证明函数在区间上的一致连续解题小结:
利用一致连续的定义并结合有关一致连续的定理即可证得结论成立. 4.8 用来判定级数的敛散性
例4.8.1 设函数f(x)在点x0的某邻域内有二阶连续导数,且lim
x0
f(x)
0,证x
1f()绝对收敛. nn1
f(x)
0且f(x)在x0可导,知f(0)0,f(0)0故f(x)在点x0处的证明 由lim
x0x
一阶泰勒公式为:
11
f(x)f(0)f(0)xf()x2f()x2,(0,x)
2!2!
因f(x)M,故
f(x)
1M2
f()x2x. 2!2
取x
1
有 n
1M12f()() n2n
M121
由于()收敛,由比较判别知f()绝对收敛.
nn12nn1
定理[8] 已知f(x)为定义在[1,)上的减函数,F(x)为定义在[1,)上的连续函数,且F(x)f(x)0,x(1,).
mn(存在时,正项级数⑴当极限liF
n
n
n
f(n)
n1
收敛,设其和为a,则
limF(n)F(1)alimF(n)F(1)f(1);
⑵当极限limF(n)时,正项级数f(n)发散.
n
n1
证明 下面只证定理的前半部分.
因为函数F(x)在区间[k,k1]上满足中值定理的条件(其中k1),所以在(k,k1)内至少存在使得F(k1)F(k)f()成立,
又f(x)为减函数,故有
f(k1)F(k1)F(k)f(k),k1,2,,n.
将上述n个不等式相加得
f(2)f(3)...f(n1)F(n1)F(1)f(1)f(2)...f(n).
令Snf(1)f(2)...f(n), 则
Snf(1)f(n1)F(n1)F(1)Sn,(1)
因极限limF(n)存在,f(x)为减函数,从而数列{F(n)}有界,
n
f(n1)f(1),
所以数列{Sn}单调递增且有上界,故极限limSn存在,即级数f(n)收敛.从而limf(n)0,
n
n1
n
由(1)可得
limF(n)F(1)f(n)limF(n)F(1)f(1).
n
n1
n
n2
例4.8.2 判定级数n是否收敛?若收敛,请估计其和.
n1e
解 令f(x)x2ex,F(x)(x22x2)ex,
则F(x)f(x),f(x)x(2x)ex,故当x2时,f(x)0,此时f(x)为减函数,又
n2
limF(n)0,由定理知级数n收敛, n
n1e
且
n2
limF(n)F(2)nlimF(n)F(2)f(2), nn
n2e
所以
n2
0F(2)f(1)n0F(2)f(2)f(1)
n1e
即
n2
10een14e2e1.
n1e
判定级数的敛散性的一般解题方法
方法一 一般先运用泰勒定理并结合题意,再运用比较判别法即可得到所要证明的结论;
方法二 先验证级数满足相关定理的条件,即可得到相应结论; 5 总结
人们对微分中值定理的认识可以上溯到公元前古希腊时代,对微分中值定理的研究从微积分建立之始就开始了.至今有关微分中值定理问题的研究非常活跃,且已有丰富的成果,相比之下,对有关中值定理应用的研究尚不是很全面.讨论了洛尔中值定理、拉格朗日中值定理、柯西中值定理在证明中根的存在性、不等式、等式及判定级数的敛散性和求极限等方面的应用,最后通过例题体现微分中值定理在具体问题中的应用.
2
1
参考文献
[1]华东师范大学数学系编.数学分析[M].北京:高等教育出版社第三版,2001.
[2]孙清华,孙昊编. 数学分析内容、方法与技巧(上)[M]. 武汉:华中科技出版社, 2003. [3]钱吉林.数学分析题解精粹第二版[M]. 武汉: 湖北长江出版集团,2009. [4]邓乐斌编. 数学分析的理论、方法与技巧[M]. 武汉:华中科技出版社,2005.
[5] 王宝艳.微分中值定理的应用[J].雁北师范学院学报,2005,2:59~61.
[6]贾田田,刘伟伟,霍丽元. 微分中值定理的应用及其在特定条件下问题的思路分析[J]. 工程科技Engineering Technolofy,2009,2下:182.
[7] 罗群. 微分中值定理及其应用[J].肇庆学院学报,2003,24(5):31~36.
[8]刘章辉. 微分中值定理及其应用[J].山西大同大学学报(自然科学版),2007,2(27):9~81.
The Differential Mean-value Theorem and It’s
Application
Zhang Qing-na
(School of mathematics and statistics,Anyang Normal
University, Anyang,Henan 455002)
Abstract: The paper introduces some common methods of using Rolle Theorem ,Lagrange Theorem and Cauchy Theorem of Mean-value ,in which the problems of testify being ,issue of judging convergence or divergence of series and the application of testify inequality or equality and of seeking limit are presend .This article also introduces the application of differential Mean-value Theorems in sloving problems by some examples.
Key words:continuation ; derivable ; the theorem of differential median ; reply