Skip to article frontmatterSkip to article content
Site not loading correctly?

This may be due to an incorrect BASE_URL configuration. See the MyST Documentation for reference.

Barisan Bilangan

Dasar-Dasar Barisan dan Notasi Sigma dan Produk

Dalam analisis matematika, barisan merupakan struktur fundamental yang merepresentasikan urutan objek matematis yang disusun berdasarkan pola tertentu. Dalam konteks matematika, pemahaman yang mendalam mengenai sifat-sifat barisan beserta teknik manipulasi notasinya merupakan prasyarat multak sebelum mempelajari teknik penyederhanaan deret, induksi matematika, dan relasi rekursif.

Mencari Pola Barisan

Menemukan pola adalah langkah pertama dalam analisis barisan yang tidak diketahui formulanya. Dalam level olimpiade, pola barisan jarang berupa aritmatika atau geometri sederhana. Beberapa pendekatan utama meliputi:

  1. Pola Polinomial (Metode Selisih Bertingkat)
    Jika selisih antara suku-suku yang berurutan pada barisan membentuk suatu konstant pada tingkat ke-kk, maka suku umum ana_n dapat diekspresikan sebagai polinomial berderajat kk. Dalam kurikulum sekolah standar, pencarian koefisien polinomial ini umumnya menggunakan eliminasi pada sistem persamaan linier yang sangat memakan waktu. Untuk mempercepat analisis di tingkat olimpiade, kita menggunakan pendekatan kombinatorik yang diformalkan melalu Metode Beda Hingga Newton

    Dengan menggunakan Teorema Newton ini, pencarian rumus suku ke-nn tidak lagi memerlukan pemecahan sistem persamaan linier yang rumit. Kita hanya perlu menyusun barisan selisih bertingkatnya, mengambil angka pertama dari setiap tingkatan tersebut, dan mensubstitusikannya langsung sebagai pengali pada suku-suku koefisien binomial.

  2. Pola Eksponensial / Rasio Geometri
    Ditandai dengan rasio pembagian antara suku yang berdekatan bernilai konstan atau membentuk pola pangkat. Poal umumnya melibatkan bentuk eksponensial CnC^n.

  3. Pola Alternasi (Tanda Berganti)
    Barisan yang tandanya atau sifatnya berubah secara periodik (misal positif-negatif, atau genap-ganjil). Biasanya melibatkan komponen (1)n(-1)^n atau pemisahan barisan menjadi sub-barisan untuk indeks genap (a2k)(a_{2k}) dan ganjil (a2k1)(a_{2k-1}).

  4. Pola Faktorial
    Muncul apabila pertumbuhan nilai suku membesar dengan sangat drastis melebihi fungsi eksponensial, biasanya melibatkan bentuk perkalian menurun n!=n×(n1)××1n!=n\times (n-1)\times \cdot \times 1

Notasi Sigma

Untuk merepresentasikan penjumlahan beruntun dari suku-suku suatu barisan secara ringkas, matematika menggunakan abjad Yunani kapital Sigma (Σ)(\Sigma). Penggunaan notasi ini multak diperlukan untuk menyederhanakan ekspresi aljabar yang panjang dan menghindari penulisan titik-titik \cdots yang ambil secara analitik.

Simbol ii disebut sebagai indeks penjumlahan (variabel \textit{dummy}), nn adalah batas bawah, dan nn adalah batas atas. Indeks ii dapat diganti dengan huruf lain seperti j,kj, k, atau tt tanpa mengubah makna matematisnya.

Sifat-Sifat Operasional Notasi Sigma Misalkan aia_i dna bib_i adalah barisan bilangan real, dan cc adalah suatu konstan real. maka berlaku sifat-sifat operasional dasar berikut

  1. Sifat penjumlahan konstanta\

    i=1nc=nc\sum_{i=1}^{n}c= n\cdot c
  2. Sifat homogenitas\

    i=mnnai=ci=mnai\sum_{i=m}^{n} n\cdot a_i = c\sum_{i=m}^{n} a_i
  3. Sifat aditif\

    i=mn(ai±bi)=i=mnai+i=mnbi\sum_{i=m}^{n} (a_i \pm b_i) = \sum_{i=m}^{n} a_i + \sum_{i=m}^{n}b_i
  4. Sifat pemecahan batas\

    i=mnai=i=mpai+i=p+1nai\sum_{i=m}^{n}a_i = \sum_{i=m}^{p}a_i + \sum_{i=p+1}^{n}a_i
  5. Sifat pergeseran indeks\

    i=mnai=i=mn+kaik=i=mknkai+k\sum_{i=m}^{n} a_i = \sum_{i=m}^{n+k} a_{i-k} = \sum_{i=m-k}^{n-k} a_{i+k}

Notasi Produk

Analogi dengan notasi Sigma untuk penjumlahan berurutan, notasi huruf Yunani kapital Pi (Π\Pi) digunakan untuk menyatakan operasi perkalian beruntun dari suku-suku suatu barisan.

Sebagai ilustrasi aplikatif, penulisan operasi faktorial n!n! dapat didefinisikan secara eksak menggunakan notasi ini

n!=i=1nin! = \prod_{i=1}^{n}i

