Is this true for all polynomialsIs this notation good for the chain rule derivative?Finding patterns in differential equation coefficientsOn $big(tfrac1+sqrt52big)^12=small 161+72sqrt5$ and $int_-1^1fracdxleft(1-x^2right)^small3/4 sqrt[4]161+72sqrt5,x$How to show an infinite number of algebraic numbers $alpha$ and $beta$ for $_2F_1left(frac14,frac14;frac34;-alpharight)=beta,$?What is $_3F_2left(1,frac32,2; frac43,frac53; frac427right)$ as an integral?Evaluating closed form of $I_n=int_0^pi/2 underbracecos(cos(dots(cos_n text times(x))dots))~dx$ for all $nin mathbbN$.Is there a nice general formula for $int fracdxx^n-1$ and/or $int fracdxPhi_n(x)$?

Why don't modern jet engines use forced exhaust mixing?

Is there any official ruling on how characters go from 0th to 1st level in a class?

Knights and Knaves on a (Not So) Deserted Island

When does The Truman Show take place?

Do I need to start off my book by describing the character's "normal world"?

What should I do with the stock I own if I anticipate there will be a recession?

Will some rockets really collapse under their own weight?

Why do so many people play out of turn on the last lead?

Select elements of a list by comparing it to another list

How does the Moon's gravity affect Earth's oceans despite Earth's stronger gravitational pull?

Problem with GFCI at start of circuit with both lights and two receptacles

Does Medium Armor's Max dex also put a cap on the negative side?

Upside down reversion for a Greek letter

Have there ever been other TV shows or Films that told a similiar story to the new 90210 show?

Short comic about alien explorers visiting an abandoned world with giant statues that turn out to be alive but move very slowly

What is the question mark?

Quick destruction of a helium filled airship?

Expressing a chain of boolean ORs using ILP

Good way to stop electrolyte tabs from turning into powder?

Is a USB 3.0 device possible with a four contact USB 2.0 connector?

How to gracefully leave a company you helped start?

Duplicate and slide edge (rip from boundary)

A Magic Diamond

What are these panels underneath the wing root of a A380?



Is this true for all polynomials


Is this notation good for the chain rule derivative?Finding patterns in differential equation coefficientsOn $big(tfrac1+sqrt52big)^12=small 161+72sqrt5$ and $int_-1^1fracdxleft(1-x^2right)^small3/4 sqrt[4]161+72sqrt5,x$How to show an infinite number of algebraic numbers $alpha$ and $beta$ for $_2F_1left(frac14,frac14;frac34;-alpharight)=beta,$?What is $_3F_2left(1,frac32,2; frac43,frac53; frac427right)$ as an integral?Evaluating closed form of $I_n=int_0^pi/2 underbracecos(cos(dots(cos_n text times(x))dots))~dx$ for all $nin mathbbN$.Is there a nice general formula for $int fracdxx^n-1$ and/or $int fracdxPhi_n(x)$?






.everyoneloves__top-leaderboard:empty,.everyoneloves__mid-leaderboard:empty,.everyoneloves__bot-mid-leaderboard:empty margin-bottom:0;








6












$begingroup$


I took $3$ random polynomials with non zero roots one having even degree and two having odd degrees




  1. $f(x)=colorred4x^2-(4sqrt3+12)x+12sqrt3$ having roots $colorblue3,sqrt3$ and leading coefficient $colorred4$ and calculated values of $xf'(x)$$(f'(x)$ is the derivative of $f(x))$ at both roots which are $3f'(3)$ and $sqrt3f'(sqrt3)$ and then sum of their reciprocals $frac13f'(3)+frac1sqrt3f'(sqrt3)=frac-112sqrt3=frac-1colorred4left(frac1colorblue3cdotsqrt3right)$ then repeated same thing for


  2. $g(x)=colorred1x^3-frac203x^2-12x+frac323$ having roots $colorblue8,-2,frac23$



    $frac18g'(8)+frac1-2g'(-2)+frac1frac23g'(frac2 3)=frac1colorred1left(frac1colorblue8cdot-2cdotfrac2 3right)$




  3. $h(x)=colorred1x^5+41x^4+137x^3-1601x^2-1818x+3240 $ having roots $colorblue1,-2,5,-9,-36$



    $frac11h'(1)+frac1-2h'(-2)+frac15h'(5)+frac1-9h'(-9)+frac1-36h'(-36)=frac1colorred1left(frac1colorblue1cdot-2 cdot5cdot-9cdot-36right)$



