Maths Olympiad Prep

Library / /225 of 241

, 2015

Number theory Difficulty 3.7 AMC 10/12 Find the answer Canada

For how many integers nn is 72(32)n72\left(\frac{3}{2}\right)^n equal to an integer?

Pick one

Solution

First, we calculate the value of 72(32)n72\left(\frac{3}{2}\right)^n for each integer from n=3n=-3 to n=4n=4, inclusive: 72(32)3=722333=72827=64372(32)2=722232=7249=3272(32)1=722131=7223=4872(32)0=721=7272(32)1=723121=7232=10872(32)2=723222=7294=16272(32)3=723323=72278=24372(32)4=723424=728116=7292\begin{aligned} 72\left(\tfrac{3}{2}\right)^{-3} &= 72 \cdot \tfrac{2^3}{3^3} = 72\cdot\tfrac{8}{27} = \tfrac{64}{3} \\ 72\left(\tfrac{3}{2}\right)^{-2} & = 72 \cdot \tfrac{2^2}{3^2} = 72\cdot\tfrac{4}{9} = 32\\ 72\left(\tfrac{3}{2}\right)^{-1} &= 72 \cdot \tfrac{2^1}{3^1} = 72\cdot\tfrac{2}{3} = 48 \\ 72\left(\tfrac{3}{2}\right)^{0} &= 72 \cdot 1 = 72 \\ 72\left(\tfrac{3}{2}\right)^{1} &= 72 \cdot \tfrac{3^1}{2^1} = 72\cdot\tfrac{3}{2} = 108 \\ 72\left(\tfrac{3}{2}\right)^{2} &= 72 \cdot \tfrac{3^2}{2^2} = 72\cdot\tfrac{9}{4} = 162 \\ 72\left(\tfrac{3}{2}\right)^{3} &= 72 \cdot \tfrac{3^3}{2^3} = 72\cdot\tfrac{27}{8} = 243\\ 72\left(\tfrac{3}{2}\right)^{4} &= 72 \cdot \tfrac{3^4}{2^4} = 72\cdot\tfrac{81}{16} = \tfrac{729}{2}\\ \end{aligned} Therefore, there are at least 6 integer values of nn for which 72(32)n72\left(\frac{3}{2}\right)^n is an integer, namely n=2,1,0,1,2,3n=-2,-1,0,1,2,3.

Since 6 is the largest possible choice given, then it must be the correct answer (that is, it must be the case that there are no more values of nn that work).

We can justify this statement informally by noting that if we start with 72(32)4=729272\left(\tfrac{3}{2}\right)^{4} = \frac{729}{2}, then making nn larger has the effect of continuing to multiply by 32\frac{3}{2} which keeps the numerator odd and the denominator even, and so 72(32)n72\left(\frac{3}{2}\right)^n is never an integer when n>3n>3. A similar argument holds when n<2n<-2.

We could justify the statement more formally by re-writing 72(32)n=32233n2n=323n232n=32+n23n72\left(\tfrac{3}{2}\right)^n = 3^2 \cdot 2^3 \cdot 3^n \cdot 2^{-n} = 3^2 3^n 2^3 2^{-n} = 3^{2+n} 2^{3-n} For this product to be an integer, it must be the case that each of 32+n3^{2+n} and 23n2^{3-n} is an integer.

(Each of 32+n3^{2+n} and 23n2^{3-n} is either an integer or a fraction with numerator 1 and denominator equal to a power of 2 or 3. If each is such a fraction, then their product is less than 1 and so is not an integer. If exactly one is an integer, then their product equals a power of 2 divided by a power of 3 or vice versa. Such a fraction cannot be an integer since powers of 3 cannot be “divided out" of powers of 2 and vice versa.)

This means that 2+n02+n \geq 0 (and so n2n \geq -2) and 3n03-n \geq 0 (and so n3n \leq 3).

Therefore, 2n3-2 \leq n \leq 3. The integers in this range are the six integers listed above.

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

Source: CEMC, University of Waterloo, licensed CC-BY-NC-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.