1. 引言
幻方 [1] [2] 又称“河图”、“洛书”或“纵横图”,是使得m行m列矩阵每行每列以及对角线上的数字和都相等的方法。幻方作为一类特殊的整数矩阵,不仅可应用于大量的美术设计和西方建筑中,还可应用于封面包装,其重要性不言而喻,自然而然得到众多学者的青睐。而臻美和幻方作为一类特殊的整数矩阵及和幻方,其构造问题也就有必要进行深入研究。
吴硕辛老师在中国文化出版社出版的《
语言的理论与应用》 [3] 专著中提出了臻美和幻方,并说
既是臻美和幻方又是完美和幻方,而
是完美和幻方但不是臻美和幻方。
虽然他对臻美和幻方按其理论给出了定义,但由于其理论较为复杂且繁琐,对于大多数读者来说难以读懂,故需要对该理论进行解释补充。在通过对他提出的定义进行研究后,本文结合现今和幻方的规范定义形式,给出了臻美和幻方的相关定义、性质及奇数阶始元臻美和幻方的构造方法 [4] [5] [6]。
注:为了叙述方便,现对文中的符号进行说明。
1) 下文中规定
。
2) 本文中
表示第i行第j列的元素是1而其余元素都是零的m阶矩阵。
3)
表示
对m做除法所得的余数,
表示
对m做除法所得的余数。
2. 预备知识
为给出臻美和幻方的定义及其构造定理,我们需要以下定义。
定义1 [7] 若矩阵,
,(其中
)满足:
①;
②;
③;
④;
则称矩阵A为数域F上的m阶和幻方,并称S1为m阶和幻方A的幻和。
定义2 [8] 若矩阵,
,(其中
)满足:
①;
②;
③;
④;
⑤ 对于
,有
;
⑥ 对于
,有
;
则称矩阵A为m阶完美和幻方,并称S2为m阶完美和幻方A的幻和。
定义3 [9] 设矩阵
(
),
,当
有
,则称矩阵A为m阶拉丁方。
定义4 [10] 设矩阵
(
),满足:
① 对
,当
有
恒成立;
② 对
,当
有
恒成立;
③ 对
,当
有
恒成立;
④ 对
,当
有
恒成立;
则称矩阵A是m阶拉丁幻方。
定义5 [8] 设矩阵
(
),满足:
① 矩阵A的每一行,每一列都是
的一个全排列;
②
都是
的一个全排列;
③
都是
的一个全排列;
则称矩阵A是m阶完美拉丁幻方。
3. 主要结果
3.1. 定义
首先给出奇数阶始元完美和幻方的定义。
定义6 若奇数阶矩阵,
(其中
),满足:
①;
②;
③;
④;
⑤ 对于
,有
;
⑥ 对于
,有
;
当
或
时有
,则称矩阵A为m阶始元完美和幻方,并称S3为m阶始元完美和幻方A的幻和。
由于奇数阶始元完美和幻方是特殊的奇数阶连元完美和幻方,所以就有如下定义。
定义7 若奇数阶矩阵,
(其中
),满足以下条件:
①;
②;
③;
④;
⑤ 对于
,有
;
⑥ 对于
,有
;
当
或
时有
,
,则称矩阵A为m阶连元完美和幻方,并称S4为m阶连元完美和幻方A的幻和。
又由于奇数阶连元完美和幻方是特殊的奇数阶异元完美和幻方,所以也就有如下定义。
定义8 若奇数阶矩阵,
,(其中
)且
当
时
,满足:
①;
②;
③;
④;
⑤ 对于
,有
;
⑥ 对于
,有
;
当
或
时有
,
,则称矩阵A为m阶异元完美和幻方,并称S5为m阶异元完美和幻方A的幻和。
接下来,我们给出奇数阶始元臻美和幻方的定义。
定义9 若奇数阶矩阵,
,(其中
),满足:
①
是
的一个全排列;
②;
③
,其中
;
④
(B、C都是m阶完美拉丁幻方);
则称A为m阶始元臻美和幻方,并称S6为m阶始元臻美和幻方A的幻和。
定义10 若奇数阶矩阵,
(其中
),满足:
①
是
的一个全排列;
②;
③
,其中
;
④
(B、C都是m阶完美拉丁幻方);
则称A为m阶连元臻美和幻方,并称S7为m阶连元臻美和幻方A的幻和。
定义11 若奇数阶矩阵,
(其中
)且
当
时
,满足:
①
是
的一个全排列;
②;
③
,其中
;
④
(B,C都是m阶完美拉丁幻方);
则称A为m阶异元臻美和幻方,并称S8为m阶异元臻美和幻方A的幻和。
为了证明奇数阶臻美和幻方的构造定理,下面我们给出具有和幻性矩阵的定义。
定义12 设奇数阶矩阵
,如果,则称A是具有和幻性的m阶矩阵,S9为m阶矩阵A的幻和。
3.2. 性质
根据臻美和幻方的定义可知,有以下结论成立。
性质1. 设奇数阶矩阵
是异元臻美和幻方,并且规定
,则
有
及
也是异元臻美和幻方。
由于连元臻美和幻方是特殊的异元臻美和幻方,始元臻美和幻方是特殊的连元臻美和幻方,所以有以下推论成立。
推论1. 设奇数阶矩阵
是连元臻美和幻方,并且规定
,则
有
及
也是连元臻美和幻方。
推论2. 设奇数阶矩阵
是始元臻美和幻方,并且规定
,则
有
及
也是始元臻美和幻方。
性质2. 如果奇数阶矩阵
是异元臻美和幻方,且幻和为
(
is u-digit number,即
是一个u位数),规定
,将
变为
(其中
is
-digit number (即
是一个
位数),
is
-digit number (即
是一个
位数)
),则有
3.3. 奇数阶臻美和幻方的构造方法
定理1 设
,
,对
规定:
;
利用
及
构造
阶矩阵B及C如下:
;
如果
阶矩阵B,C为
阶完美拉丁幻方,则称矩阵
是
阶始元臻美和幻方。
证明:要证明矩阵A是
阶始元臻美和幻方,就需要完成以下四步:
① A是具有和幻性的矩阵;
② A中的元素两两互不相等;
③ A中的元素取自集合
;
④ B,C是完美拉丁幻方。
第一步:
由于B,C是完美拉丁幻方,则B,C是具有和幻性的矩阵。又由于
且具有和幻性矩阵的线性组合仍然是具有和幻性的矩阵。则矩阵A就是具有和幻性的矩阵。
第二步:
由于B是关于
的拉丁幻方,而C是关于
的拉丁幻方,且
,则B与C正交。则
,对
两两互不相等,则
两两互不相等,也即A是
阶异元臻美和幻方。
第三步:
由于
,
,则
,则
,也即A是
阶始元臻美和幻方。
第四步:
由已知可知B,C是完美拉丁幻方。
综合以上可知,矩阵A即为
阶始元臻美和幻方。
注:
奇数阶始元臻美和幻方的构造方法也是奇数阶始元完美和幻方的构造方法,同样也是奇数阶始元和幻方的构造方法。但奇数阶始元和幻方的构造方法不一定能构造出奇数阶始元完美和幻方,同时奇数阶始元完美和幻方的构造方法不一定能构造出奇数阶始元臻美和幻方。
(由于奇数阶始元臻美和幻方是特殊的奇数阶始元完美和幻方,也是特殊的奇数阶始元和幻方,故这两类和幻方是存在的且对应的奇数阶定义是有意义的。)
推论3 设
,
,对
规定
;
利用
及
构造
阶矩阵B及C如下:
;
如果
阶矩阵B、C为
阶完美拉丁幻方,则称矩阵
是
阶连元臻美和幻方。
由于定理及推论中涉及到的这
个元素都是两两互不相等的,所以始元臻美和幻方的构造方法也是异元臻美和幻方的构造方法。
接下来通过例子验证定义9及定理1的正确性。
例1. 给出一个11阶始元臻美和幻方。
解:由奇数阶臻美和幻方的构造定理1知,n阶完美拉丁幻方B,C分别为:
则矩阵
对于矩阵A中的任意元素
,都有
),满足:
①
是
的一个全排列;
②;
③
,其中
;
④
(B、C都是m阶完美拉丁幻方);
因此,矩阵
满足定义9的条件。
所以,矩阵A为11阶始元臻美和幻方。
4. 偶数阶臻美和幻方的存在性
由奇数阶臻美和幻方的构造定理知,奇数阶臻美和幻方是存在的,但我们通过计算机程序求解得到
阶的所有和幻方,对其进行
形式的分解,分解后发现B和C只有一个是拉丁幻方,另一个不是拉丁幻方。又由任意的一个始元和幻方都可以分解为一个行拉丁方和一个列拉丁方的形式 [3],所以我们猜想:偶数阶臻美和幻方不存在。
关于此猜想的证明,目前来说,我们没有找到一个合适的证明方法,只有通过列举法把一些情况进行否定,具体证明方式有待于日后再做进一步的研究。
5. 小结
本文利用了构造特殊函数及固定向量与矩阵表示相结合的思路,研究了奇数阶始元臻美和幻方的构造方法,并通过具体例子验证了定义9及定理1的正确性,最后提出关于偶数阶臻美和幻方不存在的猜想。
NOTES
*惠晶(1998-),女,陕西榆林人,延安大学本科生。
#通讯作者。刘兴祥(1964-),男,陕西合阳人,副教授,硕士生导师,研究方向:矩阵理论。