Maths Olympiad Prep

Library / /16 of 35

Algebra Difficulty 5.3 AIME, harder Prove it Slovenia

Let pp and qq be two polynomials of degree 33 with integer coefficients, such that the leading coefficients are relatively prime. Let aa be a rational number such that p(a)p(a) and q(a)q(a) are integers. Prove that aa is also an integer.

Solution

Let p(x)=b1x3+c1x2+d1x+e1p(x) = b_1 x^3 + c_1 x^2 + d_1 x + e_1 and q(x)=b2x3+c2x2+d2x+e2q(x) = b_2 x^3 + c_2 x^2 + d_2 x + e_2. Let us write a=rsa = \frac{r}{s} where rr and ss are relatively prime integers and s>0s > 0. Denote p(a)=mp(a) = m and q(a)=nq(a) = n. Then
b1r3s3+c1r2s2+d1rs+e1=m,b2r3s3+c2r2s2+d2rs+e2=n. b_1 \cdot \frac{r^3}{s^3} + c_1 \cdot \frac{r^2}{s^2} + d_1 \cdot \frac{r}{s} + e_1 = m, \quad b_2 \cdot \frac{r^3}{s^3} + c_2 \cdot \frac{r^2}{s^2} + d_2 \cdot \frac{r}{s} + e_2 = n.
Multiplying both identities by s3s^3 we get
b1r3+c1r2s+d1rs2+e1s3=ms3,b2r3+c2r2s+d2rs2+e2s3=ns3. b_1 r^3 + c_1 r^2 s + d_1 r s^2 + e_1 s^3 = m s^3, \quad b_2 r^3 + c_2 r^2 s + d_2 r s^2 + e_2 s^3 = n s^3.
This implies that ss divides both b1r3b_1 r^3 and b2r3b_2 r^3. Since ss and rr are relatively prime, we can conclude that ss divides b1b_1 and b2b_2. Since b1b_1 and b2b_2 are relatively prime, we have s=1s = 1. So, a=ra = r is an integer.

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.