1 − 2 + 3 − 4 + ···

تصغير|رسم توضيحي يظهر أول 15000 مجموع جزئي من سلسلة 0 + 1 − 2 + 3 − 4 + · · ·، وتظهر الأرقام الموجبة إلى اليمين والأرقام السالبة إلى اليسار.

في الرياضيات، تشير صيغة **1 − 2 + 3 − 4 + ···** إلى متسلسة غير منتهية والتي تكون حدودها أعداد صحيحة موجبة ذات إشارة متناوبة. وباستخدام صيغة مجموع سيغما، يكون مجموع الحدود *m* الأولى من هذه المتسلسة معطى بالعلاقة:
: \sum_{n=1}^m n(-1)^{n-1}
هذه المتسلسلة هي متسلسلة متباعدة، لأن المجاميع الجزئية لهذه المتسلسلة (1، -1، 2، -2...) لا تؤول إلى قيمة محدودة. على الرغم من ذلك فإن أويلر كتب في القرن الثامن عشر مفارقة تنص بأن المجموع الكلي لهذه المتسلسة هو 1/4 بالشكل:
: 1-2+3-4+\cdots=\frac{1}{4}
وظلت تلك المفارقة بدون إثبات لمدة طويلة. ومنذ عام 1890، قام إرنست سيزارو وإيميل بوريل وآخرون بدراسة طرق محددة لتعيين مجاميع عامة للمتسلسلات المتباعدة تتضمن تفسيرات جديدة لمحاولة أويلر. الكثير من تلك الطرق تحقق أن مجموع متسلسلة  هو القيمة 1**⁄**4. كانت طريقة «مجموع سيزارو» من الطرق القلائل التي لم تعطي مجموعا لمتسلسلة ، ولذلك تعد هذه المتسلسلة مثالا على المتسلسلات التي تحتاج إلى طريقة أقوى مثل مجموع آبل.

متسلسلة 1 − 2 + 3 − 4 + ... مرتبطة ب متسلسلة غراندي . تعامل أويلر مع هاتين المتسلسلتين كحالة خاصة من ( ) لقيم اختيارية للمتغير *n*، وهناك أبحاث لتعميم عمله على معضلة بازل تؤدي إلى معادلة دالية لما يُعرف بـ دالة إيتا لدركليه و دالة زيتا لريمان.
## التباعد
حدود المتسلسلة (1, −2, 3, −4, ...) لا تؤول إلى 0، وبالتالي فإن  تتباعد وفق اختبار الحد النوني. وفقا للتعريف فإن تقارب أو تباعد متسلسلة محدودة يمكن تحديده من  تقارب أو تباعد مجاميعها الجزئية. المجاميع الجزئية لـ  هي:
: 1 = **1**,
: 1 − 2 = **−1**,
: 1 − 2 + 3 = **2**,
: 1 − 2 + 3 − 4 = **−2**,
: 1 − 2 + 3 − 4 + 5 = **3**,
: 1 − 2 + 3 − 4 + 5 − 6 = **−3**,
: ...
يُلاحظ أن كل عدد صحيح (Integer) يظهر مرة واحدة فقط، حتى الـ0 في حالة المجموع الجزئي الفارغ ( empty partial sum) وبالتالي فهو مجموعة قابلة للعد للمجموعة \mathbb{Z} (أعداد صحيحة). متتالية المجاميع الجزئية توضح أن المتسلسلة لا تتقارب إلى رقمٍ ما (لأي نهاية مفترضة x، يمكن إيجاد نقطة تالية بحيث أن المجاميع الجزئية التالية لها تقع جميعها خارج الفترة [*x*−1, *x*+1])، لذلك فإن المتسلسلة  متباعدة.
## الاستدلال على الجمع
### الاستقرار والخطية
حيث أن العناصر 1, −2, 3, −4, 5, −6, ... تتبع نظام بسيط، فإن المتسلسلة  يمكن التعامل معها بإزاحة العناصر واحدا واحدا ثم الجمع لإيجاد قيمة لها. إذا قلنا أن... + s = 1 − 2 + 3 − 4، فالطريقة التالية توضح أن   
: 
\begin{array}{rclllll}
4s&=& &(1-2+3-4+\cdots) & {}+(1-2+3-4+\cdots) & {}+(1-2+3-4+\cdots) &{}+(1-2+3-4+\cdots) \\
 &=& &(1-2+3-4+\cdots) & {}+1+(-2+3-4+5+\cdots) & {}+1+(-2+3-4+5+\cdots) &{}+(1-2)+(3-4+5-6\cdots) \\
 &=& &(1-2+3-4+\cdots) & {}+1+(-2+3-4+5+\cdots) & {}+1+(-2+3-4+5+\cdots) &{}-1+(3-4+5-6\cdots) \\
 &=&1+&(1-2+3-4+\cdots) & {}+(-2+3-4+5+\cdots) & {}+(-2+3-4+5+\cdots) &{}+(3-4+5-6\cdots) \\
 &=&1+[&(1-2-2+3) & {}+(-2+3+3-4) & {}+(3-4-4+5) &{}+(-4+5+5-6)+\cdots] \\
 &=&1+[&0+0+0+0+\cdots] \\
