Para quaisquer números reais b1, b2, b3 e b4, use esse resultado para provar que existe uma única curva cúbica, com equação y=a+b x+c x^2+d x^3 que passa pelos quatro pontos (a1, b1),(a2, b2),(a3, b3) e (a4, b4). (Não determine, de fato, os valores de a, b, c e d.)
Em seguida, para quaisquer b1,b2,b3,b4, quer-se provar que existe e é única a cúbica
y = alpha + beta x + gamma x^2 + de<a x^3
que passa por (ai,bi), i=1,dots,4. Vamos usar operações elementares para fatorar det(V) e depois mostrar que o sistema para alpha,beta,gamma,de<a tem solução única porque det(V)neq0.
Passo 2
Começamos mostrando a fórmula do determinante. Da matriz V, subtraímos da coluna j a coluna j-1 multiplicada por a1, para j=2,3,4. Após essas operações, a primeira linha fica (1,0,0,0) e, para i>=2, a entrada na linha i, coluna j torna-se
ai^,j-1-a1,ai^,j-2=ai^,j-2(ai - a1)
Isto produz uma matriz triangular de blocos, cujas entradas diagonais são
multiplicado pelos determinantes dos sub-blocos que, repetindo argumento de fatorar (ai-a2) e depois (ai-a3), dá exatamente
prod1<= i<j<=4(aj-ai)
Passo 3
Como os ai são todos distintos, cada fator (aj-ai) é não nulo. Portanto
det(V)=prod1<= i<j<=4(aj-ai)neq0
Passo 4
Agora consideramos o sistema linear que exige a cúbica
Em forma matricial, é , a matriz é invertível, logo existe solução única .
Resposta
Para quaisquer pontos l(ai,bir) com ai distintos existe e é única a curva cúbica y=alpha+beta x+gamma x^2+de<a x^3 que os interpola, pois o sistema de Vandermonde associado tem determinante não nulo.