妙证一例

例题已知正数p、q满足p~3 q~3=2,求证：p q≤2．证明∵p,q＞0,∴p~3,q~3＞0．由均值不等式p~3 1 1≥3 p~3~(1/3)=3p,q~3 1 1≥3 q~3~(1/3)=3q．两式相加得p~3 q~3 4≥3(p q)．∴6≥3(p q),从而p q≤2．     

关于三角形半径的一个不等式

本文将给出关于三角形的外接圆、内切圆和傍切圆半径的不等式(1),并由(1)式加强了Gerretsen不等式。定理设R,r,r_a,r_b,r_c分别是△ABC的外接圆、内切圆和傍切圆的半径,则     

有比最大值更大的值

已知:a,b,c,d∈R,p,q∈R~+,且a~2+b~2=p,c~2+d~2=q。求ac+bd的最大值。解一:设a=p~(1/2)sinα,b=p~(1/2)cosα,(0≤α≤2π);c=q~(1/2)sinβ,d=q~(1/2)cosβ,(0≤β≤2π) ∵ac+bd=(p·q)~(1/2)(sinαsinβ+cosαcosβ) =(pq)~(1/2)cos(α-β) 故当α=β时,ac+bd有最大值。且值为(pq)~(1/2)。据基本不等式x~2+y~2≥2xy却易有下解。解二:∵a~2+c~2≥2ac,b~2+d~2≥2bd ∴ ac+bd≤(a~2+b~2+c~2+d~2)/2=(p+d)/2(此是一与a,b,c,d均无关的常数)。故有最大值是(p+d)/2。从上述解一、二我们得知,因(p+d)/2≥(pq)~(1/2),即有比ac+bd的最大值(pq)~(1/2)更大的值(p+d)/2。     

关于一类中心循环的有限P-群的自同构群

确定了一类中心循环的有限p-群G的自同构群.设G=X_3(p~m)~(*n)*Z_(p~(m+r)),其中m≥1,n≥1和r≥0,并且X_3(p~m)=x,y|x~(p~m)=y~(p~m)=1,[x,y]~(p~m)=1,[x,[x,y]]=[y,[x,y]]=1.Aut_nG表示Aut G中平凡地作用在N上的元素形成的正规子群,其中G'≤N≤ζG,|N|=p~(m+s),0≤s≤r,则(i)如果p是一个奇素数,那么AutG/Aut_nG≌Z_(p~((m+s-1)(p-1))),Aut_nG/InnG≌Sp(2n,Z_(p~m))×Z_(p~(r-s)).(ii)如果p=2,那么AutG/Aut_nG≌H,其中H=1(当m+s=1时)或者Z_(2~(m+s-2))×Z_2(当m+s≥2时).进一步地,Aut_nG/InnG≌K×L,其中K=Sp(2n,Z_(2~m))(当r0时)或者O(2n,Z_(2~m))(当r=0时),L=Z_(2~(r-1))×Z_2(当m=1,s=0,r≥1时)或者Z_(2~(r-s)).     

统一代数替换法证明三角形不等式

多年来,笔者一直在探求三角形不等式的证明技巧及其规律性。这里的三角形不等式,是指包含三角形的边、角、高(h_a、h_b、h_c)、中线(m_a、m_b、m_c)、角平分线长(t_a、t_b、t_c)、半周长(s)、内切圆半径(r)、外接圆半径(R)、旁切圆半径(r_a、r_b、r_c)、或面积(S_A)的不等式。     

关于Littlewood的一个问题

