Problem

Source: Caucasus MO 2023, day 1, senior P2

Tags: algebra, polynomial



Given are reals $a, b$. Prove that at least one of the equations $x^4-2b^3x+a^4=0$ and $x^4-2a^3x+b^4=0$ has a real root. Proposed by N. Agakhanov