il 7 arriva prima o poi??

Numeri interi, razionali, divisibilità, equazioni diofantee, ...
Avatar utente
gismondo
Messaggi: 84
Iscritto il: 05 feb 2009, 18:42
Località: Roma

il 7 arriva prima o poi??

Messaggio da gismondo »

Problema molto interessante...
È stato proposto a una lezione tenuta a Roma3 riguardante le congruenze.

Data la funzione $ f(n)= 2^n $ dimostrare che per qualche valore di $ n $ il valore restituito ha come prima cifra (da sinistra) 7
"Per tre cose vale la pena di vivere: la matematica, la musica e l'amore"
Enrico Leon
Messaggi: 237
Iscritto il: 24 nov 2008, 18:08
Località: Gorizia

Messaggio da Enrico Leon »

$ n=46 $ :D
Avatar utente
gismondo
Messaggi: 84
Iscritto il: 05 feb 2009, 18:42
Località: Roma

Messaggio da gismondo »

Se lo hai trovato con un ragionamento mi complimento, se lo hai trovato "brute-force" mi complimento ancora di più per la buona volontà :P
La dimostrazione? :D
"Per tre cose vale la pena di vivere: la matematica, la musica e l'amore"
Enrico Leon
Messaggi: 237
Iscritto il: 24 nov 2008, 18:08
Località: Gorizia

Messaggio da Enrico Leon »

Dimostrazione semplicissima!
Start -> Tutti i programmi -> Accessori -> Calcolatrice
Si digita 2* e si preme Invio per 45 volte
:roll:
Avatar utente
Cassa
Messaggi: 236
Iscritto il: 28 mar 2006, 21:48
Località: Genova

Messaggio da Cassa »

Enrico Leon ha scritto:Dimostrazione semplicissima!
Start -> Tutti i programmi -> Accessori -> Calcolatrice
Si digita 2* e si preme Invio per 45 volte
:roll:
SBATTO :shock:
Avatar utente
kn
Messaggi: 508
Iscritto il: 23 lug 2007, 22:28
Località: Sestri Levante (Genova)
Contatta:

Messaggio da kn »

e con linux? :lol:
Viviamo intorno a un mare come rane intorno a uno stagno. (Socrate)
stefanos
Messaggi: 229
Iscritto il: 02 giu 2008, 13:23
Località: Roma
Contatta:

Messaggio da stefanos »

kn ha scritto:e con linux? :lol:
Volevo chiederlo anche io :wink:
Physics is like sex. Sure, it may give some practical results, but that's not why we do it.
Edriv: c=c+2; "tu sarai ricordato come `colui che ha convertito edriv alla fisica' ;)"
[quote="Tibor Gallai"]Alla fine sono macchine di Turing pure loro, solo un po' meno deterministiche di noi.[/quote]
Avatar utente
Haile
Messaggi: 515
Iscritto il: 30 mag 2008, 14:29
Località: Bergamo

Messaggio da Haile »

Cassa ha scritto:
Enrico Leon ha scritto:Dimostrazione semplicissima!
Start -> Tutti i programmi -> Accessori -> Calcolatrice
Si digita 2* e si preme Invio per 45 volte
:roll:
SBATTO :shock:
Derive:

TABLE(2^n, n, 1, 100, 1)

e stop :lol:
[i]
Mathematical proofs are like diamonds: hard and clear.

[/i]
Avatar utente
gismondo
Messaggi: 84
Iscritto il: 05 feb 2009, 18:42
Località: Roma

Messaggio da gismondo »

Ragazzi ma qualcuno che si cimenta nella dimostrazione? :P
In realtà il problema può essere allargato a "dimostrare che tutte le cifre compariranno prima o poi al primo posto"
"Per tre cose vale la pena di vivere: la matematica, la musica e l'amore"
Avatar utente
SkZ
Messaggi: 3333
Iscritto il: 03 ago 2006, 21:02
Località: Concepcion, Chile
Contatta:

Messaggio da SkZ »

