Zero power sums force a finite complex multiset to vanish
ID: zero-power-sums-force-a-finite-complex-multiset-to-vanish
Collect the distinct nonzero values among the as with positive multiplicities . The first power sums imply for . The coefficient matrix is an invertible weighted Vandermonde matrix, so all vanish, a contradiction unless . Its invertibility also follows because a polynomial vanishing at zero and all the has distinct roots and degree at most .
New to topics? Read the docs here!