معضلة بازل

مسألة بازل أو معضلة بازل هي مسألة في التحليل الرياضي ذات صلة بنظرية الأعداد. طرحها بترو منجولي عام 1644^{[بحاجة لمصدر]} وحلها ليونارد أويلر في عام 1734.[1] وقد عَرض الحل في 5 ديسمبر 1735 في أكاديمية سانت بطرسبرغ للعلوم.[2] صمدَت المسألة ضد هجمات علماء الرياضيات البارزين في ذلك العصر. حل أويلر جلب له شهرة فورية وعمره لم يكن يتجاوز الثامنة والعشرين. قام أويلر بتعميم طريقة حله، وقد أخذ برنارد ريمان أفكاره لاحقًا بسنوات في بحثه المنشور عام 1859 بعنوان حول عدد الأعداد الأولية الأصغر من عدد ما، والذي حدد فيه دالة زيتا وأثبت خصائصها الأساسية. سميت المسألة بـمعضلة بازل نسبة إلى المدينة السويسرية بازل، مسقط رأس أويلر والمدينة التي عاشت فيها عائلة برنولي الذين هاجموا المسألة بلا جدوى.

تطالب مسألة بازل بحاصل الجمع الدقيق لمقلوبات مربعات الأعداد الطبيعية، أي حاصل جمع المتسلسلة اللا نهائية:

\sum _{n=1}^{\infty }{\frac {1}{n^{2}}}={\frac {1}{1^{2}}}+{\frac {1}{2^{2}}}+{\frac {1}{3^{2}}}+\cdots

.

حاصل الجمع التقريبي لهذه المسألة هو 1.644934،[3] ولكن المطلوب هو إيجاد حاصل الجمع الدقيق للمتسلسلة بصورة مبسطة (أي بتعبير منغلق الشكل مثل الكسور)، مع البرهان وهو الذي وجده أويلر $π$ ²/6. أعلن عن اكتشافه للحل في عام 1735. استندَت حُجج وبراهين أويلر على نتائج رياضية لم يكن مبرهنا عنهن في ذلك الوقت، على الرغم من أن صحتها ثبتت في وقت لاحق. لم يقدم أويلر برهانا صارما على نتيجته هذه إلا في حدود عام 1741.

نهج أويلر

تحديد أويلر ل $π$ ²/6 مبني على الدراسة الدقيقة لسلوك كثيرات الحدود المنتهية وافتراض أن خصائصها تنطبق على المتسلسلات اللا نهائية. وبالطبع، تطلب منطق أويلر في الحل تبريرًا (بعد 100 عام، أثبت كارل ويرستراس أن تمثيل أويلر لدالة الجيب متسلسلةً لا نهائية كان صحيحًا، من خلال مبرهنة ويرستراس في التحليل إلى عوامل). لكن حتى من دون مبرر، بفضل الوصول إلى القيمة الصحيحة، والتي تم التأكد منها من خلال جمع حدود منتهية من المتسلسلة. هذا التوافق بين نتيجة أويلر وحاصل جمع تلك الحدود أعطى أويلر ثقة كافية لإعلان نتائجه للمجتمع الرياضي. لمتابعة برهان أويلر، تُستحضر أولًا متسلسلة تايلور مطبقة على دالة الجيب

\sin x=x-{\frac {x^{3}}{3!}}+{\frac {x^{5}}{5!}}-{\frac {x^{7}}{7!}}+\cdots

قسّم الطرفين على $x$

{\frac {\sin x}{x}}=1-{\frac {x^{2}}{3!}}+{\frac {x^{4}}{5!}}-{\frac {x^{6}}{7!}}+\cdots

باستخدام مبرهنة ويرستراس في التحليل إلى عوامل، يُستنتج أن الجانب الأيسر هو حاصل ضرب العوامل الخطية بحلولها، كما نفعل لكثيرات الحدود المنتهية (والذي افترضه أويلر مساعدا لتوسيع درجة كثيرة الحدود اللا نهائية من حيث حلولها، ولكنه بشكل عام ليس دائمًا صحيحًا لكل $P(x)$ ) [4]

