Las primeras k filas y k columnas de a constituyen el componente principal de orden k, que es el determinante de Vandermonde y no es cero.
Entonces, cuando n≥s, la columna A tiene rango completo y la columna B es simétrica y definida positiva. Cuando n < s, b es semipositivo.
Sin embargo, hay un problema con las condiciones conocidas de la pregunta. Las constantes que aparecen en A son x1, x2,..., xs, y luego se definen como xi≠xj. Tanto I como J toman valores de 1 a n. Esto sucederá: por ejemplo, s=2, norte=3. Un * * * tiene dos números X1 y X2, siempre que x1, x2 y X3 no sean iguales entre sí.