Sifat-sifat Operasioan Notasi Produk Misalkan aia_i dan bib_i adalah barisan bilangan real, dan cc adalah konstanta real. Operasi perkalian berurutan tunduk pada hukum-hukum berikut

  1. Sifat perkalian konstanta\

    i=1nc=cn\prod_{i=1}^{n}c=c^n
  2. Sifat Homogenitas\

    i=1n(cai)=cni=1nai\prod_{i=1}^{n} (c\cdot a_i) = c^n \cdot \prod_{i=1}^{n} a_i
  3. Sifat multiplikatif\

    i=mn(aibi)=(i=mnai)(i=mnbi)\prod_{i=m}^{n} (a_i \cdot b_i) = \left( \prod_{i=m}^{n} a_i \right) \cdot \left( \prod_{i=m}^{n} b_i \right)
    i=mn(aibi)=i=mnaii=mnbi\prod_{i=m}^{n} \left(\frac{a_i}{b_i}\right) = \frac{\prod_{i=m}^{n} a_i}{\prod_{i=m}^{n} b_i}
  4. Sifat pergeseran indeks\

    i=mnai=i=m+kn+kaik\prod_{i=m}^{n} a_i = \prod_{i=m+k}^{n+k} a_{i-k}
  5. Hubungan identitas produk dan sigma\

    ln(i=mnai)=i=mnln(ai)\ln \left( \prod_{i=m}^{n} a_i \right) = \sum_{i=m}^{n} \ln(a_i)

Barisan dan Deret Aritmatika dan Geometri

Setelah menguasai representasi notasi operasi penjumlahan dan perkalian, analisis dilanjutnkan pada dua struktur barisan paling fundamental dalam matematika komponen diskrit, yaitu barisan aritmatika dan barisan geometri. Pada tingkat kompetisi, evaluasi terhadap kedua barisan ini tidak lagi berfokus pada visualisasi prosedural mentah, melainkan pada sifat-sifat analitik, karakteristik fungsional, perilaku limit (konvergensi), serta struktur gabungan (hibrida).

Barisan dan Deret Aritmatika

Sebuah barisan bilangan real (an)(a_n) dikatakan sebagai barisan aritmatika jika dan hanya jika selisih antara dua suku yang berurutan selalu konstan. Nilai konstan ini disebut sebagai beda (bb). Secara rekursif, didefinisikan an+1an=ba_{n+1}-a_n=b. Suku umum ke-nn dirumuskan secara eksplisit sebagai:

an=a1+(n1)ba_n = a_1 + (n-1)b

Secara analitik, suku ke-nn dari barisan aritmatika dapat dipandang sebagai sebuah fungsi linier terhadap indeks nn, yaitu an=f(n)=bn+(a1b)a_n = f(n) = bn+(a_1-b), di maana beda (b)(b) bertindak sebagai gradien (kemiringan) garis dan (a1b)(a_1-b) bertindak sebagai intersept-yy pada ruang kontinu.

Deret aritmatika (Sn)(S_n) didefinisikan sebagai jumlahan dari nn suku pertama barisan aritmatika. Formula baku jumlahan ini adalah:

Sn=n2(a1+an)=n2(2a1+(n1)b)S_n = \frac{n}{2}(a_1 + a_n) = \frac{n}{2}(2a_1 + (n-1)b)

Jika diekspansi terhadap variabel nn, rumus SnS_n akan membentuk sebuah fungsi kuadrat tanpa konstanta:

Sn=b2n2+(a1b2)nS_n = \frac{b}{2}n^2+\left(a_1-\frac{b}{2}\right)n

Karakteristik ini sangat krusial dalam identifikasi soal: jika sebuah deret SnS_n dinyatakan dalam bentuk An2+BnAn^2 + Bn, maka deret tersebut mutlak merupakan deret aritmtaika dengan beda b=2Ab=2A dan suku pertama a1=A+Ba_1 = A+B

Sifat-sifat Teoretis Lanjutan:

  1. Sifat simteri indeks
    Untuk sembarng indeks i,j,k,mNi, j, k, m \in \mathbb{N}, jika berlaku kondisi keterikatan indeks i+j=k+mi+j=k+m, maka berlaku identitas penjumlahan:

    ai+aj=ak+ama_i + a_j = a_k + a_m
  2. Suku tengah
    Jika banyaknya suku nn adalah bilangan ganjil, maka terdapat suku tengah eksak pada indeks t=n+12t=\frac{n+1}{2} yang memenuhi hubungan rataan:

    at=a1+an2    Sn=nata_t=\frac{a_1+a_n}{2} \implies S_n = n\cdot a_t
  3. Trik representasi simetris
    Untuk menyederhanakan perhitungan sistem persamaan aljabar yang melibatkan jumlahan suku-suku aritmtaika, pemilihan variabel sebaiknya disusun secara simetris di sekitar suku tengah

    • Untuk 3 suku: ab,a,a+ba-b, a, a+b

    • Untuk 4 suku: a3b,ab,a+b,a+3ba-3b, a-b, a+b, a+3b

Barisan dan Deret Geometri

Sebuah barisan bilangan real (an)(a_n) dengan unsur non-nol dikatakn sebagai barisan geometri jika dan hanya jika rasio pembagian antara dua suku yang berurutan selalu konstan. Nilia konstan ini disebut sebagai rasio (rr). Secara rekursif, didefinisikan an+1an=r\frac{a_{n+1}}{a_n}=r. Suku umum ke-nn dirumuskan secara eksplisit sebagai:

an=a1rn1a_n = a_1 \cdot r^{n-1}

Secara analitik, suku ke-nn dari barisan geometri dapat dipandang sebagai fungsi eksponensial terhadap indeks nn. Jika kita mentransformasikan barisan geometri melalui fungsi logaritma, maka barisan baru bn=ln(an)b_n=\ln (a_n) secar otomatis akan membentuk barisan aritmatika dengan beda sebesar ln(r)\ln (r).

