MathLabs

第4题

考虑一个 2018×20192018\times2019 的棋盘,每个单位方格中写有一个整数。若两个单位方格有公共边,则称它们为邻居。每一轮中,选出若干单位方格;然后对每个被选中的方格,计算其所有邻居的平均值,最后,在所有这些计算完成后,将每个被选中方格中的数替换为相应的平均值。经过有限多轮后,是否总能使所有方格中的数都相等?
第 3/6 步:反射平衡棋盘保持平衡
degree 2→3: 2(a+b+c)≡a;degree 3→4: 4(a+b+c+d)≡a;degree 2→4: 4(2a+b+c)≡a\text{degree}\ 2\to3:\ 2(a+b+c)\equiv a;\quad \text{degree}\ 3\to4:\ 4(a+b+c+d)\equiv a;\quad \text{degree}\ 2\to4:\ 4(2a+b+c)\equiv a
详细分析

将平衡棋盘沿其一条边反射,使该方向的尺寸加倍;反射得到的副本重复相同的值,故接缝处的两列(或两行)相等。已有 44 个邻居的格子反射后邻居不变,其平衡不受影响。有 22 个邻居 b,cb,c 的边界格(故 a≡3(b+c)a\equiv3(b+c),即 b+c≡2ab+c\equiv2a)若新增一个与自身相等的邻居,则满足所示恒等式 2(a+b+c)=2(a+2a)=6a≡a2(a+b+c)=2(a+2a)=6a\equiv a;若新增两个这样的邻居(沿两个方向反射的角格),则满足所示恒等式 4(2a+b+c)=4(2a+2a)=16a≡a4(2a+b+c)=4(2a+2a)=16a\equiv a。有 33 个邻居 b,c,db,c,d 的格子(故 a≡2(b+c+d)a\equiv2(b+c+d),即 b+c+d≡3ab+c+d\equiv3a)若新增一个与自身相等的邻居,满足 4(a+b+c+d)=4(a+3a)=16a≡a4(a+b+c+d)=4(a+3a)=16a\equiv a。无论哪种情形,反射后的棋盘都再次处于模 55 的平衡状态。