La superficie del cerchio
Semplice, ma carino.
Sono dati una circonferenza [tex]$\mathrm{C}$[/tex] di raggio [tex]$r$[/tex] ed un poligono regolare [tex]$\Gamma$[/tex] di [tex]$n$[/tex] lati in essa inscritto. Si fornisca un'espressione [tex]$S(n)$[/tex] della superficie di [tex]$\Gamma$[/tex] in funzione di [tex]$n$[/tex]. Si calcoli infine [tex]$\lim_{n \rightarrow +\infty} S(n)$[/tex] e se ne dia un'interpretazione geometrica.
Risposte
Anche questo, se non ho cannato i conti, dovrebbe essere abbordabile, ma si devono usare strumenti un po' più raffinati.
***
Suggerimento: Detti [tex]$\alpha_1, \alpha_2,\ldots ,\alpha_n$[/tex] gli angoli al centro cui sono sottesi i lati di [tex]$\mathcal{P}$[/tex], dimostrare che [tex]$S(\mathcal{P})$[/tex] si può esprimere in funzione di [tex]$\alpha_1,\alpha_2,\ldots ,\alpha_n$[/tex]; mostrare che [tex]$S(\mathcal{P})$[/tex] è massima per [tex]$\alpha_1=\alpha_2=\ldots=\alpha_n$[/tex] e concludere.
***
Siano [tex]$\mathcal{P}$[/tex] un qualsiasi [tex]$n$[/tex]-gono inscritto in [tex]$C$[/tex] ed [tex]$S(\mathcal{P})$[/tex] la sua area.
Dimostrare che [tex]$S(\mathcal{P})\leq S(n)$[/tex], ove [tex]$S(n)$[/tex] è (come sopra) l'area di un [tex]$n$[/tex]-gono regolare anch'esso inscritto in [tex]$C$[/tex].
Suggerimento: Detti [tex]$\alpha_1, \alpha_2,\ldots ,\alpha_n$[/tex] gli angoli al centro cui sono sottesi i lati di [tex]$\mathcal{P}$[/tex], dimostrare che [tex]$S(\mathcal{P})$[/tex] si può esprimere in funzione di [tex]$\alpha_1,\alpha_2,\ldots ,\alpha_n$[/tex]; mostrare che [tex]$S(\mathcal{P})$[/tex] è massima per [tex]$\alpha_1=\alpha_2=\ldots=\alpha_n$[/tex] e concludere.
"gugo82":
Anche questo, se non ho cannato i conti, dovrebbe essere abbordabile, ma si devono usare strumenti un po' più raffinati.
***
Siano [tex]$\mathcal{P}$[/tex] un qualsiasi [tex]$n$[/tex]-gono inscritto in [tex]$C$[/tex] ed [tex]$S(\mathcal{P})$[/tex] la sua area.
Dimostrare che [tex]$S(\mathcal{P})\leq S(n)$[/tex], ove [tex]$S(n)$[/tex] è (come sopra) l'area di un [tex]$n$[/tex]-gono regolare anch'esso inscritto in [tex]$C$[/tex].
Suggerimento: Detti [tex]$\alpha_1, \alpha_2,\ldots ,\alpha_n$[/tex] gli angoli al centro cui sono sottesi i lati di [tex]$\mathcal{P}$[/tex], dimostrare che [tex]$S(\mathcal{P})$[/tex] si può esprimere in funzione di [tex]$\alpha_1,\alpha_2,\ldots ,\alpha_n$[/tex]; mostrare che [tex]$S(\mathcal{P})$[/tex] è massima per [tex]$\alpha_1=\alpha_2=\ldots=\alpha_n$[/tex] e concludere.
Il poligono considerato è scomponibile in [tex]$n$[/tex] triangoli isosceli di superfici [tex]$\frac{r^{2}}{2} \cdot \sin \alpha_{1}$[/tex], [tex]$\frac{r^{2}}{2} \cdot \sin \alpha_{2}$[/tex], [tex]$\frac{r^{2}}{2} \cdot \sin \alpha_{3}$[/tex], ... , [tex]$\frac{r^{2}}{2} \cdot \sin \alpha_{n}$[/tex]; la superficie del poligono considerato è pertanto pari alla somma di tutte le aree dei triangoli considerati poc'anzi, ossia [tex]$S(\mathcal{P})=\frac{r^{2}}{2} \cdot \sin \alpha_{1}+\frac{r^{2}}{2} \cdot \sin \alpha_{2}+\frac{r^{2}}{2} \cdot \sin \alpha_{3}+...+\frac{r^{2}}{2} \cdot \sin \alpha_{n}=\frac{r^{2}}{2}(\sin \alpha_{1} + \sin \alpha_{2} + \sin \alpha_{3} +...+\sin \alpha_{n})$[/tex].
Il problema consiste ora nel dimostrare che la somma [tex]$\sin \alpha_{1} + \sin \alpha_{2} + \sin \alpha_{3} + ... + \sin \alpha_{n}$[/tex] è massima quando [tex]$\alpha_{1}=\alpha_{2}=\alpha_{3}\,...=\alpha_{n}$[/tex], ricordando però che [tex]$\alpha_{1}+\alpha_{2}+\alpha_{3}+...+\alpha_{n}=2\pi$[/tex].
Per ora non sono riuscito a cavare un ragno dal buco. Nemmeno sono certo di possedere conoscenze sufficienti.
il seno tra o e $\pi$ è una funzione concava
Anch'io stavo pensando a Jensen....
Esatto.
Basta usare la concavità.
@And_And92: Insomma, la disuguaglianza di Jensen per le funzioni concave funziona col verso opposto ([tex]$\geq$[/tex] al posto di [tex]$\leq$[/tex]).
***
Per chi non è pratico, si chiama disuguaglianza di Jensen la seguente disuguaglianza di convessità:
(tale disuguaglianza si prova per induzione partendo dalla definizione di funzione convessa/concava).
Una versione più generale della disuguaglianza di Jensen è la seguente:
Basta usare la concavità.
@And_And92: Insomma, la disuguaglianza di Jensen per le funzioni concave funziona col verso opposto ([tex]$\geq$[/tex] al posto di [tex]$\leq$[/tex]).
***
Per chi non è pratico, si chiama disuguaglianza di Jensen la seguente disuguaglianza di convessità:
Siano [tex]$\Omega \subseteq \mathbb{R}^N$[/tex] un insieme convesso [tex]$f:\Omega \to \mathbb{R}$[/tex] una funzione convessa [risp. concava].
Comunque si fissino [tex]$n$[/tex] punti distinti [tex]$x_1,\ldots ,x_n\in \Omega$[/tex] ed [tex]$n$[/tex] coefficienti [tex]$\lambda_1,\ldots ,\lambda_n\in [0,1]$[/tex] tali che [tex]\sum_{i=1}^n \lambda_i=1[/tex], si ha:
[tex]f(\sum_{i=1}^n \lambda_i x_i)\leq \sum_{i=1}^n \lambda_i f(x_i)[/tex] [risp. [tex]f(\sum_{i=1}^n \lambda_i x_i)\geq \sum_{i=1}^n \lambda_i f(x_i)[/tex]].
(tale disuguaglianza si prova per induzione partendo dalla definizione di funzione convessa/concava).
Una versione più generale della disuguaglianza di Jensen è la seguente:
Siano [tex]$(X,\mathfrak{M}, \mu)$[/tex] uno spazio di misura probabilistico (i.e. [tex]$\mu (X)=1$[/tex]) ed [tex]$f:\mathbb{R}\to \mathbb{R}$[/tex] una funzione convessa [risp. concava].
Comunque si fissi [tex]$u\in L^1(\mu)$[/tex] risulta:
[tex]$f\left( \int_X u\ \text{d} \mu\right) \leq \int_X f\circ u\ \text{d} \mu$[/tex] [risp. [tex]$f\left( \int_X u\ \text{d} \mu\right) \geq \int_X f\circ u\ \text{d} \mu$[/tex]]
Mmm... Credo di aver capito. Non ero a conoscenza di questa disuguaglianza. Geniale.
@gugo: ne ero ben consapevole, mi pareva carino partire dalla definizione.. 
@And_And92:
@Delirium: Per tornare alla domanda originaria, dai calcoli svolti è evidente che:
[tex]$S(n)=\tfrac{n}{2} \sin \tfrac{2\pi}{n}\ r^2$[/tex],
ergo, sfruttando il limite notevole, si trova:
[tex]$\lim_n S(n)=\pi r^2$[/tex].
Geometricamente, ciò si interpreta al modo che segue: al crescere del numero di lati, l'area del [tex]$n$[/tex]-gono regolare approssima l'area del cerchio [tex]$C$[/tex].
@Delirium: Per tornare alla domanda originaria, dai calcoli svolti è evidente che:
[tex]$S(n)=\tfrac{n}{2} \sin \tfrac{2\pi}{n}\ r^2$[/tex],
ergo, sfruttando il limite notevole, si trova:
[tex]$\lim_n S(n)=\pi r^2$[/tex].
Geometricamente, ciò si interpreta al modo che segue: al crescere del numero di lati, l'area del [tex]$n$[/tex]-gono regolare approssima l'area del cerchio [tex]$C$[/tex].
Ecco, questo quesito era parte di un problema della maturità di qualche anno fa.
Un quesito per ravvivare l'estate.
***
***
Sia \(\mathcal{P}\) un \(n\)-gono inscritto in \(C\) e siano \(L(\mathcal{P}),\ S(\mathcal{P})\) il perimetro e l'area di \(\mathcal{P}\) rispettivamente.
1. Dimostrare che vale la disuguaglianza isoperimetrica per gli \(n\)-goni:
\[ L^2(\mathcal{P}) \geq 4n\tan \left( \frac{\pi}{n}\right)\ S(\mathcal{P}) \; ,\]
con uguaglianza se e solo se \(\mathcal{P}\) è lo \(n\)-gono regolare inscritto in \(C\).
2. Confrontare la costante isoperimetrica per gli \(n\)-goni, i.e. \(c_n:=4n\tan \left( \frac{\pi}{n}\right)\), con la costante isoperimetrica nel piano, i.e. \( c=4\pi\); in particolare, stabilire se \(c\) si può ottenere passando al limite la successione di termine generale \(c_n\).
Dalla geometria classica già sappiamo che \(4\pi A\ \le P^{2}\) (ove \(P\) è il perimetro di una curva chiusa nel piano, mentre \(A\) è l'area della porzione piano da essa racchiusa)...
Quali conoscenze sono necessarie per dimostrare il punto 1?
Quali conoscenze sono necessarie per dimostrare il punto 1?
"Delirium":
Quali conoscenze sono necessarie per dimostrare il punto 1?
Penso basti fare di conto (anche se, colpevolmente, non li ho ancora fatti... Ho buttato il quesito lì, ieri notte, senza preoccuparmi troppo).
Insomma, l'area ed il perimetro di un \(n\)-gono inscritto in una circonferenza dipendono unicamente dagli angoli al centro \(\alpha_1,\ldots ,\alpha_n\) dello \(n\)-gono*, quindi dovrebbe bastare conoscere un po' di trigonometria ed avere un po' di abilità nel fare i conti (oltre alla conoscenza di qualche disuguaglianza elementare, come quella di Jensen usata più sopra).
"Delirium":
Dalla geometria classica già sappiamo che \(4\pi A\ \le P^{2}\) (ove \(P\) è il perimetro di una curva chiusa nel piano, mentre \(A\) è l'area della porzione di piano da essa racchiusa)...
A parte la piccola correzione, ci siamo.
La costante \(4\pi\) che figura a primo membro si chiama costante isoperimetrica del piano. Quello che chiedevo in 2 era di confrontare tale costante con le \(c_n\).
Tuttavia la disuguaglianza isoperimetrica classica è un risultato che non pertiene del tutto alla Geometria "Classica" (intendendo quella di Euclide, Archimede, Apollonio, etc...) ed è di dimostrazione tutt'altro che banale...
Se non l'hai già letto, ti segnalo questo piccolo articolo che ho scritto per il magazine un po' di tempo fa.
__________
* Vabbé, dipendono anche dal raggio... Però esso si riscala via con un'omotetia, quindi si può assumere \(r=1\) senza ledere la generalità.
Ho editato, grazie gugo.
Premetto che ci ho messo un po' a capire il significato di quel \(4n \tan (\frac{\pi}{n}) \). Ma era solo una questione di forma.
Dunque, vediamo: si consideri un poligono regolare di \(n\) lati di lunghezza \(l\); tale figura è "scomponibile" in \(n \) triangoli, ciascuno dei quali possiede angolo al vertice di ampiezza \( \frac{2\pi}{n}\) che insiste sul centro \(C\) della circonferenza. Volendo calcolare l'area di un singolo triangolo si ha che (indicando con \(h= \frac{l}{2} \cdot \cot(\frac{2\pi}{2n})=\frac{l}{2 \tan(\frac{\pi}{n})}\) l'altezza relativa alla base \(l\) ) \[A_{triangolo}=\frac{h\cdot l}{2}=\frac{l}{2} \cdot \frac{l}{2 \tan(\frac{\pi}{n})}\]
L'area del poligono regolare iniziale sarà pertanto pari a \[\frac{nl^{2}}{4\tan(\frac{\pi}{n})}\] E qui arriva il trucco: moltiplicando il tutto per \(\frac{n}{n}\) si ottiene che
\[A_{poligono}=\frac{n^{2} l^{2}}{4n\tan(\frac{\pi}{n})}\]
E poiché \(n\cdot l\) non è altro che il perimetro del poligono, si conclude che \[A_{poligono}=\frac{P_{poligono}^{2}}{4n\tan \left(\frac{\pi}{n} \right)}\]
da cui \[P_{poligono}^{2}=A_{poligono} \cdot 4n \tan \left(\frac{\pi}{n} \right)\] per poligoni regolari.
Giacché del resto si è dimostrato più sopra che il poligono di area massima inscritto in una circonferenza è proprio il poligono regolare, e poiché si vuole altresì che il perimetro rimanga costante (la relazione è detta infatti isoperimetrica), si avrà che \[P_{poligono \ regolare}^{2}=P_{poligono \ non \ regolare}^{2}\;> A_{poligono \ non \ regolare} \cdot 4n \tan \left(\frac{\pi}{n} \right)\] per ogni poligono non regolare.
_______
Nota: aree e perimetri indicati sono da riferirsi a poligoni inscritti in una circonferenza.
Ci sono gugo?
Premetto che ci ho messo un po' a capire il significato di quel \(4n \tan (\frac{\pi}{n}) \). Ma era solo una questione di forma.
Dunque, vediamo: si consideri un poligono regolare di \(n\) lati di lunghezza \(l\); tale figura è "scomponibile" in \(n \) triangoli, ciascuno dei quali possiede angolo al vertice di ampiezza \( \frac{2\pi}{n}\) che insiste sul centro \(C\) della circonferenza. Volendo calcolare l'area di un singolo triangolo si ha che (indicando con \(h= \frac{l}{2} \cdot \cot(\frac{2\pi}{2n})=\frac{l}{2 \tan(\frac{\pi}{n})}\) l'altezza relativa alla base \(l\) ) \[A_{triangolo}=\frac{h\cdot l}{2}=\frac{l}{2} \cdot \frac{l}{2 \tan(\frac{\pi}{n})}\]
L'area del poligono regolare iniziale sarà pertanto pari a \[\frac{nl^{2}}{4\tan(\frac{\pi}{n})}\] E qui arriva il trucco: moltiplicando il tutto per \(\frac{n}{n}\) si ottiene che
\[A_{poligono}=\frac{n^{2} l^{2}}{4n\tan(\frac{\pi}{n})}\]
E poiché \(n\cdot l\) non è altro che il perimetro del poligono, si conclude che \[A_{poligono}=\frac{P_{poligono}^{2}}{4n\tan \left(\frac{\pi}{n} \right)}\]
da cui \[P_{poligono}^{2}=A_{poligono} \cdot 4n \tan \left(\frac{\pi}{n} \right)\] per poligoni regolari.
Giacché del resto si è dimostrato più sopra che il poligono di area massima inscritto in una circonferenza è proprio il poligono regolare, e poiché si vuole altresì che il perimetro rimanga costante (la relazione è detta infatti isoperimetrica), si avrà che \[P_{poligono \ regolare}^{2}=P_{poligono \ non \ regolare}^{2}\;> A_{poligono \ non \ regolare} \cdot 4n \tan \left(\frac{\pi}{n} \right)\] per ogni poligono non regolare.
_______
Nota: aree e perimetri indicati sono da riferirsi a poligoni inscritti in una circonferenza.
Ci sono gugo?
gugo...?
Scusami per il ritardo, Delirium...
È che c'è qualcosa che non mi quadra quando confronti i poligoni con i poligoni regolari.
O è solo il caldo che fa brutti scherzi?...
***
L'idea che mi ero fatto era che bastasse operare algebricamente in maniera diretta sulle funzioni che definiscono area e perimetro di un \(n\)-gono, le quali sono (per ovvi motivi geometrici):
\[L(\mathcal{P})=2r\sum_{k=1}^n \sin \frac{\alpha_k}{2} \qquad \text{ed} \qquad S(\mathcal{P})=\frac{1}{2}r^2\sum_{k=1}^n \sin \alpha_k \; \ldots\]
Tuttavia ancora non ci ho messo mano ai conti... Anzi, riguardando il problema, è anche possibile che la costante isoperimetrica \(c_n\) venga diversa.
[OT, terminologico]
Non ti far trarre in inganno dall'aggettivo isoperimetrico: qui non stiamo necessariamente fissando vincoli sui perimetri.
L'aggettivo è usato in un'accezione più ampia di quella classica, accezione che si è affermata dagli anni trenta in poi in seguito alle dimostrazioni di svariate disuguaglianze congetturate nella Fisica-Matematica (ad esempio, la dimostrazione di Faber & Krahn della congettura di Raileygh sulla frequenza più bassa delle membrane vibranti aventi stessa area, la dimostrazione di Szego della congettura di de Saint-venant sulla massima rigidità torsionale delle travi aventi sezioni d'ugual area, la dimostrazione della congettura sulla minima capacità elettrostatica dei condensatori sferici aventi volume fissato, etc...): insomma, isoperimetrico qui è usato per dire al lettore/solutore "stiamo fissando qualche parametro geometrico/fisico degli oggetti in esame".
[/OT]
È che c'è qualcosa che non mi quadra quando confronti i poligoni con i poligoni regolari.
O è solo il caldo che fa brutti scherzi?...
***
L'idea che mi ero fatto era che bastasse operare algebricamente in maniera diretta sulle funzioni che definiscono area e perimetro di un \(n\)-gono, le quali sono (per ovvi motivi geometrici):
\[L(\mathcal{P})=2r\sum_{k=1}^n \sin \frac{\alpha_k}{2} \qquad \text{ed} \qquad S(\mathcal{P})=\frac{1}{2}r^2\sum_{k=1}^n \sin \alpha_k \; \ldots\]
Tuttavia ancora non ci ho messo mano ai conti... Anzi, riguardando il problema, è anche possibile che la costante isoperimetrica \(c_n\) venga diversa.
[OT, terminologico]
Non ti far trarre in inganno dall'aggettivo isoperimetrico: qui non stiamo necessariamente fissando vincoli sui perimetri.
L'aggettivo è usato in un'accezione più ampia di quella classica, accezione che si è affermata dagli anni trenta in poi in seguito alle dimostrazioni di svariate disuguaglianze congetturate nella Fisica-Matematica (ad esempio, la dimostrazione di Faber & Krahn della congettura di Raileygh sulla frequenza più bassa delle membrane vibranti aventi stessa area, la dimostrazione di Szego della congettura di de Saint-venant sulla massima rigidità torsionale delle travi aventi sezioni d'ugual area, la dimostrazione della congettura sulla minima capacità elettrostatica dei condensatori sferici aventi volume fissato, etc...): insomma, isoperimetrico qui è usato per dire al lettore/solutore "stiamo fissando qualche parametro geometrico/fisico degli oggetti in esame".
[/OT]
Giacché mi sono inoltrato lungo pendii a me completamente sconosciuti, mi sono affidato soprattutto all'intuito, e quando sono riuscito a manipolare l'espressione per ricavare il termine \(4n \tan \left(\frac{\pi}{n} \right) \) mi è parso di aver fiutato una pista battibile.
Se ho ben capito la tua obiezione, il problema sussite intorno all'interpretazione della considerata contestualizzazione del termine isoperimetrico.
In quanto non possiedo (per ora) testi che possano suffragare o meno le mie congetture, ho cercato nella rete ed ho scovato quest'interessante dispensa nella quale si dice (pag. 17):
P.S: Spero di non aver scritto pistolettate; il ragionamento mi sembra filar liscio, ma conoscendo il tuo curriculum (
) sarei più propenso a pensare che mi sfugge qualcosa...
Se ho ben capito la tua obiezione, il problema sussite intorno all'interpretazione della considerata contestualizzazione del termine isoperimetrico.
In quanto non possiedo (per ora) testi che possano suffragare o meno le mie congetture, ho cercato nella rete ed ho scovato quest'interessante dispensa nella quale si dice (pag. 17):
Teorema 5 - Nell'insieme degli n-goni convessi aventi perimetro fissato, il massimo dell'area è raggiunto dall'n-gono regolare.
[Segue una dimostrazione geometrica]
Facendo uso della trigonometria possiamo calcolare che relazione ci sia tra il perimetro e l'area di un n-gono regolare. Supponiamo di avere un poligono regolare \( G\) e che la lunghezza del suo lato sia \( l \). Ovviamente vale che \[P(G)=n\cdot l\] [...] e si può provare che \[S(G)=\frac{P^{2}(G)}{4n \tan{\frac{\pi}{n}}}\] [- e l'ho dimostrato]
Poiché ogni altro n-gono (a parità di perimetro) ha superificie minore, possiamo dire che il Teorema 5 equivale a dire che per ogni n-gono \(G\) deve valere la seguente disuguaglianza isoperimetrica \[4n \tan \left({\frac{\pi}{n}} \right) S(G) \le P^{2} (G)\] [- ed è la conclusione a cui credo di essere pervenuto, adattando, forse impropriamente, il ragionamento a poligoni inscritti in una circonferenza]
P.S: Spero di non aver scritto pistolettate; il ragionamento mi sembra filar liscio, ma conoscendo il tuo curriculum (
) sarei più propenso a pensare che mi sfugge qualcosa...
@Delirium: Ecco, appunto. Qui non stiamo fissando il perimetro.
Prendiamo, per semplicità, \(n=3\) e facciamo un disegno:
[asvg]noaxes();
circle([0,0],5);
stroke="red"; path([[5,0],[-4.975,0.5],[-4.975,-0.5],[5,0]]);
stroke="dodgerblue"; path([[0,5],[-4.33,-2.5],[4.33,-2.5],[0,5]]);[/asvg]
Dal disegno è evidente che i due triangoli (quello azzurro è equilatero) hanno perimetri diversi ed aree diverse.
D'altra parte, il triangolo equilatero avente lo stesso perimetro del triangolo rosso non è il triangolo azzurro, bensì quello in arancio nella figura che segue (il quale è inscritto in una circonferenza notevolmente più piccola):
[asvg]noaxes();
circle([0,0],5);
stroke="dodgerblue"; path([[0,5],[-4.33,-2.5],[4.33,-2.5],[0,5]]);
stroke="grey"; circle([0,0],4.037);
stroke="orange"; path([[0,4.037],[-3.496,-2.018],[3.496,-2.018],[0,4.037]]);[/asvg]
Di conseguenza, il tuo ragionamento fila... Ma solo se si assume valida la disuguaglianza isoperimetrica nella forma enunciata nel Teorema 5 delle dispense che citavi (e che comunque conoscevo già).
Tuttavia, nelle mie intenzioni originali non era contemplato passare per quella disuguaglianza isoperimetrica, giacché essa è più generale di quella che ho proposto (e la implica necessariamente).
L'intenzione era quella di lavorare direttamente sulle funzioni perimetro \(L(\mathcal{P})\) ed area \(S(\mathcal{P})\), come ho esplicitato qui e com'era (forse fin troppo) sottointeso già nel secondo periodo di questa risposta.
P.S.: Che te n'è parso del mio articolo sul Magazine?
Prendiamo, per semplicità, \(n=3\) e facciamo un disegno:
[asvg]noaxes();
circle([0,0],5);
stroke="red"; path([[5,0],[-4.975,0.5],[-4.975,-0.5],[5,0]]);
stroke="dodgerblue"; path([[0,5],[-4.33,-2.5],[4.33,-2.5],[0,5]]);[/asvg]
Dal disegno è evidente che i due triangoli (quello azzurro è equilatero) hanno perimetri diversi ed aree diverse.
D'altra parte, il triangolo equilatero avente lo stesso perimetro del triangolo rosso non è il triangolo azzurro, bensì quello in arancio nella figura che segue (il quale è inscritto in una circonferenza notevolmente più piccola):
[asvg]noaxes();
circle([0,0],5);
stroke="dodgerblue"; path([[0,5],[-4.33,-2.5],[4.33,-2.5],[0,5]]);
stroke="grey"; circle([0,0],4.037);
stroke="orange"; path([[0,4.037],[-3.496,-2.018],[3.496,-2.018],[0,4.037]]);[/asvg]
Di conseguenza, il tuo ragionamento fila... Ma solo se si assume valida la disuguaglianza isoperimetrica nella forma enunciata nel Teorema 5 delle dispense che citavi (e che comunque conoscevo già
).Tuttavia, nelle mie intenzioni originali non era contemplato passare per quella disuguaglianza isoperimetrica, giacché essa è più generale di quella che ho proposto (e la implica necessariamente).
L'intenzione era quella di lavorare direttamente sulle funzioni perimetro \(L(\mathcal{P})\) ed area \(S(\mathcal{P})\), come ho esplicitato qui e com'era (forse fin troppo) sottointeso già nel secondo periodo di questa risposta.
P.S.: Che te n'è parso del mio articolo sul Magazine?
Hai ragione, chiedo venia. E' evidente che non consideravo il vincolo rappresentato dalla circonferenza, e che mi sono lasciato ingannare dalla presunta isoperimetria. Ahimé, inesperienza.
Proverò a rimuginare un'altra dimostrazione, per ritornare sulla retta via.
Quanto all'articolo, devo dire che è molto interessante, molto molto interessante. Con il tuo beneplacito ne farò presto una copia cartacea.
Proverò a rimuginare un'altra dimostrazione, per ritornare sulla retta via.
Quanto all'articolo, devo dire che è molto interessante, molto molto interessante. Con il tuo beneplacito ne farò presto una copia cartacea.
Visto che avevo cinque minuti ho pensato di provare a fare i conti... Però non ho risolto nulla.
"gugo82":
@And_And92:
@Delirium: Per tornare alla domanda originaria, dai calcoli svolti è evidente che:
[tex]$S(n)=\tfrac{n}{2} \sin \tfrac{2\pi}{n}\ r^2$[/tex],
ergo, sfruttando il limite notevole, si trova:
[tex]$\lim_n S(n)=\pi r^2$[/tex].
Geometricamente, ciò si interpreta al modo che segue: al crescere del numero di lati, l'area del [tex]$n$[/tex]-gono regolare approssima l'area del cerchio [tex]$C$[/tex].
Oddio mi sono perso. Io ci ero arrivato per un'altra strada, passando dalla formula di calcolo delle aree per poligoni regolari.
L'area del poligono la posso calcolare come $n*\frac{l*a}{2}$
Dove $l$ è il lato del poligono, $a$ l'apotema. Devo quindi calcolare apotema e lato del poligono.
Ora, l'apotema è un cateto di un triangolo rettangolo, e conoscendo l'ipotenusa e l'angolo tra loro compreso (che è $\frac{\pi}{n}$) ottengo $a = r*\sin(\frac{\pi}{n})$. Il lato $l$ è invece il doppio dell'altro cateto dello stesso triangolo, per cui ottengo $l=2*r*\cos(\frac{\pi}{n})$
Quindi alla fine ottengo $S(n) = n*\frac{r*\sin(\frac{\pi}{n})*2*r*\cos(\frac{\pi}{n})}{2} = n*\frac{r^2*2*\sin(\frac{\pi}{n})*\cos(\frac{\pi}{n})}{2} $
sapendo che $2\sin(\alpha)\cos(\alpha) = \sin(2\alpha)$ ottengo infine $S(n) = \frac{n}{2}*\sin(\frac{2\pi}{n})*r^2$
ed ovviamente, come è già stato detto, $\lim_{n\rightarrow\infty}S(n) = \pi r^2$
Accedi a tutti gli appunti
Tutor AI: studia meglio e in meno tempo