If $\begin{cases}a^4+b^4\in\mathbb Q\\ a^3+b^3\in\mathbb Q\\ a^2+b^2\in\mathbb Q\end{cases}$, prove that $a+b\in\mathbb Q$ and $ab\in\mathbb Q$. It is given that $a,b\in\mathbb R$.
The proof of the latter would simply follow from the former, and vice versa. So I think a better question would be:
Prove one of these statements: $a+b\in\mathbb Q$ or $ab\in\mathbb Q$.
The problem is from the selection to IMO.
I've tried a whole lot of things, including the identities: $$a^4+b^4=(a+b)(a^3+b^3)-ab(a^2+b^2)\\ a^3+b^3=(a+b)(a^2-ab+b^2)\\ a^2+b^2=(a+b)^2-2ab\\ (a+b)^3=a^3+b^3+3ab(a+b)\\ \text{etc...}$$
Even if one could solve the problem using these identities, doing it would most likely be quite tedious imho... Any observations would be greatly appreciated. Thanks.