1701019120
1701019121
1979年，陆家羲又证明了一般柯克曼系RB[k；λ；v]存在的充要条件是
1701019122
1701019123
v≡0 mod k，且λ（v-1）≡0 mod （k-1）。
1701019124
1701019125
这一结果终于被发表在1984年第4期的《数学学报》上。仅凭此项成果就足以使他厕身一流组合数学家之中。但是，陆家羲很快取得了另一项真正令国际组合数学界感到震惊的成就：他解决了一个已有130多年历史的关于斯坦纳三元系的区组设计难题！
1701019126
1701019127
如前所述，如果一个斯坦纳三元系B[3；1；v]存在解，那它可能有好几个解，即存在不同的区组族，它们都满足给定的条件。这时，如果这些区组族彼此之间不存在共同的区组，就称它们是不相交的。简单的计算告诉我们，B[3；1；v]最多只可能有v-2个不相交的区组族。如果它们真的达到了v-2个，就称这些区组族是B[3；1；v]的大集。由此产生了组合数学中的一个著名的问题：对于怎样的v，B[3；1；v]的大集才能存在？该问题早在19世纪50年代就已提出，但直到20世纪80年代，人们只得到了零星的结果。
1701019128
1701019129
1983至1984年，国际著名的《组合论杂志》（Journal of Combinatorics Theory）罕见地在两期中连续发表了陆家羲的6篇论文。这6篇论文的总题目是“论不相交斯坦纳三元系的大集”（On Large Sets of Disjoint Steiner Triple Systems，Ⅰ-ⅤⅠ），其中证明了这样的一个定理：如果
1701019130
1701019131
v≡1，3 mod 6，v＞7且v∉{141，283，501，789，1501，2365}，
1701019132
1701019133
那么斯坦纳三元系B[3；1；v]的大集就存在。
1701019134
1701019135
陆家羲在论文中巧妙地建立了一些基于素数因子的递归关系，并精心设计了一个等价的正交拉丁方系，最后终于基本解决了这个已有130多年历史的斯坦纳三元系大集问题。
1701019136
1701019137
4.新星陨落
1701019138
1701019139
一名普通的中学物理教师竟然解决了组合数学中的百年难题，陆家羲在中国数学界引起了轰动。于是，人们开始破格邀请他参加各种学术会议，并请他做大会报告，国内几所大学也打算要聘任他。一切已开始变得美好，他终于有可能在一个良好的环境中自由地从事真正喜爱的研究工作，从而能够取得更多更好的学术成就。然而就在这时，不幸的事发生了。1983年10月31日，他从武汉开会结束，途经北京，连夜搭硬座车回包头，积劳成疾的陆家羲因心脏病突然去世。就像一颗新星，突然在夜空闪耀之后，又遽然而逝，令人不胜惋惜。他付出的太多，而我们给予他的支持太少了。
1701019140
1701019141
两个月后《人民日报》和《光明日报》等，都在显著位置报道了陆家羲的事迹。全国人民都知道了这位不平凡的中学物理教师。
1701019142
1701019143
1987年，陆家羲因“关于不相交斯坦纳三元系大集的研究”而荣获国家自然科学奖一等奖。这是国内数学家所能获得的最高奖励。在此之前，只有华罗庚、吴文俊和陈景润等获得过该奖。
1701019144
1701019145
[1] 所有的n个元素的置换（permutation）通过合成关系形成了一种代数结构，叫做“置换群”。
1701019146
1701019147
[2] 即只取“真”或“假”两值之一的函数（在逻辑学中称为“函项”）。
1701019148
1701019149
[3] 关于“切线法”的介绍，可参考任何一本大学计算数学的教材。
1701019150
1701019151
1701019152
1701019153
1701019155
数学文化教程 人名索引
1701019156
1701019157
阿蒂亚 49
1701019158
1701019159
阿尔福斯 54
1701019160
1701019161
阿基米德 24，29，30，93，150，152-154，164，169
1701019162
1701019163
阿罗 247
1701019164
1701019165
爱迪生 46
1701019166
1701019167
爱因斯坦 23，45，46，121，166，251，297
1701019168
1701019169
巴林斯基 233
[
上一页 ]
[ :1.70101912e+09 ]
[
下一页 ]