Jumlahan nn suku pertama dari barisan geometri dirumuskan secara aljabar melalui formula pecahan berikut (untuk r1r\neq 1)

Sn=a1(rn1)r1, untuk r1 Sn=a1(1rn)1r, untuk 0<r<1S_n = \frac{a_1(r^n-1)}{r-1}, \text{ untuk } |r|\geq1\ S_n = \frac{a_1(1-r^n)}{1-r}, \text{ untuk } 0<|r|<1

Sifat-sifat Teoretis Lanjutan

  1. Sifat simetri multiplikatif indeks
    Untuk sembarang indeks i,j,k,mNi, j, k, m\in \mathbb{N}, jik berlaku kondisi keterikatan indeks i+j=k+mi+j=k+m, mk berlaku identitas perkalian:

    aiaj=akama_i \cdot a_j = a_k \cdot a_m
  2. Suku tengah geometri
    Jika banyaknya suku nn adalah ganjil, maka kuadrat dari suku tengah ata_t pada indeks t=n+12t=\frac{n+1}{2} setara dengan hasil kali suku-ujungnya:

    at2=a1an=at=a1ana_t^2 = a_1\cdot a_n = |a_t|=\sqrt{a_1\cdot a_n}
  3. Trik representasi simetris
    Jika soal olimpiade melibatkan hasil kali dari suku-suku barisan geometri, modifikasi variabel berikut sangat disarankan

    • Untuk 3 suku: ar,a,ar\frac{a}{r}, a, ar

Deret Geometri Tak Hingga dan Konvergensinya

Ketika batas atas jumlahan deret geometri diperluas hingga tak hingga (n)(n\to \infty), deret tersebtu bertransformasi menjadi deret geometri tak hingga, dinotasikan dengan

S=i=0a1ri1=a1+a1r+a1r2+S_\infty = \sum_{i=0}^{\infty} a_1 r^{i-1} = a_1 + a_1r + a_1r^2 +\cdots

Perilaku dari SS_\infty dievaluasi berdasarkan nilai limit dari barisan jumlahan parsialnya (Sn)(S_n) ketika nn menuju tak hingga. Secara matematis, evaluasi analitik ini terbagi menjadi dua kondisi rigid:

  1. Kondisi Konvergen (Memiliki Nilai Limit Tetap)
    Deret dikatakan konvergen (memusat menju suatu nilai real tertentu) jika dan hanya jika rasio rr berada secara ketakt di dalam interval terbuka:

    0<r<10<|r|<1

    Berdasarkan analisi limit, jika 0<r<10<|r|<1, maka nilai limnrn=0\lim_{n\to \infty} r^n=0. Akibatnya, formula jumlahan parsial bertransformasi menjadi:

    S=limna1(1rn)1r=a1(10)1r=a11rS_\infty = \lim_{n\to\infty} \frac{a_1(1-r^n)}{1-r} = \frac{a_1(1-0)}{1-r} = \frac{a_1}{1-r}
  2. Kondisi Divergen (Tidak Memiliki Nilai Limit Tetap)
    Deret dikatakan divergan (menyebar menuju tak hingga atau berosilasi) jika dan hanya jika rasio memenuhi kondisi r1|r|\geq 1 a. Jika r1r\geq 1, nilai jumlahan akan bertumbuh tanpa batas menuju \infty atau -\infty b. Jika r1r\leq -1, nilai jumlahan akan berosilasi secara ekstrem dan tidak pernah menetap pada satu titik koordinat linier.

Barisan dan Deret Aritmatika-Geometri (Hibrida)

Dalam beberap kasus tingkat lanjut, kita akan menemui sebuah barisan hibrida yang suku-sukunya dibentuk oleh hasil kali komponen barisan aritmatika dan komponen barisan geometri yang bersesuaian. Struktur ini dinamakan Arithmetico-Geometric Progression (AGP)

Suku ke-nn dari barisan hibrida ini memiliki struktur analitik:

tn=(a1+(n1)n)rn1t_n=(a_1+(n-1)n)\cdot r^{n-1}

Di mana a1a_1 adalah suku pertama aritmatika, bb adalah beda aritmatika, dan rr rasio geometri. Deret jumlahan parsial nn suku dari barisan ini dituliskan sebagai

Sn=a+(a+b)r+(a+2b)r2++(a+(n1)b)rn1S_n = a + (a+b)r + (a+2b)r^2 + \dots + \left(a+(n-1)b\right)r^{n-1}

Untuk mencari rumus tertutup dari SnS_n tanpa menghafal formula yang sangat kompleks, olimpiade matematika mengajarkan teknik manipulasi pengosongan linier. Langkah-langkahnya adalah sebagai berikut:
Tuliskan persamaan SnS_n

Sn=a+(a+b)r+(a+2b)r2++(a+(n1)b)rn1S_n = a + (a+b)r + (a+2b)r^2 + \dots + \left(a+(n-1)b\right)r^{n-1}

Kalikan seluruh ruas dengan rasio rr, lalu geser penulisannya satu suku ke kanan agar derajat variabel rr selaras:

rSn=ar+(a+b)r2++(a+(n2)b)rn1+(a+(n1)b)rnrS_n = \quad\quad ar + (a+b)r^2 + \dots + \left(a+(n-2)b\right)r^{n-1} + \left(a+(n-1)b\right)r^n

Kurangkan persamaan pertama dengan persamaan kedua ((1r)Sn)\left((1-r)S_n\right)

