English

Easy Proof of Three Recursive $\pi$-Algorithms -- Einfacher Beweis dreier rekursiver $\pi$-Algorithmen

Number Theory 2025-06-11 v3

Abstract

This paper consists of three independent parts: First we use only elementary algebra to prove that the quartic algorithm of the Borwein brothers has exactly the same output as the Brent-Salamin algorithm, but that the latter needs twice as many iterations. Second we use integral calculus to prove that the Brent-Salamin algorithm approximates π\pi. Combining these results proves that the Borwein brothers' quartic algorithm also approximates π\pi. Third, we prove the quadratic convergence of the Brent-Salamin algorithm, which also proves the quartic convergence of Borwein's algorithm. -- -- Dieses Paper besteht aus drei unabh\"angigen Teilen: Erstens beweisen wir mit elementarer Algebra, dass der Borwein-Algorithmus vierter Ordnung die gleichen Ergebnisse liefert wie der Brent-Salamin-Algorithmus, wobei letzterer doppelt so viele Iterationen ben\"otigt. Zweitens beweisen wir mit Integralrechnung, dass der Brent-Salamin-Algorithmus gegen π\pi konvergiert. Hieraus folgt, dass der Borwein-Algorithmus vierter Ordnung ebenfalls gegen π\pi konvergiert. Drittens beweisen wir die quadratische Konvergenz des Brent-Salamin-Algorithmus und somit auch die quartische Konvergenz des Borwein-Algorithmus.

Cite

@article{arxiv.1907.04110,
  title  = {Easy Proof of Three Recursive $\pi$-Algorithms -- Einfacher Beweis dreier rekursiver $\pi$-Algorithmen},
  author = {Lorenz Milla},
  journal= {arXiv preprint arXiv:1907.04110},
  year   = {2025}
}

Comments

bilingual: English (14 pages) & German (14 pages); v2: added Remark 1.2 & removed typo; v3: updated Remark 3.2 & 3.3

R2 v1 2026-06-23T10:16:00.346Z