一个猜想的简捷证明

文 [1 ]已证明 :在任意△ ABC中 ,有cos3 A cos3 B cos3 C≥ 38,其中“=”当且仅当△ ABC为正三角形时成立 ,并给出如下猜想 :cosn A cosn B cosn C≥ 3( 12 ) n,( n≥ 2 ,n∈ N) .文 [2 ]利用著名的 Jacobsthal不等式证明了这个猜想 ,下面利用平均值不等式给这个猜想一个简捷证明 .猜想证明 :当 n =2时不等式易证 (略 ) .当 n >2时 ,对非钝角△ ABC,由平均值不等式知 :2 ( 2 cos A) n n - 2≥ 4 n .cos2 A,即　 ( 2 cos A) n≥ 2 n( cos2 A - 14 ) 1 ,同理　 ( 2 cos B) n ≥ 2 n( cos2 B - 14 ) 1 ,　 ( 2 cos C)…     

同余数问题与椭圆曲线 献给杨乐教授80华诞

设n为一个模8余5的正整数,使得n的所有素因子均模4余1且Q((-n)~(1/2))没有阶为4的理想类.本文引入对n的素因子个数的归纳方法,给出椭圆曲线E(n):ny~2=x~3-x上Heegner点的非平凡性,从而给出n为同余数的证明(定理6.1).本文还综述对同余椭圆曲线的Goldfeld猜想及BSD猜想(Birch和Swinnerton-Dyer猜想)方面的结果.一方面,基于这种归纳方法, Tian等(2017)推广这一结果得到了更多的同余数,再结合Smith (2015)及Heath-Brown (1994),本文证明同余数问题的弱Goldfeld猜想(主定理A).另一方面,基于定理6.1以及Li、Liu和本人(2019)的工作,本文证明完整BSD猜想对椭圆曲线E~((n))成立(主定理B).这样得到了完整BSD猜想对无穷多条秩为1的椭圆曲线成立.     

具有固定行列和k的阶为2k-2的(0,1)-矩阵的最大跳跃数

1992年Brualdi与Jung首次引出了最大跳跃数M(n,k),即每行每列均含k个1的阶为n的(0,1)-矩阵的跳跃数的极大数,给出了满足条件1≤k ≤n ≤10的(0,1)-矩阵的最大跳跃数M(n,k)的一个表,并提出了几个猜想,其中包括猜想M(2k-2,k)=3k-4 [k-2/2].本文证明了当k≥11时,对每个A∈∧(2k-2,k)有b(A)≥4.还得到了该猜想的另一个反例.     

关于复方阵的平方根

本刊文 [1]中提出如何判断一个方阵是否存在平方根的问题 .这里 ,我们就 n阶复方阵情形给出三个判别准则 .设 A是 n阶复方阵 ,JA 表示它的若当标准形 ,则存在相似变换矩阵 P,使得 A=PJAP-1 .有关复方阵 A的若当标准形 JA 以及相似变换矩阵P的求法 ,见本刊文 [2 ]或 [3 ] ,本文不再赘述 .定义 1　设 A是 n阶复方阵 ,若存在 n阶复方阵 B,使得 B2 =A,则称 B为 A的平方根 .为书写简便 ,我们用记号 Jr( x) ( r≥ 1)与diag[B1 ,B2 ,… ,Bs]分别表示 r阶若当矩阵和对角块矩阵 :x 1 x 1x∈ Mr( C) ,B1 B2 Bs.用文 [2 ]中给出的计算复…     

Balinski和Russakoff关于分配多面体图连通性猜想的证明

在文[1]中,M.L.Balinski和A.Russakoff猜测,分配多面体图G(P_n)是N(n)-连通的,这里是G(P_n)的正则度数。本文证明了这一猜想,得到G(P_n)的连通度等于N(n)。     

关于有向图n·(C)3是优美图的一个猜想的证明

在文[1]中提出猜想:当n≡0(mod2)时,n·(C)3是优美图. 本文证明了这个猜想.     

矩阵秩的一个恒等式及其证明

就文[1]中提出的A2=E条件下的猜想:∑i=1rank(A+kiE)=(t-1)n+rank(ftA+gtE),给出了等式成立的条件及等式的具体表达式,并予以证明,使问题得以彻底解决.     

关于强P除环上方阵的酉相似理论的一点注记

在文[1]中定义了强p除环Ω,即满足如下条件(1)—(4)的除环Ω: (1)存在Ω的对合反自同构σ(即σ为反自同构,且σ(σ(α))=α Aα∈Ω) (2)Aα_i∈Ω,i=1,…,n(n∈N) sum from i=1 to n(α_iσ(α_i)=0 α_i=0,i=1,2,…,n)。 (3)命R={α∈Ω|σ(α)=α},则R含在Ω的中心中。 (4)Aα_i∈Ω,i=1,2,…,n(n∈N)方程x~2-sum from i-1 to n(α_iσ(α_i))=0在Ω中有且只有两解。 事实上,除了平凡的情况外,强p除环Ω就是R上的四元数除环。确切地说,我们有 定理1 设Ω为强p除环,则Ω为(1)R,(2)R+R_i或(3)R上的四元数除环。这里     

几乎可分方阵类的本原指数集

