0
$\begingroup$

Let $p\in\mathbb{Z}[x]$, set $d = \textbf{Deg}(p)$, and write $$p(x) = \sum_{i=0}^{d}{a_ix^i}$$ for some sequence $\{a_0,a_1,a_2,...., a_{d-1}\}$. Is there a mapping $\mathcal{F}$ so that $$\mathcal{F}\biggl(\{a_0,a_1,a_2,...., a_{d-1}\}\biggr) = \{x:~ \sum_{i=0}^{d}{a_ix^i} = 0 \}.$$ That is does a general formula for the roots of every polynomial exist. The Quadratic formula is known and we can write the roots of $a_3x^2+a_2x+a_1$ as $$\dfrac{-a_2\pm \sqrt{a_2^2-4a_3a_1}}{2a_3}.$$ So we know when $d=3$ the function $\mathcal{F}$ at $\{a_1,a_2,a_3\}$ is $\dfrac{-a_2\pm \sqrt{a_2^2-4a_3a_1}}{2a_3}$. There might exist a function in the form of a quotient $$\mathcal{F}(\{a_0,a_1,a_2,...,a_{d-1}\})= \dfrac{f(a_0,a_1,a_2,...,a_{d-1})}{g(a_0,a_1,a_2,... ,a_{d-1})}.$$ When $d=2$ we have $f:= -a_2\pm \sqrt{a_2^2-4a_3a_1}$ and $g:= 2a_3$ is a solution.

New contributor
Wuu tang clan is a new contributor to this site. Take care in asking for clarification, commenting, and answering. Check out our Code of Conduct.
$\endgroup$
6
  • 2
    $\begingroup$ Of course there is such a mapping, you have just defined it (though for $d\ge5$ it is has no representation by sums, products, quotients, radicals, according to the Ruffini-Abel-Galois Thm) $\endgroup$ Commented 22 hours ago
  • $\begingroup$ You use $f$ to mean two different things (a function, and its numerator). You also use $\{a_0, \dotsc, a_d\}$, which looks like a set, but you call it a sequence, and certainly you seem to treat it as a sequence (since the set of coefficients of a polynomial certainly isn't enouhg to recover its set of roots). $\endgroup$
    – LSpice
    Commented 22 hours ago
  • $\begingroup$ For d=3 the formula is more complicated. $\endgroup$
    – Anixx
    Commented 20 hours ago
  • $\begingroup$ The formulas for degree 3 and 4 are not of the form of quotinent. Here is the formula for degree 4: math.stackexchange.com/a/1135224/2513 $\endgroup$
    – Anixx
    Commented 20 hours ago
  • $\begingroup$ Why you close question? I'm Blocked? $\endgroup$ Commented 18 hours ago

0

Browse other questions tagged .