公式sum from k=1 to n(sinka=(sin(na/2)×sin((n+1)a)/2))/sin(a/2))的证明及应用

现行高中代数课本(乙种本)下册第46页一道例题:设sinα/2≠0,试用数学归纳法证明sum from k=1 to n(sinknα)=(sin(nα/2)sin(n+1)α/2)/sinα/2,教材中用数学归纳法给出了证明。下面就这一公式给出另外的四种证明方法,并举例说明其应用。 证明方法一:构造辅助数列和式法 证明:设Sn=cosα+cos2α+cos3α+…+cos(n+1)α将Sn与其自身两边同时相减(其中右边错开两项相减)得:     

关于不定方程x3+1=7py2

设p=3k+2,k(≠)3(mod8),k(≠)7(mod8)为素数.利用递归数列,同余式,平方剩余以及Pell方程解的性质.证明了关于不定方程x3+1=7py2仅有整数解(x,y)=(-1,0).     

关于推广的Hsrdy-Hilbert不等式

利用改进的Euler-Maclaurin求和公式,建立了一个新的Hardy-Hilbert型不等式设p＞1,1/p+1/q=1,α≥1/2.an,bn≥0,满足0＜∞∑n=0anp＜∞及0＜∞∑n=0bnq＜∞,则有∞∑n=0∞∑m=0(ln(m+a/n+a)/m-n)2ambn＜{∞∑n=0k(q)anp}1/p{∞∑n=0k(p)bnq}1/q,其中k(r)=∞∑n=02(n+1)[1/(n-1/r+1)3+1/(n+1/r+1)3],r=p,q.特别,当1＜p ≤ 2且1/2≤α≤ 1时有∞∑n=0∞∑m=0(ln(m+a/n+a)/m-n)2ambn＜[k1/q(p)k1/p(q)]{∞∑n=0anp}1/p{∞∑n=0bnq}1/q,这里,常数因子k1/q(p)k1/p(q)是最佳值.     

k+l色k-饱和图

给出了一类具有较多边数的k+1色k-饱和图(不含K_k,但添加任一边都含K_k的图)的结构。导出了n点最大k+1色k-饱和图的边数的下界。     

丢番图方程y~2=nx(x+1)(2x+1)

本文运用四次Diophantine方程的性质以及初等方法证明了:丢番图方程y~2=nx(x+1)(2x+1)至多有2~(w(n))-1个正整数解.当n=p~k时,方程的正整数解为(p,k,x,y)=(5,1,4,30),(29,1,4900,2612610).当n≡2p,p.5,7(mod8)时,方程的正整数解为(p,x,y)=(3,24,420).     

关于丢番图逼近中的一个猜想(1)

对猜想:对于任给的a个正整数a_1,a_2…,a_n总存在一个实数x;使得|a_ix|≥1/(a+1)+1 i=1,2,…,a成立,我们给出如下更一般的猜想:对于任给的a个正数■,■,…■,总存在a个整数k_1,k_2,…,k_m和a个正数y_1,y_2,…,y_m,使得且(a+1)k_x+1 i=1,2,…,a成立,并给出n=2,3,4时的证明,其方法不同于以前的方法.     

完全二部图的拟C_(2k)-因子分解

λKm,n表示完全二部多重图,kC2表示2k长圈。如果λKm,n的子图F包含λKm,n的m+n-1个点,且其每个分支都同构于kC2,则称F为λKm,n的拟kC2-因子。如果λKm,n的边集可以划分为λKm,n的拟kC2-因子的和,则称λKm,n存在拟kC2-因子分解。本文利用直接构造法,得到完全二部多重图λKm,n存在拟kC2-因子分解的充分必要条件是:(1)λ=0(mod 2),(2)m=n+1,(3)n=0(mod k)。     

求自然数方幂和的一个简单公式

求自然数方幂和有许多方法本文给出求自然数方幂和的又一公式,应用这个公式可以比较简单地求出自然数的任意次方幂的和。此公式具有简洁易记的好用的优点。 1 xe~x/(e~x-1)的展开式令f(x)=xe~x/(e~x-1),f(x)在x=0时为0/0的不定式,但有:所以我们定义f(0)=1,故f(x)可在x=0附近展开,由数学分析,我们有下面的展开式 xe~x/(e~x-1)=B_0+B_1x+B_2x~2/1·2+B_3x~3/1·2·3+……(1)其中B_0,B_1,B_2,B_3,……为待定系数。由级数相乘的理论,用下面级数 e~x-1=x+x~2/1·2+x~3/1·2·3+……(2)乘(1)的两边,左边的乘积等于     

关于笛卡儿积1—因子分解的进一步结果

