MathNet 2024-part-04 — 168 problems (EN–VI) Question 85

The non-zero real numbers $a$ and $b$ fulfill $3(a^6 + b^6) = a^2b^2(a^2b^2 + 9)$. Prove that at least one of the numbers $a$ and $b$ is irrational.