Coba jelasin Teorema interpolasi dari Interpolasi polinomial dong

Teorema ini menyatakan keberadaan sebuah polinomial dengan derajat maksimum  yang unik dan menginterpolasi himpunan titik , jika tidak ada dua  yang sama. Dalam sudut pandang lain, untuk sebuah pemilihan titik-titik interpolasi , interpolasi polinomial mendefinisikan sebuah bijeksi linear antara bilangan real rangkap- (n-tuple)  dan ruang vektor polinomial real  dengan derajat maksimum ; yakni

Teorema ini dapat dibuktikan dengan menggunakan fungsi-fungsi basis Langrageyang setiap fungsinya, , adalah sebuah polinomial berderajat . Lebih lanjut,  berlaku untuk setiap , dengan  adalah fungsi delta Kronecker. Hal ini dapat digunakan untuk menunjukkan kombinasi linear adalah sebuah fungsi polinomial interpolasi berderajat . Sifat unik (tunggal) dari fungsi ini dibuktikan secara kontradiksi: anggap ada polinomial interpolasi  lainnya yang berderajat maksimum . Karena  untuk setiap , polinomial   memiliki  akar yang berbeda. Akan tetapi,  memiliki derajat maksimum  sehingga berdasarkan teorema dasar aljabar fungsi  hanya memiliki  akar yang berbeda. Karena anggapan salah,  (tidak ada polinomial interpolasi lainnya).

Teorema ini juga dapat dibuktikan dengan bantuan matriks Vandermonde. Sistem persamaan linear dapat dihasilkan lewat menjabarkan persamaan interpolasi  dengan untuk setiap pasangan . Dalam bentuk matriks, sistem persamaan dalam koefisien  tersebut dapat dituliskan sebagai perkalian:

Fungsi polinomial interpolasi  berkorespondensi pada solusi  dari persamaan matriks  di atas. Matriks  di sisi kiri merupakan matriks Vandermonde, dengan nilai determinannya ditentukan dari persamaan  Nilai determinan ini tidak nol karena setiap titik  berbeda. Hal ini memastikan matriks dapat diinvers dan persamaan tersebut memiliki solusi unik . Dengan kata lain  ada dan unik.

Sebagai akibat dari teorema ini, jika  adalah polinomial berderajat maksimum , maka polinomial interpolasi dari  dengan menggunakan  titik berbeda, akan menghasilkan  itu sendiri.