divergenza esercizio induzione

Messaggioda algibro » 18/10/2017, 15:57

In merito ad esercizi su induzione mi capita a volte di dimostrare vera che $P(n) \Rightarrow P(n+1)$ ma con una parte della dimostrazione diversa dalla soluzione riportata nel testo.
Ad esempio: dimostrare che $\forall n \in \mathbb{N}$ e $n \geq 3, \ n^2>2n+1$.
i) passo base, con $n=3, \ P(3)$ è vera, $3^2=9>7=2 \cdot 3+1$
ii) passo induttivo, suppongo vera l'ipotesi per cui $n^2>2n+1$ e provo la tesi per $(n+1)$, cioè che :$(n+1)^2>2(n+1)+1$

$(n+1)^2=n^2+2n+1>(2n+1)+2n+1=4n+2>2(n+1)+1=2n+3$

Ora qui prendo una strada differente, perché mi sembra più semplice vedere che
$4n+2>2n+3$ cioè $2n-1>0$ è vera $\forall n \in \mathbb{N}, \ n \geq 1$
dunque la tesi per me è provata, ovviamente per ogni $n \geq 3$.

Dove sbaglio ?
algibro
Junior Member
Junior Member
 
Messaggio: 84 di 378
Iscritto il: 29/01/2017, 15:16

Re: divergenza esercizio induzione

Messaggioda algibro » 18/10/2017, 16:15

La catena di disuguaglianze proposta nello svolgimento dell'esercizio continua così:

$(n+1)^2=n^2+2n+1>(2n+1)+2n+1 \geq 7+2n+1=2n+8>2(n+1)+1$

Ma proprio non comprendo la disuguaglianza $(2n+1)+2n+1 \geq 7+2n+1$

Cioè, fa assumere ad $(2n+1)$ il valore per $n=3$ ?
In quanto pur con $n=3$, il valore che assume $(2n+1)+2n+1$ è comunque maggiore di $2(n+1)+1$ ?
algibro
Junior Member
Junior Member
 
Messaggio: 85 di 378
Iscritto il: 29/01/2017, 15:16

Re: divergenza esercizio induzione

Messaggioda Luca.Lussardi » 19/10/2017, 18:57

mi sembra un'ovvieta'...
Luca.Lussardi
Cannot live without
Cannot live without
 
Messaggio: 7880 di 12718
Iscritto il: 21/05/2006, 17:59
Località: Torino

Re: divergenza esercizio induzione

Messaggioda algibro » 19/10/2017, 20:21

Ne sono convinto, solamente mi sembrava più intuitivo procedere come ho fatto io, se è comunque corretto. Grazie comunque ;)
algibro
Junior Member
Junior Member
 
Messaggio: 86 di 378
Iscritto il: 29/01/2017, 15:16


Torna a Algebra, logica, teoria dei numeri e matematica discreta

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite