Die Legendresche Identität oder auch Legendresche Relation ist eine mathematische Identität aus der Infinitesimalrechnung. Sie handelt von vollständigen Elliptischen Integralen erster und zweiter Art. Diese Identität wurde vom französischen Mathematiker Adrien-Marie Legendre entdeckt und nach diesem benannt.
Folgende Formel definiert und beschreibt die Legendresche Identität:
![{\displaystyle K(\varepsilon )E({\sqrt {1-\varepsilon ^{2}}})+E(\varepsilon )K({\sqrt {1-\varepsilon ^{2}}})-K(\varepsilon )K({\sqrt {1-\varepsilon ^{2}}})={\tfrac {1}{2}}\pi }](//wikimedia.org/api/rest_v1/media/math/render/svg/da254063949df698311fcac01140f329c6c020f1)
Diese Formel ist für alle reellen Werte 0 < ε < 1 gültig. Sie stellt die vollständigen elliptischen Integrale erster und zweiter Art von einem elliptischen Modul ε und dessen Pythagoräischen Gegenstück zueinander in Beziehung. In leicht abgewandelter Form kann die Legendresche Identität für denselben Definitionsbereich von ε auch in Bezug auf tangentielle Gegenstücke von elliptischen Modulen formuliert werden:
![{\displaystyle (1+\varepsilon )K(\varepsilon )E({\tfrac {1-\varepsilon }{1+\varepsilon }})+{\tfrac {2}{1+\varepsilon }}E(\varepsilon )K({\tfrac {1-\varepsilon }{1+\varepsilon }})-2K(\varepsilon )K({\tfrac {1-\varepsilon }{1+\varepsilon }})={\tfrac {1}{2}}\pi }](//wikimedia.org/api/rest_v1/media/math/render/svg/27c0c074799b6beecbf6d01a8a9adb3423923b66)
Die vollständigen elliptischen Integrale selbst sind so definiert:
![{\displaystyle K(\varepsilon )=\int _{0}^{\pi /2}{\frac {1}{\sqrt {1-\varepsilon ^{2}\sin(\varphi )^{2}}}}\,\mathrm {d} \varphi =2\int _{0}^{1}{\frac {1}{\sqrt {(x^{2}+1)^{2}-4\varepsilon ^{2}x^{2}}}}\,\mathrm {d} x}](//wikimedia.org/api/rest_v1/media/math/render/svg/76f67452eda4ae388446f73dcda9c3c3a300cae5)
![{\displaystyle E(\varepsilon )=\int _{0}^{\pi /2}{\sqrt {1-\varepsilon ^{2}\sin(\varphi )^{2}}}\,\mathrm {d} \varphi =2\int _{0}^{1}{\frac {\sqrt {(x^{2}+1)^{2}-4\varepsilon ^{2}x^{2}}}{(x^{2}+1)^{2}}}\,\mathrm {d} x}](//wikimedia.org/api/rest_v1/media/math/render/svg/a789c6155a4389f597988c295a6db3d61e32b38c)
Nach einer exemplarischen Ausführung der obersten Formel über die Pythagoräischen Gegenstücke gilt somit beispielsweise:
![{\displaystyle K({\tfrac {3}{5}})E({\tfrac {4}{5}})+E({\tfrac {3}{5}})K({\tfrac {4}{5}})-K({\tfrac {3}{5}})K({\tfrac {4}{5}})={\tfrac {1}{2}}\pi }](//wikimedia.org/api/rest_v1/media/math/render/svg/c72e716601175a348dbfcfabcd55b61fa47e7f4e)
Und nach einer exemplarischen Ausführung der zweitobersten Formel über die tangentiellen Gegenstücke gilt zum Beispiel:
![{\displaystyle {\tfrac {4}{3}}K({\tfrac {1}{3}})E({\tfrac {1}{2}})+{\tfrac {3}{2}}E({\tfrac {1}{3}})K({\tfrac {1}{2}})-2K({\tfrac {1}{3}})K({\tfrac {1}{2}})={\tfrac {1}{2}}\pi }](//wikimedia.org/api/rest_v1/media/math/render/svg/172bb3bbbd1e538ccfc94f1cdca4209b69bcd5a6)
Der Mathematiker Adrien-Marie Legendre schrieb in seinem Werk Exercices de calcul intégral sur divers ordres de transcendantes et sur les quadratures aus dem Jahre 1811 den in der soeben genannten Definition beschriebenen Zusammenhang nieder. In diesem Werk gründete er die sogenannte Legendresche Normalform. Darin führte er auch die Aufteilung der elliptischen Integrale in drei Kategorien[1] ein, nämlich in die erster Art, zweiter Art und dritter Art. Zu dieser Zeit gehörte Legendre der Académie des sciences in Paris[2] an. In einem weiteren Werk, Traité des fonctions elliptiques et des intégrales eulériennes aus dem Jahre 1825, leitete er seine Identität noch ausführlicher her. In dem Werk analysierte er vor allem die Additionstheoreme[3] der elliptischen Funktionen.
Spezielle Legendresche Identität für den lemniskatischen Fall
Für den lemniskatischen Fall ist das elliptische Modul beziehungsweise die spezifische Exzentrizität ε gleich der Hälfte der Quadratwurzel aus zwei. Die elliptischen Integrale erster Art handeln von den Bogenmaßen der Lemniskate von Bernoulli und die elliptischen Integrale zweiter Art von den Bogenmaßen einer Ellipse mit der Quadratwurzel aus zwei als zugehöriges Halbachsenverhältnis. Die Legendresche Identität für den lemniskatischen Fall kann so bewiesen werden:
Nach der Kettenregel gelten diese vier Ableitungen:
![{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} y}}\left[K{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}-F{\biggl [}\arccos(xy);{\frac {1}{2}}{\sqrt {2}}{\biggr ]}\right]={\frac {{\sqrt {2}}\,x}{\sqrt {1-x^{4}y^{4}}}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/ee488c9cb9a328b3642e406df9c0dce7d2f9517c)
![{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} y}}\left[2E{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}-K{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}-2E{\biggl [}\arccos(xy);{\frac {1}{2}}{\sqrt {2}}{\biggr ]}+F{\biggl [}\arccos(xy);{\frac {1}{2}}{\sqrt {2}}{\biggr ]}\right]={\frac {{\sqrt {2}}\,x^{3}y^{2}}{\sqrt {1-x^{4}y^{4}}}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/c65c022e3b0f48cd5ffc87c1c1276af7bcb11062)
![{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} x}}\left[{\frac {1}{y^{2}}}(y^{2}+1){\biggl [}{\text{artanh}}{\bigl (}y^{2}{\bigr )}-{\text{artanh}}{\biggl (}{\frac {{\sqrt {1-x^{4}}}\,y^{2}}{\sqrt {1-x^{4}y^{4}}}}{\biggr )}{\biggr ]}\right]={\frac {2\,x^{3}(y^{2}+1)}{\sqrt {(1-x^{4})(1-x^{4}y^{4})}}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/f55fa8fe93b6bb26bedbbf30eded86731fea1ea9)
![{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} y}}{\biggl [}2\arctan(y)-{\frac {1}{y}}(1-y^{2})\,{\text{artanh}}(y^{2}){\biggr ]}={\frac {1}{y^{2}}}(y^{2}+1)\operatorname {artanh} (y^{2})}](//wikimedia.org/api/rest_v1/media/math/render/svg/9f58f2180b1fc1bc72d56e33c929632bd075bf59)
Dann ist folgende Formel gültig:
![{\displaystyle {\frac {\sqrt {2}}{\sqrt {1-x^{4}}}}{\biggl \{}2E{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}-K{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}-2E{\biggl [}\arccos(x);{\frac {1}{2}}{\sqrt {2}}{\biggr ]}+F{\biggl [}\arccos(x);{\frac {1}{2}}{\sqrt {2}}{\biggr ]}{\biggr \}}\,+}](//wikimedia.org/api/rest_v1/media/math/render/svg/d2728dee1248dd6d671e14e2a97c8ba1ea1f9dc7)
![{\displaystyle +\,{\frac {{\sqrt {2}}\,x^{2}}{\sqrt {1-x^{4}}}}{\biggl \{}K{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}-F{\biggl [}\arccos(x);{\frac {1}{2}}{\sqrt {2}}{\biggr ]}{\biggr \}}=\int _{0}^{1}{\frac {2\,x^{3}(y^{2}+1)}{\sqrt {(1-x^{4})(1-x^{4}\,y^{4})}}}\,\mathrm {d} y}](//wikimedia.org/api/rest_v1/media/math/render/svg/b57d166320807a046a01e07b470de52bfd40a80e)
Durch die Bildung der Ursprungsstammfunktion bezüglich x von der nun gezeigten Funktion entsteht diese Formel:
![{\displaystyle {\biggl \{}K{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}-F{\biggl [}\arccos(x);{\frac {1}{2}}{\sqrt {2}}{\biggr ]}{\biggr \}}{\biggl \{}2E{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}-K{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}-2E{\biggl [}\arccos(x);{\frac {1}{2}}{\sqrt {2}}{\biggr ]}+F{\biggl [}\arccos(x);{\frac {1}{2}}{\sqrt {2}}{\biggr ]}{\biggr \}}=}](//wikimedia.org/api/rest_v1/media/math/render/svg/15e9f11c1f6b542a1f472fb7b974897d33203df1)
![{\displaystyle =\int _{0}^{1}{\frac {1}{y^{2}}}(y^{2}+1){\biggl [}{\text{artanh}}(y^{2})-{\text{artanh}}{\bigl (}{\frac {{\sqrt {1-x^{4}}}\,y^{2}}{\sqrt {1-x^{4}y^{4}}}}{\bigr )}{\biggr ]}\mathrm {d} y}](//wikimedia.org/api/rest_v1/media/math/render/svg/b2503c8ea3948bd57fb32a6a33e02c60afcac539)
Nach der Regel von de L’Hospital gilt:
![{\displaystyle \lim _{y\rightarrow 0}{\frac {1}{y}}(1-y^{2})\,{\text{artanh}}(y^{2})=0}](//wikimedia.org/api/rest_v1/media/math/render/svg/b5f38694dc5b536b85345e7caab6b8be60b652f5)
![{\displaystyle \lim _{y\rightarrow 1}{\frac {1}{y}}(1-y^{2})\,{\text{artanh}}(y^{2})=0}](//wikimedia.org/api/rest_v1/media/math/render/svg/bab2da2d10259e5073bc13145981143e76b218d5)
Wenn der Wert
in die zuletzt genannte Integralidentität eingesetzt wird, dann entsteht folgende Identität:
![{\displaystyle K{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}{\biggl [}2\,E{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}-K{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}{\biggr ]}=\int _{0}^{1}{\frac {1}{y^{2}}}(y^{2}+1)\,{\text{artanh}}(y^{2})\,\mathrm {d} y=}](//wikimedia.org/api/rest_v1/media/math/render/svg/bb6222e15184d9633c7d6c2406698e6e018464ee)
![{\displaystyle ={\biggl [}2\arctan(y)-{\frac {1}{y}}(1-y^{2})\,{\text{artanh}}(y^{2}){\biggr ]}_{y=0}^{y=1}=2\arctan(1)={\frac {\pi }{2}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/ec66a7530dc2aacf368477e7fe3ee49ddc4c3273)
So kommt dann dieser Ausschnitt aus der Legendreschen Identität hervor:
![{\displaystyle 2E{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}K{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}-K{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}^{2}={\frac {\pi }{2}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/58daa3b4afce71a13c58e553bc2b4b4a4a32a9e6)
Verallgemeinerung für den nicht lemniskatischen Gesamtfall
Nach der soeben durchgeführten Herleitung gilt das genannte Resultat:
![{\displaystyle 2E{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}K{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}-K{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}^{2}={\frac {\pi }{2}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/58daa3b4afce71a13c58e553bc2b4b4a4a32a9e6)
Nun soll im Folgenden der moduläre Allgemeinfall bewiesen werden. Hierfür werden die Ableitungen der vollständigen elliptischen Integrale hergeleitet. Und im Anschluss wird die Ableitung der Legendreschen Identitätsbilanz ermittelt.
Beweis für die Ableitung des elliptischen Integrals erster Art:
![{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} \varepsilon }}K(\varepsilon )={\frac {\mathrm {d} }{\mathrm {d} \varepsilon }}\int _{0}^{1}{\frac {1}{\sqrt {(1-x^{2})(1-\varepsilon ^{2}x^{2})}}}\mathrm {d} x=\int _{0}^{1}{\frac {\mathrm {d} }{\mathrm {d} \varepsilon }}{\frac {1}{\sqrt {(1-x^{2})(1-\varepsilon ^{2}x^{2})}}}\mathrm {d} x=\int _{0}^{1}{\frac {\varepsilon x^{2}}{\sqrt {(1-x^{2})(1-\varepsilon ^{2}x^{2})^{3}}}}\mathrm {d} x=}](//wikimedia.org/api/rest_v1/media/math/render/svg/36d45241305f288d15a88e196c0405460ba87d99)
![{\displaystyle =\int _{0}^{1}{\frac {\sqrt {1-\varepsilon ^{2}x^{2}}}{\varepsilon (1-\varepsilon ^{2}){\sqrt {(1-x^{2})}}}}\mathrm {d} x-\int _{0}^{1}{\frac {1}{\varepsilon {\sqrt {(1-x^{2})(1-\varepsilon ^{2}x^{2})}}}}\mathrm {d} x-\int _{0}^{1}{\frac {\varepsilon (1-2x^{2}+\varepsilon ^{2}x^{4})}{(1-\varepsilon ^{2}){\sqrt {(1-x^{2})(1-\varepsilon ^{2}x^{2})^{3}}}}}\mathrm {d} x=}](//wikimedia.org/api/rest_v1/media/math/render/svg/29c251eb29332b75e16650213025723082239378)
![{\displaystyle ={\frac {1}{\varepsilon (1-\varepsilon ^{2})}}E(\varepsilon )-{\frac {1}{\varepsilon }}K(\varepsilon )-\int _{0}^{1}{\frac {\mathrm {d} }{\mathrm {d} x}}{\frac {\varepsilon x{\sqrt {1-x^{2}}}}{(1-\varepsilon ^{2}){\sqrt {1-\varepsilon ^{2}x^{2}}}}}\mathrm {d} x={\frac {1}{\varepsilon (1-\varepsilon ^{2})}}{\bigl [}E(\varepsilon )-(1-\varepsilon ^{2})K(\varepsilon ){\bigr ]}}](//wikimedia.org/api/rest_v1/media/math/render/svg/bdeb25bbf1b0180dc07631dda283a2937d121cb4)
Beweis für die Ableitung des elliptischen Integrals zweiter Art:
![{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} \varepsilon }}E(\varepsilon )={\frac {\mathrm {d} }{\mathrm {d} \varepsilon }}\int _{0}^{1}{\frac {\sqrt {1-\varepsilon ^{2}x^{2}}}{\sqrt {1-x^{2}}}}\mathrm {d} x=\int _{0}^{1}{\frac {\mathrm {d} }{\mathrm {d} \varepsilon }}{\frac {\sqrt {1-\varepsilon ^{2}x^{2}}}{\sqrt {1-x^{2}}}}\mathrm {d} x=\int _{0}^{1}{\frac {-\varepsilon x^{2}}{\sqrt {(1-x^{2})(1-\varepsilon ^{2}x^{2})}}}\mathrm {d} x=}](//wikimedia.org/api/rest_v1/media/math/render/svg/b3b6d0f98fb8505abf2e6497174c13308cd2e8af)
![{\displaystyle =-\int _{0}^{1}{\frac {1}{\varepsilon {\sqrt {(1-x^{2})(1-\varepsilon ^{2}x^{2})}}}}\mathrm {d} x+\int _{0}^{1}{\frac {\sqrt {1-\varepsilon ^{2}x^{2}}}{\varepsilon {\sqrt {(1-x^{2})}}}}\mathrm {d} x=-{\frac {1}{\varepsilon }}{\bigl [}K(\varepsilon )-E(\varepsilon ){\bigr ]}}](//wikimedia.org/api/rest_v1/media/math/render/svg/004f0dbd4e9717acf9ac1a44c67cee8277dbfab6)
Für die Pythagoräischen Gegenmodule gilt mit der Kettenregel dann:
![{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} \varepsilon }}K({\sqrt {1-\varepsilon ^{2}}})={\frac {1}{\varepsilon (1-\varepsilon ^{2})}}{\bigl [}\varepsilon ^{2}K({\sqrt {1-\varepsilon ^{2}}})-E({\sqrt {1-\varepsilon ^{2}}}){\bigr ]}}](//wikimedia.org/api/rest_v1/media/math/render/svg/bb0a0cfe27981a29e18422cdd2fabf9f4fe241ee)
![{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} \varepsilon }}E({\sqrt {1-\varepsilon ^{2}}})={\frac {\varepsilon }{1-\varepsilon ^{2}}}{\bigl [}K({\sqrt {1-\varepsilon ^{2}}})-E({\sqrt {1-\varepsilon ^{2}}}){\bigr ]}}](//wikimedia.org/api/rest_v1/media/math/render/svg/165f349634d534b3da323035a60dd50f249e26c1)
Denn die Ableitung der Kreisfunktion ist das negative Produkt aus der identischer Abbildungsfunktion und dem Kehrwert der Kreisfunktion. Die Legendresche Identität beinhaltet Produkte von jeweils zwei vollständigen elliptischen Integralen. Für die Ableitung der Funktionsseite von der Gleichungswaage der Legendreschen Identität wird die Produktregel im nun Folgenden angewendet:
![{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} \varepsilon }}K(\varepsilon )E({\sqrt {1-\varepsilon ^{2}}})={\frac {1}{\varepsilon (1-\varepsilon ^{2})}}{\bigl [}E(\varepsilon )E({\sqrt {1-\varepsilon ^{2}}})-K(\varepsilon )E({\sqrt {1-\varepsilon ^{2}}})+\varepsilon ^{2}K(\varepsilon )K({\sqrt {1-\varepsilon ^{2}}}){\bigr ]}}](//wikimedia.org/api/rest_v1/media/math/render/svg/f346b9a656f98160dcbf47164685c470bf227ca1)
![{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} \varepsilon }}E(\varepsilon )K({\sqrt {1-\varepsilon ^{2}}})={\frac {1}{\varepsilon (1-\varepsilon ^{2})}}{\bigl [}-E(\varepsilon )E({\sqrt {1-\varepsilon ^{2}}})+E(\varepsilon )K({\sqrt {1-\varepsilon ^{2}}})-(1-\varepsilon ^{2})K(\varepsilon )K({\sqrt {1-\varepsilon ^{2}}}){\bigr ]}}](//wikimedia.org/api/rest_v1/media/math/render/svg/442ae2b56db1b68bee1c2b44535a248527fc2e32)
![{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} \varepsilon }}K(\varepsilon )K({\sqrt {1-\varepsilon ^{2}}})={\frac {1}{\varepsilon (1-\varepsilon ^{2})}}{\bigl [}E(\varepsilon )K({\sqrt {1-\varepsilon ^{2}}})-K(\varepsilon )E({\sqrt {1-\varepsilon ^{2}}})-(1-2\varepsilon ^{2})K(\varepsilon )K({\sqrt {1-\varepsilon ^{2}}}){\bigr ]}}](//wikimedia.org/api/rest_v1/media/math/render/svg/0981cb098ac4b82cb503bffa8964b0d92030ae8d)
Wenn von diesen drei Gleichungen die beiden oberen Gleichungen addiert werden und die unterste Gleichung subtrahiert wird, dann entsteht dieses Resultat:
![{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} \varepsilon }}{\bigl [}K(\varepsilon )E({\sqrt {1-\varepsilon ^{2}}})+E(\varepsilon )K({\sqrt {1-\varepsilon ^{2}}})-K(\varepsilon )K({\sqrt {1-\varepsilon ^{2}}}){\bigr ]}=0}](//wikimedia.org/api/rest_v1/media/math/render/svg/19a6abc97b33945523271bd18bd396c52280c64a)
Bezüglich ε ergibt die Bilanz konstant den Wert Null.
Für den Modul ε = 1/sqrt(2) gilt das zuvor ermittelte Resultat:
![{\displaystyle 2E{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}K{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}-K{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}^{2}={\frac {\pi }{2}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/58daa3b4afce71a13c58e553bc2b4b4a4a32a9e6)
Die Kombination der beiden zuletzt genannten Formeln ruft folgendes Ergebnis hervor:
![{\displaystyle K(\varepsilon )E({\sqrt {1-\varepsilon ^{2}}})+E(\varepsilon )K({\sqrt {1-\varepsilon ^{2}}})-K(\varepsilon )K({\sqrt {1-\varepsilon ^{2}}})={\tfrac {1}{2}}\pi }](//wikimedia.org/api/rest_v1/media/math/render/svg/da254063949df698311fcac01140f329c6c020f1)
Denn wenn die Ableitung einer kontinuierlichen Funktion konstant den Wert Null annimmt, dann ist die betroffene Funktion eine konstante Funktion. Das bedeutet, dass diese Funktion für jeden Abszissenwert ε den gleichen Funktionswert ergibt und der zugehörige Funktionsgraph somit eine waagrechte Gerade ist.
Reihe für den Kehrwert der Kreiszahl
Gültig sind diese Maclaurinschen Reihen für alle reellen Werte −1 < ε < 1:
![{\displaystyle K(\varepsilon )={\frac {\pi }{2}}\sum _{k=0}^{\infty }{\frac {1}{16^{k}}}{\binom {2k}{k}}^{2}\varepsilon ^{2k}}](//wikimedia.org/api/rest_v1/media/math/render/svg/2f17e11c95d90da854e63604f80e619f571b3b85)
![{\displaystyle E(\varepsilon )={\frac {\pi }{2}}\sum _{k=0}^{\infty }{\frac {1}{16^{k}(1-2k)}}{\binom {2k}{k}}^{2}\varepsilon ^{2k}}](//wikimedia.org/api/rest_v1/media/math/render/svg/00f725c103d1eac241647505b6390a709a9869ca)
Deswegen gilt auch jenes Formelpaar:
![{\displaystyle K{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}={\frac {\pi }{2}}\sum _{k=0}^{\infty }{\frac {1}{32^{k}}}{\binom {2k}{k}}^{2}}](//wikimedia.org/api/rest_v1/media/math/render/svg/06723a3a83a19e58e9d4a49b2c5a2908629a52ce)
![{\displaystyle E{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}={\frac {\pi }{2}}\sum _{k=0}^{\infty }{\frac {1}{32^{k}(1-2k)}}{\binom {2k}{k}}^{2}}](//wikimedia.org/api/rest_v1/media/math/render/svg/5c98593eea5a0917c9dc4fd7f6e4ade2fb9ab621)
Diese beiden Formeln können in jene Formel eingesetzt werden:
![{\displaystyle 2E{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}K{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}-K{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}^{2}={\frac {\pi }{2}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/58daa3b4afce71a13c58e553bc2b4b4a4a32a9e6)
Dann kann folgende Reihenentwicklung synthetisiert werden:
![{\displaystyle {\biggl [}\sum _{k=0}^{\infty }{\frac {1}{32^{k}}}{\binom {2k}{k}}^{2}{\biggr ]}{\biggl [}\sum _{k=0}^{\infty }{\frac {1+2k}{32^{k}(1-2k)}}{\binom {2k}{k}}^{2}{\biggr ]}={\frac {2}{\pi }}}](//wikimedia.org/api/rest_v1/media/math/render/svg/1e26f63d808c48a4d1c767e91a655f43b54dd549)
Die Konvergenzgeschwindigkeit für diese Reihenformel verhält sich bezüglich der Nachkommastellen linear:
Weitere Informationen Obergrenze vom Index, Wert der Summe ...
Obergrenze vom Index |
Wert der Summe |
Dezimale Nachkommastellen |
0 |
1 |
1 |
1 |
45/64 |
0,70312500 |
2 |
43065/65536 |
0,65711975 |
3 |
2701125/4194304 |
0,64399838 |
4 |
43945661025/68719476736 |
0,63949353 |
5 |
2805051005757/4398046511104 |
0,63779475 |
Schließen
Die Nachkommastellenresultate wurden durch Abrundung hervorgerufen.
Der Bruch 2/π hat die folgenden ersten dezimalen Nachkommastellen:
![{\displaystyle {\frac {2}{\pi }}\approx 0{,}636619772367581343}](//wikimedia.org/api/rest_v1/media/math/render/svg/c3332ae3179977f542e445cf11882a98ad6f0b38)
- Duren, Peter (1991), "The Legendre relation for elliptic integrals", in Ewing, John H.; Gehring, F. W. (eds.), Paul Halmos. Celebrating 50 years of mathematics, New York: Springer-Verlag, pp. 305-315, doi:10.1007/978-1-4612-0967-6_32, ISBN 0-387-97509-8, MR 1113282
- Karatsuba, E. A.; Vuorinen, M. (2001), "On hypergeometric functions and generalizations of Legendre's relation", J. Math. Anal. Appl., 260 (2): 623–640, MR 1845572
- Legendre, A.M. (1811), Exercices de calcul intégral sur divers ordres de transcendantes et sur les quadratures, vol. I, Paris
- Legendre, A.M. (1825), Traité des fonctions elliptiques et des intégrales eulériennes, vol. I, Paris