{\begin{aligned}{\frac {\sin x}{x}}&=\left(1-{\frac {x}{\pi }}\right)\left(1+{\frac {x}{\pi }}\right)\left(1-{\frac {x}{2\pi }}\right)\left(1+{\frac {x}{2\pi }}\right)\left(1-{\frac {x}{3\pi }}\right)\left(1+{\frac {x}{3\pi }}\right)\cdots \\&=\left(1-{\frac {x^{2}}{\pi ^{2}}}\right)\left(1-{\frac {x^{2}}{4\pi ^{2}}}\right)\left(1-{\frac {x^{2}}{9\pi ^{2}}}\right)\cdots \end{aligned}}

لو ضربنا كل حدود $x 2$ وجمعناهم في جهة (يمكن فعل ذلك، حسب متطابقات نيوتن) سنرى بالاستقراء بأن معامل $x 2$ لـ $sin x / x$ هو: [5]

-\left({\frac {1}{\pi ^{2}}}+{\frac {1}{4\pi ^{2}}}+{\frac {1}{9\pi ^{2}}}+\cdots \right)=-{\frac {1}{\pi ^{2}}}\sum _{n=1}^{\infty }{\frac {1}{n^{2}}}.

ولكن من متسلسلة الجيب الأصلية $sin x / x$ معامل $x 2$ هو $- 1 / 3! = - 1 / 6$ ، وعليه فيجب أن يكون هذان المعاملان متساويين، وهكذا:

-{\frac {1}{6}}=-{\frac {1}{\pi ^{2}}}\sum _{n=1}^{\infty }{\frac {1}{n^{2}}}.

والآن بضرب كِلا الطرفين بـ− $π$ ² سنحصل على ناتج هذه المسألة

\sum _{n=1}^{\infty }{\frac {1}{n^{2}}}={\frac {\pi ^{2}}{6}}.

