Maths Olympiad Prep

Library / HMMT November /147 of 672

HMMT November

Number theory Difficulty 4.8 AIME Find the answer

Find the number of terms n≤2012n \leq 2012 such that an=3n+1−12a_{n}=\frac{3^{n+1}-1}{2} is divisible by 7.

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

To demonstrate that 7∣an=3n+1−127 \mid a_{n}=\frac{3^{n+1}-1}{2} is equivalent to showing that 3n+1−1≡0 mod 73^{n+1}-1 \equiv 0 \bmod 7. However 3n+1−1=0 mod 7⟹n+1≡0 mod 63^{n+1}-1=0 \bmod 7 \Longrightarrow n+1 \equiv 0 \bmod 6, hence the values of n≤2012n \leq 2012 are 5,11,17,…,20095,11,17, \ldots, 2009, which is in total 2009+16=335\frac{2009+1}{6}=335 possible terms.

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

Source: Omni-MATH, licensed Apache-2.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.