1. Prolog Sejarah dan Intuisi Fisika: Mengapa Kurva Mengalahkan Garis Lurus?

Bayangkan dua titik $A(0,0)$ dan $B(x_1, y_1)$ yang dipasang pada ketinggian berbeda di bidang vertikal. Bentuk lintasan tanpa gesekan seperti apakah yang harus menghubungkan $A$ ke $B$ agar sebutir manik baja yang dilepaskan dari keadaan diam di $A$ di bawah gravitasi seragam $g$ mencapai $B$ dalam waktu sesingkat mungkin? Intuisi geometris kita spontan menjawab: «Garis lurus, karena garis lurus adalah jarak terpendek antara dua titik!». Namun eksperimen fisika dan pembuktian matematika menunjukkan sebaliknya: pada kurva yangukik tajam di awal, manik-manik menang telak — bahkan jika $B$ cukup jauh secara horizontal, kurva tercepat menukik lebih rendah daripada ketinggian $B$ sebelum mendaki kembali ke garis finis!

Masalah klasik ini dikenal sebagai masalah Brakistokron (Brachistochrone) (dari bahasa Yunani brakhistos «terpendek» dan khronos «waktu»). Mengapa lintasan terpendek bukanlah yang tercepat? Karena kecepatan awal di $A$ adalah nol ($v_0 = 0$). Pada bidang miring lurus yang landai, percepatan tangensial $a = g\sin\alpha$ kecil sehingga partikel membuang banyak waktu di awal dengan kecepatan sangat rendah. Sebaliknya, lintasan yang terjun vertikal sejak titik awal langsung mengubah energi potensial gravitasi $mgy$ menjadi kelajuan tinggi $v = \sqrt{2gy}$. Pada tahun 1638, Galileo membuktikan dalam Two New Sciences bahwa busur lingkaran lebih cepat daripada tali busur lurusnya, meski ia keliru mengira lingkaran adalah kurva tercepat mutlak. Pada Juni 1696, Johann Bernoulli menantang para matematikawan Eropa; pada malam 29 Januari 1697 sepulang dari Royal Mint di London, Isaac Newton memecahkan masalah tersebut hanya dalam beberapa jam sebelum tidur dan menerbitkannya secara anonim, membuat Bernoulli berseru: «Tanquam ex ungue leonem (Dari cakarnya aku mengenali sang singa!)».

2. Fungsional Waktu Turun dan Analogi Optik Johann Bernoulli (Hukum Snellius)

Dengan menempatkan titik asal di $A(0,0)$, sumbu $x$ horizontal, dan sumbu $y$ mengarah vertikal ke bawah, kekekalan energi mekanik $\frac{1}{2}mv^2 = mgy$ memberikan kelajuan $v(y) = \sqrt{2gy}$. Dengan elemen panjang busur $ds = \sqrt{1 + (y'(x))^2}\,dx$, waktu turun total $T[y]$ menjadi sebuah fungsional (fungsi yang menerima argumen berupa keseluruhan kurva $y(x)$):

3. Lahirnya Kalkulus Variasi: Persamaan Euler-Lagrange, Identitas Beltrami, dan Sikloid

Johann Bernoulli pada tahun 1696 menemukan jalan pintas brilian melalui prinsip waktu minimum Fermat: partikel yang bergerak dengan kelajuan $v(y) = \sqrt{2gy}$ menempuh lintasan yang persis sama dengan berkas cahaya yang merambat melalui medium berlapis dengan indeks bias $n(y) = c/v(y) \propto y^{-1/2}$! Berdasarkan hukum pembiasan Snellius, sudut $\alpha$ terhadap sumbu vertikal memenuhi $\frac{\sin\alpha}{\sqrt{2gy}} = \text{const}$. Substitusi $\sin\alpha = \frac{dx}{ds} = \frac{1}{\sqrt{1+(y')^2}}$ langsung menghasilkan persamaan diferensial $y(1 + (y')^2) = 2R$.

Untuk meminimalkan fungsional umum $J[y] = \int L(x,y,y')\,dx$ secara sistematis, Leonhard Euler (1744) dan Joseph-Louis Lagrange (1755) mendirikan kalkulus variasi (Calculus of Variations). Dengan menetapkan variasi pertama $\delta J[y;\eta] = 0$ untuk setiap perturbasi $\eta(x)$ yang bernilai nol di kedua ujung, integrasi parsial menghasilkan persamaan Euler-Lagrange. Karena $L(y,y') = \sqrt{\frac{1+(y')^2}{y}}$ tidak bergantung secara eksplisit pada $x$, identitas Beltrami $L - y'\frac{\partial L}{\partial y'} = C$ langsung mengembalikan $y(1 + (y')^2) = 2R$. Substitusi parametrik $y = 2R\sin^2(\theta/2) = R(1 - \cos\theta)$ membuktikan bahwa satu-satunya kurva brakistokron adalah sikloid (Cycloid):

  flowchart TD
    A["1696: Brachistochrone Problem (Minimize T[y] = ∫ √(1+y'^2)/√(2gy) dx)"] --> B["Snell's Law Optical Analogy (sin α / √y = const)"]
    A --> C["First Variation δT[y] = 0 → Euler-Lagrange Equation & Beltrami Identity"]
    B --> D["ODE: y (1 + y'^2) = 2R"]
    C --> D
    D --> E["Parametric Cycloid: x = R(θ - sin θ), y = R(1 - cos θ)"]
    E --> F["Huygens Tautochrone Property (T = π√(R/g) Independent of Starting Height)"]
    C --> G["Hamilton's Principle of Least Action δS = 0 (Modern Physics & Optimal Control)"]

4. Perbandingan Numerik, Tautokron Huygens, dan Warisan Prinsip Aksi Terkecil

Antara $A(0,0)$ dan $B(\pi, 2)$, meskipun lintasan sikloid ($S = 4,000\,\text{m}$) $7,4\%$ lebih panjang daripada garis lurus ($3,724\,\text{m}$), manik-manik tiba $18,5\%$ lebih cepat! Lebih menakjubkan lagi, Christiaan Huygens telah membuktikan sejak 1659 bahwa sikloid yang sama juga merupakan kurva tautokron (isokron): dari ketinggian awal mana pun manik-manik dilepaskan pada lintasan sikloid, waktu tempuh menuju titik terendah selalu konstan sebesar $T = \pi\sqrt{R/g}$! Dari kalkulus variasi yang lahir lewat brakistokron tumbuhlah prinsip aksi terkecil Hamilton ($\delta S = 0$), teorema Noether, persamaan geodesik relativitas umum Einstein, integral lintasan Feynman, serta teori kontrol optimal modern.