4s&=&1
\end{array}

يسار|تصغير|بجمع 4 نسخ من  بعد عمل إزاحة والجمع ينتج 1. كل واحدة من الناحيتين اليمين واليسار تبين جمع نسختين من  لاحظ أن ناتج الجمع هو
أي أن  s=\frac{1}{4}. ويمكن توضيح ذلك بالرسم المقابل.

رغم أن 1 − 2 + 3 − 4 + ... ليس لها مجموع بمجرد النظر، إلا أن   يمكن دعمها إذا أردنا تعريف ذلك المجموع. هناك العديد من الطرق (بعضها مذكور أدناه) للتعامل مع مجموع متسلسلة متباعدة. ومن المفضل لتلك الطرق أن يكون لها بعض خصائص جمع المتسلسلات العادية. وباستخدام أية طريقة للجمع (خطية ومستقرة) فإن مجموع   هو 1**⁄**4.

وحيث أن:
: 
\begin{array}{rcllll}
2s & = & &(1-2+3-4+\cdots) & + & (1-2+3-4+\cdots) \\
 & = & 1 +{} &(-2+3-4+\cdots) & {} + 1 - 2 & {}+ (3-4+5\cdots) \\
 & = & 0 +{} &(-2+3)+(3-4)+ (-4+5)+\cdots \\
2s & = & &1-1+1-1\cdots
\end{array}

فهذه الطريقة يمكن استخدامها لإثبات أن مجموع متسلسلة غراندي 

### مضروب كوشي
في عام 1891، أعطى إيرنست سيزارو أملا في إيجاد حلولا رياضية للمتسلسلات المتباعدة، فمثلا  وكلا الطرفان يساوي 1**⁄**4. وكان ذلك تطبيقا لنظرية نشرها سيزارو في العام السابق، والتي تُعد أول نظرية في التاريخ لجمع المتسلسلات المتباعدة. وبيان ذلك الجمع كالتالي:  الفكرة المحورية هي أن  هي مضروب كوشي (التفاف رقمي) لكلا من  مع .

يمكن تعريف مضروب كوشي لمتسلسلتين لا نهائيتين حتى لو كانت كلتاهما متباعدة. ففي حالة ما إذا كان *a**n* = *b**n* = (−1)*n*، فإن عناصر مضروب كوشي تُعطى بمجموع الأقطار المحدود
: \begin{array}{rcl}
c_n & = &\displaystyle \sum_{k=0}^n a_k b_{n-k}=\sum_{k=0}^n (-1)^k (-1)^{n-k} \\[1em]
 & = &\displaystyle \sum_{k=0}^n (-1)^n = (-1)^n(n+1).
\end{array}
وبالتالي فإن متسلسلة الضرب هي:
: \sum_{n=0}^\infty(-1)^n(n+1) = 1-2+3-4+\cdots.
فطريقة الجمع التي توافق مضروب كوشي لمتسلسلتين، والتي أثبتت أن مجموع المتسلسلة هو 1/2 يمكنها أيضا أن تثبت أن مجموع المتسلسلة  هو 1/4. مما سبق فهناك توافق بين طرق جمع  و  مع الطرق الخطية المستقرة التي تحقق مضروب كوشي.