Is this true for all polynomials? Is there any known result?










share|cite|improve this question









$endgroup$









  • 3




    $begingroup$
    If the polynomial has a double root, then it is a root of its derivative, and the expression is not well-defined.
    $endgroup$
    – Daniel
    8 hours ago










  • $begingroup$
    You want to show that $sumlimits_i=1^mfraca_0sumlimits_j=1^nja_jx_i^j=(-1)^deg p$ where $p(x_i)=sumlimits_k=0^na_kx_i^k=0$ with $mle n$.
    $endgroup$
    – TheSimpliFire
    8 hours ago

















6












$begingroup$


I took $3$ random polynomials with non zero roots one having even degree and two having odd degrees




  1. $f(x)=colorred4x^2-(4sqrt3+12)x+12sqrt3$ having roots $colorblue3,sqrt3$ and leading coefficient $colorred4$ and calculated values of $xf'(x)$$(f'(x)$ is the derivative of $f(x))$ at both roots which are $3f'(3)$ and $sqrt3f'(sqrt3)$ and then sum of their reciprocals $frac13f'(3)+frac1sqrt3f'(sqrt3)=frac-112sqrt3=frac-1colorred4left(frac1colorblue3cdotsqrt3right)$ then repeated same thing for


  2. $g(x)=colorred1x^3-frac203x^2-12x+frac323$ having roots $colorblue8,-2,frac23$



    $frac18g'(8)+frac1-2g'(-2)+frac1frac23g'(frac2 3)=frac1colorred1left(frac1colorblue8cdot-2cdotfrac2 3right)$




  3. $h(x)=colorred1x^5+41x^4+137x^3-1601x^2-1818x+3240 $ having roots $colorblue1,-2,5,-9,-36$



    $frac11h'(1)+frac1-2h'(-2)+frac15h'(5)+frac1-9h'(-9)+frac1-36h'(-36)=frac1colorred1left(frac1colorblue1cdot-2 cdot5cdot-9cdot-36right)$



Is this true for all polynomials? Is there any known result?










share|cite|improve this question









$endgroup$









  • 3




    $begingroup$
    If the polynomial has a double root, then it is a root of its derivative, and the expression is not well-defined.
    $endgroup$
    – Daniel
    8 hours ago










  • $begingroup$
    You want to show that $sumlimits_i=1^mfraca_0sumlimits_j=1^nja_jx_i^j=(-1)^deg p$ where $p(x_i)=sumlimits_k=0^na_kx_i^k=0$ with $mle n$.
    $endgroup$
    – TheSimpliFire
    8 hours ago













6












6








6


2



$begingroup$


I took $3$ random polynomials with non zero roots one having even degree and two having odd degrees




  1. $f(x)=colorred4x^2-(4sqrt3+12)x+12sqrt3$ having roots $colorblue3,sqrt3$ and leading coefficient $colorred4$ and calculated values of $xf'(x)$$(f'(x)$ is the derivative of $f(x))$ at both roots which are $3f'(3)$ and $sqrt3f'(sqrt3)$ and then sum of their reciprocals $frac13f'(3)+frac1sqrt3f'(sqrt3)=frac-112sqrt3=frac-1colorred4left(frac1colorblue3cdotsqrt3right)$ then repeated same thing for


  2. $g(x)=colorred1x^3-frac203x^2-12x+frac323$ having roots $colorblue8,-2,frac23$



    $frac18g'(8)+frac1-2g'(-2)+frac1frac23g'(frac2 3)=frac1colorred1left(frac1colorblue8cdot-2cdotfrac2 3right)$




  3. $h(x)=colorred1x^5+41x^4+137x^3-1601x^2-1818x+3240 $ having roots $colorblue1,-2,5,-9,-36$



    $frac11h'(1)+frac1-2h'(-2)+frac15h'(5)+frac1-9h'(-9)+frac1-36h'(-36)=frac1colorred1left(frac1colorblue1cdot-2 cdot5cdot-9cdot-36right)$