本文刻划了n阶几乎可分方阵类的本原指数集以及一些极阵,并提出了一个有关的猜想.     

一个猜想的证明

文[1]给出了:在任意△ABC中,A、B、C表示其三内角,则cos3A cos3B cos3C≥38.(当且仅当△ABC为正三角形时等号成立)并给出了如下猜想:cosnA cosnB cosnC≥32n.(n≥2,n∈N*)　(*)本文将利用著名的Jacobsthal不等式[2]:“设x≥0,y≥0,对任意正整数n,有xn (n-1)yn≥nxyn-1”的变形:“当x≥0,y>0时,有xnyn-1≥nx-(n-1)y”,以及相关的函数性质给出猜想的如下证明.证明　(1)若n=2k(k∈N*)时,　cosnA cosnB cosnC=cos2kA cos2kB cos2kC=(14)k-1[(cos2A)k(14)k-1 (cos2B)k(14)k-1 (cos2C)k(14)k-1]≥(14)k-1{[kcos2A-14(k-1)] [kcos2B-14…     

Dixmer猜想

Dixmer 有一猜想:Weyl 代数 A_1(k)的任何自同态均是自同构.本文证明,如果 n=2 时的 Jacobi 猜想成立,则 Dixmer 猜想成立.     

关于有向图n·_3是优美图的一个猜想的证明

在文 [1 ]中提出猜想 :当 n≡ 0 (mod2 )时 ,n· C 3是优美图 .本文证明了这个猜想 .     

张黄羿的猜想证明

本刊2007年1月(下)期发表了湖南长沙市雅礼中学初中二年级65班张黄羿同学写的《关于m个9组成的数的几次方的猜测》.文中张黄羿同学猜想:m个9组成的数的n(1～5的整数)次方,等于在9~n的得数的每一数字前面交替地写上(m-1)个9和(m-1)个0的数,即若9~n=ABCD……N(n=1～5)则■文中张黄羿同学还猜想:9~n的得数是n位数.上述猜想对吗?请看     

一个有趣的组合恒等式猜想的证明

在第三届全国不等式学术年会上,江苏的褚小光老师提出了如下猜想:n2C02n (n-1)2C12n (n-2)2C22n … 22Cn-2n 2 12Cn2-n 1=n·22n-2.经探讨发现,此猜想成立,即有定理1 n2C02n (n-1)2C12n (n-2)2·C22n … 22Cn-2n 2 12Cn2-n 1=n·22n-2.证明n2C02n (n-1)2C12n (n-2)2C22n … 22C     

一个猜想的否定

《中学生数学》2005年12月(上)《一道数学题的简证及猜想》一文中提出如下猜想:(2n -3)m (2n-1)m 1 (2n 1)m 2 (2n 3)m 3能被2n整除(n≥2,n、m∈N)．当n=3,m=1时,     

组合合成阵本原指数的一个上界

讨论n阶正对角元本原矩阵A的r级组合合成Cr(A)，得到了它的本原指数的上界：r(Cr(A))≤n-r，r=1，2，…，n，解决了文[4]中的一个猜想．进而得出，设Mr={Cr(A)|A是n阶正对角元本原矩阵}，Mr中所有合成阵的本原指数集填满{1，2，…，n-r}．     

求A^n及应用

本文借助于多元齐次线性递推公式的理论求出方阵A的n次幂。然后再讲讲它的一个应用。 定理1 设X_n=AX_(n-1),其中A为m阶方阵,X_n为m维向量。A的特征方程为     

关于Erds-Jacobson-Lehel问题的门槛(英文)

设σ(k ,n)表示最小的正整数m ,使得对于每个n项正可图序列 ,当其项和至少为m时 ,有一个实现含k+ 1个顶点的团作为其子图 .Erd s等人猜想 :σ(k ,n) =(k - 1 ) ( 2n-k)+ 2 .Li等人证明了这个猜想对于k≥ 5,n≥ k2 + 3是对的 ,并且提出如下问题 :确定最小的整数N(k) ,使得这个猜想对于n≥N(k)成立 .他们同时指出 :当k≥ 5时 ,5k- 12 ≤N(k)≤ k2 + 3.Mubayi猜想 :当k≥ 5时 ,N(k) =5k - 12 .在本文中 ,我们证明了N( 8) =2 0 ,即Mubayi猜想对于k =8是成立的     

对一道函数问题的探析

以下问题是我校高一年级2017年4月期中考试中的试题:已知集合A={f(x) |f(x)+f(x+2)=f(x+1)},g(x)=sin(πx/3). (1)求证:g(x)∈A;(2)g(x)是周期函数,据此猜想A中的元素一定是周期函数.判断该猜想是否正确,并证明你的结论;(3)g(x)是奇函数,据此猜想A中元素一定是奇函数.判断该猜想是否正确,并证明你的结论.     

规范奇数边形一个猜想的解决北大核心

文[1]定义了规范五边形,并着重研究规范五边形的有关性质,最后提出了一个关于非正多边形的规范奇数边形的存在性猜想,其本质如下:猜想存在非正多边形的规范奇数边形,类似于规范五边形的定义,在2n+1(n∈N^(*),n≥2)边形A_(1)A_(2)…A_(2n+1)中,B_(1),B_(2).