Problems

---

Solution:

1. \(\,\) \begin{align*} && f_1(n) &= n^2 + 6n + 11 \\ &&&= (n+3)^2 + 2 \\ &&&=F_1(n+3) \end{align*} Since \(n \mapsto n+3\) is a bijection on \(\mathbb{Z}\) both functions must have exactly the same range.
2. \(g_1(n) = n^2-2n+5 = (n-1)^2 + 4\). Since squares are always \(0, 1 \pmod{4}\) it's impossible for \(f_1\) and \(g_1\) to take the same value therefore the ranges have empty intersection.
3. \(\,\) \begin{align*} && f_2(n) &= n^2-2n - 6 \\ &&&= (n-1)^2-7 \\ && g_2(n) &= n^2-4n+2 \\ &&&= (n-2)^2 - 2 \end{align*} so suppose \(x^2 - 7 = y^2 - 2\) then \begin{align*} && x^2 - 7 &= y^2 -2 \\ \Rightarrow && 5 &= y^2 - x^2 \\ &&&= (y-x)(y+x) \end{align*} So we have cases: \(y-x = -5, y + x = -1 \Rightarrow y = -3\) and the output is \(7\) \(y-x=-1, y+x = -5 \Rightarrow y = -3\) same output \(y-x=1, y+x = 5 \Rightarrow y = 3\) same output \(y-x=5, y-x = 1 \Rightarrow y = 3\) same ouput.
4. \begin{align*} && 0 &\leq \frac12(p^2+q^2)+\frac12(p+q)^2 \\ &&&= p^2 + q^2 + pq \end{align*} Looking at \(f_3\) we see \begin{align*} && f_3(n) &= n^3 - 3n^2 + 7n \\ &&&= (n-1)^3 -3n + 7n +1 \\ &&&= (n-1)^3 +4(n-1) -3 \\ &&&= g_3(n-1) + 3 \end{align*} So suppose we have two values which are equal, ie \begin{align*} && x^3 + 4x -3 &= y^3 +4y -6 \\ \Rightarrow && 3 &= y^3-x^3+4y-4x \\ &&&= (y-x)(y^2+xy+x^2+4) \end{align*} Since \(x^2+xy+y^2 \geq 0\) then the right hand factor is always a positive integer bigger than \(3\) and in particular there will be no solutions and hence no integers in the intersection of the ranges.

---

Solution:

1. \(\,\) \begin{align*} && 3 &= (x-\sqrt2)^2 \\ &&&= x^2 - 2\sqrt2 x + 2 \\ \Rightarrow && 2\sqrt2 x &= x^2-1 \\ \Rightarrow && 8x^2 &= x^4 - 2x^2 + 1 \\ \Rightarrow && 0 &= x^4 - 10x^2 + 1 \end{align*} Noticing that \((\sqrt2+\sqrt3-\sqrt2)^2 = 3\) we note that \(\sqrt2 + \sqrt3\) is a root of our quartic.
2. Suppose \(x = \sqrt2 + \sqrt3 + \sqrt5\) then \begin{align*} && 0 &= (x - \sqrt5)^4 - 10(x-\sqrt5)^2 + 1 \\ &&&= x^4 - 4\sqrt5x^3 + 30x^2-20\sqrt5 x +25 - 10x^2+20\sqrt5x -50 + 1\\ &&&= (x^4+20x^2- 24) - 4\sqrt5 x^3 \\ \Rightarrow && 80x^6 &= (x^4+20x^2-24)^2 \\ &&&= x^8 + 40x^6 + 352x^4 - 960x^2+576 \\ \Rightarrow && 0 &= x^8-40x^6 + 352x^4-960x^2+576 \end{align*} So take \(g(x) = x^8-40x^6 + 352x^4-960x^2+576\).
3. Notice that if \(p(t) = t^3-3t+1\) then \(p(t -\sqrt2) = 0\) for \(t = a,b,c\) so \begin{align*} && 0 &= (t - \sqrt2)^3 -3(t - \sqrt2) + 1 \\ &&&= t^3-3\sqrt2 t^2 + 6t - 2\sqrt2 - 3t + 3\sqrt 2 + 1 \\ &&&= (t^3+3t+1) - \sqrt2 (3t^2+1) \\ \Rightarrow && 2(3t^2+1)^2 &= (t^3+3t+1)^2 \\ \Rightarrow && 2(9t^4+6t^2+1) &= t^6 + 6t^4+2t^3+9t^2+6t+1 \\ \Rightarrow && 0 &= t^6-12t^4+2t^3-3t^2+6t-1 \end{align*}
4. \(\,\) \begin{align*} && t &= \sqrt[3]{2} + \sqrt[3]{3} \\ \Rightarrow && t^3 &= 2 + 3\sqrt[3]{12} + 3\sqrt[3]{18} + 3 \\ &&&= 5 + 3 \sqrt[3]{6}(\sqrt[3]{2} + \sqrt[3]{3}) \\ &&&= 5 + 3\sqrt[3]{6}t \\ \Rightarrow && 162t^3 &= (t^3-5)^3 \\ &&&= t^9-15t^6+75t^3 -125 \\ \Rightarrow && 0 &= t^9-15t^6-87t^3-125 \end{align*} so \(k(x) = x^9 - 15x^6-87x^3-125\)

