两个问题。

1、是否有比较理性的证明方法，证明为何最终得到的二进制位是初始的反转，而不是通过观察规律？

2、如何理解反转数组：

rev[i] = (rev[i >> 1] >> 1) | ((i & 1) << l)
//rev[i]是i翻转得到的 l已经在统计时减去了1

或者说，如何 理性地 证明这样就可以将二进制位反转？