Introdução: Quanto reino cabe no couro de um boi?
Na Eneida de Virgílio, a princesa fenícia exilada Dido chega à costa do norte da África e pede para comprar tanta terra «quanto o couro de um boi possa cercar». Dido corta o couro em tiras finíssimas para formar uma longa corda e, usando a costa retilínea como fronteira natural, cerca um enorme semicírculo onde funda Cartago.
Matematicamente, Dido enfrentava o problema variacional mais antigo da história, o problema isoperimétrico: entre todas as curvas planas fechadas simples \(C\) de perímetro fixo \(L > 0\), qual encerra a maior área \(A\)? A resposta é o círculo. Para toda curva fechada simples de comprimento \(L\) e área \(A\), vale a desigualdade isoperimétrica plana:
\[\boxed{4\pi A \le L^2 \quad \Longleftrightarrow \quad Q(C) := \frac{4\pi A}{L^2} \le 1}\]O quociente isoperimétrico adimensional \(Q(C) \in (0, 1]\) atinge o valor \(1\) se e somente se \(C\) for um círculo perfeito. Embora pareça óbvio à intuição, a humanidade levou mais de dois milênios para obter uma demonstração rigorosa.
Capítulo 1: Polígonos regulares e a intuição grega
Já no século II a.C., Zenodoro demonstrou que entre todos os polígonos de \(n\) lados com o mesmo perímetro \(L\), o polígono regular maximiza a área:
\[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\]| Figura plana (\(L\) fixo) | Área \(A(L)\) | Quociente \(Q = \frac{4\pi A}{L^2}\) | Eficiência vs. Círculo (%) |
|---|---|---|---|
| Triângulo equilátero (\(n = 3\)) | \(\frac{\sqrt{3}}{36} L^2 \approx 0.04811 L^2\) | \(\frac{\pi}{3\sqrt{3}} \approx 0.6046\) | \(60.46\%\) |
| Quadrado (\(n = 4\)) | \(\frac{1}{16} L^2 = 0.06250 L^2\) | \(\frac{\pi}{4} \approx 0.7854\) | \(78.54\%\) |
| Hexágono regular (\(n = 6\)) | \(\frac{\sqrt{3}}{24} L^2 \approx 0.07217 L^2\) | \(\frac{\pi}{2\sqrt{3}} \approx 0.9069\) | \(90.69\%\) |
| Círculo (\(n \to \infty\)) | \(\frac{1}{4\pi} L^2 \approx 0.07958 L^2\) | \(1.0000\) (Máximo) | \(100.00\%\) |
Ao refletir a corda de Dido de comprimento \(L_{\text{rope}}\) em relação à costa reta, obtém-se uma curva fechada de perímetro \(2L_{\text{rope}}\); portanto, a forma ótima apoiada na costa é o semicírculo com área \(A_{\max} = \frac{L_{\text{rope}}^2}{2\pi}\).
Capítulo 2: O método das quatro dobradiças de Steiner e a crítica de Weierstrass
Em 1838, Jakob Steiner criou a simetrização de Steiner e o método das quatro dobradiças:
- Convexificação: Qualquer trecho côncavo refletido para fora conserva \(L\) e aumenta estritamente \(A\).
- Quatro dobradiças: Se \(P, Q\) bissectam o perímetro e um ponto \(R\) satisfaz \(\angle PRQ \neq 90^\circ\), articulam-se os quatro segmentos rígidos com dobradiças em \(P, R, Q, S\) até que \(\angle PRQ = \angle PSQ = 90^\circ\). Como a área \(\frac{1}{2}ab\sin\theta\) é máxima em \(\theta = 90^\circ\), a área total cresce estritamente sem alterar o perímetro! Pelo teorema de Tales, apenas o círculo não pode ser melhorado.
flowchart TD
Curve["Curva fechada não circular C (perímetro L, área A)"]
Steiner["Deformação de Steiner: Convexificação / 4 dobradiças / Simetrização"]
Strict["Perímetro L invariante, área estritamente maior A' > A"]
Trap["Lacuna lógica (Weierstrass): Prova apenas 『Não-círculo ≠ máximo』"]
Perron["Paradoxo de Perron: Sem existência, 『1 é o maior inteiro positivo』"]
Direct["Solução moderna: Compacidade + Semicontinuidade (Teorema de Blaschke)"]
Curve --> Steiner --> Strict --> Trap --> Perron --> Direct
Contudo, Karl Weierstrass apontou uma falha lógica fatal: Steiner provara que se existir uma curva de área máxima, ela deve ser um círculo, mas não provou que tal máximo existe! Oskar Perron ironizou esse erro com o paradoxo de Perron: «Suponha que exista o maior inteiro positivo \(N\). Se \(N > 1\), então \(N^2 > N\) (contradição); logo \(N = 1\) é o maior inteiro». O teorema de seleção de Blaschke preencheu finalmente essa lacuna.
Capítulo 3: A prova por séries de Fourier de Hurwitz (1901)
Em 1901, Adolf Hurwitz contornou qualquer hipótese de existência usando séries de Fourier. Por homotetia, fixemos \(L = 2\pi\) e parametrizemos \((x(s), y(s))\) pelo comprimento de arco \(s \in [0, 2\pi]\), de modo que \((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\]Expandindo \(x(s) = \sum_{n=-\infty}^{\infty} a_n e^{ins}\) e \(y(s) = \sum_{n=-\infty}^{\infty} b_n e^{ins}\) (\(a_{-n} = \overline{a_n}, b_{-n} = \overline{b_n}\)), a identidade de Parseval e o teorema de Green \(A = \frac{1}{2}\oint (x\,dy - y\,dx)\) fornecem:
\[\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)\]Subtraindo ambas as expressões (\(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}\]A igualdade ocorre se e somente se todos os harmônicos \(|n| \ge 2\) se anulam (\(a_n = b_n = 0\)) e \(a_1 + i b_1 = 0\), descrevendo exatamente um círculo de raio \(R = 1\): um tom fundamental puro sem distorção harmônica.
Capítulo 4: Bolhas de sabão 3D e o teorema de Faber-Krahn
flowchart TD
Iso["Princípio isoperimétrico: Minimizar borda / Maximizar volume"]
Planar["Plano 2D: 4πA ≤ L² (Semicírculo de Dido e Círculo)"]
Bubble["Espaço 3D: 36πV² ≤ S³ (Young-Laplace ΔP = 2γH → Esfera)"]
Drum["Geometria espectral (Faber-Krahn): λ₁(Ω) ≥ λ₁(B*) (Tambor circular)"]
Iso --> Planar
Iso --> Bubble
Iso --> Drum
- Desigualdade 3D e bolhas de sabão: Em \(\mathbb{R}^3\), a área superficial \(S\) e o volume \(V\) satisfazem \(36\pi V^2 \le S^3\) (igualdade apenas na esfera). Uma bolha de sabão minimiza sua energia \(E = \gamma S\) sob a equação de Young-Laplace \(\Delta P = 2\gamma H\) (curvatura média constante, esfera pelo teorema de Alexandrov 1956).
- Desigualdade de Faber-Krahn: Entre todos os tambores \(\Omega \subset \mathbb{R}^2\) de mesma área, o tambor circular \(B^*\) produz a frequência fundamental mais grave: \(\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)}\)