OliForum Matematico

Un esercizietto facile ma carino...

Sia $ y_n=nx-[nx] $, dove $ n \in \mathbb{N}_0 $ e $ [x] $ denota la parte intera di x.
Dimostrare che l'insieme $ \{ y_n:n=0,1,2,... \} $ è finito se e solo se x è razionale.

Scusa ma non ho capito bene il testo:
cosa intendi con "$ y_n:n= $"?

Suppongo sia l'insieme degli $ y_n $ tali che n varia sui naturali... Proprio sabato ho visto i due punti usati per dire "tale che"!...
Giusto, hydro?

@ Ponnamperuma
Sì, in effetti penso anch'io che sia così. Grazie per il chiarimento.

Ponnamperuma ha scritto:Suppongo sia l'insieme degli $ y_n $ tali che n varia sui naturali... Proprio sabato ho visto i due punti usati per dire "tale che"!...
Giusto, hydro?

esattamente, è proprio come dici tu

Beh, dimostriamo innanzitutto che se x è razionale allora i "residui" sono in numero limitato.
Sia $ \displaystyle x=\frac{p}{q} $. Allora il "residuo" per n e (n+q) è uguale, dato che $ n \frac{p}{q} - [n \frac{p}{q}] = (n+q) \frac{p}{q} - [(n+q) \frac{p}{q}] \Rightarrow n \frac{p}{q} - [n \frac{p}{q}] = n \frac{p}{q} + p - p - [n \frac{p}{q}] $ dato che possiamo tirar fuori p dalla parte intera (poichè è esso stesso un intero).
Pertanto, anche ammettendo che tutti i residui per 0<=n<=q siano distinti, poi sono periodici con periodo q per cui non ne troviamo nessuno nuovo (per essere più formali: se $ a \equiv b \pmod q $ allora l'a-esimo residuo e il b-esimo sono uguali)

Per quel che riguarda l'altra parte, dimostriamo che se x è irrazionale allora l'insieme è infinito: se così non fosse, esisterebbero a e b distinti tali che $ ax - [ax] = bx - [bx] \Rightarrow x(a-b) = -[bx]+[ax] $ che è assurdo perchè il membro destro è un intero e il sinistro è irrazionale...
Ciao!

mi sfugge una cosa sulla tesi: deve essere valida anche al variare x in R o solamente al variare di n ?