---

Solution:

1. \((1+\sqrt{2})^2 = 3 + 2\sqrt{2}\) so \(\sqrt{3 + 2\sqrt{2}} = 1 + \sqrt{2}\)
2. We can always factorise any quartic in the form \((x^2+ax+b)(x^2+cx+d)\), since \(x^3\) has a coefficient of \(a+b\) we must have \(a = -b\), ie the form in the question. \begin{align*} && 0 &= (x^2+sx+p)(x^2-sx+q) \\ &&&= x^4+(p+q-s^2)x^2+s(q-p)x+pq \\ \Rightarrow && pq &= -2 \\ && s(q-p) &= 12 \\ && p+q-s^2 &= -10 \\ \\ && p+q &= s^2-10 \\ && (p+q)^2 &= (s^2-10)^2 \\ && (q-p)^2 &= \frac{12}{s^2} \\ \Rightarrow && (s^2-10)^2 &= \frac{12}{s^2} + 4pq \\ && (s^2-10)^2 &= \frac{144}{s^2} -8 \\ && 0 &= s^2(s^2-10)^2+8s^2-144 \\ &&&= s^6-20s^4+108s^2-144 \\ &&&= (s^2-2)(s^2-6)(s^2-12) \end{align*} Suppose \(s = \sqrt{2}\), and we have \begin{align*} && q-p &= 6\sqrt{2} \\ && p+q &= -8 \\ \Rightarrow && q &= 3\sqrt{2}-4 \\ && p &= -4-3\sqrt{2} \end{align*} Solving our quadratic equations, we have \begin{align*} && 0 &= x^2-\sqrt{2}x-4+3\sqrt{2} \\ \Rightarrow && x &= \frac{\sqrt{2}\pm \sqrt{2-4\cdot(-4+3\sqrt{2})}}{2} \\ &&&= \frac{\sqrt{2}\pm \sqrt{18-12\sqrt{2}}}{2} \\ &&&= \frac{\sqrt{2}\pm (2\sqrt{3}-\sqrt{6})}{2} \\ \\ && 0 &= x^2+\sqrt{2}x-3\sqrt{2}-4 \\ && x &= \frac{-\sqrt{2} \pm \sqrt{2-4\cdot(3\sqrt{3}-4)}}{2}\\ && &= \frac{-\sqrt{2} \pm \sqrt{18+12\sqrt{2}}}{2}\\ && &= \frac{-\sqrt{2} \pm (\sqrt{6}+2\sqrt{3})}{2}\\ \end{align*}

---

Solution: Claim: \(|x_1 + x_2| \leq |x_1| + |x_2|\) Proof: Case 1: \(x_1, x_2 \geq 0\). The inequality is equivalent to \(|x_1 + x_2| = x_1 + x_2 = |x_1|+|x_2|\) so it's an equality. Case 2: \(x_1, x_2 \leq 0\). The inequality is equivalent to \(|x_1+x_2| = -x_1-x_2 = |x_1|+|x_2\), so it's also an equality in this case. Case 3: (wlog) \(|x_1| \geq |x_2| > 0\) and \(x_1x_2 < 0\) then \(|x_1+x_2| = x_1-x_2 \leq x_1 \leq |x_1|+|x_2|\) We can prove this by induction, we've already proven the base case and: \(|x_1+x_2 + \cdots + x_n| \leq |x_1 + x_2 + \cdots x_{n-1}| + |x_n| \leq |x_1| + |x_2| + \cdots + |x_n|\)

