关于线性方程组的进一步讨论

现行的各种《高等代数》教科书对数域F上线性方程组:的解进行了详细的讨论,并给出导出齐次方程组的解的结构定理: 定理1:数域F上的一个n个未知量的齐次线性方程组(2)的一个解作成F~n的一个子空间,称为这个齐次线性方程组的解空间,如果所     

一类齐次线性方程组有非零解的充分条件的一种新证法

利用行列式基本理论,给出了由n个方程n个未知量组成的齐次线性方程组有非零解的充分条件的一种新证法.     

关于Evans三角形的一个结论

探讨Evans三角形的存在问题,给出Evans三角形存在的一个充分条件,作为特例可得到6种Evans三角形,其高与底边之比分别为(n~2-1),2n(n~2-2),2(n~2-1)(2n~2-1),2n(n~2-1)(n~2-2)(n~2-3),4n(n~2-2)(2n4-4n~2+1),4(n~2-1)(2n~2-1)(8n4-8n~2+1)型的整数,其中4(n~2-1)(2n~2-1)(8n4-8n~2+1)为Evans比的新类型.     

Schur关于交换矩阵的两个定理

<正> 1.1905年Schur证明了复数域上n行n列线性无关交换矩阵的最大数N(n)=[(n~2)/4],而[(n~2)/4]表n~2/4的整数部分,也即证明了复数域上由n×n矩阵组成的交换代数的最高維数是[(n~2)/4]+1,Schur也定出维数是[(n~2)/4]+1的交换代数的形状.1944年Jacobson给了Schur上述两个结果一个简单的证明,并将Schur的结果推广到任意域上,但对于Schur的第二个结果,要除开特征2的非完全域.在本文中,将给出 Schur这     

关于有限群、环、域的判定算法

给定n元集合上的一个二元运算的乘法表(共n~2项)。判定它是不是群,过去的算法需时O(n~3)。我们给出了一个O(n~2)时间的算法。对于环和域的判定,我们也给出了O(n~2)时间的算法。这些算法的时间复杂性的阶已经不能再改进了。     

极小强连通本原有向图的本原指数集

本文的主要结果为:(1)当一个n阶极小强连通本原有向图至少含三个不同圈长时,有γ(D)≤[1/2(n~2-6n+14)](当n≥14时)。(2)e(n)≥[1/2(n~2-6n+16)],即从6到[1/2(n~2-6n+14)]的所有正整数都是某个n阶极小强连通本原有向图的本原指数。(3)给出了n阶极小强连通本原有向图的本原指数集NE_n的明确表达式。     

LD和LD^＊设计的存在性

设X为n元集,称n~2行s列的表A=(αij)为约束数是s的n阶正交表(记为OA(n,s)),若对任意j,k,1≤j1)     

8n阶标准幻立方的第1类快速构造方法

前言费尔马是第一个提出幻立方概念的人。他给出的幻立方定义是:n阶数字立方体的4条对角线和每条直行上n个数之和均等于幻立方常数c_n,c_n=n/2(n~3+1)。共需满足3n~2+4个条件,可以称之为古典幻立方。本文将提出第2种类型的幻立方:n阶数字立方体的3n+6个完整的n阶平面都是n阶     

周期系数的高维Riccati方程的周期解

本文研究了周期系数的高维Riccati方程X’＝X·A（t）·X＋B（t）·X＋C（t）,其中X∈R(n×1)A（t）∈R(1×n),B（t）∈R(n×n),C（t）E∈R(n×1);A（t）,B（t）,C（t）均是以2π为周期的实连续矩阵或向量函数,建立了该方程存在广义周期解的一个充要条件和存在周期解的两个充分条件,推广了周期系数的Riccati方程存在周期解的一些结论．     

齐次线性方程组有非零解条件的应用

线性代数中关于线性方程组的理论有这样一个重要结论:定理[1]含有n个未知量n个方程的齐次线性方程组有非零解的充分必要条件是该方程组的系数行列式等于零.这一结论不仅在线性代数中有广泛应用,而且在数学分析、解析几何等数学分支中也有不少应用.下面我们通过几个实例给予说明.例1设y=ex(C1sinx+C2cosx)(C1,C2为任意常数)是某二阶常系数线性齐次微分方程的通解,则该方程为.(全国2001年硕士研究生入学考试试题)解y=ex(C1sinx+C2cosx)两边对x分别求1阶及2阶导数,并整理,得(C1-C2)exsinx+(C1+C2)excosx-y′=0,(1)-2C2exsinx+2C1excosx-y…     

关于调和级数部分和的估计

