Maths Olympiad Prep

Library / China Mathematical Competition (Hainan) /4 of 7

China Mathematical Competition (Hainan)

Number theory Difficulty 4.9 AIME Prove it China

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

Solution

Set k2−pk=n\sqrt{k^2 - pk} = n, n∈Nn \in \mathbb{N}. Thus k2−pk−n2=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 m∈Nm \in \mathbb{N}. So (m−2n)(m+2n)=p2(m-2n)(m+2n) = p^2.

Since pp is a prime and p≥3p \ge 3, we have
{m−2n=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=p2−14. \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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.