Maths Olympiad Prep

Library / /313 of 520

Number theory Difficulty 6.2 National olympiad Prove it

12. Let ana_{n} denote the sum of the first nn prime numbers, i.e., a1=2,a2=2+3,a_{1}=2, a_{2}=2+3, \cdots. Prove: there is at least one perfect square in the interval [an,an+1],nN\left[a_{n}, a_{n+1}\right], n \in \mathbf{N}^{*}.

Solution

12. When n4n \leqslant 4, it can be directly verified that the proposition holds. When n5n \geqslant 5, let p1,p2p_{1}, p_{2}, p3,p_{3}, \cdots represent the sequence of all prime numbers in ascending order, and set pn=2m+1p_{n}=2 m+1. It is known that
p1+p2++pn<1+3+5+7++(2m+1)=(m+1)2,p_{1}+p_{2}+\cdots+p_{n}<1+3+5+7+\cdots+(2 m+1)=(m+1)^{2},
i.e., an<(m+1)2a_{n}<(m+1)^{2}. Now, assume k2an<(k+1)2k^{2} \leqslant a_{n}<(k+1)^{2}, then kmk \leqslant m. Also, pn+12m+3p_{n+1} \geqslant 2 m+3, thus,
(k+1)2=k˙2+2k+1k2+2m+1<k2+pn+1an+pn+1=an+1(k+1)^{2}=\dot{k}^{2}+2 k+1 \leqslant k^{2}+2 m+1<k^{2}+p_{n+1} \leqslant a_{n}+p_{n+1}=a_{n+1}

Therefore, (k+1)2[an,an+1](k+1)^{2} \in\left[a_{n}, a_{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.