设m>n是正整数,证明:2^n-1|2^m-1的充要条件是n|m.以任一正整数a>2代替2结论仍成立

题目

设m>n是正整数,证明:2^n-1|2^m-1的充要条件是n|m.以任一正整数a>2代替2结论仍成立
《信息安全数学基础》陈恭亮 P28,22

答案

充分性：已知n|m成立,即有m=qn.则2^m-1=2^qn-1=(2^n-1)(2^n(q-1)+2^n(q-2)+...+2^n+1)=(2^n-1)k所以2^n-1|2^m-1必要性：已知：2^n-1|2^m-1成立则有2^m-1=(2^n-1)k=(2^n-1)(2^n(q-1)+2^n(q-2)+...+2^n+1)=2^qn-1则有2...