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!