本文利用 Bernoulli 数给出可以精确到任意 O(1/n~(2k))阶的 Euler 公式,即对任意自然数 k,总有(?)1/m=C+(?)nn+1/(2n)-((?)B_(2(?)))/(2i)·1/(n~(2(?)))+O(1/(n~(2(k+1)))其中,B_(2(?))(i=1,2,3,…)为 Bernoulli 数,C 为 Euler 常数.     

一类具有n~2/2(n为偶数)或n~2+1/2(n为奇数)个细焦点的(E_n)系统

通过对一类特殊的平面n次多项式微分系统进行参数小扰动,得到了一类具有(n~2)/2(n为偶数)或(n~2+1)/2(n为奇数)个2阶细焦点的(E_n)系统.进一步证明了该系统具有(n~2)/2(n为偶数)或(n~2+1)/2(n为奇数)族极限环,得到了S(n)≥(n~2)/2(n为偶数)或S(n)(n~2+1)/2(n为奇数),改进了已有文献的结果.     

也谈勾股数组一个性质的证明

贵刊84年4期所刊《勾股数组的一个性质的证明。(以下简称《勾股证明》),双勾股数组的一个性质给出了几个初等证明。这个性质是: 任意一组勾股数,a=m~2+n~2,b=2mn,c=m~2-n~2(这里,m、n一奇一偶,m>n,m、n均为自然数)则60|abc, 在本文中,我们将给出一个更为简便的证明,为此,先证明     

半干旱地区草原沙化模型的解的结构与定性分析

主要考虑了半干旱地区植物的数学模型{(ω)/(t)=a-ω-ωn~2+v(ω)/(x) (n)/(t)=ωn~2-mn+n_(xx)+n_(yy)在v=C(即坡地上)条件下,对Klausmeier模型进行了分析.分别证明了半稳态方程和稳态方程的平衡解的稳定性,以及在v=0(平地上)条件下,证明稳态解的存在性.     

二次矩阵方程X~2-bX-C=O的正定解

研究二次矩阵方程X2-bX-C=O(b>0,C为n×n阶正定阵)的正定解,证明了解的存在唯一性并且给出了求解方法.     

数的n进制的一个定理及应用

1主要引理及定理引理1从0到n~2-1(2≤n≤10,n∈N)这n~2个数,在n进制中各位数字和被n除余数为k (0≤k≤n—1)的数的个数记为f_k(n),f_k(n)个余数相同的数的和记为S_k(n),则有: (1)f_k(n)=n,(2)S_k(n)=1/n·(n~2(n~2-1))/2.证明(1)将0到n~2-1这n~2个数依次排成n行,每行n个数,如下:     

一类模糊数系数矩阵的模糊线性方程组的迭代算法

讨论模糊线性方程组X=A~X U解的存在条件及其迭代算法(其中,A~是以模糊数为元素的n×n矩阵,未知量X和常量U都是以模糊数为元素的n维向量,并且其加法和乘法均由Zadeh的扩张原理定义)。首先研究解的存在条件,尔后探讨求解的迭代算法及误差估计。     

一个与Wallis不等式有关的单调减少数列

证明了{n (64 n~3+16 n~2+72n+15)/64 n~3-16 n~2+72n-15~(1/2) integral from 0 to π/2 sin~nxdx}为严格单调减少数列,且极限为π/2~(1/2),因而得π(64 n~3-16 n~2+72n-15)/2n 64 n~3+16 n~2(+72n+15)~(1/2)integral from 0 to π/2 sin~nxdxπ(64 n~3+208 n~2+296n+167)/2 n(+1)(64 n~3+176 n~2+232n+105)~(1/2),将Wallis不等式改进为512 n~3-64 n~2+144n-15/πn (512 n~3+64 n~2+144n+15)~(1/2)2(n-1)!!/2(n)!!512 n~3+832 n~2+592n+167/(πn+0.5)(512 n~3+704 n~2+464n+105)~(1/2).     

Euler常数与Euler公式

本文首先对Euler常数e给出一种新的表达式,它揭示了Euler常数与Riema-an Zeta函数之间的关系,改进了Euler公式,得到 sum from k=1 to n (1/k)=c+ln n+(1/2·1/n)-(1/12·1/n~2)+(1/120·1/n~4)+?(?/n~6)。 用本文的方法,可得到精确到任意0(1/n~2)阶的Euler 式。     

数学小品两则

一、试论一个恒等式的产生在初等代数文献中,有这么一个恒等式:(2n~2+n)~2+(2n~2+n+1)~2+…+(2n~2+2n)~2=(2n~2+2n+1)~2+(2n~2++2n+2)~2+…+(2n~2+3n)~2。当然,这个恒等式既不是天上掉下来的、也不是什么神仙灵机一动搞出来的。而是数学家们不辞劳苦算出来的。让我们从商高定理谈起罢!这是我们所熟悉的一个数字恒等式 3~2+4~2=5~2 如果我们不辞劳苦地算下去,就可以得到如下的几个恒等式: 10~2+11~2+12~2=13~2+14~2, 21~2+22~2+23~2+24~2=25~2+26~2+27~2,36~2+37~2+38~2+39~2+40~2=41~2+42~2+43~2+44~2。