Is this true for all polynomials? Is there any known result?










share|cite|improve this question









$endgroup$




I took $3$ random polynomials with non zero roots one having even degree and two having odd degrees




  1. $f(x)=colorred4x^2-(4sqrt3+12)x+12sqrt3$ having roots $colorblue3,sqrt3$ and leading coefficient $colorred4$ and calculated values of $xf'(x)$$(f'(x)$ is the derivative of $f(x))$ at both roots which are $3f'(3)$ and $sqrt3f'(sqrt3)$ and then sum of their reciprocals $frac13f'(3)+frac1sqrt3f'(sqrt3)=frac-112sqrt3=frac-1colorred4left(frac1colorblue3cdotsqrt3right)$ then repeated same thing for


  2. $g(x)=colorred1x^3-frac203x^2-12x+frac323$ having roots $colorblue8,-2,frac23$



    $frac18g'(8)+frac1-2g'(-2)+frac1frac23g'(frac2 3)=frac1colorred1left(frac1colorblue8cdot-2cdotfrac2 3right)$




  3. $h(x)=colorred1x^5+41x^4+137x^3-1601x^2-1818x+3240 $ having roots $colorblue1,-2,5,-9,-36$



    $frac11h'(1)+frac1-2h'(-2)+frac15h'(5)+frac1-9h'(-9)+frac1-36h'(-36)=frac1colorred1left(frac1colorblue1cdot-2 cdot5cdot-9cdot-36right)$



Is this true for all polynomials? Is there any known result?







calculus






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked 8 hours ago









user593646user593646

1294 bronze badges




1294 bronze badges










  • 3




    $begingroup$
    If the polynomial has a double root, then it is a root of its derivative, and the expression is not well-defined.
    $endgroup$
    – Daniel
    8 hours ago










  • $begingroup$
    You want to show that $sumlimits_i=1^mfraca_0sumlimits_j=1^nja_jx_i^j=(-1)^deg p$ where $p(x_i)=sumlimits_k=0^na_kx_i^k=0$ with $mle n$.
    $endgroup$
    – TheSimpliFire
    8 hours ago












  • 3




    $begingroup$
    If the polynomial has a double root, then it is a root of its derivative, and the expression is not well-defined.
    $endgroup$
    – Daniel
    8 hours ago










  • $begingroup$
    You want to show that $sumlimits_i=1^mfraca_0sumlimits_j=1^nja_jx_i^j=(-1)^deg p$ where $p(x_i)=sumlimits_k=0^na_kx_i^k=0$ with $mle n$.
    $endgroup$
    – TheSimpliFire
    8 hours ago







3




3




$begingroup$
If the polynomial has a double root, then it is a root of its derivative, and the expression is not well-defined.
$endgroup$
– Daniel
8 hours ago




$begingroup$
If the polynomial has a double root, then it is a root of its derivative, and the expression is not well-defined.
$endgroup$
– Daniel
8 hours ago












$begingroup$
You want to show that $sumlimits_i=1^mfraca_0sumlimits_j=1^nja_jx_i^j=(-1)^deg p$ where $p(x_i)=sumlimits_k=0^na_kx_i^k=0$ with $mle n$.
$endgroup$
– TheSimpliFire
8 hours ago




$begingroup$
You want to show that $sumlimits_i=1^mfraca_0sumlimits_j=1^nja_jx_i^j=(-1)^deg p$ where $p(x_i)=sumlimits_k=0^na_kx_i^k=0$ with $mle n$.
$endgroup$
– TheSimpliFire
8 hours ago










2 Answers
2






active

oldest

votes


















9












$begingroup$

This results from partial fraction decomposition.



