Supongamos que querés probar que
es múltiplo de 6, para todo
natural.
Una forma de hacerlo, que no usa inducción, es la siguiente:
es múltiplo de 6, para todo
natural.Una forma de hacerlo, que no usa inducción, es la siguiente:
- por el Teorema de la división entera, si dividimos
entre 6, podemos escribir
, con resto
. - Ahora reemplazá esta expresión en el producto y hace cuentas para obtener algo de la forma: múltiplo de 6 + un polinomio con variable
. - Basta con probar que ese polinomio es múltiplo de 6 para todos los posibles valores del resto
, que son solamente cinco.
Esto convierte el problema original, que involucra a infinitos posibles valores de
, en un problema de chequear la propiedad para finitos valores de
. Y toda la magia está en que el teorema de la división entera garantiza que el resto está acotado.