Laura Gauthier e Isoperimetria: differenze tra le pagine
(Differenze fra le pagine)
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica Etichette: Modifica da mobile Modifica da web per mobile |
|||
Riga 1:
In [[geometria]], l''''isoperimetria''' è la caratteristica di due figure aventi il [[perimetro]] uguale.
Nei problemi classici di isoperimetria si chiede scazzoolitamente di individuare la figura che a parità di perimetro e sotto determinati vincoli sia in grado di [[massimizzazione|massimizzare]] l'[[area]]; a parità di perimetro e di lati i [[poligono regolare|poligoni regolari]] sono quelli che massimizzano l'area, mentre il [[cerchio]] è quella che la massimizza in assoluto.
== Problema isoperimetrico nel piano ==
[[Image:Isoperimetric inequality illustr1.svg|thumb]]
Il classico ''problema isoperimetrico'' risale all'antichità. Il problema può essere posto nel modo seguente: Fra tutte le [[Curva (matematica)|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 [[Giovanni Keplero|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 [[Insieme convesso|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
:<math>4\pi A \le P^2.</math>
Nel caso di un cerchio di raggio ''r'' si ha ''A'' = π''r''<sup>2</sup> e ''P'' = 2π''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]] [[Adolf Hurwitz|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 (geometria)|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 [[Spazio (fisica)|spazi]] di dimensioni maggiori: il dominio con volume fissato e minima superficie è sempre la sfera.
===Problema di Didone===
Il problema di Didone è un classico problema geometrico di isoperimetria.
{{Vedi anche|Problema di Didone}}
==Voci correlate==
* [[Dimensione isoperimetrica]]
* [[Problema di Didone]]
== Altri progetti ==
{{interprogetto}}
== Collegamenti esterni ==
* {{cita web|http://www.math.utah.edu/~treiberg/isoperim/isop.pdf|Treiberg: Several proofs of the isoperimetric inequality}}
* {{cita web|http://www.cut-the-knot.org/do_you_know/isoperimetric.shtml|Isoperimetric Theorem}}
* Di Meglio, G. (2010) ''[https://www.matematicamente.it/rivista-il-magazine/numero-13-agosto-2010/139-il-problema-isoperimetrico-classico-storia-e-mito/ Il Problema Isoperimetrico Classico: Storia e Mito]'', Matematicamente.it Magazine n. 13, pagg. 15-21.
{{Analisi matematica}}
{{Portale|matematica}}
[[Categoria:Calcolo delle variazioni]]
| |||