Maths Olympiad Prep

Library / /59 of 169

, 2010

Algebra Difficulty 7.2 National Olympiad, round 2 Prove it United States

Let q=3p52q = \frac{3p-5}{2} where pp is an odd prime, and let
Sq=1234+1567++1q(q+1)(q+2). S_q = \frac{1}{2 \cdot 3 \cdot 4} + \frac{1}{5 \cdot 6 \cdot 7} + \dots + \frac{1}{q(q+1)(q+2)}.
Prove that if 1p2Sq=mn\frac{1}{p} - 2S_q = \frac{m}{n} for integers mm and nn, then mnm-n is divisible by pp.

Solution

Solution (by Titu Andreescu). We have
2k(k+1)(k+2)=(k+2)kk(k+1)(k+2)=1k(k+1)1(k+1)(k+2)=(1k1k+1)(1k+11k+2)=1k+1k+1+1k+23k+1. \begin{aligned} \frac{2}{k(k+1)(k+2)} &= \frac{(k+2)-k}{k(k+1)(k+2)} \\ &= \frac{1}{k(k+1)} - \frac{1}{(k+1)(k+2)} \\ &= \left( \frac{1}{k} - \frac{1}{k+1} \right) - \left( \frac{1}{k+1} - \frac{1}{k+2} \right) \\ &= \frac{1}{k} + \frac{1}{k+1} + \frac{1}{k+2} - \frac{3}{k+1}. \end{aligned}
Hence
2Sq=(12+13+14++1q+1q+1+1q+2)3(13+16++1q+1)=(12+13++13p12)(1+12++1p12), \begin{aligned} 2S_q &= \left(\frac{1}{2} + \frac{1}{3} + \frac{1}{4} + \dots + \frac{1}{q} + \frac{1}{q+1} + \frac{1}{q+2}\right) - 3\left(\frac{1}{3} + \frac{1}{6} + \dots + \frac{1}{q+1}\right) \\ &= \left(\frac{1}{2} + \frac{1}{3} + \dots + \frac{1}{\frac{3p-1}{2}}\right) - \left(1 + \frac{1}{2} + \dots + \frac{1}{\frac{p-1}{2}}\right), \end{aligned}
and so
1mn=1+2Sq1p=1p+12++1p1+1p+1++13p12=(1p+12+13p12)++(1p1+1p+1)=p(p+12)(3p12)++p(p1)(p+1). \begin{aligned} 1 - \frac{m}{n} &= 1 + 2S_q - \frac{1}{p} \\ &= \frac{1}{\frac{p+1}{2}} + \dots + \frac{1}{p-1} + \frac{1}{p+1} + \dots + \frac{1}{\frac{3p-1}{2}} \\ &= \left( \frac{1}{\frac{p+1}{2}} + \frac{1}{\frac{3p-1}{2}} \right) + \dots + \left( \frac{1}{p-1} + \frac{1}{p+1} \right) \\ &= \frac{p}{\left( \frac{p+1}{2} \right) \left( \frac{3p-1}{2} \right)} + \dots + \frac{p}{(p-1)(p+1)}. \end{aligned}
Because the denominator of each term in the sum is relatively prime to pp, it follows that nmn-m is divisible by pp, as desired.

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: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.