98. Funzionale facile

Polinomi, disuguaglianze, numeri complessi, ...
Rispondi
Talete
Messaggi: 744
Iscritto il: 05 giu 2014, 13:47
Località: Riva del Garda

98. Funzionale facile

Messaggio da Talete » 09 apr 2015, 19:44

Boh, il meglio che trovo: sia data una funzione $f(x): \mathbb{R} \rightarrow \mathbb{R}$. Dimostrare che, se

\[f(x+24)\le f(x)+24;\hspace{1cm}f(x+77)\ge f(x)+77;\]

allora $f(x+1)=f(x)+1$ per ogni $x\in\mathbb{R}$.
"Sei il Ballini della situazione" -- Nikkio
"Meriti la menzione di sdegno" -- troppa gente
"Sei arrivato 69esimo? Ottima posizione!" -- Andrea M. (che non è Andrea Monti, come certa gente pensa)
"Se ti interessa stanno inventando le baricentriche elettroniche, che dovrebbero aiutare a smettere..." -- Bernardo

Avatar utente
Lasker
Messaggi: 439
Iscritto il: 02 mag 2013, 20:47
Località: Udine

Re: 98. Funzionale facile

Messaggio da Lasker » 09 apr 2015, 21:11

Osservo innanzitutto che $\textrm{lcm }(24,77)=24\cdot 77=1848$, e considero dunque $f(x+1848)$ per vedere se vengono cose belle

$$f(x+1848)\leq f(x+1824)+24\leq \left(f(x+1800)+24\right)+24\leq...\leq f(x)+1848$$
Ma anche
$$f(x+1848)\geq f(x+1771)+77\geq \left(f(x+1694)+77\right)+77\geq...\geq f(x)+1848$$
Da cui
$$f(x+1848)=f(x)+1848\ \ \forall\ x\in\mathbb{R}$$
Ma allora tutte le disuguaglianze delle due catene sono in realtà uguaglianze, ed in particolare si hanno (guardando le ultime disuguaglianze di ogni catena)
$$f(x+24)=f(x)+24\ \ \ \ \ \textrm{e}\ \ \ \ \ \ f(x+77)=f(x)+77$$
Dunque ci basta considerare
$$f(x+3312)=f(x+138\cdot24)=f(x+137\cdot24)+24=...=f(x)+138\cdot 24=f(x)+3312$$
e
$$f(x+3311)=f(x+43\cdot 77)=f(x+42\cdot 77)+77=...=f(x)+43\cdot 77=f(x)+3311$$
Sostituendo la seconda nella prima ottengo
$$f(x+3312)=f(x+3311)+1 \ \ \forall \ x\in\mathbb{R}$$
E quindi ovviamente anche
$$f(x+1)=f(x)+1\ \ \forall\ x\in\mathbb{R}$$

Chiarimento: i valori "magici" sono stati trovati applicando Bezout e risolvendo l'equazione diofantea lineare $24a-77b=1$ (che ha soluzione in quanto $77$ e $24$ sono coprimi)
"Una funzione generatrice è una corda da bucato usata per appendervi una successione numerica per metterla in mostra" (Herbert Wilf)

"La matematica è la regina delle scienze e la teoria dei numeri è la regina della matematica" (Carl Friedrich Gauss)

Sensibilizzazione all'uso delle potenti Coordinate Cartesiane, possano seppellire per sempre le orride baricentriche corruttrici dei giovani: cur enim scribere tre numeri quando se ne abbisogna di due?

PRIMA FILA TUTTI SBIRRI!

Talete
Messaggi: 744
Iscritto il: 05 giu 2014, 13:47
Località: Riva del Garda

Re: 98. Funzionale facile

Messaggio da Talete » 09 apr 2015, 21:29

Ok, tutto giusto ;) Puoi andare!
"Sei il Ballini della situazione" -- Nikkio
"Meriti la menzione di sdegno" -- troppa gente
"Sei arrivato 69esimo? Ottima posizione!" -- Andrea M. (che non è Andrea Monti, come certa gente pensa)
"Se ti interessa stanno inventando le baricentriche elettroniche, che dovrebbero aiutare a smettere..." -- Bernardo

Rispondi