偶然逛到了这题,不知道你还需不需要解答了
不是大佬,顺着思路写了个证法,应该还有更巧妙的证法吧,这得等真大佬了
如下,
题目即证不可能操作无限次。
假设可以无限次操作下去,
Case 1.仅有有限个整点被操作过,
那么必有整点被操作了无限次,设这些整点构成集合A,
那么与A中点相邻的整点也被操作了无限次(否则有无限个石子被放在了里面而出不来,与石子有限矛盾 )。
从而,A不可能是有限集,Case 1不成立。
Case 2.有无限个整点被操作过,
把每两个相邻的整点用一条长度为1的线段相连,在每条边上贴一个“标签”。
现在,对于每条边,第一个从该边经过的石子,将这条边上的标签贴到这个石子上(注意每边只有一个标签,仅贴在第一个经过的石子上)。
可以认为,被贴上了标签的石子,只能在对应的边之间转移。
这是因为,设A.B是两个相邻的整点,
设经过边AB的第一个石子是从A到B的,那么若B被操作,说明此时B上至少有四个石子,可以让这个被标记的回到A,继续也如此。
由于有无限个点被操作过,就有无限条边有石子经过,就贴了无数个标签。
而每个石子至多贴一个标签,石子有限,贴的标签也有限,矛盾。
从而,Case2不成立。
综上,假设不成立,原命题得证。
不是大佬,顺着思路写了个证法,应该还有更巧妙的证法吧,这得等真大佬了
如下,
题目即证不可能操作无限次。
假设可以无限次操作下去,
Case 1.仅有有限个整点被操作过,
那么必有整点被操作了无限次,设这些整点构成集合A,
那么与A中点相邻的整点也被操作了无限次(否则有无限个石子被放在了里面而出不来,与石子有限矛盾 )。
从而,A不可能是有限集,Case 1不成立。
Case 2.有无限个整点被操作过,
把每两个相邻的整点用一条长度为1的线段相连,在每条边上贴一个“标签”。
现在,对于每条边,第一个从该边经过的石子,将这条边上的标签贴到这个石子上(注意每边只有一个标签,仅贴在第一个经过的石子上)。
可以认为,被贴上了标签的石子,只能在对应的边之间转移。
这是因为,设A.B是两个相邻的整点,
设经过边AB的第一个石子是从A到B的,那么若B被操作,说明此时B上至少有四个石子,可以让这个被标记的回到A,继续也如此。
由于有无限个点被操作过,就有无限条边有石子经过,就贴了无数个标签。
而每个石子至多贴一个标签,石子有限,贴的标签也有限,矛盾。
从而,Case2不成立。
综上,假设不成立,原命题得证。