<s>[INST] Proving Ramanujan's Nested Cube Root Ramanujan's Nested Cube:
If $\alpha,\beta$ and $\gamma$ are the roots of the cubic equation$$x^3-ax^2+bx-1=0\tag{1}$$then, they satisfy$$\alpha^{1/3}+\beta^{1/3}+\gamma^{1/3}=(a+6+3t)^{1/3}\tag{2.1}$$
$$(\alpha\beta)^{1/3}+(\beta\gamma)^{1/3}+(\gamma\alpha)^{1/3}=(b+6+3t)^{1/3}\tag{2.2}$$where$$t^3-3(a+b+3)t-(ab+6(a+b)+9)=0\tag3$$
The formula (2.1) is what Ramanujan used to get
$$\sqrt[3]{\cos\tfrac {2\pi}7}+\sqrt[3]{\cos\tfrac {4\pi}7}+\sqrt[3]{\cos\tfrac {8\pi}7}=\sqrt[3]{\tfrac 12\left(5-3\sqrt[3]7\right)}$$
by starting with $x^3+x^2-2x-1=0$ along with its trigonometric roots $\cos\frac {2\pi}7,\>\cos\frac {4\pi}7, \>\cos\frac {8\pi}7$ on LHS, and then getting RHS with $a=-1,b=-2$.
Question:

*

*How to prove the formulas (2.1) and (2.2)?

*Is there a standard procedure to find trigonometric roots of a polynomial?

I first started off with a function $x^3-px^2+qx-1=0$ and assumed that the roots were $\alpha^{1/3},\beta^{1/3},\gamma^{1/3}$. That way, by Vieta's formula, we have$$\alpha^{1/3}+\beta^{1/3}+\gamma^{1/3}=p$$$$(\alpha\beta)^{1/3}+(\beta\gamma)^{1/3}+(\gamma\alpha)^{1/3}=-q$$However, I'm not sure how to represent the RHS in $(2.1)$ or $(2.2)$
EDIT: I found a proof, but something doesn't match up. I have posted another question here
 [/INST] We have $\alpha$ , $\beta$ and $\gamma$ are roots of the equation $x^3-ax^2+bx-1=0$ so 
\begin{eqnarray*}
a= \sum \alpha \\
b= \sum \alpha \beta \\
\alpha \beta \gamma =1
\end{eqnarray*}
so $\sqrt[3]{\alpha \beta \gamma} =1$ and let 
\begin{eqnarray*}
A= \sum  \sqrt[3]{\alpha} \\
B= \sum \sqrt[3]{\alpha \beta} 
\end{eqnarray*}
Cube these equations and multiply them
\begin{eqnarray*}
A^3= a+3\sum  \sqrt[3]{\alpha^2 \beta} +6\\
B^3= b+3\sum \sqrt[3]{\alpha^2 \beta} +6\\
AB= \sum \sqrt[3]{\alpha^2 \beta}+3
\end{eqnarray*}
let $t=\sum \sqrt[3]{\alpha^2 \beta}$ and cube $AB=t+3$ We have
\begin{eqnarray*}
 t^3+9t^2+27t+27 = A^3B^3=(a+3t +6)(b+3t +6)\\
t^3=3(a+b+3)t+(ab+6(a+b)+9).
\end{eqnarray*}
Thus the equation is shown.
</s>