Se vale per 2 vale per tutto

Polinomi, disuguaglianze, numeri complessi, ...
Rispondi
scambret
Messaggi: 734
Iscritto il: 23 mag 2012, 20:49
Località: Acquarica del Capo

Se vale per 2 vale per tutto

Messaggio da scambret »

Sia $f: \mathbb{Z} \to \mathbb{Z}$ t.c. $f(ab) \geq f(a)+f(b)$ per ogni a,b diversi da 0.

Dimostrare che $f(a^2)=2f(a) \Leftrightarrow f(a^n)=nf(a)$ per ogni a intero e n positivo.
Avatar utente
Lasker
Messaggi: 440
Iscritto il: 02 mag 2013, 20:47
Località: Udine

Re: Se vale per 2 vale per tutto

Messaggio da Lasker »

Procediamo per induzione up and down su $n$ (che bello vedere che finalmente serve a qualcosa :) )!

1. Il caso base è ovviamente $f(a^2)=2f(a)$

2. Supponendo che la tesi sia vera per $n$, la dimostriamo per $2n$:
$$f(a^{2n})=f((a^n)^2)=2f(a^n)=2nf(a)$$
Dove al terzo passaggio abbiamo sfruttato il caso base e al quarto il passo induttivo.

3. Supponendo che la tesi sia vera per $n$, la dimostriamo per $n-1$:
$$nf(a)=f(a^n)=f(a^{n-1}\cdot a)\geq f(a^{n-1})+f(a)\Rightarrow f(a^{n-1})\leq (n-1)f(a)\ \ \ \forall\ n,a\in\mathbb{Z^2}$$
Ma visto che vale anche:
$$f(a^{n-1})\geq f(a^{n-2})+f(a)\geq f(a^{n-3})+f(a)+f(a)\geq...\geq (n-1)f(a)$$
Siamo nel caso d'uguaglianza $f(a^{n-1})=(n-1)f(a)$, e quindi la tesi è dimostrata per ogni $n$ per induzione.
"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!
Rispondi