若正整数s整除t，那么2^s-1整除2^t-1

命题：s和t是正整数，如果s整除t，那么$2^s-1$整除$2^t-1$。

证明一：因为s整除t，所以不妨设t=ks，k为正整数。则

$$\begin{equation*} 2^s-1=\overbrace{1+2+2^2+...+2^{(s-1)}}^{s\text{个}}\\ 2^t-1=\overbrace{1+2+2^2+...+2^{(s-1)}}^{s\text{个}}+\overbrace{2^s+2^{(s+1)}+...+2^{(2s-1)}}^{s\text{个}}+...+\overbrace{2^{(k-1)s}+2^{(k-1)s+1}+...+2^{(ks-1)}}^{s\text{个}} \end{equation*}$$
写到这里，显然 $2^s-1$整除 $2^t-1$。不再赘述。

---

证明二： 因为s整除t，所以不妨设t=ks，k为正整数。则

$$\begin{align} 2^t-1=2^{ks}-1=(2^s)^k-1=(2^s-1+1）^k-1=(......)(2^s-1)+1-1=(......)(2^s-1) \end{align}$$
上式根据二项式展开定理，即证明 $2^s-1$整除 $2^t-1$。