(1r)Sn=a+[(a+b)a]r+[(a+2b)(a+b)]r2++[(a+(n1)b)(a+(n2)b)]rn1(a+(n1)b)rn(1-r)S_n = a + \left[(a+b)-a\right]r + \left[(a+2b)-(a+b)\right]r^2 + \dots + \left[(a+(n-1)b)-(a+(n-2)b)\right]r^{n-1} - \left(a+(n-1)b\right)r^n

Hasi pengurangan mereduksi komponen aritmatika menjadi beda konstan bb, menyisakan deret geometri murni di bagian tengah:

(1r)Sn=a+br+br2+br3++brn1(a+(n1)b)rn(1r)Sn=a+br(1rn11r)(a+(n1)b)rn(1-r)S_n = a + br + br^2 + br^3 + \dots + br^{n-1} - \left(a+(n-1)b\right)r^n\\ (1-r)S_n = a + br\left(\frac{1-r^{n-1}}{1-r}\right) - \left(a+(n-1)b\right)r^n

Dengan membagig seluruh ruas dengan (1r)(1-r), didapatkan rumus jumlahan parsial tertutup untuk deret aritmatika-geometri

Apabila deret hibrida ini diperluas hingga tak hingga (nn\to \infty) dengan prasyarat konvergensi geometri 0<r<10<|r|<1, maka suku-suku yang mengandung komponen limnrn\lim_{n\to\infty}r^n dan limnnrn\lim_{n\to\infty}n\cdot r^n akan bernilai nol. Melalui proses limitasi tersebut, formula deret hibrida tak hingga tereduksi secara elegan menjadi:

S=a1r+br(1r)21S_\infty = \frac{a}{1-r}+\frac{br}{(1-r)^2}1

Prinsip Deret Teleskopik

Dalam kompetisi matematika, evaluasi penjumlahan atau perkalian beruntun dengan jumlah suku yang sangat besar (atau bahkan tak hingga) hampir tidak pernah diselesaikan melalui komputasi manual satu per satu. Pendekatan analitik yang paling tangguh untuk mereduksi kompleksitas deret semacam ini adalah melalui Prinsip Teleskopik.

Istilah “teleskopik” diadaptasi dari mekanisme tabung teleskop bajak laun (teropong lipat) kuno, yang terdiri dari banyak segmen silinder memanjang, namun dapat melihat dan menyusut ke dalam dirinya sendiri hingga hanya menyisakan segmen ujung paling luar. Secara matematis, prinsip ini memanfaatkan sifat pembatalan beruntun (saling menghilangakan) dari suku-suku yang berdekatan.

Konsep Dasar Pembatalan Suku (Teleskopik Penjumlahan)

Prinsip teleskopik pada penjumlahan terjadi ketika setiap suku dalam suatu deret dapat didekomposisi (dipecah) menjadi selisih dua nilai yang berurutan dari suatu barisan pendukung.

atau sebaliknya.

Jika kondisi ini terpenuhi, maka jumlahan deret tersebut akan mengalami pembatalan berantai:

k=1nak=k=1n(bkbk+1)\sum_{k=1}^{n} a_k = \sum_{k=1}^{n} (b_k-b_{k+1})

Ekspansi deret ini akan menghasilkan:

k=1nak=(b1b2)+(b2b3)+(b3b4)++(bn1bn)+(bnbn=1)\sum_{k=1}^{n}a_k = (b_1-b_2)+(b_2-b_3)+(b_3-b_4)+\cdots+(b_{n-1}-b_n)+(b_n-b_{n=1})

Perhatikan bahwa suku b2-b_2 dibatalkan oleh +b2+b_2, suku b3-b_3 dibatalkan oleh +b3+b_3, dan seterusnya, memicu efek domino yang membatalkan seluruh suku di bagian tengah deret. Sisanya hanyalah suku pertama dari kurung pertama dan suku kedua dari kurang terakhir

k=1n(bkbk+1)=b1bn+1\sum_{k=1}^{n}(b_k-b_{k+1})=b_1-b_{n+1}

Dalam persoalan OSN tingkat lanjut, suku penolah sering kali tidak berjarak 1 indek, melainkan dd indeks: ak=bkbk+da_k = b_k - b_{k+d}. Pada kasus ini, suku-suku yang tidak memiliki pasangan pembatalan di awal dan di akhir deret akan tersisa sebanyak dd suku.

Sebagai contoh, jika ak=bkbk+2a_k=b_k-b_{k+2}, maka

k=1n(bkbk+2)=(b1+b2)(bn+1+bn+2)\sum_{k=1}^{n}(b_k-b_{k+2}) = (b_1+b_2) - (b_{n+1}+b_{n+2})

Aplikasi Faktorisasi Aljabar dan Pecahan Parsial

Kendala umum dalam menerapkan prinsip teleskopik bukanlah pada proses mencoret suku yang dibatalkan, melainkan pada keahlian memanipulasi suku aka_k agar termodifikasi menjadi bentuk selisih bkbk+1b_k-b_{k+1}. Instrumen aljabar paling lazim untuk melakukan hal ini adalah dekomposisi Pecahan Parsial

Salah satu contoh kasus fundamental yaitu suku penyebut berderajat dua. Tinjau kembali suku barisan berbentuk pecahan rasional berikut:

ak=1k(k+1)a_k=\frac{1}{k(k+1)}

Melalui identitas pecahan parsial, bentuk tersebut dapat direduksi secara ekuivalen menjadi selisih dua pecahan tunggal

1k(k+1)=(k+1)kk(k+1)=k+1k(k+1)kk(k+1)=1k1k+1\frac{1}{k(k+1)}=\frac{(k+1)-k}{k(k+1)}=\frac{k+1}{k(k+1)}-\frac{k}{k(k+1)}=\frac{1}{k}-\frac{1}{k+1}

