不等式k~(1/2)+1/(k+1)~(1/2)>(k+1)~(1/2)的几种证法

为什么要证明不等式k~(1/2)+1/(k+1)~(1/2)>(k+1)~(1/2)下面通过实例来说明,高中数学第三册P.147.3(4)题:求证1/1~(1/2)+1/2~(1/2)+…+1/n~(1/2)>n~(1/2)(n>1)。我们用数学归纳法来证明。 (1)当n=2时不等式左边=1/1~(1/2)+1/2~(1/2)=(2+2~(1/2))/2右边=2~(1/2)=(2~(1/2)+2~(1/2))/2,显然不等式成立。 (2)假设当n=k(k>1)时不等式成立,     

(((i~2+b~3)/2))～(1/2)≥(a+b)/2≥(ab)～(1/2)≥2/(1/a+1/b)的一种几何证法

我们知道,((a~2+b~2)/2)~(1/2)、(a+b)/2、(ab)~(1/2)、2/(1/a+1/b)(a>0、b>0)分别为a、b的平方平均数、算术平均数,几何平均数、调和平均数。不等式(a~2+b~2/2)~(1/2)≥(a+b)/2≥(ab)~(1/2)≥2/(1/a+1/b)为平均不等式最简单的情形,这里给出它的一种几何证法。因为a、b是给定的,以a+b为直径作圆如右图,BD=a、DC=b,过D作AD垂直于BC交圆于A,连OA、OB、AC,则OA=OB=OC=BC/2。而且有 1°.四个三角形ABC、ABD、AOD、ADC都是直角三角形,     

a+b/2≥(ab)~(1/2)≥2/(1/a+1/b)的一个几何证明

(a+b)/2≥ab~(1/2)2/(1/a+1/b)(a>0,b>0)是平均数不等式——“算术平均最大,几何平均次之,调合平均最小”的最简单的情形。它有许多证法,在此介绍一个几何证法作圆,其圆心为A,从圆外一点O引切交OG,切点为G,OA的连线交圆于B、C两点,引GH⊥OB,垂足为H(如图) 令 OC=a,OB=b,则 OA=OC+BC/2=OC+(OB-OC)/2 =(OC+OB)/2=(A+B)/2; ∵ OG~2=OC·OB(切割线定理) ∴ OG=(OC·OB)~(1/2)=ab(1/2); 又 OG~2=OH·OA(射影定理) ∴OH=OG~2/OA=ab/((a+b)/2)=2/(1/a+1/b) 显然,在Rt△OGA中,OA>OG,即(a+b)/2>ab~(1/2);在Rt△OHG中,OG>OH,即ab~(1/2)     

tg(A/2)+tg(B/2)+tg(C/2)≥3~(1/2)新证

众所周知,在△ABC中,有不等式 tgA/2+tgB/2+tgc/2≥3~(1/2) (1) 当且仅当△ABC为正三角形时取等号。本文介绍不等式(1)的一种新证法。证明∵tgC/2=(1-tgA/2tgB/2)/tgA/2+tgB/2)     

公式(a+b/2)~2≤a~2+b~2/2的一个证法及其应用

