Maths Olympiad Prep

Library / /131 of 520

Number theory Difficulty 5.7 AIME, harder Prove it

Lemma 5.1. If dd and nn are positive integers such that dd divides nn, then 2d12^{d}-1 divides 2n12^{n}-1

Solution

Proof. Since dnd \mid n, there is a positive integer tt with dt=nd t=n. By setting x=2dx=2^{d} in the identity xt1=(x1)(xt1+xt2++1)x^{t}-1=(x-1)\left(x^{t-1}+x^{t-2}+\cdots+1\right), we find that 2n1=(2d1)(2d(t1)+2d(t2)++2d+1)2^{n}-1=\left(2^{d}-1\right)\left(2^{d(t-1)}+2^{d(t-2)}+\cdots+2^{d}+1\right). Consequently, (2d1)(2n1)\left(2^{d}-1\right) \mid\left(2^{n}-1\right)

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.