Di sini, kita telah berhasil mengkonstruksikan barisan pembatal bk=1kb_k=\frac{1}{k}. Apabila kita menjumlahan aka_k dari k=1k=1 hingga k=nk=n, kita mendapatkan

k=1n1k(k+1)=k=1n(1k1k+1)=(1112)+(1213)++(1n1n+1)=11n+1=nn+1\begin{align*} \sum_{k=1}^{n} \frac{1}{k(k+1)} &= \sum_{k=1}^{n} \left(\frac{1}{k}-\frac{1}{k+1}\right)\\ &= \left(\frac{1}{1}-\frac{1}{2}\right) +\left(\frac{1}{2}-\frac{1}{3}\right) + \cdots + \left(\frac{1}{n}-\frac{1}{n+1}\right)\\ &= 1 - \frac{1}{n+1}\\ &= \frac{n}{n+1} \end{align*}

Manipulasi identitas ini dapat diperumum (digeneralisasi) untuk sembarang selisih konstanta pada penyebutnya. Untuk sembarang konstanta d0d\neq 0

1k(k+d)=1d(1k1k+d)\frac{1}{k(k+d)}=\frac{1}{d}\left(\frac{1}{k}-\frac{1}{k+d}\right)

Persamaan ini sangat vital dan wajib dikuasai secara intuitif. Pengali 1d\frac{1}{d} di depan tanda kurung mutlak diperlukan sebagai kompensasi (faktor korelasi) untuk menyetarakan pembilangannya.

Teleskopik Perkalian

Prinsip pembatalan berantai tidak bekerja secara eksklusif pada operasi penjumlahan, melainkan juga berlaku secara identik dna ekuivalen pada operasi perkalian beruntun. Bentuk teleskopik pada perkalian didasarkan pada eliminiasi pembilang dan penyebut (saling membagi menjadi angka 1)

Misalkan kita mengevaluasi produk k=1nak\prod_{k=1}^{n}a_k. Jika suku umum aka_k dapat direpresentasikan sebagai rasio (hasil bagi) dari dua suku yang berurutan pada barisan penolong (bkb_k), yakni

ak=bk+1bka_k=\frac{b_{k+1}}{b_k}

Maka, perkalian parsial hingga suku ke-nn akan mengalami pencoretan silang diagonal

k=1nbk+1bk=b2b1×b3b2×b4b3××bn+1bn\prod_{k=1}^{n} \frac{b_{k+1}}{b_k} = \frac{b_2}{b_1} \times \frac{b_3}{b_2}\times \frac{b_4}{b_3}\times \cdots \times \frac{b_{n+1}}{b_n}

Melalui eliminasi faktor persekutuan antara pembilang dan penyebut pada pecahan yang bersebelahan, seluruh faktor di tengah deret akan lenyap, menyisakan pembilangan dari suku terakhir dan penyebut dari suku pertama.

k=1nbk+1bk=bn+1b1\prod_{k=1}^{n} \frac{b_{k+1}}{b_k} = \frac{b_{n+1}}{b_1}

Pembuktian dengan Induksi Matematika

Dalam matematika tingkat lanjut, kita sering kali berhadapan dengan pernyataan analitik, rumus barisan, atau teorema yang diklaim bernilai benar untuk setiap bilangan asli nNn\in \mathbb{N}. Untuk membuktikan kebenaran pernyataan pada himpunan yang tak hingga besarnya ini, kita tidak mungkin melakukan uji coba substitusi satu per satu secara manual. Instrumen pembuktian deduktif yang paling valid, formal, dan diakui secara absolut untuk menangani kasus ini adalah induksi matematika

Secara konseptual, induksi matematika dapat dianologikan dengan efek domino yang disusun berderet hingga tak hingga. Jika kita dapat menjatuhkan domino pertama, dan kita memiliki jaminan bahwa jatunya sebuah domino pasti akan menjatuhkan domino tepat di depannya, maka kita dapat menyimpulkan secara logis bahwa seluruh domino tersebut pada akhirnya akan jatuh.

Prinsip Induks Matematika Dasar

Prinsip Induksi Matematika Dasar bertumpu Aksioma Peano dan Sifat Terurut Sempurna (\textit{Well-Ordering Principle}) dari himpunan bilangan asli.

Misalkan P(n)P(n) adalah sebuah proposisi (pernyataan matematis) yang bergnatung pada bilangan asli nn. Jika kedua aksioma berikut dapat dibuktikan bernilai benar

  1. Langkah Dasar: Proposisi P(1)P(1) benar

  2. Langkah Induksi: Untuk setiap bilangan asli kk, jika diamsusikan bahwa P(k)P(k) bernilai benar (asumsi ini disebut sebagai hipotesis induksi), maka dapat dibuktikan bahwa proposisi P(k+1)P(k+1) juga bernilai benar

Maka, dapat disimpulkan bahwa P(n)P(n) bernilai benar untuk setiap bilangan asli n1n\geq 1

Induksi Matematika Kuat

Dalam beberapa kasus pembuktian barisan rekursif atau teori bilangan kompleks, asumsi kebenaran pada suku tepat sebelumnya, yakni P(k)P(k), tidak memberikan amunisi informasi yang cukup untuk membuktikan P(k+1)P(k+1). Oleh karena itu, kita mendayagunakan bentuk induksi yang lebih komprehensif yang dikenal sebagai induksi matematika kuat.

Meskipun disebut “kuat”, secara struktur logika matematis, induksi kuat ekuivalen sepenuhnya dengan induksi dasar. Perbedaannya hanya terletak pada keluasan asumsi di langkah induksi.

