1 Comprender el problema

1.1 ¿Cuál es la incógnita?

Probar que 𝑛! ≥ 𝑛2

Probar que 𝑛! ≥ 𝑛2

1.2 ¿Cuáles son los datos?

𝑛! ≥ 𝑛2 ∀𝑛 ≥ 4

𝑛! ≥ 𝑛3 ∀𝑛 ≥ 6

1.3 ¿Cuál es la condición?

Si 𝑛 ≥ 4 ⟶ 𝑛! ≥ 𝑛2

Si 𝑛 ≥ 6 ⟶ 𝑛! ≥ 𝑛3

1.4 ¿Es la condición suficiente para determinar la incógnita?

Si

2 Concebir un plan
2.1 ¿Se ha encontrado con un problema semejante o ha visto el mismo problema
planteado en forma ligeramente diferente?
Si me encontrado con problemas semejantes a este pero planteados en forma diferente

2.2 ¿Conoce un problema relacionado con este?

Si

2.3 ¿Conoce algún teorema que le pueda ser útil?

El teorema segundo principio de inducción finita. Sea S un conjunto de enteros positivos con las
siguientes propiedades:

a) El entero 1 pertenece a 𝑆.
b) Si 𝐾 es un entero positivo tal que 1,2, ⋯ , 𝐾 pertenece a 𝑆, entonces 𝐾 + 1 debe estar
también en 𝑆.

Entonces 𝑆 es el conjunto de todos los enteros positivos.

 2.4 ¿Le haría a usted falta introducir algún elemento auxiliara fin de poder utilizarlo?
2.5 ¿Podría enunciar el problema en otra forma?
2.6 ¿Podría plantearlo en forma diferente nuevamente?
2.7 ¿Puede resolver una parte del problema?
Si

2.8 ¿En qué medida la incógnita queda determinada?

2.9 ¿En qué forma puede variar?
2.10 ¿Puede usted deducir algún elemento útil de los datos?
2.11 ¿Puede cambiar la incógnita o los datos, o ambos a la vez?
2.12 ¿Ha empleado todos los datos?
2.13 ¿Ha empleado toda la condición?

3 Ejecución del plan

3.1 Puede usted ver claramente que el paso es correcto
3.2 Puede usted demostrarlo
El teorema segundo principio de inducción finita.

Sea 𝑆 = {𝑛! ≥ 𝑛2 ⁄𝑛 ≥ 4 ⋀ 𝑛! ≥ 𝑛3 ∕ 𝑛 ≥ 6} un conjunto de enteros positivos.

c) los enteros 4 y 6 pertenece a 𝑆.

𝑛=4 𝑛=6

𝑛! ≥ 𝑛2 𝑛! ≥ 𝑛3

4! ≥ 42 6! ≥ 63
24 ≥ 16 720 ≥ 216

d) Si K es un entero positivo tal que 4,5,6 ⋯ , 𝐾 y 6,7,8 ⋯ , 𝐾 pertenece a 𝑆, entonces 𝐾 + 1

debe estar también en 𝑆.

Es decir

𝐾! ≥ 𝐾 2 ⟶ (𝐾 + 1)! ≥ (𝐾 + 1)2 y 𝐾! ≥ 𝐾 3 ⟶ (𝐾 + 1)! ≥ (𝐾 + 1)3

(𝐾 + 1)! = 1 × 2 × 3 ⋯ × 𝐾 × (𝐾 + 1) (𝐾 + 1)! = 1 × 2 × 3 ⋯ × 𝐾 × (𝐾 + 1)

= 𝐾! (𝐾 + 1) = 𝐾! (𝐾 + 1)
𝐾! (𝐾 + 1) ≥ 𝐾 2 (𝐾 + 1) 𝐾! (𝐾 + 1) ≥ 𝐾 3 (𝐾 + 1)
Entonces S es el conjunto de todos los enteros positivos.

4 Visión retrospectiva
4.1 ¿Puede usted verificar el resultado?
𝐾! (𝐾 + 1) ≥ 𝐾 2 (𝐾 + 1) 𝐾! (𝐾 + 1) ≥ 𝐾 3 (𝐾 + 1)
8! (8 + 1) ≥ 82 (8 + 1) 8! (8 + 1) ≥ 83 (8 + 1)
 40,320 × 9 ≥ 64 × 9 40,320 × 9 ≥ 512 × 9
362,880 ≥ 576 362,880 ≥ 4,608

4.2 ¿Puede obtener el resultado en forma diferente?

No

4.3 ¿ Puede usted emplear el resultado o el método en algún otro problema?

Si