TH-TMO 2006 Problem 8

Let $a, b, c$ be the roots of the equation $x^3-9x^2+11x-1 = 0$ , and define $s =\sqrt{a}+\sqrt{b}+\sqrt{c}$ . Compute $s^4 -18s^2 - 8s$ .

Dataset text AI-MO AoPS. Quoted with source.

Solutions

No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.