Let m be the variables in det A(x) and let rm
the number of roots in B for a multilinear polynomial in m
variables. If we arbitrarily fix the values of x1,...,xm-1
we get a first degree polynomial in xm
if the coefficient of xm
is non zero, and so there is at most one value of xm
which makes the determinant zero. This happens for every possible choice
in B of x1,...,xm-1.
Hence there are at most Km-1
vectors in B which are roots of det A(x) if the coefficient
of xm does not vanish.
If on the contrary the coefficient of xm
does vanish, and this can happen at most rm-1
times because the coefficient is a polynomial in m-1
variables, the value of xm
is irrelevant and so there are at most rm-1K
roots. Then rm £
Km-1+ rm-1K
with r1 £
1. One gets easily r2
£ 2K and in general rm
£ mKm-1. | ![]() |