Misalkan P(n)P(n) adalah sebuah proposisi yang bergantung pada bilangan asli nn. Jika dapat dibuktikan bahwa:

  1. Langkah dasar: Proposisi P(1)P(1) bernilai benar. (Sering kali diperlukan pengujian beberapa dasar tambahan seperti P(2),P(3),P(2), P(3), \cdots), bergantung pada derajat rekursif.

  2. Langkah Induksi: Untuk sembarang bilangan asli kk, jika diasumsikan bahwa seluruh proposisi sebelumnya yaitu P(1),P(2),P(3),,P(k)P(1), P(2), P(3), \cdots, P(k) bernilai benar secara simultan, maka dapat dibuktikan bahwa P(k+1)P(k+1) juga bernilai benar.

Maka dapat disimpulan bahwa P(n)P(n) bernilai benar untuk semua nNn\in \mathbb{N}

Barisan Rekursif Linier

Dalam pembahasan sebelumnya, kita menentukan suku ke-nn dari suatu barisan menggunakan rumus eksplisit yang bergantung langsung pada variabel indeks nn. Namun, terdapat kelas barisan yang sangat luas di mana suatu suku didefinisikan berdasarkan kombinasi dari suku-suku sebelumnya. Barisan dengan karakteristik seperti ini disebut sebagai barisan rekursif atau relasi rekurensi.Pada tingkat kompetisi, penguasaan terhadap teknik reduksi aljabar untuk menyelesaikan relasi rekurensi linier merupakan salah satu instrumen paling vital dalam memecahkan masalah kombinatorik enumeratif, teori bilangan, maupun pemodelan aljabar tingkat lanjut.

Definisi dan Relasi Rekurensi Linier Berderajat Satu

Relasi rekurensi linier homogen berderajat satu hanya melibatkan satu suku tepat sebelum suku ke-nn. Bentuk umumnya adalah:

xn=cxn1untuk n1x_n = c \cdot x_{n-1} \quad \text{untuk } n \geq 1

dengan nilai awal x0x_0 atau x1x_1 yang diketahui.

Penyelesaian dari bentuk homogen derajat satu ini dapat diturunkan secara langsung secara berantai (iterasi):

xn=cxn1xn=c(cxn2)=c2xn2xn=c3xn3xn=cnx0atauxn=x1cn1x_n = c \cdot x_{n-1}\\ x_n = c \cdot (c \cdot x_{n-2}) = c^2 \cdot x_{n-2}\\ x_n = c^3 \cdot x_{n-3}\\ \dots\\ x_n = c^n \cdot x_0 \quad \text{atau} \quad x_n = x_1 \cdot c^{n-1}

Secara fungsional, relasi rekurensi linier homogen berderajat satu tidak lain adalah bentuk rekursif dari Barisan Geometri dengan rasio cc.

Relasi Rekurensi Linier Berderajat Dua dan Persamaan Karakteristik

Relasi rekurensi linier homogen berderajat dua mendefinisikan suku ke-nn berdasarkan dua suku tepat sebelumnya. Bentuk umum dari relasi ini adalah:

xn=Axn1+Bxn2untuk n2x_n = A x_{n-1} + B x_{n-2} \quad \text{untuk } n \geq 2

di mana AA dan BB adalah konstanta real dengan B0B \neq 0, serta diperlukan dua nilai awal konstan (misalnya x0x_0 dan x1x_1) agar solusi barisan bersifat unik (tunggal)

Berdasarkan analogi penyelesaian derajat satu yang menghasilkan solusi eksponensial, kita dapat mengasumsikan (menebak) bahwa solusi dari relasi derajat dua ini juga memiliki struktur eksponensial murni, yaitu xn=rnx_n = r^n untuk suatu konstanta r0r \neq 0.Substitusikan pemisalan xn=rnx_n = r^n ke dalam relasi rekurensi utama:

rn=Arn1+Brn2r^n = A r^{n-1} + B r^{n-2}

Bagi kedua ruas dengan rn2r^{n-2} (karena r0r \neq 0), sehingga kita memperoleh sebuah persamaan kuadrat:

r2=Ar+B    r2ArB=0r^2 = Ar + B \implies r^2 - Ar - B = 0

Persamaan kuadrat terakhir ini disebut sebagai Persamaan Karakteristik dari relasi rekurensi tersebut, dan akar-akar penyelesaiannya (r1r_1 dan r2r_2) disebut sebagai Akar Karakteristik.

Solusi eksplisit dari barisan xnx_n akan bergantung sepenuhnya pada karakteristik dari akar-akar persamaan kuadrat tersebut, yang terbagi menjadi dua kasus rigid:

  1. Kasus 1: Dua Akal Real Berbeda (r1r2r_1 \neq r_2)
    Jika diskriminan persamaan karakteristik bernilai positif (D>0D > 0), maka diperoleh dua akar real yang berbeda, r1r_1 dan r2r_2. Karena relasi ini bersifat linier, maka kombinasi linier dari kedua solusi eksponensial tersebut juga merupakan solusi. Solusi umum dari barisan dirumuskan sebagai:

    xn=C1r1n+C2r2nx_n = C_1 r_1^n + C_2 r_2^n

    di mana C1C_1 dan C2C_2 adalah konstanta real sembarang yang nilainya ditentukan secara spesifik melalui substitusi nilai awal x0x_0 dan x1x_1.

  2. Kasus 2: Akar Real Kembar (r1=r2=rr_1 = r_2 = r)
    Jika diskriminan persamaan karakteristik bernilai nol (D=0D = 0), maka persamaan hanya menghasilkan satu akar real tunggal berserikat (rr). Dalam situasi ini, bentuk xn=C1rn+C2rnx_n = C_1 r^n + C_2 r^n tidak valid karena kedua suku dapat digabungkan dan kehilangan satu derajat kebebasan konstan. Sifat ketergantungan linier ini diselesaikan dengan menyisipkan variabel indeks nn pada suku kedua. Solusi umumnya dirumuskan sebagai:

    xn=(C1+C2n)rn=C1rn+C2nrnx_n = (C_1 + C_2 n)r^n = C_1 r^n + C_2 n r^n

