1 − 2 + 3 − 4 + ⋯

Artikel atau sebagian dari artikel ini mungkin diterjemahkan dari 1 − 2 + 3 − 4 + ⋯ di en.wikipedia.org. Isinya masih belum akurat, karena bagian yang diterjemahkan masih perlu diperhalus dan disempurnakan. Jika Anda menguasai bahasa aslinya, harap pertimbangkan untuk menelusuri referensinya dan menyempurnakan terjemahan ini. Anda juga dapat ikut bergotong royong pada ProyekWiki Perbaikan Terjemahan. (Pesan ini dapat dihapus jika terjemahan dirasa sudah cukup tepat. Lihat pula: panduan penerjemahan artikel)

Dalam matematika, 1 − 2 + 3 − 4 + ⋯ adalah deret tak hingga yang suku-sukunya merupakan bilangan bulat positif yang berurutan. Di samping itu, setiap bilangan bulat tersebut diberi tanda plus dan minus secara bergantian sehingga membentuk deret selang-seling. Dengan menggunakan notasi penjumlahan sigma, jumlah m suku pertama deret tersebut dapat dinyatakan sebagai $${\displaystyle \sum _{n=1}^{m}n(-1)^{n-1}.}$$

Deret di atas ialah divergen. Dengan kata lain, barisan dari deret tersebut, (1, −1, 2, −2, 3, ...), tidak menuju batas yang pasti. Meskipun demikian, pada pertengahan abad ke-18, Leonhard Euler menulis apa yang dia akui sebagai kejanggalan: $${\displaystyle 1-2+3-4+\cdots ={\frac {1}{4}}.}$$

Penjelasan yang tepat mengenai persamaan ini baru dapat diperoleh beberapa waktu kemudian. Detailnya, mulai tahun 1890, Ernesto Cesàro, Émile Borel, dan lainnya menyelidiki metode yang terdefinisi dengan baik untuk menetapkan jumlah umum ke deret yang berbeda—termasuk interpretasi baru atas upaya Euler. Banyak dari metode penjumlahan ini dengan mudah menetapkan 1 − 2 + 3 − 4 + ... sebuah "nilai" 14. Penjumlahan Cesàro adalah salah satu dari sedikit metode yang tidak menjumlahkan 1 − 2 + 3 − 4 + ..., sehingga deret tersebut merupakan contoh yang memerlukan metode yang sedikit lebih kuat, seperti penjumlahan Abel.

Deret 1 − 2 + 3 − 4 + ... berkaitan erat dengan deret Grandi 1 − 1 + 1 − 1 + .... Euler memperlakukan keduanya sebagai kasus khusus dari deret yang lebih umum 1 − 2ⁿ + 3ⁿ − 4ⁿ + ..., dimana n = 1 dan n = 0 masing-masing. Penelitian ini memperluas karyanya pada masalah Basel dan mengarah pada persamaan fungsional yang sekarang dikenal sebagai fungsi eta Dirichlet dan fungsi zeta Riemann.

Menurut uji suku, suku-suku (1, −2, 3, −4, ...) pada deret tersebut tidak mendekati 0, sehingga dinyatakan sebagai deret yang divergen. Kedivergenan juga dapat ditunjukkan secara langsung dari definisinya sebagai berikut: suatu deret tak hingga dikatakan konvergen jika dan hanya jika barisan dari jumlah parsialnya konvergen ke limit, dalam hal ini limitnya adalah nilai deret tak hingga tersebut. Jumlah parsial dari 1 − 2 + 3 − 4 + ... adalah:^[1]

Barisan dari penjumlahan parsial menunjukkan bahwa deret tersebut tidak konvergen ke suatu bilangan tertentu: untuk setiap limit yang diusulkan x, terdapat suatu titik yang diluarnya semua penjumlahan parsial berikutnya berada di luar interval [x−1, x+1]. Dengan demikian, 1 − 2 + 3 − 4 + ... divergen.

Jumlah parsial mencakup setiap bilangan bulat tepat satu kali (bahkan 0 juga bila menghitung jumlah parsial yang kosong). dan dengan demikian menetapkan ketercacahan dari himpunan bilangan bulat ${\displaystyle \mathbb {Z} }$.^[2]

Karena suku 1, −2, 3, −4, 5, −6, ... mengikuti pola yang sederhana, deret 1 − 2 + 3 − 4 + ... dapat dimanipulasi dengan menukarkan penambahan suku demi suku sehingga memperoleh nilai numerik. Jika deret tersebut dapat ditulis menjadi s = 1 − 2 + 3 − 4 + ... untuk setiap bilangan s, maka manipulasi pada deret tersebut memperoleh nilai s = ¼:^[3]

