Maths Olympiad Prep

Library / /12 of 39

Number theory Difficulty 5.8 AIME, harder Prove it Romania

Let aa be a real number for which the number a+a2+a3a + a^2 + a^3 is an integer. Show that, if one of the numbers aa, a2a^2 or a3a^3 is rational, then aa is an integer.
Cristi Șăvescu

Solution

Let a+a2+a3=na + a^2 + a^3 = n, with integer nn.
If aa is rational, then a=pqa = \frac{p}{q}, where p,qp, q are coprime integers. It follows from here that pq+p2q2+p3q3=n\frac{p}{q} + \frac{p^2}{q^2} + \frac{p^3}{q^3} = n, so q2p+qp2+p3=q3nq^2p + qp^2 + p^3 = q^3n, which implies qp3q \mid p^3. This is possible only if q=±1q = \pm 1, which shows us that a=±pa = \pm p is an integer number.

If a2a^2 is rational, then a+a3=na2a + a^3 = n - a^2, so a2+2a4+a6=n22a2n+a4a^2 + 2a^4 + a^6 = n^2 - 2a^2n + a^4, which leads to a2(1+2n)+a4+a6=n2a^2(1 + 2n) + a^4 + a^6 = n^2. An argument analogous to the previous one, applied to the last relation, shows us that a2a^2 is an integer and therefore aa is an integer.

If a3=ra^3 = r is rational, then a+a2=na3a + a^2 = n - a^3 is also rational; we get from here that the number a2+2a3+a4a^2 + 2a^3 + a^4 is rational, so a2+raa^2 + ra is also a rational number. Hence a2+ra(a2+a)=(r1)aa^2 + ra - (a^2 + a) = (r - 1)a is rational.
If r1r \ne 1, this would imply that aa is rational, so, due to the first part, it will follow from here that aa is an integer number. If r=1r = 1, then a3=1a^3 = 1, which means a=1Za = 1 \in \mathbb{Z}.

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.