Bahsettiğiniz denklem, "π için Leibniz formülü" (Eng.: Leibniz formula for π) olarak bilinir. Bu, bir sonsuz seri örneğidir ve adını Alman matematikçi Gottfried Wilhelm Leibniz'den almıştır.
Seri aşağıdaki gibidir:
π/4=1-1/3+1/5-1/7+1/9+...
Bu seri, π/4'e "yakınsar"; yani daha fazla terim eklendikçe terimlerinin toplamı π/4'e gittikçe "yaklaşır".
Söz konusu formülün ispatı, kalkülüs ve sayı teorisinden kavramlar da dahil olmak üzere bazı ileri matematik içerir. Bu ispatları anlamak için kalkülüs ve sayılar teorisi konusunda biraz altyapı gerekebileceğini lütfen unutmayın. [1]
π için Leibniz formülünü kanıtlamak için kullanılan ters tanjant fonksiyonu için Taylor serisi", genellikle "Gregory serisi" olarak adlandırılır:
arctan(x)=x−x3/3+x5/5−x7/7+x9/9−⋯
Bu seri -1 ≤ x ≤ 1 için yakınsar. Eğer x = 1 yerine koyarsak şunu elde ederiz:
arctan(1)=1−1/3+1/5−1/7+1/9−⋯
Ancak trigonometriden arctan(1) = π/4 olduğunu biliyoruz. Bu nedenle:
π/4=1-1/3+1/5-1/7+1/9+...
Son olarak: Lütfen bunun basitleştirilmiş bir açıklama olduğunu ve gerçek kanıtın daha titiz matematiksel akıl yürütme içerdiğini unutmayın. [1]