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.