Practico 1 - Ejercicio 4

Practico 1 - Ejercicio 4

de Mateo Schol Paladino -
Número de respuestas: 2

Me gustaría saber si mi resolución del ejercicio está bien.

Usaremos (P.I.C.S) Para demostrar P(n)
P(n) dice que para todo n Entero tal que n ≥ 3, n² ≥ 2n+1


Paso Base:  
Para n ≥ 3
3² ≥ 2*3+1
9 ≥ 7
se cumple para n ≥ 3


Paso Inductivo: 
H.I:
K ≥ 3
K² ≥ 2K+1
T.I: 
K+1= (K+1)² ≥ 2(K+1)+1


Demostración:
(K+ 1)² ≥ 2(K+1) +1
= K²+2k+1 ≥ (Por H.I) 2K+2+1
Ya que K ≥ 3 por H.I, K² ≥ 2


Conclusión: P(n) se cumple para todo n Entero cuando n ≥ 3

Usaremos (P.I.C.S) Para demostrar P(n)

En respuesta a Mateo Schol Paladino

Re: Practico 1 - Ejercicio 4

de Francisco Carballal -
Buenas, algunas cosas.

La propiedad P(n) no debe tener la cuantificación de n (el \forall) adentro. Debería ser solo n^2\geq 2n+1. Total por inducción lo que uno prueba es que

\forall n\geq 3,~~P(n)

En el paso base probas que la propiedad se cumple para n=3 solamente. No es válido ahí decir que se cumple para n\geq 3.

Bien el paso inductivo. Igual para que se entienda mejor agregaría una equivalencia más y conectaría las desigualdades con \Leftrightarrow.

 (k+1)^2\geq 2(k+1)+1~\Leftrightarrow~ k^2 +2k +1\geq 2k + 2 + 1~\Leftrightarrow~k^2\geq 2
En respuesta a Francisco Carballal

Re: Practico 1 - Ejercicio 4

de Francisco Carballal -
Ahh y un detalle más. En realidad no se está usando la hipótesis inductiva. Justo esa prueba se puede hacer sin usar la hipótesis inductiva.

Una prueba que no usa la HI puede estar bien, pero no hay que decir que se la usa si no se la está usando.