Interpolationsformlen for Brahmagupta er en interpolationsformel af den anden polynomieorden, fundet af den indiske matematiker og astronom Brahmagupta (598-668) i begyndelsen af det 7. århundrede e.Kr. En poetisk beskrivelse af denne formel på sanskrit findes i den ekstra del af Khandakhodyaka, et værk færdiggjort af Brahmagupta i 665 [1] . Den samme kuplet findes i hans tidligere værk Dhyana-graha-adhikara, hvis nøjagtige dato ikke er blevet fastslået. Imidlertid antyder den interne sammenkobling af værkerne, at det blev skabt tidligere end videnskabsmandens hovedværk, afsluttet i 628, " Brahma-sphuta-siddhanta ", så skabelsen af en andenordens interpolationsformel kan tilskrives til den første fjerdedel af det 7. århundrede [1] . Brahmagupta var den første til at finde og bruge andenordens endelige forskelsformel i matematikkens historie [2] [3] .
Brahmaguptas formel falder sammen med Newtons andenordens interpolationsformel , som blev fundet (genopdaget) efter mere end tusind år.
Som astronom var Brahmagupta interesseret i at udlede nøjagtige værdier for sinus fra det lille antal kendte tabulerede værdier for denne funktion. Således stod han over for opgaven med at finde værdien i henhold til værdierne for den funktion, der er tilgængelig i tabellen:
… | … | |||||||
… | … |
Forudsat at værdierne af funktionen beregnes ved punkter med et konstant trin , ( for alle ), foreslog Aryabhata at bruge (tabel) første endelige forskelle til beregninger:
Matematikere før Brahmagupta brugte den åbenlyse lineære interpolationsformel
,hvor .
Brahmagupta erstattede denne formel med en buefunktion af endelige forskelle, hvilket gør det muligt at opnå mere nøjagtige værdier af den interpolerede funktion i rækkefølge.
I Brahmaguptas terminologi kaldes forskellen det tidligere segment (गत काण्ड), det nyttige segment kaldes (भोग्य काण्ड). Længden af segmentet til interpolationspunktet i minutter kaldes stumpen (विकल). Det nye udtryk, der skal erstattes , kaldes det korrekte nyttige segment (स्फुट भोग्य काण्ड). Beregningen af det korrekte nyttige segment er beskrevet i couplet [4] [1] :
Ifølge kommentaren til Bhuttopala (X århundrede) er versene oversat som følger [ 1 ] [ 5 ] : Hvis mere, så træk fra. Du får den korrekte brugbare forskel [6] .
900 minutter (15 grader) er intervallet mellem argumenterne for tabelværdierne for sinusen brugt af Brahmagupta.
I moderne notation er Brahmagupta-beregningsalgoritmen udtrykt ved formlerne:
Dette er Newtons andenordens interpolationsformel [7] [8] .
Det vides ikke, hvordan Brahmagupta opnåede denne formel [1] . I vores tid er sådanne formler bevist ved hjælp af udvidelsen af funktioner i retten til at vokse ligheder i en Taylor-serie på et tidspunkt . Formlen kan dog også bevises med elementære metoder: efter udskiftningen sætter Brahmagupta-formlen en parabel, der går gennem tre punkter . For at udlede denne formel er det tilstrækkeligt at finde koefficienterne for denne parabel ved at løse et system af tre lineære ligninger defineret af disse punkter.
Computerberegning viser, at med en tabel med 7 værdier af sinus ved noderne med et trin på 15 grader, kunne Brahmagupta beregne denne funktion med en maksimal fejl på højst 0,0012 og en gennemsnitlig fejl på højst 0,00042.