طريقة حساب $\zeta (2)$ مُفصّلة بطريقة مميزة في كتاب جاما هافل (بالإنجليزية: Havil's Gamma)‏ والذي يُورد الكثير من تفاصيل دالة زيتا، والمتسلسلات المتعلقة باللوغارتمات، والتكامل، بالإضافة للمنظور التاريخي المرتبط بثابت أويلر جاما.[6]

دالة زيتا لريمان

دالة زيتا لريمان $ζ (s)$ هي واحدة من أهم الدوال في الرياضيات نظرا لعلاقتها بتوزيع الأعداد الأولية. تعرف دالة زيتا لريمان عند كل عدد عقدي s جزؤه الحقيقي أكبر قطعا من الواحد بالصيغة التالية:

\zeta (s)=\sum _{n=1}^{\infty }{\frac {1}{n^{s}}}.

إذا كان المتغير s مساويا لاثنين، فإنه يتبين أن $\zeta (2)$ يساوي مجموع مقلوبات مربعات جميع الأعداد الصحيحة الطبيعية :

\zeta (2)=\sum _{n=1}^{\infty }{\frac {1}{n^{2}}}={\frac {1}{1^{2}}}+{\frac {1}{2^{2}}}+{\frac {1}{3^{2}}}+{\frac {1}{4^{2}}}+\cdots ={\frac {\pi ^{2}}{6}}\approx 1.644934.

يمكن البرهان على تقارب هذه المتسلسلة من خلال ما يلي

{\begin{aligned}\sum _{n=1}^{N}{\frac {1}{n^{2}}}&<1+\sum _{n=2}^{N}{\frac {1}{n(n-1)}}\\&=1+\sum _{n=2}^{N}\left({\frac {1}{n-1}}-{\frac {1}{n}}\right)\\&=1+1-{\frac {1}{N}}\;{\stackrel {N\to \infty }{\longrightarrow }}\;2.\end{aligned}}

يمكن البرهان أيضا على أن ل $ζ (s)$ تعبيرا بسيطا مستعملا أعداد برنولي كلما كان $s$ يساوي عددا صحيحا طبيعيا زوجيا. إذا كان $s = 2 n$ فإن :

\zeta (2n)={\frac {(2\pi )^{2n}(-1)^{n+1}B_{2n}}{2\cdot (2n)!}}.

دليل قاطع باستخدام متسلسلة فورييه

استعمل متطابقة بارسيفال (مطبقةً على الدالة $f (x) = x$ ) من أجل الحصول على ما يلي:

\sum _{n=-\infty }^{\infty }|c_{n}|^{2}={\frac {1}{2\pi }}\int _{-\pi }^{\pi }x^{2}\,dx,

حيث

{\begin{aligned}c_{n}&={\frac {1}{2\pi }}\int _{-\pi }^{\pi }xe^{-inx}\,dx\\[4pt]&={\frac {n\pi \cos(n\pi )-\sin(n\pi )}{\pi n^{2}}}i\\[4pt]&={\frac {\cos(n\pi )}{n}}i\\[4pt]&={\frac {(-1)^{n}}{n}}i\end{aligned}}

for $n \neq 0$ , and $c 0 = 0$ . Thus,

|c_{n}|^{2}={\begin{cases}{\dfrac {1}{n^{2}}},&{\text{for }}n\neq 0,\\0,&{\text{for }}n=0,\end{cases}}

و

\sum _{n=-\infty }^{\infty }|c_{n}|^{2}=2\sum _{n=1}^{\infty }{\frac {1}{n^{2}}}={\frac {1}{2\pi }}\int _{-\pi }^{\pi }x^{2}\,dx.

إذن،

\sum _{n=1}^{\infty }{\frac {1}{n^{2}}}={\frac {1}{4\pi }}\int _{-\pi }^{\pi }x^{2}\,dx={\frac {\pi ^{2}}{6}}

وهذا ينهي البرهان.

دليل قاطع آخر باستخدام متطابقة برسفال

برهان كوشي

البرهان

يعتمد هذا البرهان على المتراجحة التالية:

{\tfrac {1}{2}}r^{2}\tan \theta >{\tfrac {1}{2}}r^{2}\theta >{\tfrac {1}{2}}r^{2}\sin \theta

بقلب حدود هذه المتراجحة وحساب مربعاتهن، يحصل على ما يلي:

\cot ^{2}\theta <{\tfrac {1}{\theta ^{2}}}<\csc ^{2}\theta

حيث $\cot$ هي دالة الظل التمام و $\csc$ هي دالة القاطع التمام.

يتمثل هذا البرهان في الحصول على متسلسة أصغر من مجموع مربعات مقلوبات الأعداد الطبيعية باستعمال هذه الصيغة المثلثية، تؤول إلى $\pi ^{2}/6$ ، والحصول على متسلسلة ثانية أكبر من مجموع مربعات مقلوبات الأعداد الطبيعية تؤول إلى $\pi ^{2}/6$ ، هي الأخرى.

متطابقات أخرى

طالِع أيضًا

مراجع

Weil, André (1983)، Number Theory: An Approach Through History، Springer-Verlag، ISBN 0-8176-3141-0.
Dunham, William (1999)، Euler: The Master of Us All، جمعية الرياضيات الأمريكية، ISBN 0-88385-328-0.
Derbyshire, John (2003)، Prime Obsession: Bernhard Riemann and the Greatest Unsolved Problem in Mathematics، Joseph Henry Press، ISBN 0-309-08549-7.
Aigner, Martin؛ Ziegler, Günter M. (1998)، Proofs from THE BOOK، Berlin, New York: سبرنجر،
Edwards, Harold M. (2001)، Riemann's Zeta Function، Dover، ISBN 0-486-41740-9.

الملاحظات

Ayoub, Raymond (1974)، "Euler and the zeta function"، Amer. Math. Monthly، 81: 1067–86، مؤرشف من الأصل في 14 أغسطس 2019.
E41 – De summis serierum reciprocarum نسخة محفوظة 25 مارس 2018 على موقع واي باك مشين.
قالب:Cite OEIS
بديهيًّا، بما أن الجانب الأيسر هو كثيرة حدود (من درجة لا نهائية) يمكننا أن نكتبها حاصلَ ضرب حلولها:
${\begin{aligned}\sin(x)&=x(x^{2}-\pi ^{2})(x^{2}-4\pi ^{2})(x^{2}-9\pi ^{2})\cdots \\&=Ax\left(1-{\frac {x^{2}}{\pi ^{2}}}\right)\left(1-{\frac {x^{2}}{4\pi ^{2}}}\right)\left(1-{\frac {x^{2}}{9\pi ^{2}}}\right)\cdots .\end{aligned}}$
الآن، بما أننا نعرف من علم الحسبان الأولي أن: $\lim _{x\rightarrow 0}{\frac {\sin(x)}{x}}=1$ نستطيع استنتاج أن الثابت الرئيس يستوفي هذا الشرط $A=1$ .
بصفة خاصة، عندما نقول بأن $H_{n}^{(2)}:=\sum _{k=1}^{n}k^{-2}$ إشارة إلى الدرجة الثانية من الرقم التناسقي، نستطيع بسهولة أن نبرهن بـالاستقراء الرياضي بأن $[x^{2}]\prod _{k=1}^{n}\left(1-{\frac {x^{2}}{\pi ^{2}}}\right)=-{\frac {H_{n}^{(2)}}{\pi ^{2}}}\rightarrow -{\frac {\zeta (2)}{\pi ^{2}}}$ طالما $n\rightarrow \infty$ .
Havil, J. (2003)، Gamma: Exploring Euler's Constant، Princeton, New Jersey: Princeton University Press، ص. 37–42 (الفصل 4)، ISBN 0-691-09983-9.{{استشهاد بكتاب}}: صيانة CS1: التاريخ والسنة (link)

بوابة تحليل رياضي
بوابة نظرية الأعداد

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] Ayoub, Raymond (1974)، "Euler and the zeta function"، Amer. Math. Monthly، 81: 1067–86، مؤرشف من الأصل في 14 أغسطس 2019.

