Problem

Source: Indonesia Regional 2023 Essay Number 4

Tags: irrational number, algebra, Indonesia, RMO



Find all irrational real numbers $\alpha$ such that \[ \alpha^3 - 15 \alpha \text{ and } \alpha^4 - 56 \alpha \]are both rational numbers.