$${\displaystyle {\begin{alignedat}{5}4s&=&&(1-2+3-\cdots )\ \ &&{}+(1-2+3-4+\cdots )&&{}+(1-2+3-4+\cdots )&&{}+(1-2+3-4+\cdots )\\&=&&(1-2+3-\cdots )&&+1{}+(-2+3-4+\cdots )\ \ &&{}+1+(-2+3-4+\cdots )\ \ &&{}+1-2+(3-4+\cdots )\\&=\ 1+{}&&(1-2+3-\cdots )&&{}+(-2+3-4+\cdots )&&{}+(-2+3-4+\cdots )&&{}+(3-4+5-\cdots )\\&=\ 1+{}[\ &&(1-2-2+3)&&{}+(-2+3+3-4)&&{}+(3-4-4+5)&&{}+\cdots \ ]\\&=\ 1+{}[\ &&0+0+0+\cdots \ ]\\4s&=\ 1\end{alignedat}}}$$

Jadi ${\displaystyle s={\frac {1}{4}}}$.

Meskipun 1 − 2 + 3 − 4 + ... tidak memiliki penjumlahan pada umumnya, persamaan s = 1 − 2 + 3 − 4 + ... = ¼ dapat didukung sebagai jawaban paling alami jika jumlah seperti itu harus didefinisikan. Definisi perumuman dari "penjumlahan" deret divergen disebut metode penjumlahan atau metode keterjumlahan. Ada banyak metode yang berbeda dan diharapkan metode tersebut memiliki beberapa sifat penjumlahan biasa. Manipulasi yang dijelaskan di atas sebenarnya membuktikan sifat berikut: Untuk setiap metode keterjumlahan yang bersifat linear dan stabil dan untuk setiap jumlah dari deret 1 − 2 + 3 − 4 + ..., jumlah deret tersebut bernilai ¼.^[4] Lebih lanjut, $${\displaystyle {\begin{alignedat}{5}2s&=&&(1-2+3-4+\cdots )\ \ &&{}+(1-2+3-4+5-\cdots )\\&=&&1{}+(-2+3-4+\cdots )\ \ &&{}+1-2+(3-4+5-\cdots )\\&=\ 0+{}&&(-2+3-4+\cdots )&&{}+(3-4+5-\cdots )\\&=\ 0+{}[\ &&(-2+3)\quad {}+(3-4)&&{}+(-4+5)\quad +\cdots \ ]\\2s&=\ &&1-1+1-1+\cdots \end{alignedat}}}$$

metode stersebut menjumlahkan deret Grandi, yaitu 1 − 1 + 1 − 1 + ... = ½.^[4]

Pada tahun 1891, Ernesto Cesàro menyatakan harapannya bahwa deret divergen dapat dijelaskan dengan teliti melalui kalkulus. Ia memperlihatkan, "Seseorang telah menulis bahwa (1 − 1 + 1 − 1 + ...)² = 1 − 2 + 3 − 4 + ... dan mengatakan bahwa kedua sisinya sama dengan ¼."^[5] Menurut Cesàro, persamaan ini merupakan penerapan dari teorema yang ia terbitkan pada tahun sebelumnya, yaitu teorema pertama dalam sejarah deret divergen terjumlahkan (lihat disini untuk penjelasan metode penjumlahan).^[1] Kunci utamanya adalah bahwa 1 − 2 + 3 − 4 + ... merupakan hasil kali Cauchy (konvolusi diskret) dari 1 − 1 + 1 − 1 + ... dengan 1 − 1 + 1 − 1 + ....

Hasil kali Cauchy dari dua deret tak terhingga didefinisikan sebagai genap ketika kedua deret tersebut divergen. Pada kasus untuk a_n = b_n = (−1)ⁿ, suku-suku hasil kali Cauchy dituliskan melalui penjumlahan diagonal terhingga $${\displaystyle {\begin{aligned}c_{n}&=\sum _{k=0}^{n}a_{k}b_{n-k}=\sum _{k=0}^{n}(-1)^{k}(-1)^{n-k}\\&=\sum _{k=0}^{n}(-1)^{n}=(-1)^{n}(n+1).\end{aligned}}}$$

Maka deret hasil kalinya menjadi $${\displaystyle \sum _{n=0}^{\infty }(-1)^{n}(n+1)=1-2+3-4+\cdots .}$$

