Q7 Matemática  (IMO Longlists 1989)

Prove que a equação não tem raízes racionais.