简单自反DTS(ν,λ)的存在谱

一个Directed三元系DTS(ν,λ)=(X,B)是自反的,如果它与它的逆(X,B^-1)同构,其中B^-1={(z,y,x);(x,y,z)∈B}.继已给出SCDTS(ν,λ)的存在谱之后,又给出简单SCDTS(ν,λ)的存在谱.     

简单自反MTS(υ,λ)的存在谱

一个Mendelsohn三元系MTS(υ,λ)=(X,B)被称作是自反的,如果它与它的逆(X,B-1)是同构的,其中B-1=｛〈z,y,x〉;〈x,y,z〉∈B.在[2]中已给出了简单自反MTS((υ,1)的存在谱,即υ≡0,1(mod3),υ3且υ≠6.本文讨论一般λ的情况,并得到简单自反MTS(υ,λ)的存在谱是λυ(υ-1)≡0(mod3);λυ-2,υ3且(υ,λ)≠(6,1);(6,3).     

自反DTS(υ,λ)的存在谱

一个Directed三元系DTS(υ,λ)=(X,B)是自反的,如果它与它的逆(X,B-1)同构,其中B-1=｛(z,y,x);(x,y,z)∈B｝.继[2]给出自反DTS(υ,1)的存在谱之后,本文将给出自反DTS(υ,λ)的存在谱为     

一个不等式的初等证明

文 [1]提出如下猜想 :设λ≥ 1,x,y,z >0 ,则xλx +y+yλy +z+zλz +x　≤ 3λ+1(1)文 [2 ]用导数证明了 (1)式 ,本文给出简明的初等证明 .证明　由已知得 xλx +y,yλy +z,zλz +x三式中必有两个同时不大于 (或不小于 ) 1λ +1,不妨设为 xλx +y 和yλy +z.于是有(xλx +y - 1λ +1) (yλy +z -1λ+1)≥ 0即 xλx +y+yλy +z≤(1+λ) xy(λx +y) (λy +z) +1λ +1(2 )由柯西不等式有(λx +y) (λy +z)≥ (λ xy +yz) 2 .代入 (2 )得　 xλx +y +yλy +z ≤(λ+1) xλ x +z +1λ+1(3)又　 (λz +x) (λ+1)≥ (λ z +x ) 2(4)于是 ,由 (3)、(…     

一个含双参数的分式不等式及其应用

本文给出了一个新颖的涉及正实数a,b,c,x,y,z含双参数λ,μ的分式不等式,并举例说明其应用,同时在文章最后还给出了一个猜想.定理设x,y,z∈R ,a,b,c∈R ,λμ≥-1,若λ>0,则有(x μy)a2(λ 1)x (λμ 1)y z (y μz)b2(λ 1)y (λμ 1)z x (z μx)c2(λ 1)z (λμ 1)x y≤1λ[(a     

一个分式不等式的探讨

文 [1]提出如下有趣问题 :设λ、μ、ν为不全为零的非负实数 ,求使不等式xλx+ μy +νz + yλy+ μz +νx +zλz+ μx+νy ≥ 3λ+ μ+ν (1)对任意正实数x ,y ,z都成立的充要条件 .经探讨 ,我们得到了下面的定理 1　当λ、μ、ν≥ 0且 μ ,ν不全为零时 (若 μ =ν =0 ,λ ≠ 0 ,则 (1)为恒等式 ) ,(1)对任意x ,y,z>0成立的充要条件是2λ≤ μ +ν .证明　用 ∑f(x ,y ,z)表示 f(x ,y ,z)+ f(y ,z ,x) + f(z ,x ,y) ,经演算有∑x(λy + μz+νx) (λz+ μx +νz)=λμν∑x3 + (λ3 + μ3 +ν3 + 3λμν)xyz +(λ2 μ+ μ2 ν+ν2 λ) …     

三元四次对称不等式的统一加强

在文 [1 ]中 ,笔者给出了三元四次对称不等式λ( ∑x) 4 μ∑ ( yz) 2 υ∑x .∏x k( ∑x) 2 ∑yz≥ 0　 ( x,y,z >0 )成立的一个充要条件 .它等价于下面的命题　记σ1=x y z,σ2 =xy yz zx,σ3 =xyz,则F( x,y,z)≡λ0 σ41 λ1σ21σ2 λ2 σ22 - ( 2 7λ0 9λ1 3λ2 )σ1σ3 ≡λ0 σ1(σ3 1- 2 7σ3 ) λ1σ1(σ1σ2 - 9σ3 ) λ2 (σ22 - 3σ1σ3 )≥ 0 ( 1 )对任意 x,y,z >0成立的充要条件是λ0 ≥ 0 ,λ1≥ - 5λ0 ,1 6λ0 4λ1 λ2 ≥ 0( 2 .1 )或λ0 >0 ,λ1<- 5λ0 ,λ0 λ2 ≥ ( 3λ0 λ1) 2( 2 .2 )本文进而…     

一类具有转向点问题的n阶近似解

用Langer变换和Olver变换求得一类具有转向点问题的n阶近似解:y(x)=v(x)ψ(x),其中ψ=λ12-14×(x2-1)14,2332=-λx∫11-τ2dτ,v(z)=A(z,λ)ξ(λ23z)+B(z,λ)'ζ(λ23z).并探讨了其特征值问题,得到λn=4n+1112,n=0,1,2….由此给出了该类问题的解的一般性结论.     

参数为(ν,λ)的单纯Mendelsohn三元系大集

-个参数为(ν,λ)的Mendelsohn三元系,记为MTS(ν,λ),是一个对子(X,β),其中X是一个ν元集, B是X中循环三元组的集合,满足X的每-个有序对都恰包含于B中λ个循环三元组.设(X,B)是-个没有重复循环三元组的MTS(ν,λ),如果满足(x,y,z)∈B必有(z,y,x)∈B,则称(X,B)为单纯的,记为PMTS(ν,A).不相交PMTS(ν,λ)大集,记为LPMTS(ν,λ),是-个集合{(X,Bi)}i,其中每个(X,Bi)都是一个PMTS(ν,λ),并且UiBi构成了X中所有循环三元组的-个划分.本文给出了LPMTS(ν,λ)的一些构造方法及存在性结果,最终完成了LPMTS(ν,2)的存在谱.     

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

笔者在为本校高二年级数学竞赛班测试命题时,命制了如下一个不等式,现给出其初等证明并推广,与同仁共勉.题目已知x,y,z∈R_+,x+y+z=1,求证:1/(?)+8/(?)+27/(?)≥14(?).证明2/(?)+16/(?)+54(?)+λ=2/(?)+16/(?)+54/(?)+λ(x+y+z)=(1/(?)+1/(?)+λx)+(8/(?)+8/(?)+λy)     

点到空间直线距离的一个公式

利用求条件极值的拉格朗日乘数法给出了空间中点P(x0,y0,z0)到直线A1x+B1y+C1z+D1=0A2x+B2y+C2z+D2=0距离的一个公式d=|(A1x0+B1y0+C1z0+D1)n2-(A2x0+B2y0+C2z0+D2)n1|/|n1×n2|,其中ni={Ai,Bi,Ci},(i=1,2)     

关于代数体函数的微分多项式

本文证明υ值代数函数的微分多项式是一λ值（1≤λ≤υ）代数体函数,即υ值代数体函数ω=ω（z)的微分多项式p(ω）可以被如下方程确定：[ελ（z）p^λ ελ-1(z)p^λ-1 … ε0(z)]^k=0这里ε0(z),ε1(z),…,ελ（z)为整函数且无公共零点,λ和k为正整数且λk=υ。     

IMO42-2的推广

第 4 2届 ( 2 0 0 1年 )国际数学奥林匹克试题第 2题为 :对所有正实数 a,b,c,证明 :aa2 8bc bb2 8ca cc2 8ab≥ 1 . ( 1 )推而广之 ,我们发现以下定理　若 a,b,c∈ R ,λ≥ 8,则aa2 λbc bb2 λca cc2 λab≥ 31 λ. ( 2 )证明　令 x =bca2 ,y =cab2 ,z =abc2 ,则 x,y,z∈ R ,且 xyz =1 .于是 ,不等式 ( 2 )等价于11 λx 11 λy 11 λz≥31 λ( 3) 　 1 λ[( 1 λy) ( 1 λz) ( 1 λz) ( 1 λx) ( 1 λx) ( 1 λy) ]≥ 3( 1 λx) ( 1 λy) ( 1 λz) 　 ( 1 λ) [3 2λ( x y z) λ2 ( yz zx …     

一道国际竞赛题的简证

题目:(2006年土耳其国家队选拨考试)已知正数x,y,z满足xy yz zx=1,证明:247(x y)(y z)(z x)≥(x y y z z x)2≥63.文[1]采用三角换元法,并利用导数和Jensen不等式给出了证明.274(x y)(y z)(z x)≥(x y y z z x)2.但证明过程中错证了cosA cosB cosC≤323.从而证明247(x y)(y z)(z x)≥(x y y z z x)2的证法是错误的.下面给出一个简证.证明:先证(x y)(y z)(z x)≥98(x y z)(xy yz zx)①上面不等式等价于(x y z)(xy yz zx)-xyz≥98(x y z)(xy yz zx)(x y z)(xy yz zx)≥9xyz.由A—G不等式有x y z≥33xyz,xy yz zx≥33x2y2z2,故(x y z)(xy yz…     

定比分点的应用

设 A( x1,y1) ,B( x2 ,y2 ) ,点 P( x,y)分有向线段 AB—— 所成的比 APPB=λ(λ≠ 1 ) ,则 x =x1 λx21 λ ,y =y1 λy21 λ .且当 P为内分点时λ>0 ;当 P为外分点时λ<0 (λ≠ - 1 ) ;当 P与A重合时λ=0 ;当 P与 B重合时λ不存在 .这就是定比分点的含义 .它在解析几何中的广泛应用是大家熟知的 ,如果我们注意充分挖掘定比分点的内涵 ,还不难发现它在其它一些非解几问题中的应用 .1　 用于比较数的大小例 1　已知 a >0 ,b >0 ,0 相似文献   

W·Janoux的一个不等式的简证

设 x、y、z∈ R ,证明 :y2 - x2z x z2 - y2x y x2 - z2y z ≥ 0 .此题就是著名的 W .Janoux猜想 ,最初发表在加拿大《数学难题》杂志 ,他本人没给出证明 .我国《中等数学》转载后引起关注 ,并给出了若干证法 ,但多数较烦 .下面给出一个简明 .证明　∵　 x、y、z∈ R ,∴　 y2 - x2z x z2 - y2x y x2 - z2y z　　 =y2 - x2z x (x - y) z2 - y2x y (y - z) x2 - z2y z (z - x)　　 =(y - x) (y - z)z x (z - y) (z - x)x y (x - z) (x - y)y z .但　 (y - x) (y - z)z x (z - y) (z- x)x y　 =(y- z) [(y- x) (y…     

用试探法解齐次线性微分方程的一点注记

若有常系数齐次线性微分方程y~(n) c_1y~(n-1) … a_ny=0我们可用试探法求它的解.令y=e~(λz)代入上式的左端,得(e~(λx))~(n) a_1(e~（λx）)~(n-1) … a_n(e~（λx）)=(λ~n a_1λ~(n-1) …a_n)e/~（λx）=F(λ)e~λ=     

数学问题解答

2007年7月号问题解答(解答由问题提供人给出)1681设x y z≥1,求证:(x y)4 (y z)4 (z x)4 (x-y)4 (y-z)4 (z-x)4>94.(江苏宿迁中学陈炳堂223800)证明(x y)4 (y z)4 (z x)4 (x-y)4 (y-z)4 (z-x)4=4(x4 y4 z4) 12(x2y2 y2z2 z2x2)=4(x4 y4 z4 2x2y2 2y2z2 2z2x2) 4(x2y2 y2z2 z2x2     

点到空间直线距离公式的两种简洁证明

对空间中任意一点P(x0,y0,z0)到直线l:π1∶A1x B1y C1z D1=0π2∶A2x B2y C2z D2=0的距离公式:d=n1→×n→2,(A1x0 B1y0 C1z0 D1)n→2-(A2x0 B2y0 C2z0 D2)n→1介绍另两种过程简洁并且几何意义明显的证明     

一道2000年IMO试题的高等数学背景

我们首先给出 2 0 0 0年第 41届 IMO之第2题及其解答 [1] :设 a、b、c是正数 ,满足 abc =1 .证明( a- 1 1b) ( b- 1 1c) ( c- 1 1a)≤ 1 .证明　令 a =xy、b =yz、c =zx,其中x、y、z为正数 ,则原不等式变为( x - y z) ( y - z x) ( z - x y)≤ xyz ( 1 )显然 x - y z、y - z x、z - x y里最多又有一个是负数 .如果恰有一个是负数 ,那么 ( 1 )式显然成立 ;如果这三个数都非负 ,那么根据算术平均—几何平均可得　 ( x - y z) ( y - z x)≤ 12 [( x - y z) ( y - z x) ]=x　 ( y - z x) ( z - x y)≤ 12 [( …