Barisan Fibonacci dan Lucas

Dua contoh barisan rekursif linier berderajat dua yang paling termasyhur dan memiliki kelimpahan sifat teorema di dalam olimpiade matematika adalah Barisan Fibonacci dan Barisan Lucas. Kedua barisan ini didefinisikan menggunakan relasi rekurensi yang identik secara struktural, namun dibedakan secara fundamental oleh nilai basis (kondisi awal) yang digunakan.

Karena kedua barisan di atas mematuhi relasi rekurensi xnxn1xn2=0x_n - x_{n-1} - x_{n-2} = 0, maka persamaan karakteristik untuk kedua barisan tersebut adalah sama, yaitu:

r2r1=0r^2 - r - 1 = 0

Menggunakan rumus kuadrat (rumus abc), diperoleh dua akar karakteristik berbeda:

r1=1+52=ϕ(Rasio Emas / Golden Ratio)r2=152=ψr_1 = \frac{1 + \sqrt{5}}{2} = \phi \quad \text{(Rasio Emas / Golden Ratio)}\\ r_2 = \frac{1 - \sqrt{5}}{2} = \psi

Perhatikan sifat aljabar unik dari kedua akar ini: ϕ+ψ=1\phi + \psi = 1, ϕψ=1\phi \cdot \psi = -1, dan ϕψ=5\phi - \psi = \sqrt{5}.\ Melalui substitusi nilai awal masing-masing barisan untuk mencari konstanta C1C_1 dan C2C_2, kita dapat mendeduksikan Rumus Binet yang memberikan formula eksplisit non-rekursif untuk mencari suku ke-nn:

Suku-suku pada barisan Fibonacci dan Lucas saling terikat erat melalui berbagai identitas aljabar yang mengagumkan. Beberapa identitas yang paling sering muncul sebagai teorema di OSN meliputi:

Dalam ranah Teori Bilangan Olimpiade, aspek aritmatika keterbagian suku-suku Fibonacci diatur oleh hukum-hukum keterikatan indeks yang sangat rigid:

Menganalisis Periode Barisan

Dalam studi matematika diskret dan teori bilangan, tidak semua barisan bertumbuh tanpa batas menuju tak hingga. Sering kali, terutama ketika barisan tersebut dioperasikan dalam ranah aritmatika modular, nilai-nilai suku pada barisan tersebut akan mengalami pengulangan dengan pola yang tetap. Memahami perilaku siklik atau periodik dari suatu barisan merupakan kunci untuk menyelesaikan persoalan evaluasi suku ke-nn di mana nilai nn bernilai sangat masif.

Konsep Barisan Periodik

Secara formal, sebuah barisan bilangan (xn)(x_n) dikatakan periodik jika terdapat suatu bilangan asli p1p \geq 1 dan suatu bilangan asli N1N \geq 1 sedemikian sehingga berlaku kesamaan:

xn+p=xnuntuk setiap nNx_{n+p} = x_n \quad \text{untuk setiap } n \geq N

Bilangan asli pp terkecil yang memenuhi kondisi tersebut disebut sebagai periode fundamental (atau sekadar periode) dari barisan tersebut. Terdapat dua klasifikasi keketatan pada sifat periodik ini:

  1. Periodik Murni (Strictly Periodic):
    Jika kondisi berulang tercapai sejak basis awal, yakni pada N=1N = 1. Pengulangan siklus berlangsung sempurna tanpa ada “ekor” di awal barisan.

  2. Periodik pada Akhirnya (Eventually Periodic):
    Jika kondisi berulang baru tercapai pada suatu indeks N>1N > 1. Barisan ini memiliki fase transisi ireguler di awal sebelum akhirnya memasuki pola berulang yang stabil.

Sifat Periodik Barisan dalam Operasi Modulo

Konvergensi barisan menuju suatu siklus pengulangan paling sering dijumpai ketika kita mengevaluasi barisan rekursif linier dalam modulo suatu bilangan asli mm. Terdapat sebuah landasan logis dalam kombinatorika yang menjamin bahwa setiap relasi rekurensi linier atas operasi modulo mutlak akan bersifat periodik: Prinsip Sarang Merpati (Pigeonhole Principle).

Misalkan kita mengobservasi sebuah barisan rekursif linier berderajat kk, di mana setiap suku baru dikalkulasikan murni berdasarkan konfigurasi kk suku sebelumnya secara berurutan. Dalam modulo mm, suatu bilangan hanya dapat memetakan dirinya ke dalam salah satu dari mm buah sisa pembagian yang mungkin, yakni Himpunan Residu {0,1,2,,m1}\{0, 1, 2, \dots, m-1\}.

Karena status (keadaan) operasional dari barisan rekursif ini ditentukan secara unik oleh susunan kk buah elemen berurutan, maka hanya akan terdapat tepat mkm^k permutasi susunan status berbeda yang mungkin terjadi. Berdasarkan Prinsip Sarang Merpati, apabila kita mengekspansi barisan tersebut hingga melebihi batas mkm^k langkah, maka dipastikan setidaknya ada satu konfigurasi status yang termanifestasi lebih dari satu kali.