وتعد نظرية سيزارو مثالا واضحا لذلك. المتسلسلة  قابلة للجمع (وفق سيزارو) بأقل درجة، وتسمى قابلة للجمع- بينما المتسلسلة  تحتاج شكل أقوى من نظريات سيزارو،  هي قابلة للجمع- وحيث أن كل أشكال نظرية سيزارو هي خطية ومستقرة، فإن نتائج الجمع هي كما أسلفنا.
## طرق خاصة
### سيزارو وهولدر
يسار|تصغير|بيانات عن مجموع (H, 2)  والناتج  <sup>1</sup>'''⁄'''<sub>4</sub>
لإيجاد مجموع سيزارو (C, 1) للمتسلسلة 1 − 2 + 3 − 4 + ... إذا كان موجودا، يجب حساب المتوسطات الحسابية للمجاميع الجزئية للمتسلسلة. المجاميع الجزئية هي:
: 1، −1، 2، −2، 3، −3...
والمتوسطات الحسابية لتلك المجاميع الجزئية هي:
: 1، 0، 2**⁄**3، 0، 3**⁄**5، 0، 4**⁄**7....
وهذه المتوسطات لا تتقارب، ولذلك فالمتسلسلة   1 − 2 + 3 − 4 + ... ليست قابلة للجمع وفق سيزارو.

هناك تعميمان مشهوران لجمع سيزارو: أبسطهما هو طرق (H, *n*) للأعداد الطبيعية *n*. حيث (H, 1) هو مجموع سيزارو، والطرق الأعلى تُكرر حساب المتوسطات. كما نرى -أعلاه- فإن المتوسطات الزوجية تتقارب إلى 1**⁄**2، بينما المتوسطات الفردية جميعها يساوي 0، وبذلك يكون متوسط المتوسطات يتقارب إلى 0  و 1**⁄**2، أي 1**⁄**4. وبالتالي يمكن القول أن  هي قابلة للجمع (H, 2) وتؤول إلى 1**⁄**4.

الرمز "H" يعود للعالِم Otto Hölder، والذي يُعد أول من أثبت في عام 1882 ما يعتبره الرياضاتيون الآن الرابط بين «مجموع آبل» ومجموع (H, *n*); المتسلسلة   كانت أول مثال. حقيقة أن 1**⁄**4 هي مجموع (H, 2) للمتسلسلة  أكدت أنها هي «مجموع آبل» أيضا، وسيتم أثبات ذلك لاحقا.

التعميم الآخر لجمع سيزارو هو طرق (C, *n*). حيث ثبت أن جمع (C, *n*) وجمع (H, *n*) دائما يعطيان نفس النتائج، لكن لهما خلفيات مختلفة. في عام 1887، اقترب سيزارو من وضع تعريف جمع (C, *n*)، لكنه أعطى أمثلة قليلة. فقد ذكر أن مجموع المتسلسلة  هو القيمة 1**⁄**4 بطريقة يمكن اعتبارها قريبة من طريقة جمع (C, *n*) لكنها لم يتم تحقيقها في ذلك الوقت. وقد قام بصياغة طريقة جمع (C, n) في عام 1890 لينص على أن مضروب كوشي لمتسلسة قابلة للجمع-(C, *n*) ومتسلسلة قابلة للجمع-(C, *m*) هو متسلسلة قاببة للجمع- (C, *m* + *n* + 1).

### مجموع آبل
يسار|تصغير|291x291بك
في عام 1749، قرر أويلر أن المتسلسلة تتباعد لكنه حاول إيجاد مجموع لها بأية طريقة:

قدَّم أويلر عدة تعميمات لكلمة «جمع». في حالة المتسلسلة  تُعد فكرته مشابهة لما يُعرف بـ «مجموع آبل»:
 ليس هناك شك في أن مجموع المتسلسلة 1 − 2 + 3 − 4 + 5 هو 1⁄4، لأنها تأتي من مفكوك المعادلة \frac{1}{(1+1)^2}. والتي قيمتها 1⁄4. ويمكن توضيح الفكرة باعتبار المتسلسلة العامة (1-2x+3x^2-4x^3+\cdots ). والتي تظهر في مفكوك \frac{1}{(1+x)^2}.، الذي يساوي هذه المتسلسلة عندما نضع x = 1.

هناك طرق عديدة لبيان ذلك، على الأقل للقيم المطلقة |x| ، فإن أويلر على صواب في ذلك:
: 1-2x+3x^2-4x^3+\cdots = \frac{1}{(1+x)^2}.
يمكن إيجاد مفكوك تايلور للجانب الأيمن من المعادلة أو تطبيق طريقة القسمة المطولة لكثيرات الحدود. بدءاً بالجانب الأيسر، يمكن متابعة الحل أعلاه ويمكن الضرب في  مرتين أو تربيع المتسلسلة الهندسية 1-x+x^2-\cdots . اقترح أويلر أيضا اشتقاق المتسلسلة الأخيرة عنصرا عنصرا.