1. \(\,\) \begin{align*} && |f(x) - 1| &= |a_1 x + a_2x^2 + \cdots + a_{n-1}x^{n-1} + x^n| \\ &&&\leq |a_1x| + |a_2x^2| + \cdots + |a_{n-1}x^{n-1}| + |x^n| \\ &&&\leq |a_1||x| + |a_2||x|^2 + \cdots + |a_{n-1}||x|^{n-1} + |x|^n \\ &&&\leq A|x| + A|x|^2 + \cdots + A|x|^{n-1} + |x|^n \\ &&&=A|x| \frac{1-|x|^{n-1}}{1-|x|} + |x|^n \\ &&&= \frac{A|x|-A|x|^{n}+|x|^{n+1}-|x|^n}{1-|x|} \\ &&&= \frac{A|x|-|x|^n(\underbrace{A-|x|+1}_{\geq0})}{1-|x|} \\ &&&\leq \frac{A|x|}{1-|x|} \end{align*}
2. If \(f(\omega) = 0\) then \begin{align*} && 1 & \leq \frac{A|\omega|}{1-|\omega|} \\ \Leftrightarrow && 1-|\omega| &\leq A |\omega| \\ \Leftrightarrow && 1 &\leq (1+A) |\omega| \\ \Leftrightarrow && \frac{1}{1+A} &\leq |\omega| \\ \end{align*} We also know \(\omega \leq 1 < 1 + A\)
3. If \(\omega\) is a root of \(f(x)\) then \(1/\omega\) is a root of \(1 + a_{n-1}x + a_{n-2}x^2 + \cdots + a_1x^{n-1}+x^n\) and so \(1/\omega\) satisfies that inequality, ie \begin{align*} && \frac{1}{1+A} && \leq &&|1/\omega| && \leq &&1 + A \\ \Leftrightarrow &&1+A && \geq&& |\omega| && \geq&& \frac{1}{1 + A} \end{align*}
4. First notice that it's equivalent to: \(0 = x^5 - 1x^4 - \frac{100}{135}x^3-\frac{91}{135}x^2-\frac{126}{135} + 1\) therefore all integer roots must be between \(-2,-1\) and \(1\) and \(2\). \(1\) doesn't work. \(-1\) works. Clearly \(2\) cannot work by parity argument, therefore the only integer root is \(-1\).

---

Solution:

\begin{align*} && a^2x &= x(b-x)^2 \\ \Rightarrow && 0 &= x((b-x)^2-a^2) \\ &&&= x(b-a-x)(b+a-x)\\ && y &= x(b-x)^2 \\ \Rightarrow && y' &= (b-x)^2-2x(b-x) \\ P(b-a,a^2(b-a)): &&y' &= (b-(b-a))^2-2(b-a)(b-(b-a)) \\ &&&= a^2-2a(b-a) = a(3a-2b) \\ \Rightarrow && y &= a(3a-2b)(x-(b-a)) + a^2(b-a) \\ &&&= a(3a-2b)x + (b-a)(a^2-3a^2+2ba) \\ &&&= a(3a-2b)x + (b-a)2a(b-a) \\ &&&= a(3a-2b)x + 2a(b-a)^2 \\ \end{align*} Therefore the tangent at \(P\) is \(a(3a-2b)x + 2a(b-a)^2\) The area between the curve and \(OP\) is \begin{align*} &&S &= \int_0^{b-a} \left (x(b-x)^2-a^2x \right) \d x\\ &&&= \left [\frac{x^2}{2}b^2 - \frac{2x^3}{3}b +\frac{x^4}{4} - \frac{a^2x^2}{2}\right]_0^{b-a} \\ &&&= (b-a)^2 \tfrac12 (b^2-a^2) - \tfrac23(b-a)^3b + \tfrac14(b-a)^4 \\ &&&= \tfrac1{12}(b-a)^3(6(b+a)-8b+3(b-a)) \\ &&&= \tfrac1{12}(b-a)^3(b+3a) \end{align*} The area \([OPR] = T= \tfrac12 \cdot (b-a) \cdot 2a(b-a)^2 = a(b-a)^3\) Clearly \(S > \frac4{12}(b-a)^3a = \frac13T\)

