SNS 2009/2010. n°1.
SNS 2009/2010. n°1.
A partire da un triangolo dato $ T_0 $si costruisca un triangolo $ T_1 $ avente come vertici i punti di intersezione tra i lati di $ T_0 $ e il cerchio ad esso inscritto. Si costruisca quindi $ T_2 $ a partire da $ T_1 $ attraverso le stesse operazioni e si consideri la successione di triangoli $ \{T_i\}_{i \in \mathbb{N}} $ ottenuta ripetendo la procedura indicata infinite volte. Si dimostri che, all'aumentare di $ n $, gli angoli di questi triangoli diventano sempre più prossimi a quelli di un triangolo equilatero.
The only goal of science is the honor of the human spirit.
-
- Messaggi: 849
- Iscritto il: 22 ott 2006, 14:36
- Località: Carrara/Pisa
chiamato $ \angle A_0 $ l'angolo in A del triangolo $ T_0 $ otteniamo facilmente che $ \angle A_1 = \frac{B_0 + C_0}{2} = 90 - \frac{A_0}{2} $
quindi abbiamo la successione $ A_{i+1}=90-\frac{A_i}{2} $ e $ A_0 = \alpha $.
Poniamo ora $ k = \frac{\alpha}{90} $ e costruiamo la successione $ D_i = \frac{A_i}{90} $.
Allora abbiamo $ D_0 = k $ e $ D_{i+1}=1-\frac{D_i}{2} $.
A questo punto è facile trovare una formula chiusa e vedere che è del tipo $ \left ( - \frac{1}{roba} \right )^n + \frac{2}{3} $ dove $ roba > 1 $ e che quindi all'aumentare di n $ D_n $ tende a $ \frac{2}{3} $ e quindi $ A_1 $ tende a 60.
Lascio a chi vuole di esplicitare la formula chiusa della successione
quindi abbiamo la successione $ A_{i+1}=90-\frac{A_i}{2} $ e $ A_0 = \alpha $.
Poniamo ora $ k = \frac{\alpha}{90} $ e costruiamo la successione $ D_i = \frac{A_i}{90} $.
Allora abbiamo $ D_0 = k $ e $ D_{i+1}=1-\frac{D_i}{2} $.
A questo punto è facile trovare una formula chiusa e vedere che è del tipo $ \left ( - \frac{1}{roba} \right )^n + \frac{2}{3} $ dove $ roba > 1 $ e che quindi all'aumentare di n $ D_n $ tende a $ \frac{2}{3} $ e quindi $ A_1 $ tende a 60.
Lascio a chi vuole di esplicitare la formula chiusa della successione
-
- Messaggi: 137
- Iscritto il: 13 feb 2009, 15:44
- Località: Bari
Io, invece, dopo aver visto quanto valevano i primi angoli ho dimostrato per induzione che al passo n gli angoli del triangolo $ T_n $ valgono
$ \dfrac{2^n-(-1)^n}{3 \cdot 2^n}\alpha + \dfrac{2^n-(-1)^n}{3 \cdot 2^n}\beta + \dfrac{2^n+2\cdot(-1)^n}{3 \cdot 2^n}\gamma $
$ \dfrac{2^n+2\cdot(-1)^n}{3 \cdot 2^n}\alpha + \dfrac{2^n-(-1)^n}{3 \cdot 2^n}\beta + \dfrac{2^n-(-1)^n}{3 \cdot 2^n}\gamma $
$ \dfrac{2^n-(-1)^n}{3 \cdot 2^n}\alpha + \dfrac{2^n+2\cdot(-1)^n}{3 \cdot 2^n}\beta + \dfrac{2^n-(-1)^n}{3 \cdot 2^n}\gamma $
Ora è chiaro che per $ n $ molto grande sia $ \dfrac{2^n-(-1)^n}{3 \cdot 2^n} $ che $ \dfrac{2^n+2\cdot(-1)^n}{3 \cdot 2^n} $ tendono a $ \dfrac{1}{3} $.
Allora gli angoli si avvicinano ad $ \dfrac{\alpha+\beta+\gamma}{3} = 60° $
$ \dfrac{2^n-(-1)^n}{3 \cdot 2^n}\alpha + \dfrac{2^n-(-1)^n}{3 \cdot 2^n}\beta + \dfrac{2^n+2\cdot(-1)^n}{3 \cdot 2^n}\gamma $
$ \dfrac{2^n+2\cdot(-1)^n}{3 \cdot 2^n}\alpha + \dfrac{2^n-(-1)^n}{3 \cdot 2^n}\beta + \dfrac{2^n-(-1)^n}{3 \cdot 2^n}\gamma $
$ \dfrac{2^n-(-1)^n}{3 \cdot 2^n}\alpha + \dfrac{2^n+2\cdot(-1)^n}{3 \cdot 2^n}\beta + \dfrac{2^n-(-1)^n}{3 \cdot 2^n}\gamma $
Ora è chiaro che per $ n $ molto grande sia $ \dfrac{2^n-(-1)^n}{3 \cdot 2^n} $ che $ \dfrac{2^n+2\cdot(-1)^n}{3 \cdot 2^n} $ tendono a $ \dfrac{1}{3} $.
Allora gli angoli si avvicinano ad $ \dfrac{\alpha+\beta+\gamma}{3} = 60° $
chiusa
Oppure indicando con T l'applicazione che agisce sugli angoli del triangolo originario portando $ \displaystyle x_i $ in $ \displaystyle x_{i+1} $, si aveva $ \displaystyle f^n(x_i)=\frac{(1+T)^n}{2^n} x_i=\frac{1}{2^n}(\sum\binom{n}{3j}+T \sum\binom{n}{3j+1}+T^2\sum\binom{n}{3j+2}) x_i $ e si vede bene che $ \displaystyle \sum\binom{n}{3j}=\frac{(1+1)^n+(1+\omega)^n+(1+\omega^{-1})^n}{3}=\frac{2^n+\omega^{\frac{n}{2}}+\omega^{-\frac{n}{2}}}{3} $ dove $ \displaystyle \omega $ è una radice terza dell'unità diversa da uno, perciò $ \displaystyle \lim_{big n}\frac{\sum\binom{n}{3j}}{2^n}=\frac{1}{3} $ (il discorso è analogo per le altre due somme)
J. Max Power
Oppure, se chiamate col nome giusto di volta in volta gli angoli, potrete dimostrate che
$ \alpha_i-\beta_i=(\beta_{i-1}-\alpha_{i-1})/2=(\alpha-\beta)/(-2)^{i} $
e dunque al crescere di i tale differenza tende a 0. Allo stesso modo per le altre due coppie. Quindi al crescere di i, gli angoli tendono ad essere tutti e tre uguali e dunque di 60 gradi.
$ \alpha_i-\beta_i=(\beta_{i-1}-\alpha_{i-1})/2=(\alpha-\beta)/(-2)^{i} $
e dunque al crescere di i tale differenza tende a 0. Allo stesso modo per le altre due coppie. Quindi al crescere di i, gli angoli tendono ad essere tutti e tre uguali e dunque di 60 gradi.
Allora ragiono WLOG sull'angolo $ \displaystyle \alpha_i $ e dimostro che ad ogni nuovo triangolo dimezza la sua distanza dai 60 gradi precisi... da cui deriva ovviamente la tesi.
Poichè la somma degli angoli interni è 180 scrivo: $ \alpha_i=180-\beta_i-\gamma_i $ (gli altri angoli sono beta e gamma)
Invece per il lemma citato da voi (cioè che l'angolo nella circonferenza inscritta ha gli angoli che sono una media dei precedenti) ottengo:
$ \alpha_{i+1}=\frac{\beta_i+\gamma_i}{2} $
Ora assumo $ \beta_i+\gamma_i=120+k $ con k tra -120 e 60.
Quindi riscrivendo quanto detto ottengo:
$ \alpha_i=180-120-k=60-k $
e anche sostituendo:
$ \alpha_{i+1}=\frac{120+k}{2}=60+k/2 $
Che implica che l'angolo si avvicina sempre di più ad uno di 60, con ragionamenti analoghi si dimostra che questo vale per tutti gli angoli e perciò il triangolo tende a essere equilatero.
Poichè la somma degli angoli interni è 180 scrivo: $ \alpha_i=180-\beta_i-\gamma_i $ (gli altri angoli sono beta e gamma)
Invece per il lemma citato da voi (cioè che l'angolo nella circonferenza inscritta ha gli angoli che sono una media dei precedenti) ottengo:
$ \alpha_{i+1}=\frac{\beta_i+\gamma_i}{2} $
Ora assumo $ \beta_i+\gamma_i=120+k $ con k tra -120 e 60.
Quindi riscrivendo quanto detto ottengo:
$ \alpha_i=180-120-k=60-k $
e anche sostituendo:
$ \alpha_{i+1}=\frac{120+k}{2}=60+k/2 $
Che implica che l'angolo si avvicina sempre di più ad uno di 60, con ragionamenti analoghi si dimostra che questo vale per tutti gli angoli e perciò il triangolo tende a essere equilatero.
evvai!!io avevo concluso mostrando che per n tendente ad infnito gli angoli di $ T_n $ tendevano a 60,però più tardi pensavo fosse sbagliato,nel senso che chiedeva di mostrare che AD OGNI triangolo successivo gli angoli si approssimavano sempre di più...mah...
pensavo fosse il forum "belli e abbronzati"....
-
- Messaggi: 137
- Iscritto il: 13 feb 2009, 15:44
- Località: Bari
Ho scritto gli angoli di $ T_0,T_1,T_2,T_3,T_4 $ e ho cercato di tirar fuori una formula che funzionasse per quei valori, per poi dimostrarla per induzione.SARLANGA ha scritto:GioacchinoA, come hai fatto a trovare quella proprietà con n?
In che senso? Ho utilizzato semplicemente il principio di induzione.SARLANGA ha scritto:e come l'hai impostato te il ragionamento x induzione?
Sia $ P(n): $ Al triangolo $ n $, essendo $ \alpha,\beta,\gamma $ gli angoli del triangolo $ T_0 $, gli angoli valgono
Passo base: $ P(0) $ è vera. Se sostituisci 0 ad $ n $ ottieni proprio $ \alpha,\beta,\gamma $GioacchinoA ha scritto:$ \dfrac{2^n-(-1)^n}{3 \cdot 2^n}\alpha + \dfrac{2^n-(-1)^n}{3 \cdot 2^n}\beta + \dfrac{2^n+2\cdot(-1)^n}{3 \cdot 2^n}\gamma $
$ \dfrac{2^n+2\cdot(-1)^n}{3 \cdot 2^n}\alpha + \dfrac{2^n-(-1)^n}{3 \cdot 2^n}\beta + \dfrac{2^n-(-1)^n}{3 \cdot 2^n}\gamma $
$ \dfrac{2^n-(-1)^n}{3 \cdot 2^n}\alpha + \dfrac{2^n+2\cdot(-1)^n}{3 \cdot 2^n}\beta + \dfrac{2^n-(-1)^n}{3 \cdot 2^n}\gamma $
Passo induttivo : $ P(n-1) $ è vera $ \Rightarrow P(n) $ vera.
Dopo aver dimostrato il lemma più volte citato in questo thread(che si fa con un po' di angoli) passa dal triangolo $ n-1 $ al triangolo $ n $ facendo le medie degli angoli presi a due a due(ometto i calcoli). Noterai che gli angoli del triangolo $ n $ soddisfano ancora la proposizione, quindi $ P(n) $ è vera $ \forall n \in \mathbb{N} $.
Io ho fatto così: con qualche osservazione geometrica ho trovato che $ \alpha_{n+1} = \frac{\pi - \alpha_{n}}{2} $, poi ho utilizzato il fatto che se la successione $ \alpha_{n} $ converge al limite $ l $ anche l'estratta $ \alpha_{n+1} $ converge allo stesso limite. Dunque $ l = \frac{\pi - l}{2} $ da cui $ l = \frac{\pi}{3} $. In effetti non ho dimostrato che $ \alpha_{n} $ converge, si può provare a dimostrare con l'induzione che è monotona e limitata da qualche parte...
Nessun uomo è un'isola (J. Donne)