Jadi metode penjumlahan terhadap hasil kali Cauchy dari dua deret (dan menyatakan bahwa jumlah dari deret 1 − 1 + 1 − 1 + ... bernilai 1/2) juga akan menetapkan ke deret 1 − 2 + 3 − 4 + ... yang bernilai 1/4. Melalui hasil dari penjelasan pada bagian sebelumnya, metode ini menyiratkan sebuah kesetaraan dengan keterjumlahan 1 − 1 + 1 − 1 + ... dan 1 − 2 + 3 − 4 + ... dengan metode yang bersifat linear, stabil, dan terhadap hasil kali Cauchy.

Teorema Cesàro merupakan contoh yang licik. Deret 1 − 1 + 1 − 1 + ... dapat dijumlahkan Cesàro-summable dalam arti yang paling lemah, disebut (C, 1)-summable, sedangkan 1 − 2 + 3 − 4 + ... memerlukan bentuk teorema Cesàro yang lebih kuat,^[6] yang dikenal dengan sebutan (C, 2)-summable. Karena semua bentuk teorema Cesàro bersifar linear dan stabil,^[7] nilai dari penjumlahannya dihitung seperti cara di atas.

Untuk mencari jumlah (C, 1) Cesàro dari 1 − 2 + 3 − 4 + ..., jika ada, kita perlu menghitung rata-rata aritmetika dari jumlah parsial deret tersebut. Jumlah sebagiannya adalah:

dan cara aritmatika dari jumlah parsial ini adalah:

Urutan mean ini tidak konvergen, jadi 1 − 2 + 3 − 4 + ... tidak dapat dijumlahkan oleh Cesàro.

Ada dua generalisasi penjumlahan Cesàro yang terkenal: yang secara konseptual lebih sederhana adalah barisan metode (H, n) untuk bilangan asli n. Jumlah (H, 1) adalah penjumlahan Cesàro, dan metode yang lebih tinggi mengulangi penghitungan mean. Di atas mean genap konvergen ke ½, sedangkan mean ganjil semuanya sama dengan 0, sehingga mean dari mean konvergen ke rata-rata 0 dan ½ yaitu ¼.^[8] Jadi 1 − 2 + 3 − 4 + ... adalah (H, 2) dapat dijumlahkan menjadi ¼.

Huruf "H" adalah singkatan dari Otto Hölder, yang pertama kali membuktikan pada tahun 1882 apa yang sekarang dianggap oleh para ahli matematika sebagai hubungan antara penjumlahan Abel dan penjumlahan (H, n); 1 − 2 + 3 − 4 + ... adalah contoh pertamanya.^[9] Fakta bahwa ¼ adalah (H, 2) jumlah dari 1 − 2 + 3 − 4 + ... menjamin bahwa itu adalah jumlah Abel juga; ini juga akan dibuktikan langsung di bawah ini.

Generalisasi penjumlahan Cesàro yang umum dirumuskan adalah urutan metode (C, n). Terbukti penjumlahan (C, n) dan penjumlahan (H, n) selalu memberikan hasil yang sama, namun mempunyai latar belakang sejarah yang berbeda. Pada tahun 1887, Cesàro nyaris menyatakan definisi penjumlahan (C, n), namun ia hanya memberikan sedikit contoh. Secara khusus, dia menjumlahkan 1 − 2 + 3 − 4 + ..., menjadi ¼ dengan metode yang dapat diulangi menjadi (C, n) tetapi tidak dibenarkan pada saat itu. Dia secara formal mendefinisikan metode (C, n) pada tahun 1890 untuk menyatakan teoremanya bahwa produk Cauchy dari deret yang dapat dijumlahkan (C, n) dan deret yang dapat dijumlahkan (C, m) adalah (C, m + n + 1)-dapat diringkas.^[10]

Dalam laporan tahun 1749, Leonhard Euler mengakui bahwa rangkaian tersebut berbeda tetapi tetap bersiap untuk menjumlahkannya:

... ketika dikatakan bahwa jumlah deret 1 − 2 + 3 − 4 + 5 − 6 dst. adalah ¼, hal itu pasti tampak paradoks. Karena dengan menjumlahkan 100 suku pada deret ini, kita mendapatkan −50, namun jumlah 101 suku menghasilkan +51, yang sangat berbeda dari ¼ dan menjadi lebih besar lagi jika jumlah sukunya ditambah. Tetapi saya telah memperhatikan di waktu sebelumnya, bahwa kata jumlah perlu diberi arti yang lebih luas ...^[11]

Euler beberapa kali mengusulkan generalisasi kata "jumlah". Dalam kasus 1 − 2 + 3 − 4 + ..., gagasannya mirip dengan apa yang sekarang dikenal sebagai penjumlahan Abel:

