Infinite series representation for root of polynomials? Given a polynomial p(x)=a_nx^n+ cdots +a_1x+a_0, can every root of the polynomial be represented as sum_{k=0}^{infty}b_k with the b_k's being a function of a_0,…,a_n using only elementary operations of arithmetic and taking roots?
aplaya4lyfeSS1
Answered question
2022-11-25
Infinite series representation for root of polynomials? Given a polynomial , can every root of the polynomial be represented as with the 's being a function of using only elementary operations of arithmetic and taking roots?
Answer & Explanation
kjakesHB
Beginner2022-11-26Added 10 answers
Explanation: I think this is true at least formally if you allow the to have coefficients in . This is because, if K is an algebraically closed field of characteristic 0, then the field of Puiseux series with coefficients in K is also algebraically closed, and by iterating this construction for each coefficient I think we get the desired result abstractly, although I am not sure what one can say about actual (as opposed to formal) convergence.
Jase Sawyer
Beginner2022-11-27Added 1 answers
Step 1 The difficult part is to get a good a priori estimate of the set S of roots. Starting with any , e.g., with rational coordinates, Newton's rule
i.e.,
Step 2 provides a series converging to a point where the depend rationally on the coefficients of p (and the chosen point ).