设G为无桥三次图,文[1]证明了G×K_3存在1-因子分解的充分条件。通过引入“圈图”概念,给出了G×K_3存在1-因子分解的判别法则。本文给出笛卡儿积1-因子分解的进一步结论和判则。 关于无桥三次图G和K_3的笛卡儿积G×K_3的1-因子分解,已有结论如次。 (Ⅰ)若G有一个同构于E×K_3的子图H(E表示单一的一条边),G_1是图G中H代之以H_1=P_(2k+1)×K_3得到的新图(P_(2k+1)表示长(2h+1)的路)。假定G的边被t种颜色如此着色:t≥5,H的侧面边的颜色取自{1,2,3,4}。则G_1的边能够这样着色:H_1的端面边和所有不在H_1中的边按G中着色,H_1侧面边和H_1内部三角形的边仅用颜色{1,2,3,4}着色。([1]引理2)。     

关于(k)=∑sin~kA-∑cos~kA(k=3,5)的上下界

通过局部地采用优超方法给出了三角函数（k）=∑sinkA－∑coskA（k=3，5）的上下确界     

S~(n+1)中极小曲面的外刚性定理

设M是S~(n+1)的闭定向极小超曲面,众所周知,如果M的高斯映射的象取决于S~(n+1)的开半球,则M为全测地。当n=2时此定理已由文[2]准确地给出,本文讨论n≥2时的情形。     

X_n=PX_(n-1)+nQ+R型矩阵的通项公式

在沈文选教授《矩阵的初等应用》一书中,给出了关于根据方阵的递推关系求通项公式的方法,将此方法运用到m×k阶矩阵中,并且结合数列中的根据递推关系求通项的方法,得出了以下重要的结论:根据Xn=PXn-1型关系求Xn通项公式;如何将Xn=PXn-1+nQ+R型转化为Xn=PXn-1型,并给出这两种类型求通项公式的方法,并举例说明.     

一元三次方程的一种解法

<正> 对于一般的一元三次方程ax~3+ax~2+cz+k=0(a≠0)可以在方程两边除以a(a≠0的假设)后变形为: x~3+a_1x~2+a_2x+u_s=0     

组合式∑k=1^n（-1）^kK^mCn^k（m∈N）的计算

受文[1]的启发,本文就组合式∑k=1^n(-1)kmCn^k当m为任意自然数时给出一个递推关系式,并给出了几个重要的有用结果。     

关于丢番图方程x~3-1=Dy~2

本文证明了x~3-1=Dy~2(D>0,不含平方因子,且被6k+1形素数整除)当D<100,D≠26,31,7,38时,除D=61,仅有解(x,y)=(13,±6)外,其它情况无非零整数解。     

常系数齐线性差分方程公式解的推广及其证明

众所周知,一般教材上只介绍常系数齐线性差分方程的公式解。其实,结论对于变系数齐线性差分方程同样成立。下面将给出证明。 定义1 设a_0,a_1,a_2,…,是一个无穷序列,则称关于a_n,a_(n+1),…,a_(n+k-1),a_(n+k)的方程 λ_0a_(n+k)+λ_1a_(n+k-1)+…+λ_ka_n=0 (1)为k阶齐线性差分方程。 这里k是自然数,λ_j(j=0,1,2,…,k)是关于n的函数,λ_0λ_k≠0。 定义2 关于x的一元k次方程     

关于爱多士猜想4/n=1/x+1/y+1/z

文献[3]指出,不定方程 4/n =1/x+1/y+1/z除了n≡1 ,121,169,289,361,529(mod840)外,对其余的所有正整数n都可解。本文给出了上述不定方程的解满足的条件,借助这一条件,得到了文献[3]中没有解决的n≡1,121,169,289,361,529(mod840)中每一种情形的两大类正整数解的具体表达式。     

H_+~P中的一般重插值及插值系{Q_n,k(Z)}

§1 引言及已知定理文[1]利用在实轴上双正交的函数系{r_k(z)}_1~∞和{Ω_(ntk)~(?)(z)}_1~∞,对H_+~p(1相似文献   

特征不为零的域的一些特征

特征为素数p的域k的任意元a,b,恒有(a+b)~p=a~p+b~p,本文目的是探讨它的逆命题的特性。 在[1]文中已得结果:设域k的元素个数|k|≥p(素数),且k的任意元a,b,恒有(a+b)~p=a~p+b~p,则k的特征为p。本文推广其结果,即 定理1.设域k的任意元a,b,恒有(a+b)~p=a~p+b~p(p是素数),则或(1)k的特征为p;或(2)k的特征为g(g相似文献   

两个排列矩阵的广义线性组合的相对增益阵列的迭代的收敛性

设P、Q是排列矩阵,D_1、D_2是非奇异的实对角阵,在P+Q是非奇异的条件下,给出了D_1P+D_2Q是非奇异的充要条件;证明了,D_1P+D_2Q非奇异,则迭代Φ~k(D_1P+D_2Q)收敛。本文的结果推广了C.R.Johnson等人的相应结果。