... tidak diragukan lagi bahwa jumlah deret 1 − 2 + 3 − 4 + 5 dst. adalah ¼; karena muncul dari perluasan rumus 1⁄(1+1)², yang nilainya tidak dapat disangkal ¼. Idenya menjadi lebih jelas dengan mempertimbangkan deret umum 1 − 2x + 3x² − 4x³ + 5x⁴ − 6x⁵ + &c. yang muncul saat memperluas ekspresi 1⁄(1+x)², yang mana deret ini memang sama setelah kita menetapkan x = 1.^[12]

Ada banyak cara untuk melihat bahwa, setidaknya untuk nilai absolut |x| < 1, Euler benar dalam hal tersebut $${\displaystyle 1-2x+3x^{2}-4x^{3}+\cdots ={\frac {1}{(1+x)^{2}}}.}$$ Kita dapat menggunakan perluasan Taylor pada ruas kanan, atau menerapkan proses pembagian panjang formal untuk polinomial. Mulai dari ruas kiri, kita dapat mengikuti heuristik umum di atas dan mencoba mengalikan dengan (1 + x) dua kali atau mengkuadratkan deret geometri 1 − x + x² − .... Euler juga sepertinya menyarankan untuk membedakan suku deret terakhir berdasarkan istilah.^[13]

Dalam pandangan modern, fungsi pembangkit 1 − 2x + 3x² − 4x³ + ... tidak mendefinisikan suatu fungsi pada x = 1, sehingga nilai tersebut tidak dapat disubstitusikan begitu saja ke dalam ekspresi yang dihasilkan. Karena fungsinya terdefinisi untuk semua |x| < 1, kita masih dapat mengambil limitnya ketika x mendekati 1, dan ini adalah definisi dari jumlah Abel: $${\displaystyle \lim _{x\rightarrow 1^{-}}\sum _{n=1}^{\infty }n(-x)^{n-1}=\lim _{x\rightarrow 1^{-}}{\frac {1}{(1+x)^{2}}}={\frac {1}{4}}.}$$

Euler menerapkan teknik lain pada deret tersebut: transformasi Euler, salah satu penemuannya sendiri. Untuk menghitung transformasi Euler, dimulai dengan barisan suku positif yang membentuk deret bolak-balik—dalam hal ini 1, 2, 3, 4, .... Elemen pertama barisan ini diberi label a₀.

Selanjutnya diperlukan barisan selisih maju antara 1, 2, 3, 4, ...; ini hanya 1, 1, 1, 1, .... Elemen pertama barisan ini diberi label Δa₀. Transformasi Euler juga bergantung pada selisih selisih, dan iterasi yang lebih tinggi, namun semua selisih maju antara 1, 1, 1, 1, ... adalah 0. Transformasi Euler dari 1 − 2 + 3 − 4 + ... adalah kemudian didefinisikan sebagai $${\displaystyle {\frac {1}{2}}a_{0}-{\frac {1}{4}}\Delta a_{0}+{\frac {1}{8}}\Delta ^{2}a_{0}-\cdots ={\frac {1}{2}}-{\frac {1}{4}}.}$$

Dalam terminologi modern, dikatakan bahwa 1 − 2 + 3 − 4 + ... adalah Euler dapat dijumlahkan menjadi ¼..

Penjumlahan Euler juga menyiratkan penjumlahan Borel, dengan nilai penjumlahan yang sama, seperti pada umumnya.^[14]

Saichev dan Woyczyński sampai pada 1 − 2 + 3 − 4 + ... = ¼ dengan hanya menerapkan dua prinsip fisik: relaksasi yang sangat kecil dan pemisahan timbangan. Tepatnya, prinsip-prinsip ini mengarahkan mereka untuk mendefinisikan kelompok besar "metode penjumlahan φ", yang semuanya menjumlahkan rangkaiannya menjadi ¼:

• Jika φ(x) adalah suatu fungsi yang turunan pertama dan kedua kontinu dan dapat diintegralkan pada (0, ∞), sehingga φ(0) = 1 dan limit dari φ(x) dan xφ(x) di +∞ keduanya adalah 0, lalu^[15] $${\displaystyle \lim _{\delta \rightarrow 0}\sum _{m=0}^{\infty }(-1)^{m}(m+1)\varphi (\delta m)={\frac {1}{4}}.}$$

Hasil ini menggeneralisasi penjumlahan Abel, yang diperoleh dengan membiarkan φ(x) = exp(−x). Pernyataan umum dapat dibuktikan dengan memasangkan suku-suku dalam deret tersebut pada m dan mengubah persamaan tersebut menjadi integral Riemann. Untuk langkah terakhir, pembuktian yang sesuai untuk 1 − 1 + 1 − 1 + ... menerapkan teorema nilai purata, tetapi di sini diperlukan bentuk teorema Taylor Lagrange yang lebih kuat.

