含有3阶广义幻方2m+1*2n+1阶正规镶嵌幻矩存在性研究.pdfVIP

含有3阶广义幻方的（2m+1)*(2n+1)阶正规镶嵌幻矩的存在性

p*q幻矩是一个p行q列矩阵，元素是从0到pq-1的连续整数，使得每一行元素和为常数

q(pq−1)p(pq−1)

,每列元素和为常数,

22

当p=2m+1,q=2n+1,且第n,n+1,n+2列第m,m+1,m+2行的3*3的矩阵恰好是一个3阶广义幻方。

当m=1时，对于j,1≤j≤n-1，

满足aij+ai,2n+−=(2m+1)*(2n+1)+2h-1(i=1,2,3)

2j

当m≥2时，对于i,1≤i≤m-1,

都满足aij+a2m2=(2m+1)*(2n+1)+2h-1,(j=1,2,..,2n+1)

+−i,j

对于j,1≤j≤n-1,都满足aij+ai,2n+2−j=(2m+1)*(2n+1)2h-1(i=m,m+1,m+2)

称为一个含有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,易见

rc

n(mn−1)m(mn−1)

S(h)=nh+,S(h)=mh+

rc

22

定理1.1m,n1,m*n幻矩存在的充分必要条件是m≡n(mod2),且(m,n)≠(2,2).

1990年我国学者独立得到这一结果，并用于构造双重幻方，不久，Bier,Roger

和Bier.Kleinschmidt给出了不同的证明，1999年Hagedorn给出了幻矩存在性的一个简化

证明。Hagedorn还将幻矩从二维情形推广到了情形。

我们在研究三维和幻矩的构造时要用到一类特殊的幻矩，即含有3阶广义幻方的镶

嵌幻矩，为此，本文将解决这类幻矩的存在性。



设Z为所有整数构成的集合，设a,bZ且ab，



令:[a,b]={x/xZ,a≤x≤b}



设Z为所有整数构成的集合，设a,b,c,kZ,j=1,2,..,k且a≤c≤b，

jj



令:[a,b]\{c/j=1,2,...,k}={x/xZ,a≤x≤b且x≠c}

jj

设m≤n为两个正整数，一个含有3阶广义幻方的（2m+1)*(2n+1)阶镶嵌幻矩，记为S

（2m+1,2n+1)=（a）(a[1,(2m+1)*(2n+1)]),是指一个(2m+1)*(2n+1)的幻矩中第