Pendahuluan: Seberapa Luas Kerajaan yang Bisa Dipagari Selembar Kulit Sapi?
Dalam wiracarita Aeneid karya Vergilius, putri Fenisia Dido tiba di pesisir Afrika Utara dan meminta membeli tanah «seluas yang dapat dikelilingi oleh selembar kulit sapi». Dido mengiris kulit itu menjadi pita-pita tipis yang disambung menjadi tali panjang, lalu memanfaatkan garis pantai lurus sebagai batas alami untuk memagari setengah lingkaran raksasa tempat berdirinya Kartago.
Secara matematis, Dido menghadapi persoalan kalkulus variasi tertua dalam sejarah, Masalah Isoperimetrik: di antara semua kurva tertutup sederhana $C$ dengan keliling tetap $L > 0$, kurva mana yang melingkupi luas $A$ terbesar? Jawabannya adalah lingkaran. Untuk setiap kurva tertutup sederhana berkeliling $L$ dan luas $A$, berlaku ketaksamaan isoperimetrik bidang:
$$\boxed{4\pi A \le L^2 \quad \Longleftrightarrow \quad Q(C) := \frac{4\pi A}{L^2} \le 1}$$Rasio tak berdimensi $Q(C) \in (0, 1]$ disebut kuosien isoperimetrik, dan kesamaan berlaku jika dan hanya jika $C$ adalah lingkaran sempurna. Meski tampak jelas secara intuitif, umat manusia membutuhkan lebih dari dua ribu tahun untuk membuktikannya secara ketat.
Bab 1: Poligon Beraturan dan Intuisi Yunani Kuno
Pada abad ke-2 SM, Zenodorus membuktikan bahwa di antara semua segi-$n$ dengan keliling $L$ yang sama, segi-$n$ beraturan memiliki luas terbesar:
$$A_n = \frac{L^2}{4n \tan(\pi/n)}, \qquad Q_n = \frac{4\pi A_n}{L^2} = \frac{\pi/n}{\tan(\pi/n)} \xrightarrow{n \to \infty} 1$$| Bangun Datar ($L$ tetap) | Luas $A(L)$ | Kuosien $Q = \frac{4\pi A}{L^2}$ | Efisiensi vs. Lingkaran (%) |
|---|---|---|---|
| Segitiga Sama Sisi ($n = 3$) | $\frac{\sqrt{3}}{36} L^2 \approx 0.04811 L^2$ | $\frac{\pi}{3\sqrt{3}} \approx 0.6046$ | $60.46\%$ |
| Persegi ($n = 4$) | $\frac{1}{16} L^2 = 0.06250 L^2$ | $\frac{\pi}{4} \approx 0.7854$ | $78.54\%$ |
| Segienam Beraturan ($n = 6$) | $\frac{\sqrt{3}}{24} L^2 \approx 0.07217 L^2$ | $\frac{\pi}{2\sqrt{3}} \approx 0.9069$ | $90.69\%$ |
| Lingkaran ($n \to \infty$) | $\frac{1}{4\pi} L^2 \approx 0.07958 L^2$ | $1.0000$ (Maksimum) | $100.00\%$ |
Dengan mencerminkan tali Dido sepanjang $L_{\text{rope}}$ terhadap garis pantai lurus, terbentuk kurva tertutup berkeliling $2L_{\text{rope}}$; maka bentuk optimal yang bersandar pada pantai adalah setengah lingkaran dengan luas $A_{\max} = \frac{L_{\text{rope}}^2}{2\pi}$.
Bab 2: Metode Empat Engsel Steiner dan Kritik Weierstrass
Pada 1838, Jakob Steiner memperkenalkan simetrisasi Steiner dan metode empat engsel:
- Konveksifikasi: Bagian cekung yang dicerminkan keluar mempertahankan $L$ dan memperbesar $A$ secara tegas.
- Empat Engsel: Jika $P, Q$ membagi dua keliling dan titik $R$ memenuhi $\angle PRQ \neq 90^\circ$, keempat segmen busur kaku digerakkan pada engsel $P, R, Q, S$ hingga $\angle PRQ = \angle PSQ = 90^\circ$. Karena luas segitiga $\frac{1}{2}ab\sin\theta$ maksimum pada $\theta = 90^\circ$, luas total bertambah tegas tanpa mengubah keliling! Menurut teorema Thales, hanya lingkaran yang tak dapat diperbesar lagi.
flowchart TD
Curve["Kurva tertutup non-lingkaran C (keliling L, luas A)"]
Steiner["Deformasi Steiner: Konveksifikasi / 4 Engsel / Simetrisasi"]
Strict["Keliling L tetap, luas bertambah tegas A' > A"]
Trap["Celah Logika (Weierstrass): Hanya membuktikan 『Non-lingkaran ≠ maksimum』"]
Perron["Paradoks Perron: Tanpa eksistensi, 『1 adalah bilangan asli terbesar』"]
Direct["Solusi Modern: Kekompakan + Semikontinuitas (Teorema Blaschke)"]
Curve --> Steiner --> Strict --> Trap --> Perron --> Direct
Namun, Karl Weierstrass menunjukkan celah logika fatal: Steiner hanya membuktikan bahwa jika kurva berluas maksimum ada, maka ia pasti lingkaran—tetapi belum membuktikan bahwa nilai maksimum itu ada! Oskar Perron menyindir celah ini lewat Paradoks Perron: «Misalkan ada bilangan asli terbesar $N$. Jika $N > 1$, maka $N^2 > N$ (kontradiksi); jadi $N = 1$ adalah bilangan asli terbesar!» Teorema seleksi Blaschke kemudian menutup celah eksistensi ini.
Bab 3: Bukti Deret Fourier Hurwitz (1901)
Pada 1901, Adolf Hurwitz menghindari asumsi eksistensi menggunakan deret Fourier. Melalui penskalaan, tetapkan $L = 2\pi$ dan параметrisasikan $(x(s), y(s))$ terhadap panjang busur $s \in [0, 2\pi]$ sehingga $(x')^2 + (y')^2 = 1$:
$$\left(x'(s)\right)^2 + \left(y'(s)\right)^2 = 1 \quad \Longrightarrow \quad L = \int_0^{2\pi} \left(x'(s)^2 + y'(s)^2\right) ds = 2\pi$$Dengan menguraikan $x(s) = \sum_{n=-\infty}^{\infty} a_n e^{ins}$ dan $y(s) = \sum_{n=-\infty}^{\infty} b_n e^{ins}$ ($a_{-n} = \overline{a_n}, b_{-n} = \overline{b_n}$), identitas Parseval dan teorema Green $A = \frac{1}{2}\oint (x\,dy - y\,dx)$ menghasilkan:
$$\frac{L}{2\pi} = 1 = \sum_{n \neq 0} n^2 \left(|a_n|^2 + |b_n|^2\right), \qquad \frac{A}{\pi} = \sum_{n \neq 0} i n \left(a_n \overline{b_n} - \overline{a_n} b_n\right)$$Mengurangkan keduanya ($L^2 - 4\pi A = 4\pi^2(1 - A/\pi)$):
$$\boxed{\frac{L^2 - 4\pi A}{4\pi^2} = \sum_{n \neq 0} \Big[ \underbrace{(n^2 - 1)\left(|a_n|^2 + |b_n|^2\right)}_{\ge 0 \ (\forall |n| \ge 1)} + \underbrace{|a_n + i b_n|^2}_{\ge 0} \Big] \ge 0}$$Kesamaan terjadi jika dan hanya jika semua harmonik $|n| \ge 2$ bernilai nol ($a_n = b_n = 0$) dan $a_1 + i b_1 = 0$, yang tepat mendefinisikan lingkaran berjari-jari $R = 1$: nada dasar murni tanpa distorsi harmonik.
Bab 4: Gelembung Sabun 3D dan Teorema Faber-Krahn
flowchart TD
Iso["Prinsip Isoperimetrik: Minimumkan Batas / Maksimumkan Volume"]
Planar["Bidang 2D: 4πA ≤ L² (Setengah Lingkaran Dido & Lingkaran)"]
Bubble["Ruang 3D: 36πV² ≤ S³ (Young-Laplace ΔP = 2γH → Bola)"]
Drum["Geometri Spektral (Faber-Krahn): λ₁(Ω) ≥ λ₁(B*) (Drum Lingkaran)"]
Iso --> Planar
Iso --> Bubble
Iso --> Drum
- Ketaksamaan 3D & Gelembung Sabun: Di $\mathbb{R}^3$, luas permukaan $S$ dan volume $V$ memenuhi $36\pi V^2 \le S^3$ (kesamaan hanya pada bola). Gelembung sabun meminimumkan energi permukaan $E = \gamma S$ menurut persamaan Young-Laplace $\Delta P = 2\gamma H$ (kelengkungan rata-rata konstan, berbentuk bola menurut teorema Alexandrov 1956).
- Ketaksamaan Faber-Krahn: Di antara semua membran drum $\Omega \subset \mathbb{R}^2$ berluas sama, drum lingkaran $B^*$ menghasilkan frekuensi dasar terendah: $$\lambda_1(\Omega) = \inf_{u \in H_0^1(\Omega)\setminus\{0\}} \frac{\int_\Omega |\nabla u|^2 \, dx}{\int_\Omega u^2 \, dx} \ge \lambda_1(B^*) = \frac{\pi j_{0,1}^2}{A(\Omega)}$$