Normat 1/2008 Paul Papatzacos 27
eksempelvis er en omtrentlig oversettelse av versene som beskriver Leibnizrekken:
“Multipliser diameteren med fire; trekk fra det og legg til det, på alternerende vis,
kvosientene som fås ved å dele fire ganger diameteren med tallene 3, 5, 7, og så
videre” [11].
Nilakanthas verk (T) ser ut til å være en samling av praktiske formler til å
beregne π med en viss akseptabel nøyaktighet. Han oppgir ikke selve Leibnizrekken,
men han oppgir approksimasjoner til π, der hver approksimasjon er i form av en
delsum av Leibnizrekken med en korreksjon. I T og Y finnes tre korreksjoner,
betegnet nedenfor f
r
(r = 1, 2, 3). De tilhørende π-approksimasjonene er betegnet
med π
r
(m):
π
r
(m)
4
= 1 −
1
3
+ . . . + (−1)
m−1
1
2m − 1
+ (−1)
m
f
r
(2m)(8)
f
1
(n) =
1
2n
, f
2
(n) =
n
2(n
2
+ 1)
, f
3
(n) =
n
2
+ 4
2n(n
2
+ 5)
.(9)
Korreksjonen f
r
blir bedre ettersom indeksen r øker. Tabellen nedenfor viser hva
som kan oppnås med formlene (8) og (9).
m π
1
(m) π
2
(m) π
3
(m)
4 3.14. . . 3.141. . . 3.141. . .
8 3.14. . . 3.1415. . . 3.141592. . .
12 3.141. . . 3.14159. . . 3.1415926. . .
16 3.141. . . 3.141592. . . 3.14159265. . .
Bare de korrekte desimalene er tatt med. Den minst effektive korreksjonen, f
1
, er
ikke tatt med i T. Den er med i Y “men bare som et steg i argumentet som fører
til f
2
” [12].
Utledningen av det vi kaller Leibnizrekken finnes i Y, og går ut på å bereg-
ne buelengden til en åttedels omkrets ved å tilnærme buen med en sum av små
rette linjesegmenter: se referansene [9, 11, 14] for detaljene. Utledningen kan lett
gjennomføres på buelengden av en tolvtedels omkrets og resulterer i Sharps rekke
(6), som også er med i T. En videre generalisering som fører til Gregoryrekken
finnes i TV og i Y [12, 13], slik at Leibniz-, Sharp- og Gregory-rekkene var kjent
i Kerala omtrent 150 år før de ble kjent i Europa. At Nilakantha selv kjente til
Gregoryrekken er mindre sikkert. I følge referanse [11] er ikke denne rekken med
i T. At Sharps rekke er det, kan forklares med at Nilakantha eller en forgjenger
utledet Leibnizrekken og Sharprekken hver for seg.
La oss nå komme tilbake til korreksjonene f
1
, f
2
, f
3
. En har ikke funnet noe,
i de originale verkene, som forklarer hvordan disse korreksjonene ble oppdaget.
Følgende kan oppfattes som en elegant spekulasjon.
3.1 Nilakanthas korreksjoner
I 1944 foreslo Mukunda Marar og Rajagopal [11] at f
1
, f
2
, f
3
er suksessive kon-
vergente av en og samme kjedebrøk, uten at de oppga selve kjedebrøkens uttrykk.
Dette ble gitt av Rajagopal og Rangachari trettitre år senere [12], uten utledning,
men med takk til D. T. Whiteside (redaktøren av Newtons matematiske arbeider
fra 1967 til 1981). Utledningen publiserte de ni år etter det igjen [13].