Description: The first-order Vieta's formula (see http://en.wikipedia.org/wiki/Vieta%27s_formulas ). If a polynomial of degree N has N distinct roots, then the sum over these roots can be calculated as -u A ( N - 1 ) / A ( N ) . (If the roots are not distinct, then this formula is still true but must double-count some of the roots according to their multiplicities.) (Contributed by Mario Carneiro, 28-Jul-2014)
Ref | Expression | ||
---|---|---|---|
Hypotheses | vieta1.1 | |
|
vieta1.2 | |
||
vieta1.3 | |
||
vieta1.4 | |
||
vieta1.5 | |
||
vieta1.6 | |
||
Assertion | vieta1 | |