再论由一组相切的圆的半径而引出的一组数列

笔者曾在《黔东南民族师专学报》(自然版)1996年第1 ,2期合刊上论证了由·O,(?)P_1,(?)P_2围成的区域中,从(?)P_1起顺次相切的圆的半径构成一组数列.为下面讨论方便。设(?)O的半径为1,则(?)P_1,(?)P_2的半径均为1/2,那么上面那组数列是:1/2,1/3,1/6,1/(11),…,通项是:1/(n~2+2)=0,1,2,…).现在问题是在这组两丙相切的圆中,还有没有其他一些圆的半径也构成数列?回答是肯定的.如图:由(?)O,(?)O_1,(?)P_2围成的区域中,从(?)P_2起顺次相切的圆的半径也构成一组数列:1/2,1/6,1/(14),1/(26),…,其通项为1/(2n~2+2n+2)(n=0,1,2,…)读者可以仿文[1]的方法给出证明.现在证明由(?)O,(?)O_1,(?)P所围成的区域中,(?)O_1起顺次相切的圆的半径所组成的数列.设这组圆的圆心分别为O_1,O_2,O_3,…,O_n,(?)O_1OP=α_1,(?)O_2OP=α_2,(?)O_3OP=α_3,…,(?)O_nOP=α_n,先计算(?)O_2的半径,设(?)O_2的半径为x,由余弦定理,得     

一个不等式猜想引发的思考

一、猜想能作更有意义的修正吗?在文[1]中,李韵老师提出了如下猜想:设a,b,c∈R,且a+b+c=1,n∈N~+,则(a(n+1)+b)/(b+c)+(b(n+1)+c)/(c+a)+(c(n+1)+b)/(a+b)≥(1+3~n)/(2·3~(n-1)).无独有偶,文[2]、[3]、[4]都用极限法和特殊值法指出该猜想是错误的.     

一个条件等式的妙证、推广及应用

文 [1]、[2 ]证明了下面的等式 :设 a,b,c,d∈ (0 ,+∞ ) ,且 c+d=1,c2a+d2b=1a+b,求证 :c4a3 +d4b3 =1(a+b) 3 . 1文 [2 ]还把 1式推广为 :cm + 1am +dm + 1bm =1(a+b) m. 2本文给出 1的不等式证法 ,并把 1,2式的条件推广 ,同时给出其应用 .1　简证　由 x2y≥ 2 x- y知c2aa+b≥ 2 c- aa+b,d2ba+b≥ 2 d- ba+b.因为 c+d=1,所以 c2aa+b+d2ba+b≥ 2 (c+d) - (aa+b+ba+b) =1.由等号成立条件知 c=aa+b,d=ba+b,故 c4a3 +d4b3 =a4a3 (a+b) 4 +b4b3 (a+b) 4 =1(a+b) 3 .2　推广定理　设 a,b,c,d∈ (0 ,+∞ ) ,m,n∈N* ,m≠ n,若 c+d=1且 cm + 1am …     

一个不等式的推广

文 [1 ]给出了下面一个三角形不等式 :设△ABC的三边长分别为a、b、c ,则13 ≤ a2 +b2 +c2(a +b +c) 2 <12 ,①当且仅当a =b =c时等号成立 .本文将不等式①推广为 :设△ABC的三边长分别为a、b、c .对于任意正整数n ,n >1 ,有13 n - 1≤ an+bn+cn(a +b +c) n<12 n- 1,②当且仅当a =b =c时等号成立 .证明 :根据文 [2 ],有an+bn+cn3 ≥ a +b +c3n,当且仅当a =b =c时等号成立 .由此易知第一个不等式成立 ,取等号的条件也成立 .下面证明第二个不等式 ,这等价于an+bn+cn<12 n - 1(a +b +c) n.③用数学归纳法 .当n =2时 ,由式①知式③成立 .设n …     

Petrovic不等式的加强

在本文中约定a,b,c为ΔABC的三边,s为半周长,R,r分别为ΔABC的外接圆半径与内切圆半径.1916年,M.Petrovic建立了如下涉及三角形三边的不等式[1,p.8]:1/3≤a2+b2+c2/(a+b+c)2<1/22000年,朱杏华[2]将不等式(1)推广到了n维单形.2008年,李华和张[5]将不等式(1)推广到了n边形.2009年,武爱民[4]对不等式(1)作了指数推广.其实早在     

一个有理不等式猜想的证明

文[1]给出了如下不等式:设a,b,c,d＞0且a+b+c+d=1,则a/1+a+b/1+b+c/1+c+d/1+d＜1/1+abcd (1) 文[2]给出了不等式(1)的一个类比 定理 设a,b,c,d＞0且a+b+c+d=1,则a2/1+a2+b2/1+b2+c2/1+c2+d2/1+d2＜1/1+a2b2c2d2(2) 并提出如下.     