وفقا للنظرة الحديثة فإن المتسلسلة 1-2x+3x^2-4x^3\cdots  ليست مُعرفة كدالة عند  ، وبالتالي لا يمكن التعويض بهذه القيمة في تلك العلاقة. وحيث أن الدالة مُعرفة عند كل |x| ، يمكننا أخذ النهاية عندما *x* تؤول إلى 1، وهذا هو تعريف «مجموع آبل»:
: \lim_{x\rightarrow 1^{-}}\sum_{n=1}^\infty n(-x)^{n-1} = \lim_{x\rightarrow 1^{-}}\frac{1}{(1+x)^2} = \frac14.

### أويلر وبوريل
يسار|تصغير|مجموع أويلر لـ <sup>1</sup>'''⁄'''<sub>2</sub> − <sup>1</sup>'''⁄'''<sub>4</sub>
طبق أولير طريقة أخرى على تلك المتسلسلة: تحويل أويلر هو واحد من ابتكاراته، ولحساب تحويل أويلر نبدأ بالحدود الموجبة للمتسلسلة وهي  ونعطي التسمية *a*0  للعنصر الأول.

ثم نحسب الفروق المحدودة (forward differences) لهذه الأرقام ، والتي هي  نسمي أول عنصر منها Δ*a*0. يعتمد تحويل أويلر على «فروق الفروق»، لكن كل الفروق لـ  هي 0. وبالتالي فإن تحويل أويلر لـ  يمكن تعريفه أنه:
: \frac12 a_0-\frac14\Delta a_0 +\frac18\Delta^2 a_0 -\cdots = \frac12-\frac14.
أو يمكن القول أن  قابلة للجمع «وفق أويلر» وقيمتها 1**⁄**4.

قابلية الجمع عند أويلر تتضمن أن  هو 
: \sum_{k=0}^\infty a_k = \sum_{k=0}^\infty(-1)^k(k+1),
وهي المعادلة المرتبطة بالمتسلسلات المتقاربة
: a(x) = \sum_{k=0}^\infty\frac{(-1)^k(k+1)x^{k+1}}{(k+1)!} = x\sum_{k=0}^\infty\frac{(-x)^{k}}{k!} = e^{-x}x.
«مجموع بوريل» للمتسلسلة  1 − 2 + 3 − 4 + ...هو:
: \int_0^\infty e^{-x}a(x)\,dx = \int_0^\infty e^{-2x}x\,dx = -\frac{\partial}{\partial \beta}\bigg|_2 \int_0^\infty e^{-\beta x}\,dx = -\frac{\partial}{\partial \beta} \bigg|_2\beta^{-1} = \frac{1}{4}.

