,某个可判定性命题与非周期密铺密切相关。他一度尝试证明一种猜想:如果对某类瓷砖存在一般意义上的非周期密铺,那么也一定存在周期性的密铺。
“但是不久后,王浩的学生Robert Berger构造出了反例,他用种不同的瓷砖构造了本质上的非周期密铺——无论怎么重新铺排,都不会出现周期性结构。
“此后,数学家对本质非周期密铺给与了持续的关注度。数学界渴望了解,是否可以用更少种数目的瓷砖集构造出非周期密铺。
“对于该问题在二维平面上的情形下,目前的答案是:牛津大学数学系名誉教授罗杰·彭罗斯(Roger Penrose)【5】在不久前刚刚简化到了2种完全不同的基本形状。”
陆家义说到这里,整个大厅里忽然安静到落针可闻。
紧接着,陆家义在冯琪诺的帮助下,画出了彭罗斯的答案【6】。
然而,陆家义在画出了“彭罗斯瓷砖”后,他想到了些什么,但却难以捕捉。
过了近一分钟后,陆家义摇了摇头:“然而,时至今日,我仍旧觉得,即使是在只允许旋转和平移,而不允许镜像对称的条件下,2种也实在太多了。而且,彭罗斯教授给出的还是完全不同的基本图形。如果禁止镜像对称,对现在的我来说,有些苛刻。但是如果把条件调整到允许旋转、平移与镜像对称,或许就存在这样的可能了。”
随着陆家义确实已经停止发言、开始陷入思考中,冯琪诺在深思熟虑之后,忽然用英语对在场的所有人发出了灵魂拷问:“早在所长离开研究所出国前,我就在业余时间和他讨论过在二维平面上是否可行的问题,他和我都有一个疑惑:为什么迄今为止的所有研究者一定要纠结于四边形和等腰直角三角形为基础呢?”
说罢,冯琪诺用粉笔画出了几个基本图形,对众人问道:“不论是王浩先生还是彭罗斯先生,都好像在与正方形、菱形和等腰直角三角形过不去。虽然我不是很懂数学,但我想问问:一般的三角形和等腰三角形不行,难道以等边三角形为基底或者等分后的三角形的一部分及其组合为基底,就真的不可以吗?”
此话一出,整个教室第二次陷入了沉默。
陆家义一时间也被说懵了,他手中的粉笔不慎落在了地上,在场的数十位听众也立刻感受到了陆家义此时的震惊。
从零开始的模糊会士