Średnia arytmetyczno-geometryczna

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj

Średnią arytmetyczno-geometryczną dwóch liczb rzeczywistych dodatnich a i b, oznaczaną często w nomenklaturze anglojęzycznej przez AGM(a,b) lub M(a,b), nazywamy wspólną granicę następujących ciągów określonych rekurencyjnie:

gdzie a0 = a oraz b0 = b, przy czym średnią tę można rozszerzyć dla liczb zespolonych. Granica ta istnieje dla dowolnych a, b rzeczywistych dodatnich, ponieważ co wynika z nierówności Cauchy’ego między średnimi, i równocześnie kolejne różnice pomiędzy odpowiednimi wyrazami ciągów (an) i (bn) dążą do zera:

Z samej konstrukcji mamy:

Badania nad nią zapoczątkowane zostały jeszcze przez Gaussa, który w początkowym okresie swojej twórczości naukowej poświęcił jej dużo miejsca. W jego dzienniku z 30 maja 1799 roku czytamy nawet, że badania nad nią „stworzyły nowe pola rozwoju analizy”. Wkrótce odkrył on zaskakującą równość:

z której wynika, że długość ćwiartki lemniskaty Bernoulliego wyraża się zależnością:

Wielkość : nazywa się stałą Gaussa i wynosi w przybliżeniu Czasami stałą Gaussa nazywa się odwrotność powyższej liczby.

Średnia arytmetyczno-geometryczna ma wiele ciekawych własności m.in.:

czyli w szczególności dla 0<x<1

Obecnie średnią arytmetyczno-geometryczną Gaussa wykorzystuje się w przeróżnych algorytmach służących do obliczania liczby π, z których najważniejszym wydaje się być odnaleziony w 1976 przez E. Salamina i R. Brenta:

gdzie

oraz a0 = 1 i b0 = : ,a an i bn dla n > 0 otrzymujemy z wzorów powyżej.

Bibliografia[edytuj]

  • L. Berggren, J. Borwein, P. Borwein, Pi: A Source Book, Springer-Verlag, 2000, ISBN 0-387-98946-3

Linki zewnętrzne[edytuj]