Në matematikë, formula e Leibniz për π, e emërtuar sipas Gotfrid Vilhelm Lajbnicit, thotë senjë seri e alternuar . Nganjëherë quhet seria Madhava–Leibniz sepse u zbulua për herë të parë nga matematikani indian Madhava i Sangamagramas ose pasuesit e tij në shekullin XIV-XV (shih serinë Madhava ), [1] dhe më vonë u rizbulua në mënyrë të pavarur nga James Gregory në 1671 dhe Lajbnici në vitin 1673. [2] Seria e Tejlorit për funksionin e tangjentës së anasjelltë, e quajtur shpesh seria e Gregorit, është:
Formula e Lajbnicit konvergjon jashtëzakonisht ngadalë: ajo shfaq konvergjencë nënlineare . Llogaritja e π në 10 numra dhjetorë të saktë duke përdorur mbledhjen e termave të serisë kërkon saktësisht pesë miliardë terma. Për të marrë 4 shifra dhjetore, duhen përdorur 5000 terma të serisë
Megjithatë, formula e Lajbnicit mund të përdoret për të llogaritur π me saktësi të lartë (qindra shifra ose më shumë) duke përdorur teknika të ndryshme të përshpejtimit të konvergjencës . Për shembull, transformimi Shanks, transformimi i Eulerit ose transformimi Van Wijngaarden, të cilat janë metoda të përgjithshme për seritë e alternuara, mund të zbatohen në mënyrë efektive për shumat e pjesshme të serisë Lajbnic. Më tej, kombinimi i termave në çift jep serinë jo-alternuesetë cilat mund të vlerësohen me saktësi të lartë nga një numër i vogël termash duke përdorur ekstrapolimin e Richardson ose formulën Euler-Maclaurin.