由k~(1/2)+1/(k+1)~(1/2)>(k+1)~(1/2)的证明所想到的

本刊1984年第8期《不等式k~(1/2)+1/(k+1)~(1/2)>(k+1)~(1/2)的几种证法》一文(以下简称文〔1〕中,对不等式k~(1/2)+1/(k+1)~(1/2)>(k+1)~(1/2)作出了六种证法。其实,这个不等式还有一种更简单的证法,现补充如下,我们姑且叫它为〔1〕的第七个证法吧: g) 间接证法:     

问题一瞥

1) 解方程: x~3-(a+2)x+(a+1)~(1/2)=0 2) 解方程: x~4-6ax~2+8a((ax)~(1/2))-3a~2=0 3) 确定下式的最小值: a~2+b~2+c~2/S其中a,b,c是三角形的边,S是三角形的面积。 4) 证明: tgα·tg2α+tg2α·tg3α+…+tg(n-1)α·tgnα=tgnα/tgα-n。 5) 证明不等式: tgα(ctgβ+ctgγ)+tgβ(ctgα+ctgγ)+tgγ(ctgα+ctgβ)≥6。其中α,β,γ是锐角三角形的角。 6) 证明: C_n~1 1~2-C_n~2 2~2+C_n~3 3~2-…+(-1)~n C_n~(n-1) (n-1)~2+(-1)~(n+1) n~2=0     

对《一类条件不等式探源》一文的商榷

数学通报2008年第8期刊登了《一类条件不等式探源》一文,文中对文[2]给出的条件不等式:若a,b,c＞0且a+b+c=1则1/(1+a2)+1/(1+b2)+1/(1+c2)≤27/10;     

对一个问题的进一步推广