本文证明了: (1)如果{a_n}_n~N=1是非负不减序列,p>0,q>0,0≤r≤1,且p(q+r)≥q+p,则sum from n=1 to N(a_n~pA_n~q)(sum from m=n to N(a_n~(1+p/q)~r≤1·sum from n=1 to N(a_n~pA_n~q)~(1+p/q),其中A_n=sum from m=n to n (a_m).上述不等式在0≤r≤1时完全解决了H.Alzer~([4])在1996年提出的一个问题,且1是最佳常数; (2)如果{a_n}_n~N=1是非负序列,p,p≥1,r>0,r(p-1)≤2(q-1),令α=((p-1)(q+r)+p~2+1)/(p+1) β=(2p+2r+p-1)/(q+1),σ=(q+r-1)/(p+q+r)则sum from n=1 to N (a_n~p)sum from i=1 to n (a_i~qA_i~r)≤2~σsum from n=1 to N(a_n~αA_n~β)(0.2)(0.2)式改进了G.Be(?)et~([2,3])在1987年对Littlewood一个问题的结果,常数因子的3/2降为2~(3/2)=1.2598…     

构造函数巧证不等式题两例

例1在△ABC中三内角分别为α,β,γ,求证：sinα sinβ sinγ≤(33~(1/2))/2．证明在△ABC中有α β γ=π,要证的不等式可化为(sinα sinβ sinγ)/3≤(3~(1/2))/2=sinπ/3,即证(sinα sinβ sinγ)/3≤sin(α β γ)/3．构造函数y= sinx(0＜x＜π)其图像如图所示．     

E^n中Euler不等式的推广

设 n 维欧氏空间 E~n 中 n 维单形 Ω 的外接球半径为 R,内切球半径为 r,M.S.Klamkin 获得 E~n 中之 Euler 不等式:R≥nr.本文给出 E~n 中 Euler 不等式的下述几个推广:(i)R~2≥δ_nn~2r~2+(?);(ii)R~2≥(?)/2(1+δ_n)n~2r~2+(1/2)(?);(iii)R~2≥n~2r~2+(1/4)(?)其中 I、O、G 分别为单形Ω的内心、外心与重心,δ_n=(?)[1-((ρ_(ij)-ρ_(jk))~2(ρ_(jk-ki))~2(ρ_(ki)-ρ_(ij))~2)/(ρ_(ij)ρ_(jk)ρ(k(?)))]~((-1)/n(n~2-1))≥1,ρ_(ij)=(?)(1≤i相似文献   

数学奥林匹克问题选登

1991年6月号问题解答 (解答由供题人给出) 1.设x≥y≥1,求证: 并确定等号成立的条件。解设x 1=2p~2,y 1=2q~2,其中P≥q≥1,则欲证不等式等价于若p≠q,则上式等价于易证p q-1≥(两端平方,整理有2(p-1)(q-1)≥0) 因而只须证 pq(p q)≥(1 pq)(p q-1)(p-1)(q-1)≥0 由p≥q≥1知上式成立。故欲证不等式成立,其中等号成立当且仅当p=1或q=1或p=q,即x=y或x=1或y=1 注:易证对x≥y≥z>0,欲证不等式与下式     

借助于圓的二次方程的图解

1.假設已知化簡后的二次方程 x~2 px q=0配成完全平方: (x p/2)~2-(p~2/4-q)=0, -(x p/2)~2 (p~2/4-4)=0。用y~2表示方程的左端 y~2=(p~2/4-q)-(x p/2)~2,由此, (x p/2)~2 y~2=p~2/4-q,所得到的是一个圓的方程,其圓心为点(-p/2,0),半径为r=(p~2/4-q)~(1/p~2/4-q),此圓与Ox軸的交点的横坐标就是二次方程的根。例.图解方程 3x~2-8x-51=0,化簡后的方程是 x~2-2(2/3x)-17=0,或者 -(x-1(1/3))~2 18(7/9)=0。用y~2表示它的左端,得到一个圓的方程 (x-1(1/3)))~2 y~2=18(7/9)。圓心在点(1(1/3),0)半径等于当x=1(1/3)时的y的     

一个不等式的逆向

文[1]证明了文[2]提出的一个猜想:说ai≥0,pi≥0,(i=1,2,…,n)且p1 p2 … pn=1,则n∑i=1piai≥n∏i=1aipi.本文将给出上述不等式的一个逆向不等式,从而得出一个不等式组.命题设ai>0,pi≥0(i=1,2,…,n),且p1 p2 … pn=1,则1∑ni=1piai≤n∏i=1aipi≤n∑i=1piai.证为了使命题证明     

广义超特殊p-群的自同构群Ⅲ

确定了广义超特殊p-群G的自同构群的结构.设|G|=p~(2n+m),|■G|=p~m,其中n≥1,m≥2,Aut_fG是AutG中平凡地作用在Frat G上的元素形成的正规子群,则(1)当G的幂指数是p~m时,(i)如果p是奇素数,那么AutG/AutfG≌Z_((p-1)p~(m-2)),并且AutfG/InnG≌Sp(2n,p)×Zp.(ii)如果p=2,那么AutG=Aut_fG(若m=2)或者AutG/AutfG≌Z_(2~(m-3))×Z_2(若m≥3),并且AutfG/InnG≌Sp(2n,2)×Z_2.(2)当G的幂指数是p~(m+1)时,(i)如果p是奇素数,那么AutG=〈θ〉■Aut_fG,其中θ的阶是(p-1)p~(m-1),且Aut_f G/Inn G≌K■Sp(2n-2,p),其中K是p~(2n-1)阶超特殊p-群.(ii)如果p=2,那么AutG=〈θ_1,θ_2〉■Aut_fG,其中〈θ_1,θ_2〉=〈θ_1〉×〈θ_2〉≌Z_(2~(m-2))×Z_2,并且Aut_fG/Inn G≌K×Sp(2n-2,2),其中K是2~(2n-1)阶初等Abel 2-群.特别地,当n=1时...     

齐次Fourier-Besov-Morrrey空间上广义磁流体力学方程组的存在性和渐近稳定性

考虑了R~n上n维广义磁流体力学方程组,当初值("_0,d_0)∈FN_(r,λ,∞)~(-β)×FN_(r,λ,∞)~(-β)时,广义磁流体力学方程组对应的Cauchy问题的存在性和渐近稳定性,其中1≤r≤∞,0≤λ≤n或者1≤r≤∞,λ=0以及n≥3,1/2≤σ=α≤(n+2)/4-(n-λ)/(4r),β=2σ-1+(n-λ)/r-n.最后,得到了广义磁流体力学方程组一类自相似解的渐近稳定性.     

Janic加强不等式的逆向思维

本文约定 :△ ABC的三边长、半周长及三边上的高和旁切圆半径、内切圆半径分别为a、b、c、p、ha、hb、hc、ra、rb、rc、r,∑ 表示循环和 ,∏ 表示循环积 .R.R.Janic曾建立如下不等式 :在△ ABC中 ,有　　∑ rahb+hc≥ 32 (1)文 [1]、[2 ]将不等式 (1)加强为 :　 rahb+hc . rbhc +ha . rcha +hb ≥ 18(2 )本文将给出不等式 (2 )的逆向不等式 :　 rahb+hc. rbhc +ha. rcha +hb≤ p22 16 r2 (3)证明　由常见恒等式 ha =2 rpa ,abc =4Rrp,rarbrc=rp2及常见不等式9abc≤ ∑a∑bc,∏(b+c)≥ 89∑a∑bc,∑bc≤ 43p2知rahb+hc . rbhc+ha . rcha …     

GF(p)上B_n的次数

行列式 B_n=∑±b_(i_1)~(m_1)b_(i_2)~(m_2)…b_(i_n)~(m_n)中各项含因子 b 的个数的最大值称为 B_n 的次数,其中,1≤t_k≤n,m_f≥0,b_(i_k)∈GF(p).当 p=2时,这是0-1矩阵的行列式,文[3]已有结果.本文在任意 p 的情形下给出 B_n 的次数 L(n)的公式:对任意正整数 r,当 n_r≤n≤n_(r+1)时,L(n)=r,其中,n_r=(r_0+1)(p~(q+1)-1)/(p-1)-(1+qp~(q+1),q=[r/(p-1)],r=q(p-1)+r_0。     

IMO试题与欧拉不等式

1　欧拉不等式设△ ABC外接圆半径为 R,内切圆半径为 r,则有　 R≥ 2 r ( 1 )下面寻找该不等式的几种等价形式 .记△为△ ABC的面积 ,s为半周长 ,则△ =rs=abc4R,∴　 4R△ =abc,8△2s =8r△ ,从而 R≥ 2 r等价于 abc≥ 8△2s,由海伦公式 ,又可得欧拉不等式的另一等价形式abc≥ 8( s- a) ( s- b) ( s- c) ( 2 )式 ( 2 )又等价于abc≥ ( b c- a) ( c a- b) ( a b- c) ( 3)对式 ( 3)简证如下 :a2≥ a2 - ( b - c) 2=( a b - c) ( c a - b) ,b2 ≥ b2 - ( c- a) 2=( b c- a) ( a b - c) ,c2 ≥ c2 - ( a - b) 2=( c a - b) (…     

证不等式a+b+c/3≥(abc)~(1/3)的几种方法

命题设a、b、c≥0,(a+b+c)/3≥abc~(1/3), 证明显然当a、b、c中至少有一个为零时,不等式恒成立,所以我们只就a、b、c全不为零时给出证明。方法1应用基本不等式m~2+n~2≥2mn来证明。设P>0、q>0、r>0 ∵p~2+q~2≥2pq, q~2+r~2≥2qr,r~2     

Automorphisms of a Class of Finite p-groups with a Cyclic Derived Subgroup

Let p be an odd prime,and let k be a nonzero nature number.Suppose that nonabelian group G is a central extension as follows1→G'→G→Z_(p~k)×…×Z_(p~k),where G'≌Z_(p~k),and ζG/G' is a,direct factor of G/G'.Then G is a central product of an extraspecial p~kgroup E and ζG.Let |E|=p~((2n+1)k) and |ζG|=p~((m+1)k).Suppose that the exponents of E and ζG are p~(k+l) and p~(k+r),respectively,where 0≤l,r≤k.Let Aut_(G') G be the normal subgroup of Aut G consisting of all elements of Aut G which act trivially on the derived subgroup G',let Aut_(G/ζG,ζG) G be the normal subgroup of Aut G consisting of all central automorphisms of G which also act trivially on the center ζG and let Aut_(G/ζG,ζG/G') G be the normal subgroup of Aut G consisting of all central automorphisms of G which also act trivially on ζG/G'.Then(ⅰ) The group extension 1→Aut G'→Aut G→Aut G'→1 is split.(ⅱ) Aut_(G') G/Aut_(G/ζG,ζG) G≌G_1 × G_2,where Sp(2n-2,Z_(p~k))■H≤G_1≤Sp(2n,Z_(p~k)),H is an extraspecial p~k-group of order p~((2n-1)k) and(GL(m-1,Z_(p~k))■Z_(p~k)~((m-1))■Z_(p~k)~((m))≤G_2≤GL(m,Z_(p~k))■Z_(p~k)~((m)).In particular,G_1=Sp(2n-2,Z~(p~k))■ H if and only if l=k and r=0;G_1=Sp(2n,Z_(p~x)) if and only if l≤r;G_2=(GL(m-1,Z_(p~k))■ Z_(p~k)~((m-1))■ Z_(p~k)~((m)) if and only if r=k;G_2=GL(m,Z_(p~k))■Z_(p~k)((m)) if and only if r=0.(ⅲ) Aut_(G') G/Aut_( G/ζG,ζG/G') G≌G_1 × G_3,where G_1 is defined in(ⅱ);GL(ml,Z_(p~k))■ Z_(p~k)~((m-1))≤G_3 ≤GL(n,Z_(p~k)).In particular,G_3=GL(m-1,Z_(p~k))■ Z_(p~k)~((m-1)) if and only if r=k;G_3=GL(m,Z_(p~k)) if and only if r=0.(ⅳ) Ant_(G/ζG,ζG/G') G≌ Aut_(G/ζG,ζG/G') G■ Z_(p~k)~((m)),If m=0,then Ant_(G/ζG,ζG/G') G=Inn G≌Z_(p~k)~((2n));If m 0,then Ant_(G/ζG,ζG/G') G≌Z_(p~k)~((2nm))×Z_(p~(k-r))~((2n)),and Aut_(G/ζG,ζG) G/Inn G≌Z_(p~k)~((2n(m-1))× Z_(p~(k-r))~((2n)).     

双圆四边形中一个不等式的简证及其反向

文[1]给出如下 命题设双圆四边形ABCD的外接圆半径、内切圆半径分别为R、r,记AB=a,BC=b,CD=c,DA=d,则 abcd≥8r3(√4R2 r2-r)(1) 本文给出其一简证及其相应的逆向不等式:     

赫尔德不等式的推论变形与运用

一、引式:赫尔德不等式 设aij＞0(1≤i≤j≤n,1≤j≤m),若aj(1≤j≤m),且α1+α2+…+αm=1,则mП(n∑aij)aj≥n∑aijaj. 显然,当这个不等式只有两项,即当1/p+1/q=1时,(xp0+xp1+…+xpn)1/p(yq0+yq1+…+yqn)1/a≥x0y0+x1y1+…+xnyn,当α1=α2时即为(Cauchy)不等式,从中可以看到Cauchy不等式是Holder不等式的特殊情况.