IMO 1970 LL BUL16

Show that the equation

IMO 1970 LL BUL16

Origin: BUL

Problem

Show that the equation 2 −x2 + 3 −x3 = 0 has no real roots.