Este documento presenta cuatro demostraciones por inducción matemática. La primera demuestra que la suma de los cuadrados de los primeros n enteros es igual a n(n+1)(2n+1)/6. La segunda prueba que n2+n es un número par para cualquier entero n. La tercera demuestra que los números de la forma 5n3+7n son divisibles entre 6. Y la cuarta prueba que (1+a)n es mayor o igual a 1+na si a>-1.