### فصل المقاييس Separation of scales
توصل سيتشيف وويكشينسكي إلى أن  بتطبيق مبدأين فقط هما: (*infinitesimal relaxation)* و (*separation of scales)*. وكان هذان المبدأن سببا لتعريف طرق عديدة أطلقا عليها اسم ("*φ*-summation methods")، وجميعها أعطى نفس النتيجة بأن مجموع هذه المتسلسلة هو 1**⁄**4:
* إذا كان (φ(x هي دالة بحيث أن المشتقتين الأولى والثانية لها متصلتان وقابلتان للتكامل على الفترة (0, ∞)، بحيث أن φ(0) = 1 ونهايات (φ(x و (xφ(x عند +∞ هي 0، فإن
:: \lim_{\delta\rightarrow0}\sum_{m=0}^\infty (-1)^m(m+1)\varphi(\delta m) = \frac14.
هذه النتيجة تعتبر تعميم لمجموع آبل، والذي يمكن الحصول عليه عند تساوي كلا من (φ(x و (exp(-x. ويمكن إثبات هذا التعميم بأخذ أزواج من عناصر المتسلسلة على *m* وتحويلها إلى تكامل ريمان. وفق الخطوة الأخيرة فإن الإثبات المناظر لمتسلسلة غراندي  يُطبق مبرهنة القيمة الوسطى، لكننا نحتاج صيغة لاجرانج الأقوى من مبرهنة تايلور.
## تعميم
تصغير|Excerpt from p.233 of the ''E212&nbsp;— Institutiones calculi differentialis cum eius usu in analysi finitorum ac doctrina serierum''. Euler sums similar series, ca. 1755.
مضروب كوشي الثلاثي (threefold) للمتسلسلة  هو  وهي متسلسلة مترددة من الأعداد المثلثية، والتي مجموعها وفق «آبل» و «أويلر» هو 1**⁄**8. مضروب كوشي الرباعي (fourfold)  لـ  هو  وهي متسلسلة مترددة من الأعداد الهرمية الثلاثية. ومجموع آبل لها هو 1**⁄**16.

تعميم آخر للمتسلسلة 1 − 2 + 3 − 4 + ... بطريقة أخرى للمتسلسلة 1-2^{n}+3^{n}-\cdots  لقيم أخرى لـ *n*.

لقيم *n الصحيحة،* يكون لهذه المتسلسة مجاميع آبل التالية:
: 1-2^{n}+3^{n}-\cdots = \frac{2^{n+1}-1}{n+1}B_{n+1}
حيث *B**n* هي أعداد بيرنولي.

لقيم *n الزوجية،* يُختصر ذلك إلى
: 1-2^{2k}+3^{2k}-\cdots = 0.
وهذا المجموع الأخير كان مثارا للسخرية من آبل في عام  1826، حيث قال: المتسلسلات المتباعدة هي من عمل الشيطان، وإنه لمن العار أن يجرؤ أحد للبحث عن إثبات لها. يمكن للمرء أن يُخرج منها ما يريده إذا استخدمهم، وهي التي تجلب الكثير من التعاسة والكثير من المفارقات. هل يمكن للمرء أن يفكر في أي شيء أكثر رعبا من القول بأن 1-2^{n}+3^{n}-\cdots = 0، حيث n هو رقم موجب. إنه شيء يدعو للضحك يا أصدقائي.

كان أوجين شارل كاتالان، مُعلم سيزارو، يستخف بالمتسلسلة المتباعدة. وبتأثير كاتالان، أشار سيزارو في البداية إلى «الصيغ التقليدية» للمتسلسلة 1-2^{n}+3^{n}-\cdots هي «معادلات سخيفة»، وفي عام 1883 أعرب سيزارو عن وجهة نظر نموذجية لذلك الوقت بأن تلك الصيغ كانت خطأ ولكنها لا تزال بطريقة أو بأخرى مفيدة رسميا. وأخيرا، في عام 1890، اتخذ سيزارو نهجا حديثا بدءا من التعاريف، وقام بنشره في (Sur la multiplication des séries).

تم دراسة المتسلسلات لقيم *n [[كسر (رياضيات)|غير الصحيحة]]،* فنتج عنها دالة إيتا لدركليه. كانت المعادلة الدالية لـ«دالة إيتا» هي أحد دوافع أويلر لدراسة المتسلسلات المتعلقة بـ ، والتي أدت مباشرةً إلى المعادلة الدالية لـ دالة زيتا لريمان. فقد أصبح أويلر مشهورا بإيجاد قيم هذه الدوال عند الأعداد الصحيحة الزوجية (بما في ذلك معضلة بازل)، وحاول إيجاد القيم عند الأعداد الصحيحة الفردية (بما في ذلك ثابتة أبيري) أيضا، وهي مشكلة لم تحل حتى الآن. يمكن التعامل مع دالة إيتا بسهولة بطرق أويلر لأن متسلسلة دركليه قابلة للجمع وفق آبل; بينما دالة زيتا لدركليه يصعب جمعها إذا كانت متباعدة. على سبيل المثال فإن المقابل للمتسلسلة  في دالة زيتا هي المتسلسلة (غير المترددة) , والتي لها تطبيقات هامة في الفيزياء الحديثة لكنها تحتاج طرق أكثر قوة لجمعها.
## المراجع

## المصادر

* 
* 
*  Originally published as 
* 
* 
*  2nd Ed. published by Chelsea Pub. Co., 1991. . .
* 
* 
*  Author also known as A. I. Markushevich and Alekseï Ivanovitch Markouchevitch. Also published in Boston, Mass by Heath with . Additionally, , .
* 
* 
* 
* 

تصنيف:متسلسلات
تصنيف:متسلسلات متباعدة
تصنيف:مفارقات رياضية