Maths Olympiad Prep

Library / /7 of 12

Number theory Difficulty 4.9 AIME Prove it China

Let pp be an odd prime. Let kk be a positive integer such that k2pk\sqrt{k^2 - pk} is also a positive integer. Then k=k = \underline{\hspace{2cm}}.

Solution

Set k2pk=n\sqrt{k^2 - pk} = n, nNn \in \mathbb{N}. Thus k2pkn2=0k^2 - pk - n^2 = 0, and k=p±p2+4n22k = \frac{p \pm \sqrt{p^2 + 4n^2}}{2}, which implies that p2+4n2p^2 + 4n^2 is a perfect square, say m2m^2, where mNm \in \mathbb{N}. So (m2n)(m+2n)=p2(m-2n)(m+2n) = p^2.

Since pp is a prime and p3p \ge 3, we have
{m2n=1,m+2n=p2. \begin{cases} m - 2n = 1, \\ m + 2n = p^2. \end{cases}
Solve the equations above and we get
{m=p2+12,n=p214. \begin{cases} m = \frac{p^2 + 1}{2}, \\ n = \frac{p^2 - 1}{4}. \end{cases}

Consequently, k=p±m2=2p±(p2+1)4k = \frac{p \pm m}{2} = \frac{2p \pm (p^2 + 1)}{4}. Thus k=(p+1)24k = \frac{(p+1)^2}{4} (the negative value is omitted).

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 and solution reproduced as published; topic and difficulty added by this site.