Isoperimetria

In geometria, l'isoperimetria è la caratteristica di due figure aventi il perimetro uguale.

Nei problemi classici di isoperimetria si chiede solitamente di individuare la figura che a parità di perimetro e sotto determinati vincoli sia in grado di massimizzare l'area; a parità di perimetro e di lati i poligoni regolari sono quelli che massimizzano l'area, mentre il cerchio è quella che la massimizza in assoluto.

Il classico problema isoperimetrico risale all'antichità. Il problema può essere posto nel modo seguente: fra tutte le curve chiuse nel piano di fissato perimetro, quale curva (se esiste) massimizza l'area della regione inclusa? Si può mostrare che questo problema equivale a cercare fra le curve chiuse nel piano, fissata l'area della regione inclusa, quella che (se esiste) minimizza il perimetro.

Il problema è concettualmente legato al principio di minima azione in fisica, e può essere riformulato nel modo seguente: qual è il principio dell'azione che racchiude l'area maggiore con il minimo sforzo?

Il filosofo e scienziato del XV secolo, cardinale Nicola Cusano, considerò la rotazione, attraverso la quale si genera il cerchio, il processo che meglio riflette nel mondo empirico il processo attraverso il quale l'universo è stato generato. L'astronomo ed astrologo tedesco Keplero utilizzò il principio isoperimetrico nel discutere la morfologia del sistema solare nel Mysterium Cosmographicum (Il mistero cosmografico, 1596).

Anche se il cerchio appare un'ovvia soluzione del problema, la dimostrazione di questo fatto è piuttosto difficile. Il primo passo verso la soluzione fu fatto dallo studioso di geometria Jakob Steiner nel 1838 usando un metodo geometrico più tardi chiamato simmetrizzazione di Steiner. Steiner mostrò che se la soluzione esiste, allora deve essere un cerchio. La dimostrazione di Steiner venne completata in seguito da altri matematici.

Steiner iniziò con alcune costruzioni geometriche facilmente comprensibili; per esempio, si può mostrare che qualsiasi curva chiusa che includa una regione non del tutto convessa può essere modificato includendo un'area maggiore, "girando" le aree concave per farle diventare convesse. Si può inoltre mostrare che ogni curva chiusa che non sia simmetrica può essere deformata così da includere un'area maggiore. La forma che è perfettamente convessa e simmetrica è il cerchio, anche se questa non è una dimostrazione rigorosa del teorema isoperimetrico (si vedano i link esterni).

Il teorema viene formulato di solito nella forma di una disuguaglianza che mette in relazione il perimetro a l'area di una curva chiusa nel piano. Se P è il perimetro della curva e A è l'area della regione racchiusa dalla curva, la disuguaglianza ha la forma

${\displaystyle 4\pi A\leq P^{2}.}$

Nel caso di un cerchio di raggio r si ha ${\displaystyle A=\pi r^{2}}$ e ${\displaystyle P=2\pi r}$, e sostituendo queste nella disuguaglianza si vede che il cerchio, fra tutte le curve di perimetro fissato, massimizza l'area. In effetti, il cerchio è l'unica curva che massimizza l'area.

Ci sono dozzine di dimostrazioni della disuguaglianza classica; parecchie di esse sono discusse nell'articolo di Triberg (vedi bibliografia). Nel 1901 Hurwitz diede una dimostrazione analitica della disuguaglianza isoperimetrica basata sulla serie di Fourier e sul teorema di Green.

Le formulazioni moderne dei problemi isoperimetrici sono nei termini della geometria sub-riemanniana; nello specifico, il problema di Didone trova espressione nei termini del gruppo di Heisenberg: dato un arco che connette due punti, l'"altezza" z di un punto nel gruppo di Heisenberg corrisponde all'area sottesa dall'arco.

Il teorema isoperimetrico si generalizza a spazi di dimensioni maggiori: il dominio con volume fissato e minima superficie è sempre la sfera. Questo risultato generalizzato fu dimostrato da De Giorgi per tutti gli insiemi di perimetro finito.

Il problema di Didone è un classico problema geometrico di isoperimetria.

Lo stesso argomento in dettaglio: Problema di Didone.

• Dimensione isoperimetrica
• Problema di Didone

• Wikimedia Commons contiene immagini o altri file su Isoperimetria

• Treiberg: Several proofs of the isoperimetric inequality (PDF), su math.utah.edu.
• Isoperimetric Theorem, su cut-the-knot.org.
• Di Meglio, G. (2010) Il Problema Isoperimetrico Classico: Storia e Mito, Matematicamente.it magazine, n. 13, su www.matematicamente.it
• Fusco: The classical isoperimetric problem, su docenti.unina.it.

V · D · M Analisi matematica
Calcolo infinitesimale	Numero reale · Infinitesimo · O-grande · Successione (di funzioni) · Successione di Cauchy · Teorema di Bolzano-Weierstrass · Stima asintotica · Limite (di una funzione · di una successione · Forma indeterminata) · Teorema dei due carabinieri · Limite notevole · Punto di accumulazione · Punto isolato · Intorno · Serie (di funzioni) · Criteri di convergenza · Limite di funzioni a più variabili
Studio della continuità	Funzione continua · Punto di discontinuità · Continuità uniforme · Funzione lipschitziana · Teorema di Bolzano · Teorema di Weierstrass · Teorema dei valori intermedi · Teorema di Heine-Cantor · Modulo di continuità · Funzione semicontinua · Continuità separata · Teorema di approssimazione di Weierstrass
Calcolo differenziale	Derivata · Differenziale · Regole di derivazione · Teorema di Fermat · Teorema di Rolle · Teorema di Lagrange · Teorema di Cauchy · Teorema di Darboux · Teorema di Taylor · Serie di Taylor · Funzione differenziabile · Gradiente · Jacobiana · Hessiana · Forma differenziale · Generalizzazioni della derivata · Derivata parziale · Derivata mista
Integrale	Primitiva · Integrale di Riemann · Integrale improprio · Integrale di Lebesgue · Teorema fondamentale · Metodi di integrazione · Tavole · Integrale multiplo, di linea (1ª specie · 2ª specie) e di superficie (di volume)
Studio di funzione	Funzione · Variabile · Dominio e codominio · Funzioni pari e dispari · Funzione periodica · Funzione monotona · Funzione convessa · Massimo e minimo di una funzione · Punto angoloso · Cuspide · Punto di flesso · Asintoto · Grafico di una funzione · Funzione iniettiva
Disuguaglianze	Disuguaglianza triangolare · Disuguaglianza di Cauchy-Schwarz · Bernoulli · Jensen · Hölder · Young · Minkowski
Altro	Approssimazione di Stirling · Prodotto di Wallis · Funzione Gamma · Teorema delle funzioni implicite · Teorema della funzione inversa · Funzione hölderiana · Spazio metrico · Spazio normato · Intervallo · Insieme trascurabile · Insieme chiuso · Insieme aperto · Palla · Omeomorfismo · Omeomorfismo locale · Diffeomorfismo · Diffeomorfismo locale · Classe C di una funzione · Equazione differenziale · Problema di Cauchy

Portale Matematica: accedi alle voci di Teknopedia che trattano di matematica