公式〔蝉、“簇丝兰早兰兰(:)弓}自统编数学课 一’一’、2/一2’一’、·~?一”~,一本第三册尸66.5(3),一般是利用基本不等式a“+吞,》Za西(a、乙〔尺,当且仅当。=乙时取“=,,号)证明的。在此我们为了推广这一不等式而采用另一种证法。 证明:令f(x)=(x一a忿)+(x一的“(a拍〔R),则f(x)对任何实数x恒有厂(x)》0。故方程(x一a)“+(x一b)“二0当a沪b时只能有虚恨当‘=b时则二根相等。因而其判别式△(0. 方程的判别式 △=4(a+b)2一4 02·(aZ一卜西“)(0。即(e+舌)“(2(a:+乙“).(色华、么、21《趁土兰 2(当且仅当a=b时取“=”号)。公式(幻可以…     

关于二次函数零值分布的条件

一、从一个习题谈起例1 要使方程(k~2+1)x~2-2(k+1)x+1=0的两根x_1、x_2均落在区间(0,1)内,求k值的范围。解:本题若用基本方法,需先求出二根x_1x_2即x_(1,2)=(2(k+1)±(〔2(k+1)〕~2-4(k~2+1))~(1/2))/2(k~2+1)然后列出不等式组0相似文献   

关于n~(1/k)的不等式猜想的研讨

文 [1 ]给出了一个关于kn的不等式猜想 ,猜想的右侧不等式是 :正整数n ,k >1 ,则nk 2时 ,( 1 )式成立 .为证明上述结论 ,先给出两个引理引理 1　 [贝努利 (Bernoulli)不等式 ]若x >- 1且k是正整数 ,则 ( 1 +x) k≥ 1 +kx .等号当且仅当x =0时成立 .利用二项式定理易证引理 1 .引理 2 [2 ] 　若 - 1 相似文献   

解方程(2+(2+(2+X)~(1/2))~(1/2))~(1/2)=2所想到的

探求方程(2+(2+(2+x)~(1/2))~(1/2))~(1/2)=2殊解法时,联想到方程(a±(a±…±(a±x)~(1/2))~(1/2))~(1/2)=x与力程x=(a±x)~(1/2)是否等价的问题。如果结论成立,则x=1/2((4a+1)~(1/2))±1)就是方程 (a±(a±…±(a±x)~(1/2))~(1/2))~(1/2)=x的根,这样不仅可使这种形式的方程有了较为简捷的求解公式,而且也为形如(a±(a±…±(a±x)~(1/2))~(1/2))~(1/2)=b的方程提供了一种极为简便的解法。事实上,若a>0,x>0,则     

不等式(x+y)/2≥(xy)~(1/2)的一点应用

众所周知,当a、b为实数时有(a-b)~2≥0,而有a~2+b~2≥2ab,当且仅当a=b时等号成立。进一步引伸,不难得到: x+y/2≥(xy)~(1/2)≥2/(1/x+1/y) (*) 这里,x>0,y>0,当且仅当x=y时等号成立。不等式(*)有着广泛的运用,在很多书刊上     

混合幂的除数和（英文）

令S_k(x)=∑d(n_1~2+n_2~2+n_3~k),3≤k∈N.1≤n_1,n_2≤x~(1/2)1≤n_3≤x~(1/k)本文得到了渐近公式S_k(x)=A(k)x~(1+1/k)logx+B(k)x~(1+1/k)+O(x~(1+1/k-δ(k)+ε)),这里A(k),B(k)是只与k有关的常数,δ(3)=5/(42),δ(4)=1/(16),δ(5)=1/(40),并且当6≤k≤7时δ(k)=1/(k2~(k-1)),当k≥8时δ(k)=1/(2k~2(k-1)).     

关于Pell方程组x2-(m2-1)y2=z2-(n2-1)y2=1

设m,n,L为正整数,本文证明了:如果mε,ε∈(0,1),且m>(123789LL(1/2))⁽1/(1-ε)),或j>10.25×10¹²log⁴(2(L+1)(123789LL(1/2))⁽1/(1-ε))),Pell方程组x²-(m2-1)y²=z²-(n²-1)y²=1的正整数解满足1≤k≤δL²,这里δ∈[1/2(123787LL(1/2))⁽1/(ε-1)),1],以及■且j=k=1或k+2≤j<1/3(5-2ε)k,2|(j+k),k>3/(1-ε),并改进了文[Proc.Amer.Math.Soc.,2015,143(11):4685-4693]的结果.     

方程(a±(a±…±(a±x)~(1/2))~(1/2))~(1/2)=x与(a±x)~(1/2)=x等价吗?

《中学数学》1984年第三期刊登了题为“解方程、(2+(2+(2+x)~(1/2))~(1/2))~(1/2)=2所想到的”*一文,介绍了方程(a±(a±…±(a±x)~(1/2))~(1/2))~(1/2)=x与方程x=(x±a)~(1/2)等价性的证明及其应用。读完此文后,颇受启发,但笔者总认为有点不同的看法,下面提出与同志们讨论,并兼与该文作者商榷。作者在“探求方程(2+(2+(2+x)~(1/2))~(1/2))~(1/2)=2的特殊解法时,联想到方程     

|A+B|~(1/n)≥|A|~(1/n)+|B|~(1/n)的一个加强

-j协 ,llweJ 路 1.引言文「1〕证明了命题:设A,B是。阶正定矩阵,则}勿‘一卜“!,一〔·+”’ 1 11!A+B!“)}A}”+IBI”(1)等号成立当且仅当A=无B(lc>0). 其后,吴忠民[2]、吴爱军[劫又分别给出了(约的两种不同的证法.本文则将建立一个比(1)更强的正定矩阵不等式.全文约定A>O表示矩阵A正定,I,=只·I(又>0)为数量矩阵;如不特别说明,本文中的矩阵均指n阶实矩阵. 定理设滩>0,刀>0,,A}>J几;{,,BJ>11目,则一挤(加一扩(IA+Bl一,z。+z。.)篇等号成立当且仅当几‘/a=拼‘/b.(公一=1,2,,二,忍). 证明:令‘=兀兄:一‘,少二且。,一””· ‘=1…     

三个数列的收敛速度

利用不等式形式对e-〔1+1/n〕~n,〔1+1/n〕~(n+1)-e,e-sum from k=0 to n 1/k!进行了估计,给出了数列〔〔1+1/n〕~n〕,〔〔1+1/n〕~(n+1)〕,sum from k=0 to n 1/k!收敛于e的速度.     

对x+y/2≥(xy)~(1/2)的误用剖析

高中《代数》第二册第88页例3告诉我们,重要不等式(χ+y)/2≥(χy)~(1/2)(χ、y∈R~+)可以用来求和的最小值与积的最大值。其意用中文表达出来就是:①两正数积一定,当这两正数相等时,其和最小。②两正数和一定,当两正数相等时,其积最大。“两正数”、“和(或积)一定”、“两正数相等”这三条是一个整体,缺一不可。对此没有足够的认识,在运用重要不等式求最值时,往往出现多种错误。 1 忽视两数是正数例1 求函数y=χ+(1/2)的最值。错解 y=χ+(1/χ)≥2(χ·(1/χ))~(1/2)=2。即y_(最小)=2。分析以上解法未对χ的范围进行讨论,片面地作出结论,忽视了“两正数”的条件。纠正χ>0时,y=x+(1/2)≥2 (χ=1时取等号); χ<0时,-χ>0,-1/χ>0,     

实数p~(1/2)+(p+k)~(1/2)是无理数的证明

<正>定理若p为半偶数,k为奇数,则槡p^(1/2)+(p+k)(1/2)+(p+k)^(1/2)是无理数.先给出半偶数的概念:能被2整除但不能被4整除的偶数称为半偶数.如2,6,10,14等.注意,定理中的半偶数的条件是必要的,否则定理不真.如4(1/2)是无理数.先给出半偶数的概念:能被2整除但不能被4整除的偶数称为半偶数.如2,6,10,14等.注意,定理中的半偶数的条件是必要的,否则定理不真.如4^(1/2)(4+5)(1/2)(4+5)^(1/2)不是无理数,原因为4不是半偶数.下面证明定理.     

(一)1/2=-1?

题目已知a/b+c=b/c+a=c/a+b,求a/b+c的值。解1 因a/b+c=c/a+b,由等此定理: a/b+c=a+b+c/(b+c)+(c+a)+(a+b)=a+b+c/2(a+b+c)=1/2。解2 因a/b+c=b/c+a=c/a+b=-d/-(a+c) 由等比定理得: a/b+c=a+(-b)/(b+c)+〔-(a+c)〕=a-b/b-a=-1 这岂不成了1/2=-1吗?谁是谁非?     

这样证3~(1/2)是无理数更简捷

《中学生数学》2004年3月上(高中版第3期)给出了~3(1/2)是无理数的证明,但过程繁琐.现给出它的简捷证法. 证明用反证法:假设~3(1/2)是有理数,则可设~3(1/2)=m/n(m∈Z,n∈N )且m,n互质. ∴3=m2/n2(?)m2=3n2, ∴m必为3的倍数,可设m=3k(k∈Z),     

(P~2+k)~(1/2)是无理数的证明

<正>定理若p为正整数,k为半偶数,则(p²+k)(1/2)是无理数.先给出半偶数的概念:能被2整除但不能被4整除的偶数称为半偶数.如2,6,10,14等.注意,定理中的半偶数的条件是必要的,否则定理不真.如(22+k)(1/2)是无理数.先给出半偶数的概念:能被2整除但不能被4整除的偶数称为半偶数.如2,6,10,14等.注意,定理中的半偶数的条件是必要的,否则定理不真.如(2²+12)(1/2)=16不是无理数,原因为12不是半偶数.下面用穷举反证法分两部分证明定理.     

不等式a~3/x~2+b~3/y~2≥(a+b)~3/(x+y)~2的另证

文 [1 ]中谭志中和单老师为解决一类电场问题提出了一个不等式 ,即对于任意的ａ ,ｂ∈Ｒ+ ,有不等式ａ3ｘ2 + ｂ3ｙ2 ≥(ａ +ｂ) 3(ｘ + ｙ) 2 成立 .(其中等号成立当且仅当ａｙ =ｂｘ ａｘ=ｂｙ) .文中为证明上述不等式 ,构造了恒等式 ,即 :ｆ (ｘ ,ｙ) =ａ3ｘ2 + ｂ3ｙ2 =(ａ +ｂ) 3(ｘ + ｙ) 2 +(ａｙ -ｂｘ)ｘｙ(ｘ + ｙ)ａｘ+ ｂｙ+ ａ +ｂｘ + ｙ .构造虽然巧妙 ,但一时不易让人接受 ,下面给出此不等式的另一种证法 .证　由于ａ ,ｂ∈Ｒ+ ,ｘ ,ｙ∈Ｒ+ａ3ｘ2 + ｂ3ｙ2 ≥(ａ +ｂ) 3(ｘ + ｙ) 2 (ｘ2 + ｙ2 + 2ｘｙ)·ａ3ｘ2 + ｂ3…