Theorema Egregium di Gauss

Il Theorema Egregium («teorema notevole») di Gauss, enunciato nel 1827, è uno dei risultati più profondi della geometria differenziale: afferma che la curvatura gaussiana di una superficie è un invariante intrinseco, cioè dipende solo dalla metrica della superficie (prima forma fondamentale) e non dal modo in cui essa è immersa nello spazio.

Vedi anche: Curvature delle Superfici, Superficie Parametrica, Geodetica.

Curvatura Gaussiana

La curvatura gaussiana di una superficie in un punto è:

$K = \kappa_1 \kappa_2$

dove $\kappa_1$ e $\kappa_2$ sono le curvature principali (valori massimo e minimo della curvatura normale). Vedi: Curvature delle Superfici.

La curvatura gaussiana classifica i punti della superficie:

• $K > 0$: punto ellittico (tipo sfera — la superficie è «a cupola» in entrambe le direzioni)
• $K < 0$: punto iperbolico (tipo sella — la superficie curva in direzioni opposte)
• $K = 0$: punto parabolico o ombelicale (tipo cilindro o piano)

Enunciato del Teorema

Theorema Egregium: la curvatura gaussiana $K$ di una superficie si può esprimere in termini della sola prima forma fondamentale $g_{ij}$ (i coefficienti della metrica) e delle sue derivate prime e seconde:

$K = K(g_{ij},\, \partial_k g_{ij},\, \partial_{kl} g_{ij})$

In particolare, $K$ non cambia se si piega la superficie senza stirarla (isometrie intrinseche).

Significato

Il teorema separa nettamente due tipi di proprietà geometriche:

• Intrinseche: dipendono solo dalla metrica (distanze misurate sulla superficie). La curvatura gaussiana, le geodetiche, gli angoli sono intrinseche.
• Estrinseche: dipendono dall’immersione nello spazio ambiente. La curvatura media $H = (\kappa_1 + \kappa_2)/2$ e la seconda forma fondamentale sono estrinseche.

Conseguenza immediata: un foglio di carta (piano, $K = 0$) non può essere avvolto attorno a una sfera ($K > 0$) senza stirarlo o piegarlo — le due superfici hanno curvature gaussiane diverse e quindi non sono isometricamente equivalenti.

Formula di Brioschi

La curvatura gaussiana si calcola esplicitamente dai coefficienti della prima forma fondamentale $E, F, G$ tramite la formula di Brioschi (1854), che non coinvolge la seconda forma fondamentale — confermando l’intrinsecità.

Teorema di Gauss-Bonnet

Generalizzazione globale: per una superficie compatta orientabile $S$ di genere $g$:

$\iint_S K\, dA = 2\pi \chi(S) = 2\pi(2 - 2g)$

dove $\chi(S)$ è la caratteristica di Eulero. La curvatura gaussiana totale è un invariante topologico: la sfera ($g = 0$) ha $\int K\,dA = 4\pi$; il toro ($g = 1$) ha $\int K\,dA = 0$.

Applicazioni ingegneristiche

• Architettura e shell structures: le superfici a curvatura gaussiana positiva (cupole) e negativa (iperboloidi, paraboloidi iperbolici) hanno comportamenti strutturali radicalmente diversi. Le strutture a guscio a $K > 0$ sono in compressione; quelle a $K < 0$ sviluppano tensioni di membrana in entrambe le direzioni.
• Cartografia: il Theorema Egregium spiega perché è impossibile proiettare una porzione di sfera su un piano senza distorcere distanze o angoli — le due superfici hanno curvatura gaussiana diversa.
• Materiali e metalmeccanica: la lavorazione di lamiere curve (imbutitura) deve tenere conto della curvatura gaussiana: lavorare una lamiera piana in una forma a $K \neq 0$ richiede deformazione plastica irrecuperabile.