Hasil kali Cauchy rangkap tiga dari 1 − 1 + 1 − 1 + ... adalah 1 − 3 + 6 − 10 + ..., deret bilangan segitiga berselang-seling; jumlah Abel dan Eulernya adalah ⅛.^[16] Hasil kali Cauchy empat kali lipat dari 1 − 1 + 1 − 1 + ... adalah 1 − 4 + 10 − 20 + ..., deret bilangan tetrahedral yang berselang-seling, yang jumlah Abelnya adalah 1⁄16.

Generalisasi lain dari 1 − 2 + 3 − 4 + ... dalam arah yang sedikit berbeda adalah deret 1 − 2ⁿ + 3ⁿ − 4ⁿ + ... untuk nilai n lainnya. Untuk bilangan bulat positif n, deret ini mempunyai jumlah Abel sebagai berikut:^[17] $${\displaystyle 1-2^{n}+3^{n}-\cdots ={\frac {2^{n+1}-1}{n+1}}B_{n+1}}$$ dimana B_n adalah bilangan Bernoulli. Bahkan untuk n, ini direduksi menjadi $${\displaystyle 1-2^{2k}+3^{2k}-\cdots =0,}$$ yang dapat diartikan menyatakan bahwa nilai genap negatif dari fungsi zeta Riemann adalah nol. Jumlah ini menjadi bahan ejekan khusus oleh Niels Henrik Abel pada tahun 1826:

Seri divergen sepenuhnya merupakan pekerjaan iblis, dan sayang sekali jika ada yang berani menemukan bukti apa pun mengenainya. Seseorang dapat memperoleh apa yang diinginkannya jika ia menggunakannya, dan hal-hal itulah yang telah menciptakan begitu banyak ketidakbahagiaan dan begitu banyak paradoks. Adakah yang bisa memikirkan hal yang lebih mengerikan daripada mengatakan hal itu

0 = 1 − 2²ⁿ + 3²ⁿ − 4²ⁿ + etc.

dimana n adalah bilangan positif. Ini sesuatu untuk ditertawakan, teman-teman.^[18]

Guru Cesàro, Eugène Charles Catalan, juga meremehkan deret divergen. Di bawah pengaruh Catalan, Cesàro awalnya menyebut "rumus konvensional" untuk 1 − 2ⁿ + 3ⁿ − 4ⁿ + ... sebagai "persamaan yang tidak masuk akal", dan pada tahun 1883 Cesàro mengungkapkan pandangan umum pada saat itu bahwa rumus tersebut salah tetapi tetap saja entah bagaimana berguna secara formal. Terakhir, dalam Sur la multiplication des séries tahun 1890, Cesàro mengambil pendekatan modern yang dimulai dari definisi.^[19]

Deret tersebut juga dipelajari untuk nilai non-integer n; ini membentuk fungsi eta Dirichlet. Bagian dari motivasi Euler mempelajari deret yang berkaitan dengan 1 − 2 + 3 − 4 + ... adalah persamaan fungsional fungsi eta, yang mengarah langsung ke persamaan fungsional fungsi zeta Riemann. Euler telah menjadi terkenal karena menemukan nilai-nilai fungsi ini pada bilangan bulat genap positif (termasuk masalah Basel), dan dia juga mencoba menemukan nilai-nilai pada bilangan bulat ganjil positif (termasuk konstanta Apéry), sebuah masalah yang masih sulit dipahami hingga saat ini. Fungsi eta khususnya lebih mudah ditangani dengan metode Euler karena deret Dirichletnya dapat dijumlahkan Abel di mana saja; deret Dirichlet fungsi zeta jauh lebih sulit untuk dijumlahkan jika ia menyimpang.^[20] Misalnya, pasangan dari 1 − 2 + 3 − 4 + ... dalam fungsi zeta adalah deret tak bolak-balik 1 + 2 + 3 + 4 + ⋯, yang memiliki penerapan mendalam dalam fisika modern namun membutuhkan lebih banyak kekuatan metode untuk menjumlahkan.

• 1 + 2 + 3 + 4 + ⋯
• 1 + 1 + 1 + 1 + ⋯
• 1 + 2 + 4 + 8 + ⋯

Artikel bertopik matematika ini adalah sebuah rintisan. Anda dapat membantu Wikipedia dengan mengembangkannya.

• l
• b
• s