《超级画板》帮你教算法(2)

上一节我们主要介绍了超级画板中赋值语句的用法.本节我们将通过更多实例来介绍条件语句,循环语句和输出语句.在超级画板的编程环境中,条件语句的一般格式是:if(A){B}else{C}.这里A是条件,B是A成立时要执行的一些语句,C是A不成立时要执行的一些语句.在花括弧内的B和C,也可以是条件语句,这也就是我们常说的嵌套.比起一般的伪代码,超级画板省略了(A)和{B}之间的“then”.例1编写求一元二次方程ax2 bx c=0(a≠0)的实根的函数程序.解先判断是否有实根,有实根时再用公式求根.函数定义如下:root(a,b,c,i){d=b^2-4*a*c;if(d<0){No;}else{if(I…     

关于多项式系数的整除性

设 n是正整数 ,k1 ,k2 ,… ,ks 是适合 k1 +k2 +… +ks=n的非负整数 ,正整数 nk1 k2 … ks=n!k1 !k2 !… ks!称为多项式系数 .本文讨论了当n=a0 +a1 p+a2 p2 +… +arpr ,其中 p为素数且 p≤ n,0≤ ai相似文献   

一个分式型不等式定理及其应用

引理　若xi∈R ,i=1,2,…,n,则1)　1nΣni=1xαi≥1nΣni=1xiα(α≥1或α<0)2)　1nΣni=1xαi≤1nΣni=1xiα(0<α<1)注　此引理可由琴生(Jensen)不等式推出.因篇幅有限,这里不再赘述,读者可参阅参考文献〔1〕和〔2〕.定理1　若ai、bi∈R ,i=1,2,…,n,γ≥2或γ<0,β>0,则Σni=1aribβi≥n1-r β.Σni=1airΣni=1biβ证明　由已知和柯西不等式,得Σni=1bβiΣni=1aribβi=Σni=1bβi2Σni=1aγibβi2≥Σni=1bβi.aγibβi2=Σni=1aγ2i2(1)由引理1)和2),得Σni=1aγ2i2≥n2-γΣni=1aiγ及Σni=1bβi-1≥n-1 βΣni=1bi-β(β≥1或0<β<…     

关于多项式系数的整除性

设n是正整数,k1,k2,…+k1=n的非负整数,正整数[nk1k2…ks]=n！/k1!k2!…k5!称为多项式系数,本文讨论了当n=a0+a1p+a2p^2+…arp^r,其中p为素数且p≤n,0≤ai&;lt;p(0≤i≤r);ki=a0^(i)+a1^(i)p+…+ar^(i)p^r,其中ki≤0,∑^si=1,ki=n,0≤ak^(i)p(0≤i&;lt;s)时多项式系数的整除性问题,得出的结果推广了著名的Lucas定理^[1].     

一类有趣的数列

设数列{an}满足条件 an=a1 a2 … an-1 (n≥2)①当n=2时,由①式可得,an=a1．易知,对任意的自然数i(i=1、2、3、…),若 a1=0,则ai=0;若a1≠0,则ai≠0．所以,下面我们不妨假设a1≠0．     

加权算术平均与加权几何平均不等式的改进

众所周知,著名的加权算术平均与加权几何平均不等式是:设ai,Pi＞0,i=1,2,…,n,且nΣi=11/pi=1,则nΣi=11/pi≥n∏i=1 ai1/pi (1) 其中等式当且仅当a1=a2=…=an时成立.     

一道美国奥林匹克题的进一步推广

美国第33届数学奥林匹克第5题是:设a,b,c为正实数,证明:(a5-a2 3)(b5-b2 3)(c5-c2 3)≥(a b c)3.这是一道被广泛关注的问题.文[1]将此题推广为:推广1设ai>0(i=1,2,3,…,3k,k∈N ),证明:∏3ki=1(ai5k-ai2k 3k)≥(i∑3=k1ai)3k.文[2]将此题再推广为:推广2设ai>0(i=1,2,3,…,n,n∈N ),αβ>0,则∏ni=1(aiα β-aiβ n)≥(i∑=n1ainα)n.事实上推广2可进一步推广为:推广3设ai>0(i=1,2,3,…,n,n∈N ),αβ>0,0≤λ≤1,则∏ni=1(aiα β-λαiβ μ)≥(α βα-λβi∑=n1aiαn)n,其中μ=n λ nαβ-nαλβ-1.为了证明推广3,我们先引进著名的加…     

一个不等式的推广

若 a、b、c为正数 ,则ab c bc a ca b>2 .宋庆先生在文 [1]中给出了上述不等式的一个简洁的“可读证明”,本文我们将它进一步推广为 :若 ai >0 ,i =1,2 ,… ,n,∑ni=1ai =λ,则　　　 ∑ni=1aiλ- ai >2 . (1)证明　令 aiλ- ai=bi　 (bi >0 ) ,则　　 aiλ=b2i1 b2i,故原不等     

Forced oscillation of second order differential equations with mixed nonlinearities

This article is concerned with the oscillation of the forced second order differential equation with mixed nonlinearities a(t) x ′ (t) γ′ + p 0 (t) x γ (g 0 (t)) + n i =1 p i (t) | x (g i (t)) | α i sgn x (g i (t)) = e(t), where γ is a quotient of odd positive integers, α i > 0, i = 1, 2, ··· , n, a, e, and p i ∈ C ([0, ∞ ) , R), a (t) > 0, gi : R → R are positive continuous functions on R with lim t →∞ g i (t) = ∞ , i = 0, 1, ··· , n. Our results generalize and improve the results in a recent article by Sun and Wong [29].     

关于阶乘的Erds-Stewart猜想

摘要:设n是正整数;P_0=1,P_i(i=1,2,…)是第i个素数.本文证明了:方程 n!+1=P_k~aP_(k+1)~b,P_(k-1)0,b>0,仅有解(n,P_k,P_(k+1),a,b)=(1,1,2,1,0),(2,3,5,1,0),(3,5,7,0,1),(4,5,7,2,0),(5,7,11,0,2).上述结果证实了Erds和Stewart提出的一个猜想.     

Large deviations for sums of independent random variables with dominatedly varying tails

In this paper the large deviation results for partial and random sums Sn-ESn=n∑i=1Xi-n∑i=1EXi,n≥1;S(t)-ES(t)=N(t)∑i=1Xi-E(N(t)∑i=1Xi),t≥0are proved, where {N(t); t≥ 0} is a counting process of non-negative integer-valued random variables, and {Xn; n ≥ 1} are a sequence of independent non-negative random variables independent of {N(t); t ≥ 0}. These results extend and improve some known conclusions.     

关于凸函数的Hadamard不等式的拓广(英文)

设,是区间[a,b]上连续的凸函数。我们证明了Hadamard的不等式 f(a+b/2)≤1/b-a integral from a to b (f(x)dx)≤f(a)+f(b)/2可以拓广成对[a,b]中任意n+1个点x_0,…,x_n和正数组p_0,…,p_n都成立的下列不等式 f(sum from i=0 to n (p_ix_i)/sum from i=0 to n (p_i))≤|Ω|~(-1) integral from Ω (f(x(t))dt)≤sum from i=0 to n (p_if(x_i)/sum from i=0 to n (p_i),式中Ω是一个包含于n维单位立方体的n维长方体,其重心的第i个坐标为sum from i=i to n (p_i)/sum from i=i-1 (p_i),|Ω|为Ω的体积,对Ω中的任意点t=(t_1,…,t_n) ω(t)=x_0(1-t_1)+sum from i=1 to n-1 (x_i(1-t_(i+1))) multiply from i=1 to i (t_i+x_n) multiply from i=1 to n (t_i)。不等式中两个等号分别成立的情形亦已被分离出来。 此不等式是著名的Jensen不等式的精密化。     

关于高斯整数环的商环元素个数的注记

设 Z表示整数环 ,i表示虚数单位 ( i=- 1 ) .Z( i)为所有形如 a+ bi( a,b∈ Z)的复数组成的集合 ,称为高斯整数环 .高斯整数环中的元素称为高斯整数 .在文 [1 ]中 ,提出了两个猜测 ,其中之一是 :设 m和 n都是整数 ,则高斯整数环 Z( i)的商环 Z( i) /( m+ ni)的元素个数不超过 m2 + n2 .本文证明这一结论成立 ,且更明确的有 ,| Z( i) /( m+ ni) | =m2 + n2 .注意 ,对 m=0 (或 n=0 )以及 m任意但 n=1 (或 n任意但 m=1 )的情形 ,文 [1 ]已经证明此等式成立 .以下我们用 | A|表示集合 A的元素个数 ,也用 | α|表示复数 α的模 .下面给出的是…     

关于变量个数的几个单调函数

目前 ,人们对比较变量大小之间关系的不等式较为关注 ,但是 ,笔者发现 ,有一些不等式在变量的定义域内 ,经过变量置换 ,可以得到关于变量个数的一些单调函数 .为了讨论方便 ,设实函数 f(x)的定义域为x∈(a ,b) ,实数Pi>0 (1≤i≤n) ,n∈N .记λn=∑ni=1Pi,An=∑ni=1Pixi/λn,Bn=∑ni=1Pif(xi) /λn.定理　若 f(x)在区间 (a ,b)上为凸函数 ,则φ(n) =λn[f(An) -Bn]是n的递增函数 .证　设x′i∈ (a ,b) ,根据凸函数定理有f(A′n)≥B′n (1)A′n=∑ni=1Pix′i/λn,B′n=∑ni=1Pif(x′i) /λn.令x′1=x′2 =… =x′n - 1=An - 1,x′n=xn…     

关于一对不等式的推广

文[1]证明了一对有趣的不等式:设a,b,c为正数,且a b c=1,则有(b1 c-a)(c 1a-b)(a1 b-c)≥(67)3,(b1 c a)(c 1a b)(a1 b c)≥(161)3.为了推广这两个不等式,文[1]提出下面四个命题,要求证明或否定之.设a1,a2,…,an为正数且其和为1.命题1∏ni=1(ai 1ai 1-ai 2)≥(2n-1n)n.命题2∏ni=1(ai 1ai 1 ai 2)≥(2n 1n)n.命题3∏n-1i=0(∑K1j=1ai j-∑nj=k 1ai j)≥(kn nk-1)n.命题4∏n-1i=0(∑K1j=1ai j ∑nj=k 1ai j)≥(kn-nk 1)n.其中an i=ai(i=1,2,…,n-1),k为小于n的正整数.本文先证明命题3为真,然后对其余三个命题给出反例.令f(x)=ln(1-1x-x),0相似文献   

TO SOLVE MATRIX EQUATION sum (A~iXBi=c) BY THE SMITH NORMAL FORM

§ 1　IntroductionLet F be a field,F[λ] be the polynomial ring over F,Fm× n( or Fm× n[λ] ) be the setofall m×n matrices over F( or F[λ] ) .Let M(i) be the ith column of M∈Fm× m[λ] ,i=1 ,...,n.A g-inverse of M∈Fm× n will be denoted by M- and understood as a matrix for whichMM- M=M.In this paper,we discuss the linear matrix equation ki=0Ai XBi =C, ( 1 )where A∈Fm× m,Bi∈Fn× q,i=0 ,1 ,...,k,and C∈Fm× q.Equation( 1 ) is called universally solvable if ithas a solution f…     

n进制中非零数字之积函数的均值公式

设 N =a1nk1+ a2 nk2 +… + asnks( 1 aik2 >… >ks 0 ) ,a( N,n) =a1a2 … as,本文给出了均值 Ar( N ,n) =∑m相似文献   

A remark on strong law of large numbers for weighted U-statistics

Let {X,Xn; n ≥ 1} be a sequence of i.i.d.random variables with values in a measurable space(S,S) such that E|h(X1,X2,...,Xm)| ∞,where h is a measurable symmetric function from Sminto R =(-∞,∞).Let {wn,i1,i2,...,im; 1 ≤ i1 i2 ··· im ≤ n,n ≥ m} be a matrix array of real numbers.Motivated by a result of Choi and Sung(1987),in this note we are concerned with establishing a strong law of large numbers for weighted U-statistics with kernel h of degree m.We show that lim n→∞m!(n-m)!n!1≤i1i2···im≤n wn,i1,i2,...,im(h(Xi1,Xi2,...,Xim)-θ)=0 a.s.whenever supn≥mmax1≤i1i2···im≤n|wn,i1,i2,...,im|∞,whereθ=Eh(X1,X2,...,Xm).The proof of this result is based on a new general result on complete convergence,which is a fundamental tool,for array of real-valued random variables under some mild conditions.     

时间随机环境中一维紧邻随机游动的常返性质

设环境q={q(n)}∞0是取值于[0,1]上一列独立同分布的随机变量列,且Eq(0)=p;{Sn}∞0是随机环境q中取整数值随机游动,S0=0,且满足:对任意的整数xi(i≥0),x,y,P(Sn+1=y|S1=x1,…,Sn-1=xn-1,Sn=x,q)={q(n),y=x+1,1-q(n),y=x-1,0,其他.我们证明了:p>1/2时,Sn→+∞,a.e.,n→∞;p<1/2时,Sn→-∞,a.e.,n→∞;p=1/2时,-∞=(lim infSn)/(n→+∞)<(lim supSn)/(n→+∞)=+∞,a.e.,n→∞.     

一类三角形面积不等式的改进与推广

文[1]建立了一类三角形面积不等式,本文改进并推广其结果.引理　设△AiBiCi的三边及面积分别为ai、bi、ci及△i,且λi∈R (i=1,2,…,n),记a0=∑ni=1λiai,b0=∑ni=1λibi,c0=∑ni=1λici,则以a0、b0、c0为三边可作三角形,且其面积　　　△0≥(∑ni=1λi△i)2,(1)仅当△A1B1C1∽△A2B2C2∽…∽△AnBnCn时取等号.证明　由ai bi>ci(i=1,2,…,n)有　a0 b0=∑ni=1λiai ∑ni=1λibi=∑ni=1λi(ai bi)>∑ni=1λici=c0;等等,故以a0、b0、c0为三边可作三角形.记其半周长pi=12(ai bi ci)　(i=0,1,2,…,n),易知p0=∑ni=1λipi及p0-a0=∑ni=1λi(…