Misalkan konfigurasi (xi,xi+1,,xi+k1)(x_i, x_{i+1}, \dots, x_{i+k-1}) identik secara kongruensi modulo mm dengan konfigurasi (xj,xj+1,,xj+k1)(x_j, x_{j+1}, \dots, x_{j+k-1}) dengan jarak i<ji < j. Mengingat suku-suku progresif selanjutnya didefinisikan murni oleh formula yang sama terhadap status pendahulunya, maka pola barisan secara kausalitas akan mereplikasi dirinya terus-menerus mulai dari indeks tersebut. Jarak selisih (ji)(j - i) inilah yang membentuk fondasi untuk merumuskan kelipatan dari periode barisannya.

Dalam problematika OSN, instruksi untuk “mencari angka satuan” sesungguhnya bersifat ekuivalen secara aritmatika dengan mengevaluasi nilai barisan pada kongruensi modulo 10. Serupa dengan hal tersebut, pencarian dua digit terakhir adalah manifestasi dari evaluasi modulo 100. Pengeksploitasian sifat periodik ini menjadi satusatunya instrumen deterministik untuk mengurai suku dengan indeks astronomis (seperti a20262026a_{2026^{2026}}), sebab analisis hanya bertumpu pada sisa pembagian indeks raksasa tersebut oleh panjang periode fundamentalnya.

Penerapan konsep periodisitas paling elok dan ekstensif di dalam kurikulum olimpiade matematika teoretis terfokus pada Barisan Fibonacci dalam operasi modulo. Periode dengan mana siklus residu Barisan Fibonacci mereplikasi diri dalam modulo mm dikenal melalui terminologi khusus, yakni Periode Pisano, yang dinotasikan secara formal sebagai π(m)\pi(m).

Relasi rekurensi eksak untuk Fibonacci adalah Fn+1=Fn+Fn1F_{n+1} = F_n + F_{n-1}. Dalam operasi kongruensi modulo mm, relasi linier ini memegang keistimewaan karena fungsi rekurensinya dapat diinversi (dibalik arahnya) untuk melacak kembali suku-suku historisnya tanpa timbul ambiguitas operasional:

Fn1Fn+1Fn(modm)F_{n-1} \equiv F_{n+1} - F_n \pmod m

Berdasarkan kelenturan analisis mundur (backward analysis) ini, manakala teridentifikasi sebuah blok status (Fj,Fj+1)(F_j, F_{j+1}) yang memiliki kesesuaian nilai modulo dengan blok status lain (Fk,Fk+1)(F_k, F_{k+1}), maka penelusuran balik akan menuntun keduanya secara sinkron menuju pangkalan basis awal (F0,F1)(0,1)(modm)(F_0, F_1) \equiv (0, 1) \pmod m.

Konsekuensi analitik terpentingnya adalah: Barisan Fibonacci dalam ranah modulo mm selalu merupakan barisan periodik murni. Setiap fasenya dijamin tanpa pengecualian selalu diawali oleh residu kombo 0,10, 1.

Struktur dari Periode Pisano mengidap beberapa properti baku yang sering diekstraksi sebagai aksioma cepat pada kompetisi matematika:

  1. Siklus Modulo 10 (Analisis Satuan):

    Angka satuan dari deret Fibonacci dipastikan membentuk siklus sempurna tiap 60 indeks secara berkesinambungan. Secara sintaktik ditulis π(10)=60\pi(10) = 60. Implikasinya, untuk menentukan angka satuan dari sebuah suku seperti F2026F_{2026}, komputasi direduksi menjadi penelusuran 202646(mod60)2026 \equiv 46 \pmod{60}, mengindikasikan bahwa angka satuan F2026F_{2026} berkesesuaian eksak dengan angka satuan F46F_{46}.

  2. Kalkulasi Siklus Baku (Konstanta Bantuan):

    • π(2)=3\pi(2) = 3 (Menghasilkan deret paritas berulang: 0,1,1,0,1,1,0, 1, 1, 0, 1, 1, \dots)

    • π(3)=8\pi(3) = 8

    • π(4)=6\pi(4) = 6

    • π(5)=20\pi(5) = 20

    • π(100)=300\pi(100) = 300 (Dua presisi digit terbelakang dari entitas Fibonacci menduplikasi diri per siklus 300 suku).

  3. Paritas Periode:

    Eksklusif untuk bilangan bulat penguji m>2m > 2, panjang metrik dari Periode Pisano π(m)\pi(m) tidak pernah membentuk bilangan ganjil; panjangnya niscaya merupakan suatu bilangan genap.

  4. Hukum Multiplikatif Teori Bilangan:

    Properti fungsi Pisano berlaku koheren terhadap kelipatan modul yang komposit. Misalkan dioperasikan pada dua basis modul bulat aa dan bb yang dijamin relatif prima atau saling koprima (FPB(a,b)=1\text{FPB}(a, b) = 1). Maka nilai periode untuk sintesis modulonya setara dengan Kelipatan Persekutuan Terkecil (KPK) parsialnya:

    π(ab)=KPK(π(a),π(b))\pi(ab) = \text{KPK}\big(\pi(a), \pi(b)\big)

    Pembuktian langsung: π(10)=π(2×5)=KPK(π(2),π(5))=KPK(3,20)=60\pi(10) = \pi(2 \times 5) = \text{KPK}\big(\pi(2), \pi(5)\big) = \text{KPK}(3, 20) = 60.