命题：四阶魔方一定可以用4的整数倍的步数复原

jimofc

证明，
由三循环PLL公式（17步）
R2 U R' U R' U' R U' R2 D U' R' U R u'
连做3次可以回到初始魔方状态
17*3=51
51/4=12......3

而3的倍数除4的余数为
3, 6（2）， 9（1）， 12（0）.....


∴对于无论用多少步还原好的四阶魔方
每连做3次公式可以改变使步数除以4后的余数减一（或加三），
即四阶魔方一定可以用4的整数倍的步数复原
命题得证

jimofc

打乱是U的解法：

R2 U R' U R' U' R U' R2 D U' R' U R u' R2 U R' U R' U' R U' R2 D U' R' U R u' R2 U R' U R' U' R U' R2 D U' R' U R u' U

52步，4的倍数