---

Solution:

1. \(p(x) = C(x-1)(x-2)(x-3)(x-4)+1\)
2. Suppose \(P(N+1) = 1\) them we could consider \(f(x) = P(x) - 1\) to be a polynomial of degree \(N\) with at least \(N+1\) roots, which would be a contradiction. Therefore \(P(N+1) \neq 1\). Since \(P(x) = C(x-1)(x-2)\cdots(x-N) + 1\) and \(P(N+1) = 2\) we must have \(C \cdot N! + 1 = 2 \Rightarrow C = \frac{1}{N!}\), hence \(P(x) = \binom{x-1}{N} + 1\) ie \(P(N+r) = \binom{N+r-1}{N}+1\) so \(P(N+2) = \binom{N+1}{N} +1= N+2\), so we can take \(r=2\).
3. 1. Suppose consider \(p(x) = S(x) - 2001\), then \(p(x)\) has roots \(a,b,c,d\) and suppose we can find \(e\) such that \(p(e) = 17\) then we must have \((e-a)(e-b)(e-c)(e-d) = 17\) but the only possible factors of \(17\) are \(-17,-1,1,17\) and we cannot have all \(4\) of them. Hence this is not possible.
   2. Now we have \(abcd = 16\), so we can have factors \(-16,-8,-4, -2, -1, 1, 2, 4,8,16\) (and we need to have \(4\) of them). If we have \(0\) negatives, the smallest product is \(1 \cdot 2 \cdot 4 \cdot 8 > 16\) If we have \(2\) negatives we must have \(1\) and \(-1\) (otherwise we have the same problem of being too large. So \(\{-1,1,-2,8\},\{-1,1,2,-8\},\{-1,1,-4,4\},\) If we have \(4\) negatives that's the same issue as with \(0\) negatives.

---

Solution:

1. \(n=1\): \begin{align*} && p_1(x) &= (x+1)^2 - 3x(x^2+x+1)^0 \\ &&&= x^2+2x+1-3x \\ &&&= x^2-x+1\\ && q_1(x) &= \frac{x^3+1}{x+1} \\ &&&= x^2-x+1 = p_1(x) \\ \\ && p_2(x) &= (x+1)^4-5x(x^2+x+1)^1 \\ &&&= x^4+4x^3+6x^2+4x+1 - 5x^3-5x^2-5x \\ &&&= x^4-x^3+x^2-x+1 \\ &&q_2(x) &= \frac{x^5+1}{x+1} \\ &&&= x^4-x^3+x^2-x+1 = p_2(x) \\ \\ && p_3(x) &= (x+1)^6-7x(x^2+x+1)^2 \\ &&&= x^6+6x^5+15x^4+20x^3+15x^2+6x+1 - 7x(x^4+2x^3+3x^2+2x+1) \\ &&&= x^6-x^5+x^4-x^3+x^2-x+1 \\ && q_3(x) &= \frac{x^7+1}{x+1} \\ &&&= x^6-x^5+x^4-x^3+x^2-x+1 = p_3(x) \\ \\ && p_4(1) &= 2^8 - 9 \cdot 1 \cdot 3^3 \\ &&&= 256 - 243 = 13 \\ && q_4(1) &= \frac{2}{2} = 1 \neq 13 \end{align*}
2. • \(\bf (a)\) \(\,\) \begin{align*} && \frac{300^3+1}{300+1} &= (300+1)^2 - 3 \cdot 300 \\ &&&= 301^2 - 30^2 \\ &&&= 271 \cdot 331 \end{align*}
   • \(\bf (b)\) \(\,\) \begin{align*} && \dfrac {7^{49}+1}{7^7+1} &= (7^7+1)^6 - 7 \cdot 7^7 \cdot (7^2+7+1)^2 \\ &&&= (7^7+1)^6 - 7^8 \cdot (7^2+7+1)^2 \\ &&&= ((7^7+1)^3 - 7^4(7^2+7+1)) \cdot ((7^7+1)^3 + 7^4(7^2+7+1)) \end{align*}

---

Solution: Suppose \(c = a+b\) then \begin{align*} (a+b+c)^3 &-6(a+b+c)(a^2+b^2+c^2) +8(a^3+b^3+c^3) \\ &= (2(a+b))^3-6(2(a+b))(a^2+b^2+(a+b)^2) + 8(a^3+b^3+(a+b)^3) \\ &=16(a+b)^3 - 24(a+b)(a^2+b^2+ab)+8(a^3+b^3) \\ &= 8(a+b)(2(a+b)^2-3(a^2+b^2+ab)+(a^2-ab+b^2)) \\ &= 0 \end{align*} Therefore \(a+b-c\) is a factor. By symmetry \(a-b+c\) and \(-a+b+c\) are also factors. Since our polynomial is degree \(3\) it must be \(K(a+b-c)(b+c-a)(c+a-b)\) for some \(K\). Since the coefficient of \(a^3\) is \(3\), \(K = 3\). so we have: \(3(a+b-c)(b+c-a)(c+a-b)\)

1. We want \(x + a + b = x+1\), \(x^2 + a^2 + b^2 = x^3+\frac52, x^3 + a^3 + b^3 = x^3+ \frac{13}{4}\). \(a+b = 1, a^2 + b^2 = 5/2\) so \(a = \frac32, b = -\frac12\) \begin{align*} 0 &= (x+1)^3 - 3(x+1)(2x^2+5)+2(4x^3+13) \\ &= 3(x +\frac{3}{2}+\frac{1}{2})(x - \frac{3}{2} - \frac{1}{2})(-x + \frac{3}{2} - \frac{1}{2}) \\ &= 3(x+2)(x-2)(1-x) \end{align*} and so the roots are \(x = 1, 2, -2\)
2. Letting \(c = d+e\) we have \begin{align*} (a+b+d+e)^3 &-6(a+b+d+e)(a^2+b^2+d^2+e^2) +8(a^3+b^3+d^3+e^3) \\ &= (a+b+c)^3 -6(a+b+c)(a^2+b^2+c^2-2de) +8(a^3+b^3+c^3 - 3cde) \\ &= (a+b+c)^3 -6(a+b+c)(a^2+b^2+c^2)+8(a^3+b^3+c^3)+12(a+b+c)de - 24cde \\ &= \underbrace{(a+b+c)^3 -6(a+b+c)(a^2+b^2+c^2)+8(a^3+b^3+c^3)}_{\text{has a factor of }a+b-c} + 12(a+b-c)de \end{align*} Therefore there is a factor of \(a+b-c\) or \(a+b-d-e\). By symmetry we must have the factors: \((a+b-d-e)(a-b-d+e)(a-b+d-e)\) and so the final expression must be: \(K(a+b-d-e)(a-b-d+e)(a-b+d-e)\) The coefficient of \(a^3\) is \(3\), therefore \(K = 3\) We want \(x+a+b+c = x + 6\), \(x^2+a^2+b^2+c^2 = 14\) and \(x^3 + a^3+b^3+c^3 = 36\), ie \(a = 1,b=2,c=3\) would work, so \begin{align*} 0 &= (x+6)^3 - 6(x+6)(x^2+14) +8(x^3+36) \\ &= 3(x+1-2-3)(x-1+2-3)(x-1-2+3) \\ &= 3x(x-4)(x-2) \end{align*} ie the roots are \(x = 0, 2, 4\)

---

Solution:

1. \(\,\) \begin{align*} && f'_n(x) &= 0 + 1 + \frac{2x}{2!} + \frac{3x^2}{3!} + \cdots + \frac{nx^{n-1}}{n!} \\ &&&= 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \cdots + \frac{x^{n-1}}{(n-1)!} \\ &&&= f_{n-1}(x) \end{align*}
2. Claim: \(f_n(x) > 0\) for all \(x > 0\) Proof: (By induction) Base case: (\(n = 1\)) \(f_1(x) = 1 + x > 1\) therefore \(f_1(x) > 0\) Suppose it's true for \(n = k\), then consider \(f_{k+1}\), if we differentiate it, we find it is increasing on \((0, \infty)\) by our inductive hypothesis. But then \(f_{k+1}(0) = 1 > 0\). Therefore \(f_{k+1}(x) > 0\) as well. Therefore by the principle of mathematical induction we are done. Since \(f_n(x) > 0\) for non-negative \(x\), if \(a\) is a root it must be negative.
3. Suppose \(f_n(a) = f_n(b) = 0\) then \(f'_n(a) = -\frac{a^n}{n!}\) and \(f'_n(b) = -\frac{b^n}{n!}\), but then \(f_n'(a) f_n'(b) = \frac{(-a)^n(-b)^n}{(n!)^2} > 0\) since \(a < 0, b < 0\). \(_n'(a) f_n'(b)\) is positive, the two gradients must have the same sign (and not be zero). Therefore if they are both increasing, at some point the curve must cross the axis in between. Therefore there is some root \(c\) between \(a\) and \(b\). But then there is also a root between \(c\) and \(a\) and \(c\) and \(b\), and very quickly we find more than \(n\) roots which is not possivel. Therefore there must be at most \(1\) root. If \(n\) is odd there must be exactly one root, since \(f_n\) changes sign as \(x \to -\infty\) vs \(x = 0\). If \(n\) is even then there can't be any roots, since if it crossed the \(x\)-axis there would be two roots (not possible) and it cannot touch the axis, since \(f'_n(a) \neq 0\) unless \(a = 0\), and we know \(a < 0\)

