如何判断一个正整数是否是4的幂？

4的幂具有的性质

1. 4的幂用二进制可表示为长度为奇数（2的偶数次幂），且只有首位为1的形式。
   证明：$4^n=(2^2)^n=2^{2n}$
2. 4的幂减去1是3的倍数。
   证明：$4^n=(1+3)^n=1+3C_{n}^{n-1}+3^2C_{n}^{n-2}+\ldots+3^n=3(C_{n}^{n-1}+3C_{n}^{n-2}+\ldots+3^{n-1})+1$
   因此$4^n-1(n\geq1)$是3的倍数。

一个正整数是否是4的幂的充分条件

1. 若一个二进制数长度为奇数，且只有首位为1（2的偶数幂），则这个数是4的幂。
   证明： $2^{2m}=4^n$
2. 若一个数n是2的幂且(n-1)能被3整除，则这个数是4的幂。
   证明：由性质2可知，只要证明2的奇数次幂减去1之后不能被3整除即可。
   $2^{2m+1}-1=2(2^{2m})-1=2(4^m)-1=2(3(C_{m}^{m-1}+3C_{m}^{m-2}+\ldots+3^{m-1})+1)-1=6(C_{m}^{m-1}+3C_{m}^{m-2}+\ldots+3^{m-1})+1$
   因此，2的奇数次幂减1不能被3整除。即一个数n是2的幂且(n-1)能被3整除，则这个数是4的幂。
   

   ---

不知道为什么，在部分浏览器上，加载网页时，Latex公式闪一下就没了，在此附上博客截图。