含有3阶广义幻方的镶嵌幻矩--3.pdfVIP

3 2m+1)*(2n+1) 含有 阶广义幻方的 （ 阶正规镶嵌幻矩的存在性 作者 钟明 摘要 p*q幻矩是一个p行q列矩阵，元素是从0到pq-1的连续整数， 使得每一行元素和为常数 q(pq1) p(pq1) ,每列元素和为常数 , 2 2 当p=2m+1,q=2n+1,且第n,n+1,n+2列第m,m+1,m+2行的3*3的矩阵恰好是一个3阶广义幻方。  1im1 （1）对于 i,j且 ;n≤j≤n+2， a a (2m1)*(2n1) ij 2m2i,j  （2）对于 i,1≤j≤n-1， a a (2m1)*(2n1) ij i,2n2j 称为一个含有3阶广义幻方的（2m+1)*(2n+1)阶正规镶嵌幻矩 ，并记为S(2n+1,2m+1) 本文证明，存在一个S(2n+1,2m+1),当且仅当n+m≥4时。 关键词：幻矩、镶嵌幻矩、含有3阶广义幻方的正规镶嵌幻矩。 1 引言 m*n幻矩是一个m行n列矩阵，元素是从h开始的mn个连续整数，使得每一行元素和为 常数S(h),每列元素和为常数S (h),通常取h=0或1,易见 r c n(mn1) m(mn1) S(h)=nh+ ,S (h)=mh+ r c 2 2 定理1.1 m,n1,m*n幻矩存在的充分必要条件是m≡n(mod2),且(m,n)≠(2,2). 1990年我国学者孙荣国独立得到这一结果，并用于构造双重幻方，不久，Bier,Roger 和Bier.Kleinschmidt给出了不同的证明，1999年Hagedorn给出了幻矩存在性的一个简化 证明。Hagedorn还将幻矩从二维情形推广到了多维情形。 我们在研究三维和多维幻矩的构造时要用到一类特殊的幻矩，即含有3阶广义幻方的镶 嵌幻矩，为此，本文将解决这类幻矩的存在性。 设Z为所有整数构成的集合，设a,b Z且ab，  令:[a,b]={x/x Z,a≤x≤b}  设Z为所有整数构成的集合，设a,b,c,k Z,j=1,2,..,k且a≤c≤b， j  j 令:[a,b]\{c/j=1,2,...,k}={x/x Z,a≤x≤b且x≠c} j  j 设m≤n为两个正整数，一个含有3阶广义幻方的 （2m+1)*(2n+1)阶镶嵌幻矩，记为S （2m+1,2n+1)= （a ）(a [1,(2m+1)*(2n+1)]),是指一个(2m+1)*(2n+1)的幻矩中第 ij ij n,n+1,n+2列且第m,m+1,m+2行的元素组成的3*3的矩阵恰好是一个3阶广义幻方，  1im1 （1）对于 i,j且 ;n≤j≤n+2， a a (2m1)*(2n1) ij 2m2i,j  （2）对于 i,1≤j≤n-1， a a (2m1)*(2n1) ij i,2n2j 定理1,2 设m≤n为两个正整数，若存在一个S （2n