[2] E41 – De summis serierum reciprocarum نسخة محفوظة 25 مارس 2018 على موقع واي باك مشين.

[3] قالب:Cite OEIS

[4] بديهيًّا، بما أن الجانب الأيسر هو كثيرة حدود (من درجة لا نهائية) يمكننا أن نكتبها حاصلَ ضرب حلولها:
${\begin{aligned}\sin(x)&=x(x^{2}-\pi ^{2})(x^{2}-4\pi ^{2})(x^{2}-9\pi ^{2})\cdots \\&=Ax\left(1-{\frac {x^{2}}{\pi ^{2}}}\right)\left(1-{\frac {x^{2}}{4\pi ^{2}}}\right)\left(1-{\frac {x^{2}}{9\pi ^{2}}}\right)\cdots .\end{aligned}}$
الآن، بما أننا نعرف من علم الحسبان الأولي أن: $\lim _{x\rightarrow 0}{\frac {\sin(x)}{x}}=1$ نستطيع استنتاج أن الثابت الرئيس يستوفي هذا الشرط $A=1$ .

[5] بصفة خاصة، عندما نقول بأن $H_{n}^{(2)}:=\sum _{k=1}^{n}k^{-2}$ إشارة إلى الدرجة الثانية من الرقم التناسقي، نستطيع بسهولة أن نبرهن بـالاستقراء الرياضي بأن $[x^{2}]\prod _{k=1}^{n}\left(1-{\frac {x^{2}}{\pi ^{2}}}\right)=-{\frac {H_{n}^{(2)}}{\pi ^{2}}}\rightarrow -{\frac {\zeta (2)}{\pi ^{2}}}$ طالما $n\rightarrow \infty$ .

[HAVIL-GAMMA-6] Havil, J. (2003)، Gamma: Exploring Euler's Constant، Princeton, New Jersey: Princeton University Press، ص. 37–42 (الفصل 4)، ISBN 0-691-09983-9.{{استشهاد بكتاب}}: صيانة CS1: التاريخ والسنة (link)