Suppose $g(x)$ has no repeated roots, and without loss of generality is monic (leading coefficient $1$). Then it factors as $displaystyle g(x)=prod_r(x-r)$ over all roots $r$ and



$$ frac1g(x)=sum_rfracc(r)x-r $$



for some constants $c(r)$, one for each root $r$. To find the constant $c(s)$ for a specific root $s$, first multiply the equation by the factor $(x-s)$,



$$ fracx-sg(x)=c(s)+sum_rne s c(r)fracx-sx-r $$



then "evaluate" i.e. take the limit $xto s$ to obtain



$$ frac1g'(s)=c(s). $$



Therefore we may plug $x=0$ into



$$ frac1g(x) =sum_r frac1g'(r)(x-r) $$



and manage negative signs to get



$$ frac(-1)^deg gdisplaystyle prod r = -sum_r frac1rg'(r). $$



When $deg g$ is odd, all signs can go away.






share|cite|improve this answer











$endgroup$














  • $begingroup$
    Beautiful! And I managed to understand all steps!
    $endgroup$
    – Zamu
    2 hours ago


















2












$begingroup$

It is true for all polynomials with non-zero simple roots.



This follows from the barycentric form of Lagrange interpolation:
$$
L(x)=ell (x)sum _j=1^nfrac w_jx-x_jy_j
$$

where
$$
ell (x)=(x-x_1)(x-x_1)cdots (x-x_n),
quad
w_j=frac 1ell '(x_j)
$$

Therefore, for the constant function $1$ evaluated at $x=0$ we have
$$
1= L(0) = -ell (0)sum _j=1^nfrac 1x_jell '(x_j)
$$

For a polynomial $f$ with simple roots $x_1, dots, x_n$, we have
$$
f(x)=a(x-x_1)(x-x_1)cdots (x-x_n)=aell (x)
$$

and so
$$
sum _j=1^nfrac 1x_jf'(x_j)
=sum _j=1^nfrac 1x_jaell '(x_j)
=-frac1aell(0)
=-frac1(-1)^nax_1 cdots x_n
=frac(-1)^n+1ax_1 cdots x_n
$$

This can also be written as
$$
sum _j=1^nfrac 1x_jf'(x_j)
=-frac1f(0)
$$






share|cite|improve this answer