一个有理不等式猜想的再认识

周先育老师在文[1]提出猜想: 设a,b,c,d＞0,且满足a+b+c+d=1,则an/1+an+bn/1+bn+cn/1+cn+dn/1+dn＜1/1+anbncndn,n∈N+(1) 王利华老师通过文[2]给出不等式(1)的最佳加强.     

Euler不等式加强式的改进及逆向

176 5年 ,著名数学家 Euler建立了关于三角形外接圆半径 R与内切圆半径 r的一个重要不等式 [1 ]R≥ 2 r. ( 1 )文 [2 ]给出上述不等式一个十分漂亮的加强形式R≥ 2 r+ 18R[( a- b) 2 + ( b- c) 2 + ( c- a) 2 ],( 2 )其中 a,b,c为三角形的三边长 .本文进一步加强 Euler不等式并给出其逆向形式 .定理　 a,b,c,R,r分别为△ ABC的三边长、外接圆半径、内切圆半径 ,则11 6 R( | a- b| + | b- c| + | c- a| ) 2 + 2 r≤ R≤ 2 r+ 11 6 r( | a- b| + | b- c| + | c- a| ) 2 .( 3)证明　 ( 3)式中左边不等式等价于R- 2 r- 11 6 R( | a- b| + …     

改进上限统一并加强两个不等式

在文[1]中,先利用求多元函数的最值的方法,证明了结论"设a1、b1、c1、a2、b2、c2≥0且a1+b2=b1+c2=c1+a2=1,则a1a2+b1b2+c1c2≤1",接着又构造正三角形证明了该结论,并从这个角度将该结论推广到了"结论1设ai、bi≥0(i=1、2、…、n,n≥4)且a1+b1=a2+b2=…=an+bn=1,则     

(a~2 +b~2 +k_1ab)~(1/2)+(b~2 +c~2 +k_2bc)~(1/2)>(a~2 +c~2 +k_3ac)~(1/2)的探究——反思、与读者也与自己对话

我们在文 [1 ]的案例 3中 ,谈了数形结合的双向沟通 ,顺便对题目 (文 [1 ]例 3、4、5 ,此处统一为例 1 )例 1　已知a >0 ,b >0 ,c >0 ,求证 :( 1 )a2 +b2 +ab +b2 +c2 +bc>a2 +c2 +ac;( 2 )a2 +b2 -ab +b2 +c2 -bc ;≥a2 +c2 +ac,( 3 )a2 +b2 -ab +b2 +c2 -bc>a2 +c2 -ac.从特殊到一般作出了推广 :a2 +b2 +k1ab +b2 +c2 +k2 bc≥a2 +c2 +k3ac .①其中 |ki|<2 ,i=1 ,2 ,3 .这对b +k1a≥ 0且b +k2 c≥0 (特别地k1≥ 0 ,k2 ≥ 0 )时 ,结论是显然的 ,有左边≥a +c=a2 +c2 +2ac >右边 .但当k1、k2 中出现负数呢 ?文 [2 ]指出 ,推广式①并非永远…     

一个不等式推广问题的研讨

文[1]给出了如下: 定理1设a、b、c为正实数,l、m、n是不全为零的非负实数,则有 2aabcabc++l+m+nl+m+n, (1) 其中表示对a 、b、c的循环和,等号当且仅当abc==或0,0lm=n=时成立. 文[2]将定理1推广为: 定理2 设a、b、c为正实数, l、m、n是不全为零的非负实数,2m,则有 213()mmmaabcabc--++l+m+nl+m+n,(2) 其中表示对a、b、c的循环和,当m>2时,等号当且仅当abc==时成立;当m=2时,等号当且仅当abc==或0,l筸=n0=时成立.. 本文从项数方面入手,将定理2推广为: 定理3 设1,2,,nxxxL为正实数,12,,ll ,nlL是不全为零的非负实数,2m,则有 11122mnnxxxx…     

对一个无理不等式的改进及推广

文[1]证明了如下无理不等式: 设a,b,c∈R ,n≥2,则有 ∑n 1√(a/b c)n≥n 1/n 1√n(1) 当且仅当n=2且a=b=c时,上式取等号.     

sum((1/(a~2))的下界估计

文 [1 ]给出∑ 1a2 的上界估计 ,即设a、b、c为△ABC的三边长 ,R、r分别表示△ABC的外接圆、内切圆半径 ,则有∑ 1a2 ≤(R2 +r2 ) 2 +Rr(2R - 3r) 2R2 r3 (1 6R - 5r) .①文 [2 ]将①式加强为∑ 1a2 ≤ 14r2 .②本文给出∑ 1a2 的下界估计∑ 1a2 ≥ 12Rr.③证明 :∑ 1a2 =b2 c2 +a2 c2 +a2 b2a2 b2 c2≥(bc) (ac) +(ac) (ab) +(bc) (ab)a2 b2 c2=c+a +babc .由三角形中的恒等式a +b +c =2p(其中p为半周长 ) ,abc =4Rrp代入上式即得③ .有趣的是由②和③可得2r≤ 12r∑ 1a2≤R .这里又出现了欧拉不等式的一个隔离 .sum((1/(a~2))的下界…     

真的需要分类讨论吗?——几个不等式的证明及探究

正引言文[1]—[4]研究了如下几个有意思的不等式:问题1已知a,b,c为正实数,求证:(a2+b2)2≥(a+b+c)(a+b-c)(b+c-a)(c+a-b).问题2已知a,b,c为正实数,求证:(ab)2≥1/4(a+b+c)(a+b-c)(b+c-a))c+a-b).问题3若a,b,c为正实数,且满足a+b+c=3,求证:(3/a-2)(3/b-2)(3/c-2)≤1.     

一类不等式的探究

文[1]-[4]研究了如下几个有意思的不等式: 问题1:已知a,b,c为正实数,求证:(a2+ b2)2≥(a+b+c)(a+b-c)(b+c-a)(c+a-b) 问题2:已知a,b,c为正实数,求证:(ab)2≥1/4(a+b+c)(a+ b-c)(b+c-a)(c+a-b) 问题3:若a,b,c为正实数,且满足a+b+c=3,求证:(3/a-2)(3/b-2)(3/c-2)≤1.     

也谈关于三角形边角关系的一些性质

文[1]介绍了关于三角形边角关系的两个结论.实际上,在三角形中还有命题1设a,b,c为△ABC的三边长,当an,bn,cn(n∈N*)成等比数列时,∠B≤60°.证明因为a,b,c为△ABC的三边长且an,bn,cn(n∈N*)成等比数列.所以b2n=ancn,即b2=ac.由cosB=a2+2ca2c-b2=a2+2ca2c-ac≥21,得∠B≤60°.命题2设a,b,c为△ABC的三边长,当a1n,b1n,c1n(n∈N*)成等比数列时,∠B≤60°.证明因为a,b,c为△ABC的三边长且a1n,b1n,c1n成等比数列,所以(b1n)2=a1n·c1n.即b12=a1c,即b2=ac.由cosB=a2+2ca2c-b2=a2+2ca2c-ac≥21,得∠B≤60°.由命题1和命题2得定理设a,b,c为…     

一类无理函数值域问题的通用解法

无理函数 y =mx +n + lax2 +bx +c(mla??綒 0 )的值域已有好多文章通过举例进行了讨论 ,如文 [1]、[2 ]、[3],各自从不同的角度 ,用不同的方法作了分析 ,但没有给出一个通用的结论表达式 .本文通过换元、构造圆锥曲线 ,利用解析的方法分五种情形解决这一问题 .1　a >0 ,b2 - 4ac>0 ,l >0此时 ,函数y =mx +n +lax2 +bx +c的定义域为 {x|x≤x1或x≥x2 } ,其中x1、x2 是方程ax2 +bx +c =0的两个根 ,且x1相似文献   

均值不等式链的又一种图形证法

文[1]给出了如下结论:如果a,b是正数,那么2/(1/a 1/b)≤ab～(1/2)b≤(a b)/2≤(a~2 b~2)～(1/2)的一种图形证明,读后颇受启发.本文笔者给出上述均值不等式链的另一种图形证法.构图与证明过程如下:图1如图1,圆P与半圆O的直径AB相切于点C,圆P与半圆O内切于Q.设AC=a,BC=b,圆P半径P     

IMO42—2的推广的推广

第42届国数学奥林匹克试题第2题是:对所有正实数a,b,c,证明(a)/(a2+8bc)+(b)/(b2+8ca)+(c)/(c2+8ab)≥1.文[1]采用文[3][4]的方法给出其推广为:若a,b,c∈R+,λ≥8,则(a)/(a2+λbc)+(b)/(b2+λca)+(c)/(c2+λab)≥(3)/(1+λ)(1).文[2]给出了(1)式的简证,本文进一步把(1)式推广为更一般的形式:     

对Milosevic不等式的一个类比探讨

1引言设ΔABC的三边为a、b、c,外接圆半径和内切圆半径分别为R,r,文[1]提出关于Milosevic不等式的加强:a/b+c sin²A/2+b/c+a sin²B/2+c/a+b sin²C/2≥1/2(1-r²/R²).