读贵刊82年第一期张宏志《淡浅解题》一文,受益不浅,作者把题目:当x≥0,y≥0,z≥0,x+y+z=1时,试求x~(1/2)+y~(1/2)+z~(1/2)的最大值与最小值(即求证不等式1≤x~(1/2)     

一个恒等式的构造及证明

在一次考试中,我出了这样一道题:求证:(1-cosα+sina)/(1+cosα+sinα)=tga/2(用两种方法证明)。这个等式的构造是由半角公式tgα/2=(1-cosα)/sinα=sinα/(1+cosα)并再由等比定理直接推得: tgα/2=(1-cosα+sinα)/(1+cosα+sinα) ①由①的构造过程我们可得到一种简单方法。证一:右边=(1-cosα)/sina=sinα/(1+cosα)==(1-cosα+sinα)/(1+cosα+sinα)由于大部分学生不会用等比定理,该方法虽然简单,但问鼎者仅两人。大部分学生采取了下面的证法。证二:左边=(1-(1-tg~2(α/2))/(1+tg~2(α/2))+2tg(α/2)/(1+tg~2(α/2)))/(1+(1-tg~2(α/2))/(1+tg~2(α/2)+2tg(α/2)/(1+tg~2(α/2))=(1+tg~2(α/2)-1+tg~2(α/2)+2tg(α/2))/(1+tg~2(α/2)+1-tg~2(α/2)+2tg(α/2))=tgα/2证三:左边=(2sin~2(α/2)+2sin~2(α/2)cos(α/2))/(2cos~2(α/2)+2sin(α/2)cos(α/2))     

一个无理不等式及其猜想的初等证明

文[1]给出了不等式:设a,b＞0,0＜λ≤2,则(√a/a+λb)+(√b/b+λa)≤2/(√1+λ)…………………(1) 文[2]类比给出了不等式:a,b＞0,0＜λ≤3,则3(√a/a+λb)+3(√b+b+λb)≤2/3(√1+λ)……………(2) 文[2]猜想:a,b＞0,n≥2,n∈N,0＜λ≤n,则n(√a/a+λb)+n(√b+b+λa)≤2/n(√1+λ)……………(3) 文[2]只给出不等式(2)的微分法证明,未能给出初等证明,并指出如何给出初等证明是一个值得继续研究的问题.本文将给出不等式(2)、(3)的一个初等证明;因为要用到不等式(1)证明过程中的一个结论,所以,先证不等式(1).     

y=(1-cosx+sinx)/(1+cosx+sinx)是奇函数吗

题目:判断函数y=(1-cosx+sinx)/(1+cosx+sinx)的奇偶性。解:y=(1-cosx+sinx)/(1+cosx+sinx)=(2sin~2(x/2)+2sin(x/2)cos(x/2))/(2sin~2(x/2)+2sin(x/2)-cos(x/2))=2sin(x/2)(sin(x/2)+cos(x/2))/2cos(x/2)(cos(x/2)+sin(x/2))=tg(x/2)。∵ y=tg(x/2)是奇函数。∴ y=(1-cosx+sinx)/(1+cosx+sinx)是奇函数。表面看来,以上解法无懈可击。但如果注意到当     

一个有理型不等式的类比

文[1]给出了如下不等式:设a,b>0,若ab≥1/2,则1/(1+a2)+1/(1+b2)≤1+1/(1+(a+b)2)当且仅当a=b=2～(1/2)/2时等号成立.本文给出不等式①的一个类比.     

不等式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)时不等式成立,     

一类条件不等式的统一证明

贵刊文[1]、文[2]给出了下列一类条件不等式.若a,b,c>0,且a+b+c=1,则1/(1+a2)+1/(1+b2)+1/(1+c2)≤27/10.(1)若a,b,c,d>0,且a+b+c+d=1,则1/(1+a3)+1/(1+b3)+1/(1+c3)+1/(1+d3)≤256/65.(2)若a,b,c,d>0,且a+b+c+d=1,则1/(1+a2)2+1/(1+b2)2+1/(1+c2)2+1/(1+d2)2≤824/289.(3)笔者认为不等式(3)应改为:     

经典均值不等式的多重隔离

我们都知道下列经典均值不等式:设a_1,a_2,…,a_n是n个正数,n≥2,n∈N~*.则n/(1/(a_1)+1/(a_2)+…+1/(a_n))≤(a_1a_2…a_n)~(1/n)≤(a_1+a_2+…+a_n)/n≤((a_1~n+a_2~n+…+a_n~n)/n)~(1/n),等号当且仅当a_1=a_2=…=a_n取到.受文[1],[2]的启发,笔者给出下列经典均值不等式的多重隔离:     

一类条件不等式探源

文[1]、[2]、[3]、[4]、[5]、[6]分别介绍了下列不等式:若a,b>0且a+b=1则3/2<1/(a~3+1)+1/(b~3+1)≤(16)/9(1)若a,b,c>0且a+b+c=1则1/(1+a~2)+1/(1+b~2)+1/(1+c~2)≤(27)/(10)(2)     

两道习题的统一与开拓

高中代数(乙种本)上册P_(240)和P_(205)上有如下两道题:1°求证tg3θ-tg2θ-tgθ=tg3θtg2θtgθ 2°在△ABC中,求证tgA+tgB+tgC=tgAtgBtgC 对1°变形得tg3θ+tg(-2θ)+tg(-θ)=tg3θtg(-2θ)tg(-θ)可以看出它们是一种类型的题目。不同的是1°式中的角的关系为3θ+(-2θ)+(-θ)=0:而2°式中角的关系为A+B+C=π。下面证明当角的关系满足α+β+r=kπ时(k∈z)有tgα+tgβ+tgr=tgαtgβtgr。     

关注公式使用条件

<正>问题已知函数f(x)=ln(2+3x)-3/2x2,若对任意x∈[1/6,1/3],不等式|a-lnx|+ln[f′(x)+3x]>0恒成立,求a的取范围.周老师在《由错误引发的再思考》(中学生数学,2014,1(上))(文(*))中提到了两种错误的解法,其中一种是将不等式|a-lnx|+ln[f′(x)+3x]>0转化为|a-lnx|>     

一类优美代数不等式的加强

法国路易·巴斯德大学的Mohammed Aassila教授,在1998年9月的Crux Mathematicorum With Mathematical Mayhem杂志P304上提出了如下代数不等式: 问题1设a,b,c＞0,求证:1/a(1+b)+1/b(1+c)+1/c(1+a)≥3/1+abc(1) 该不等式曾作为2006年巴尔干数学奥林匹克试题,应用6元均值不等式,有如下简单的证明方法.     

华罗庚留给读者的两个不等式之初等证明

在文[1]中,华罗庚留给读者证明的两个不等式为:6(|ad-bc|)~(1/2)≤2(a~2+c~2)~(1/2)+(a~2+c~2+3(b~2+d~2)-2 3~(1/2)(ab+cd))~(1/2) +(a~2+c~2+3(b~2+d~2)+2 3~(1/2)(ab+cd))①16|ad-bc|~3≤(a~2+c~2){[a~2+c~2+3(~2+d~2)]~2-12(ab+cd)~2}②在文[2]中,该文作者通过构造引理:设x≥u≥0,则16(x-u)~(3/2)≤(1+3x)~2-12u证明了上述两个不等式.但遗憾的是,证明过程相当长,且需要     

一个最值问题的研讨

文[1]及文[2]另证并推广了《数学通报》2010年第7期第1863问题,题目如下:设x,y∈R+,x+2y=3,求1/x3+2/y3的最小值.经过研究,笔者从赫尔德不等式入手,给出另一解法,并进行推广.引理(赫尔德不等式)设ai,bi∈R+,p>1且     

1624号问题的研究

1 问题的提出 《数学通报》2006年7月1624号问题:若a1,a2,…,an∈R+,且a1+a2 +…+an=s,求证:1/a13(a2+a3+…+an)+1/a23(a1+a3+…+an)+…+1/an3(a1+a2+…+an-1)≥n5/s4(n-1).(1) 在2008年,罗邦华老师[1]利用一个不等式引理给出(1)证明,并将其结果进行了推广:若a1,a2,…,an∈R+,且a1+a2+…+an=s,|P|≥2,则n∑i=1 1/api(s-ai)≥np+2/sp+1(n-1).(2) 在2010年,翁利帅老师[2]分别利用构造不等式和函数凹凸性给出(1)的两种证明,并将(2)的条件| P |≥2再次推广到P∈(-∞,-1]U[0,+∞),(2)仍成立,但其推广证明较为复杂且在文中结语写:在推广过程中留下一点遗憾,未能对P∈(-1,0)的情况作出进一步的探究,望能与各位同行共同完善之.     

一个代数不等式推广的简证与类似结论

文[1]曾提出一个代数不等式:猜想若a,b,c为满足a+b+c=1的正数,则(a+1/b)~(1/2)+(b+1/c)~(1/2)+(c+1/a)~(1/2)≥30~(1/2)①文[2]给出①式的证明,文[3]运用赫尔德不等式将①式加强推广为:定理1若a,b,c为满足a+b+c=1的正     

关于一个不等式的初等证明及其推广

文[1]提出了一个对称不等式: 命题1 已知x,y∈R+,且x+y=1,则 2<(1/x-x)(1/y-y)≤9/4. (1) 文[2]用微分法证明了不等式(1)的三元推广: 命题2 已知x,y,z∈R+,且 x+y+z=1,则(1/x-x)(1/y-y)(1/z-z)≥(8/3)3.(2) 文[2]在文末问道:不等式(2)是否存在初等证明?