si vede che ($ ~\log=\log_{10} $)
$ $\log{7}<frac{(n\log{2})}<\log{8} $
impara il [tex]~\LaTeX[/tex] e mettilo da par[tex]\TeX~[/tex]

Software is like sex: it's better when it's free (Linus T.)
membro: Club Nostalgici
Non essere egoista, dona anche tu! http://fpv.hacknight.org/a8.php
piever
Messaggi: 645
Iscritto il: 18 feb 2006, 13:15
Località: Roma
Contatta:

Messaggio da piever »

Generalizziamo un po':

Per ogni sequenza finita di cifre decimali esiste n tale che l'espressione decimale di $ 2^n $ inizia con quella sequenza di cifre.
"Sei la Barbara della situazione!" (Tap)
Avatar utente
Haile
Messaggi: 515
Iscritto il: 30 mag 2008, 14:29
Località: Bergamo

Messaggio da Haile »

SkZ ha scritto:si vede che ($ ~\log=\log_{10} $)
$ $\log{7}<frac{(n\log{2})}<\log{8} $
eh? O.o
[i]
Mathematical proofs are like diamonds: hard and clear.

[/i]
Jacobi
Messaggi: 227
Iscritto il: 08 mar 2007, 16:29

Messaggio da Jacobi »

piever ha scritto:Generalizziamo un po':

Per ogni sequenza finita di cifre decimali esiste n tale che l'espressione decimale di $ 2^n $ inizia con quella sequenza di cifre.
un applicazione del nn famoso, ma molto utile, teorema di jacobi (si esatto, quello del mio nick :D ): la sequenza ( per a irrazionale ) $ a_n = n a - \lfloor n a \rfloor $ e densa ovunque in (0,1)
MIND TORNA CON NOI
fph
Site Admin
Messaggi: 3956
Iscritto il: 01 gen 1970, 01:00
Località: in giro
Contatta:

Messaggio da fph »

Raga', qui non ci stiamo capendo. Non serve gente che snobba il problema, lo fa al computer, o dice "è un caso particolare di questo risultato super-generale". Sarebbe gradita una dimostrazione "da gara", possibilmente autocontenuta, da parte di qualcuno che non ha già visto il problema dieci volte. Se no questo forum che ci sta a fare?
--federico
[tex]\frac1{\sqrt2}\bigl(\left|\text{loves me}\right\rangle+\left|\text{loves me not}\right\rangle\bigr)[/tex]
Avatar utente
Haile
Messaggi: 515
Iscritto il: 30 mag 2008, 14:29
Località: Bergamo

Messaggio da Haile »

Ok, ci provo (senza congruenze, però). Mi sono bloccato alla fine:

Dev'essere, per qualche $ $k, n \in \mathbb{N}$ $:

$ $7 \cdot 10^k \leq 2^n < 8 \cdot 10^k$ $

Prendendo il logaritmo in base due:

$ $\log_2 7 + k \log_2 10 \leq n < \log_2 8 + k \log_2 10$ $

Ora, dev'esserci un intero $ $n$ $ che stia tra quei due numeri, ovvero devono avere parte intera diversa, ed in particolare:

$ $ \lfloor \log_2 7 + k \log_2 10 \rfloor < \lfloor 3 + k \log_2 10 \rfloor $ $

Consideriamo ora $ $ 3 - \log_2 7 $ $. Si può dimostrare che è compreso tra $ $\frac{1}{4}$ $ e $ $\frac{1}{6}$ $.

Ovvero, la parte decimale di $ $\log_2 7$ $ è compresa tra $ $[0.75, 0.83]$ $

Allora, perchè valga $ $ \lfloor \log_2 7 + k \log_2 10 \rfloor < \lfloor 3 + k \log_2 10 \rfloor $ $, dev'essere che $ $k\log_2 10$ $ abbia, per qualche $ $k$ $, un decimale minore di $ $0.17$ $, in modo che a sinistra non avvenga lo "scatto" all'unità successiva e la disuguaglianza con le funzioni floor regga.

... now?
[i]
Mathematical proofs are like diamonds: hard and clear.

[/i]
Rispondi