---

Solution:

1. First notice that this cubic has leading first term \(1\) and three real roots, so it must have the shape:
   

   + - ↺
   With the \(x\)-axis running somewhere between the dashed lines. Since \(c < 0\), the \(y\)-axis must meet the curve below the \(x\)-axis, ie somewhere on the blue section of this curve:
   

   + - ↺
   Therefore there will be either \(1\) (if it meets it in the \(\cup\) area) or \(3\) (if it meets it on the far left) positive roots.
2. First notice that if \(c > 0\) we cannot have three positive real roots since the function would need to pass \(0\) between \(0\) and \(-\infty\). Secondly, notice both turning points must be larger than zero, ie \begin{align*} && 0 &= 3x^2 + 6ax + 3b \\ \Leftrightarrow && 0 &= (x+a)^2 + b - a^2 \end{align*} has both roots larger than zero, (and it needs to have two roots, so \(a^2 > b\) and \(-a > 0\), ie \(a < 0\). If \(b < 0\), then just looking at \(x^2+2ax+b\) we can see that it is \(<0\) at \(0\) and one of the roots will be negative, therefore \(c < 0\), \(a^2 > b > 0\) and \(a < 0\)
3. Since \(c > 0\) we can see that at least one root is negative.
   

   + - ↺
   ie the \(y\)-axis passes through an orange section of this curve. What now matters is where the larger turning point is. Considering \(x^2 + 2ax + b\), we notice that \(ab < 0\) means that \((x-\alpha)(x-\beta)\) we must have \((\alpha + \beta)\alpha \beta > 0\) which isn't possible if both roots are negative. Therefore the \(y\)-axis passes through the orange \(\cap\) and there are \(2\) positive real roots.
4. If we take \(a = 1, b = -1, c = 1\) then we have \(x^3 + 3x^2-3x+1\). This has turning points when \(x^2+2x-1 = 0\), ie \(x = -1 \pm \sqrt{2}\) Notice that \begin{align*} && y(-1\pm \sqrt2) &= (-1 \pm \sqrt{2})^3 + 3(-1 \pm \sqrt{2})^2-3(-1 \pm \sqrt{2}) + 1 \\ &&&= (-1\pm \sqrt{2}) \cdot (3 \mp 2\sqrt2) + 3(3 \mp \sqrt2) -3(-1\pm \sqrt2) + 1 \\ &&&= (-7 \pm 5 \sqrt2) + (9 \mp 3\sqrt2) +(3 \mp 3\sqrt2) + 1 \\ &&&= 24 \mp 16\sqrt2 = 8(3 \mp 2 \sqrt2) >0 \end{align*} ie both turning points are above zero and hence only one real root

---

Solution: If \(\p(x)\) and \(\q(x)\) are polynomials of degree \(m\) and \(n\), \(\p(\q(x))\) has degree \(mn\).

1. Suppose \(\p(\p(\p(x)))- 3 \p(x)= -2x\), and suppose \(p(x)\) has degree \(n = \geq 2\), then \(\p(\p(\p(x)))\) has degree \(n^3\) and so the left hand side has degree higher than \(1\) and the right hand side is degree \(1\). Therefore \(\p(x)\) is degree \(1\) or \(0\). If \(p(x) = c\) then \(c^3-3c = -2x\) but the LHS doesn't depend on \(x\) which is also a contradiction. Therefore \(\p(x)\) is degree \(1\). Suppose \(\p(x) = ax+b\) then: \begin{align*} && -2x &= \p(\p(\p(x))) - 3\p(x) \\ &&&= \p(\p(ax+b)) - 3(ax+b) \\ &&&= \p(a(ax+b)+b) - 3ax -3b \\ &&&= a(a^2x+ab+b) + b - 3ax - 3b \\ &&&= (a^3-3a)x + b(a^2+a-2) \\ \Rightarrow &&& \begin{cases} a^3-3a&=-2 \\ b(a^2+a-2) &= 0\end{cases} \\ \Rightarrow &&& \begin{cases} a^3-3a+2 = 0 \\ b = 0, a = 1, a = -2\end{cases} \\ \Rightarrow &&& \begin{cases} (a-1)(a^2+a-2) = 0 \\ b = 0, a = 1, a = -2\end{cases} \\ \Rightarrow && (a,b) &= (1, b), (-2,b) \end{align*}
2. Suppose \(2\p(\p(x)) +3 [\p(x)]^2 -4\p(x) =x^4\) and let \(\deg \p(x) = n\), then LHS has degree \(\max(n^2,2n,n)\) and the right hand side has degree \(4\). Therefore \(\p(x)\) must have degree \(2\). Let \(\p(x) = ax^2 + bx + c\), then, considering the coefficient of \(x^4\) in \(2\p(\p(x)) + 3[\p(x)]^2 -4\p(x)\) we will have \(2a^3+3a^2=1 \Rightarrow 2a^3+3a^2-1 = (a+1)^2(2a-1) \Rightarrow a = -1, a=\frac12\). Consider the coefficient of \(x^3\) in \(2\p(\p(x)) + 3[\p(x)]^2 -4\p(x)\) we have \(4a^2b+6ab = 0 \Rightarrow 2ab(2a+3) = 0\) Since \(a = -1, \frac12\) this means \(b = 0\). Consider the constant coefficient in \(2\p(\p(x)) + 3[\p(x)]^2 -4\p(x)\) (using \(b = 0\)). \(2ac^2+c+3c^2-4c = 0 \Rightarrow c(2ac+3c-3) = 0\). Therefore \(c = 0\) or \(a = -1, c = 3, a = \frac12, c = \frac34\), so our possible polynomials are: \(\p(x) = -x^2, \frac12x^2, -x^2+3, \frac12x^2+\frac34\)

---

Solution: Let \(\f(x) = x^n + a_{{n-1}}x^{n-1}+ \cdots + a_{2} x^2+ a_{1} x + a_{0}\), and suppose \(f(p/q) = 0\) with \((p,q) = 1\), the consider \begin{align*} && 0 &= q^{n-1}f(p/q) \\ &&&= \frac{p^n}{q} + \underbrace{a_{n-1}p^{n-1} + a_{n-2}p^{n-2}q + \cdots + a_0q^{n-1}}_{\in \mathbb{Z}} \\ \end{align*} But \(p^n/q \not \in \mathbb{Z}\) unless \(q = 1\) therefore \(p/q\) must be an integer, ie all rational roots are integers.

1. Note that \(\sqrt[n]2\) is a root of \(x^n - 2 =0\), but this has no integer solutions. (We can try all factors of \(2\)). Therefore all its roots must be irrational, ie \(\sqrt[n]2\) is irrational for \(n \geq 2\)
2. If \(n\) is a root of \(x^3 - x+1\) then it must be \(1\) or \(-1\) by the rational root theorem, ie \(1-1+1 \neq 0\) and \(-1 + 1 +1 \neq 0\), therefore no integer roots, therefore no rational roots.
3. Suppose \(m\) is an integer root of \(x^n - 5x + 7 = 0\) then by considering parity we must have \(m^n - 5m + 7 \equiv 1 \pmod{2}\) therefore we cannot have any rational roots.