$endgroup$

















    Your Answer








    StackExchange.ready(function()
    var channelOptions =
    tags: "".split(" "),
    id: "69"
    ;
    initTagRenderer("".split(" "), "".split(" "), channelOptions);

    StackExchange.using("externalEditor", function()
    // Have to fire editor after snippets, if snippets enabled
    if (StackExchange.settings.snippets.snippetsEnabled)
    StackExchange.using("snippets", function()
    createEditor();
    );

    else
    createEditor();

    );

    function createEditor()
    StackExchange.prepareEditor(
    heartbeatType: 'answer',
    autoActivateHeartbeat: false,
    convertImagesToLinks: true,
    noModals: true,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    imageUploader:
    brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
    contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
    allowUrls: true
    ,
    noCode: true, onDemand: true,
    discardSelector: ".discard-answer"
    ,immediatelyShowMarkdownHelp:true
    );



    );













    draft saved

    draft discarded


















    StackExchange.ready(
    function ()
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3325284%2fis-this-true-for-all-polynomials%23new-answer', 'question_page');

    );

    Post as a guest















    Required, but never shown

























    2 Answers
    2






    active

    oldest

    votes








    2 Answers
    2






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    9












    $begingroup$

    This results from partial fraction decomposition.



    Suppose $g(x)$ has no repeated roots, and without loss of generality is monic (leading coefficient $1$). Then it factors as $displaystyle g(x)=prod_r(x-r)$ over all roots $r$ and



    $$ frac1g(x)=sum_rfracc(r)x-r $$



    for some constants $c(r)$, one for each root $r$. To find the constant $c(s)$ for a specific root $s$, first multiply the equation by the factor $(x-s)$,



    $$ fracx-sg(x)=c(s)+sum_rne s c(r)fracx-sx-r $$



    then "evaluate" i.e. take the limit $xto s$ to obtain



    $$ frac1g'(s)=c(s). $$



    Therefore we may plug $x=0$ into



    $$ frac1g(x) =sum_r frac1g'(r)(x-r) $$



    and manage negative signs to get



    $$ frac(-1)^deg gdisplaystyle prod r = -sum_r frac1rg'(r). $$



    When $deg g$ is odd, all signs can go away.






    share|cite|improve this answer











    $endgroup$














    • $begingroup$
      Beautiful! And I managed to understand all steps!
      $endgroup$
      – Zamu
      2 hours ago















    9












    $begingroup$

    This results from partial fraction decomposition.



    Suppose $g(x)$ has no repeated roots, and without loss of generality is monic (leading coefficient $1$). Then it factors as $displaystyle g(x)=prod_r(x-r)$ over all roots $r$ and



    $$ frac1g(x)=sum_rfracc(r)x-r $$



    for some constants $c(r)$, one for each root $r$. To find the constant $c(s)$ for a specific root $s$, first multiply the equation by the factor $(x-s)$,



    $$ fracx-sg(x)=c(s)+sum_rne s c(r)fracx-sx-r $$



    then "evaluate" i.e. take the limit $xto s$ to obtain



    $$ frac1g'(s)=c(s). $$



    Therefore we may plug $x=0$ into



    $$ frac1g(x) =sum_r frac1g'(r)(x-r) $$



    and manage negative signs to get



    $$ frac(-1)^deg gdisplaystyle prod r = -sum_r frac1rg'(r). $$



    When $deg g$ is odd, all signs can go away.






    share|cite|improve this answer











    $endgroup$














    • $begingroup$
      Beautiful! And I managed to understand all steps!
      $endgroup$
      – Zamu
      2 hours ago













    9












    9








    9





    $begingroup$

    This results from partial fraction decomposition.



    Suppose $g(x)$ has no repeated roots, and without loss of generality is monic (leading coefficient $1$). Then it factors as $displaystyle g(x)=prod_r(x-r)$ over all roots $r$ and



    $$ frac1g(x)=sum_rfracc(r)x-r $$



    for some constants $c(r)$, one for each root $r$. To find the constant $c(s)$ for a specific root $s$, first multiply the equation by the factor $(x-s)$,



    $$ fracx-sg(x)=c(s)+sum_rne s c(r)fracx-sx-r $$



    then "evaluate" i.e. take the limit $xto s$ to obtain



    $$ frac1g'(s)=c(s). $$



    Therefore we may plug $x=0$ into



    $$ frac1g(x) =sum_r frac1g'(r)(x-r) $$



    and manage negative signs to get



    $$ frac(-1)^deg gdisplaystyle prod r = -sum_r frac1rg'(r). $$



    When $deg g$ is odd, all signs can go away.






    share|cite|improve this answer











    $endgroup$



    This results from partial fraction decomposition.



    Suppose $g(x)$ has no repeated roots, and without loss of generality is monic (leading coefficient $1$). Then it factors as $displaystyle g(x)=prod_r(x-r)$ over all roots $r$ and



    $$ frac1g(x)=sum_rfracc(r)x-r $$



    for some constants $c(r)$, one for each root $r$. To find the constant $c(s)$ for a specific root $s$, first multiply the equation by the factor $(x-s)$,



    $$ fracx-sg(x)=c(s)+sum_rne s c(r)fracx-sx-r $$



    then "evaluate" i.e. take the limit $xto s$ to obtain



    $$ frac1g'(s)=c(s). $$



    Therefore we may plug $x=0$ into



    $$ frac1g(x) =sum_r frac1g'(r)(x-r) $$



    and manage negative signs to get



    $$ frac(-1)^deg gdisplaystyle prod r = -sum_r frac1rg'(r). $$



    When $deg g$ is odd, all signs can go away.







    share|cite|improve this answer














    share|cite|improve this answer



    share|cite|improve this answer








    edited 8 hours ago

























    answered 8 hours ago









    runway44runway44

    1,9871 gold badge2 silver badges9 bronze badges




    1,9871 gold badge2 silver badges9 bronze badges














    • $begingroup$
      Beautiful! And I managed to understand all steps!
      $endgroup$
      – Zamu
      2 hours ago
















    • $begingroup$
      Beautiful! And I managed to understand all steps!
      $endgroup$
      – Zamu
      2 hours ago















    $begingroup$
    Beautiful! And I managed to understand all steps!
    $endgroup$
    – Zamu
    2 hours ago




    $begingroup$
    Beautiful! And I managed to understand all steps!
    $endgroup$
    – Zamu
    2 hours ago













    2












    $begingroup$

    It is true for all polynomials with non-zero simple roots.



    This follows from the barycentric form of Lagrange interpolation:
    $$
    L(x)=ell (x)sum _j=1^nfrac w_jx-x_jy_j
    $$

    where
    $$
    ell (x)=(x-x_1)(x-x_1)cdots (x-x_n),
    quad
    w_j=frac 1ell '(x_j)
    $$

    Therefore, for the constant function $1$ evaluated at $x=0$ we have
    $$
    1= L(0) = -ell (0)sum _j=1^nfrac 1x_jell '(x_j)
    $$

    For a polynomial $f$ with simple roots $x_1, dots, x_n$, we have
    $$
    f(x)=a(x-x_1)(x-x_1)cdots (x-x_n)=aell (x)
    $$

    and so
    $$
    sum _j=1^nfrac 1x_jf'(x_j)
    =sum _j=1^nfrac 1x_jaell '(x_j)
    =-frac1aell(0)
    =-frac1(-1)^nax_1 cdots x_n
    =frac(-1)^n+1ax_1 cdots x_n
    $$

    This can also be written as
    $$
    sum _j=1^nfrac 1x_jf'(x_j)
    =-frac1f(0)
    $$






    share|cite|improve this answer











    $endgroup$



















      2












      $begingroup$

      It is true for all polynomials with non-zero simple roots.



      This follows from the barycentric form of Lagrange interpolation:
      $$
      L(x)=ell (x)sum _j=1^nfrac w_jx-x_jy_j
      $$

      where
      $$
      ell (x)=(x-x_1)(x-x_1)cdots (x-x_n),
      quad
      w_j=frac 1ell '(x_j)
      $$

      Therefore, for the constant function $1$ evaluated at $x=0$ we have
      $$
      1= L(0) = -ell (0)sum _j=1^nfrac 1x_jell '(x_j)
      $$

      For a polynomial $f$ with simple roots $x_1, dots, x_n$, we have
      $$
      f(x)=a(x-x_1)(x-x_1)cdots (x-x_n)=aell (x)
      $$

      and so
      $$
      sum _j=1^nfrac 1x_jf'(x_j)
      =sum _j=1^nfrac 1x_jaell '(x_j)
      =-frac1aell(0)
      =-frac1(-1)^nax_1 cdots x_n
      =frac(-1)^n+1ax_1 cdots x_n
      $$

      This can also be written as
      $$
      sum _j=1^nfrac 1x_jf'(x_j)
      =-frac1f(0)
      $$






      share|cite|improve this answer











      $endgroup$

















        2












        2








        2





        $begingroup$

        It is true for all polynomials with non-zero simple roots.



        This follows from the barycentric form of Lagrange interpolation:
        $$
        L(x)=ell (x)sum _j=1^nfrac w_jx-x_jy_j
        $$

        where
        $$
        ell (x)=(x-x_1)(x-x_1)cdots (x-x_n),
        quad
        w_j=frac 1ell '(x_j)
        $$

        Therefore, for the constant function $1$ evaluated at $x=0$ we have
        $$
        1= L(0) = -ell (0)sum _j=1^nfrac 1x_jell '(x_j)
        $$

        For a polynomial $f$ with simple roots $x_1, dots, x_n$, we have
        $$
        f(x)=a(x-x_1)(x-x_1)cdots (x-x_n)=aell (x)
        $$

        and so
        $$
        sum _j=1^nfrac 1x_jf'(x_j)
        =sum _j=1^nfrac 1x_jaell '(x_j)
        =-frac1aell(0)
        =-frac1(-1)^nax_1 cdots x_n
        =frac(-1)^n+1ax_1 cdots x_n
        $$

        This can also be written as
        $$
        sum _j=1^nfrac 1x_jf'(x_j)
        =-frac1f(0)
        $$






        share|cite|improve this answer











        $endgroup$



        It is true for all polynomials with non-zero simple roots.



        This follows from the barycentric form of Lagrange interpolation:
        $$
        L(x)=ell (x)sum _j=1^nfrac w_jx-x_jy_j
        $$

        where
        $$
        ell (x)=(x-x_1)(x-x_1)cdots (x-x_n),
        quad
        w_j=frac 1ell '(x_j)
        $$

        Therefore, for the constant function $1$ evaluated at $x=0$ we have
        $$
        1= L(0) = -ell (0)sum _j=1^nfrac 1x_jell '(x_j)
        $$

        For a polynomial $f$ with simple roots $x_1, dots, x_n$, we have
        $$
        f(x)=a(x-x_1)(x-x_1)cdots (x-x_n)=aell (x)
        $$

        and so
        $$
        sum _j=1^nfrac 1x_jf'(x_j)
        =sum _j=1^nfrac 1x_jaell '(x_j)
        =-frac1aell(0)
        =-frac1(-1)^nax_1 cdots x_n
        =frac(-1)^n+1ax_1 cdots x_n
        $$

        This can also be written as
        $$
        sum _j=1^nfrac 1x_jf'(x_j)
        =-frac1f(0)
        $$







        share|cite|improve this answer














        share|cite|improve this answer



        share|cite|improve this answer








        edited 8 hours ago

























        answered 8 hours ago









        lhflhf

        172k11 gold badges179 silver badges417 bronze badges




        172k11 gold badges179 silver badges417 bronze badges






























            draft saved

            draft discarded
















































            Thanks for contributing an answer to Mathematics Stack Exchange!


            • Please be sure to answer the question. Provide details and share your research!

            But avoid


            • Asking for help, clarification, or responding to other answers.

            • Making statements based on opinion; back them up with references or personal experience.

            Use MathJax to format equations. MathJax reference.


            To learn more, see our tips on writing great answers.




            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3325284%2fis-this-true-for-all-polynomials%23new-answer', 'question_page');

            );

            Post as a guest















            Required, but never shown





















































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown

































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown







            Popular posts from this blog

            Invision Community Contents History See also References External links Navigation menuProprietaryinvisioncommunity.comIPS Community ForumsIPS Community Forumsthis blog entry"License Changes, IP.Board 3.4, and the Future""Interview -- Matt Mecham of Ibforums""CEO Invision Power Board, Matt Mecham Is a Liar, Thief!"IPB License Explanation 1.3, 1.3.1, 2.0, and 2.1ArchivedSecurity Fixes, Updates And Enhancements For IPB 1.3.1Archived"New Demo Accounts - Invision Power Services"the original"New Default Skin"the original"Invision Power Board 3.0.0 and Applications Released"the original"Archived copy"the original"Perpetual licenses being done away with""Release Notes - Invision Power Services""Introducing: IPS Community Suite 4!"Invision Community Release Notes

            Canceling a color specificationRandomly assigning color to Graphics3D objects?Default color for Filling in Mathematica 9Coloring specific elements of sets with a prime modified order in an array plotHow to pick a color differing significantly from the colors already in a given color list?Detection of the text colorColor numbers based on their valueCan color schemes for use with ColorData include opacity specification?My dynamic color schemes

            Ласкавець круглолистий Зміст Опис | Поширення | Галерея | Примітки | Посилання | Навігаційне меню58171138361-22960890446Bupleurum rotundifoliumEuro+Med PlantbasePlants of the World Online — Kew ScienceGermplasm Resources Information Network (GRIN)Ласкавецькн. VI : Літери Ком — Левиправивши або дописавши її