La induccin matemtica

La induccin matemtica es un mtodo de demostracin que suele ser muy til en problemas en los que se trata de probar que todos los nmeros naturales (1, 2, 3...) cumplen una cierta propiedad: consta de dos pasos: Primero, se demuestra que el 1 cumple la propiedad. A continuacin, se supone que la propiedad es verdadera para un cierto nmero n (arbitrario) y se demuestra para el nmero siguiente, el n+1.

Si se consigue, esto demuestra la propiedad que queramos para todos los nmeros naturales, de forma parecida a las filas de fichas de domin cuando caen: hemos demostrado que la primera ficha (el 1) cae (primer paso), y que si cae una ficha tambin debe caer la siguiente (si es cierta para n, debe serlo para n+1, segundo paso). La idea de la induccin es muy clara: si un nmero cumple algo, y si cuando un nmero lo cumple el siguiente tiene que cumplirlo, entonces todos los nmeros lo cumplen.

Este mtodo es mucho ms general de lo que pueda parecer a primera vista; si queremos, por ejemplo, demostrar una propiedad para todos los nmeros pares, no tenemos ms que aplicar la induccin a la afirmacin "el nmero 2n cumple la propiedad, para todo natural n", que se refiere a todos los nmeros naturales y es equivalente a la inicial. De la misma forma, la induccin es til para demostrar algo sobre una cantidad finita de cosas porque la misma idea de las fichas de domin es aplicable; en este caso se suele llamar "induccin finita", y es un caso particular de la induccin que se ha explicado arriba. Pueden, de manera similar, demostrarse afirmaciones del tipo "todos los nmeros a partir del 8 cumplen tal cosa", y stos son slo ejemplos simples. El mtodo de induccin es a la vez muy potente y muy intuitivo, y puede aplicarse en una gran variedad de problemas.