Prueba de divisibilidad por 18 por inducción

Estoy tratando de probar por inducción que 7 norte + 12 norte + 17 es divisible por 18 .

El norte = 1 El caso es claro, ya que 36 es divisible por metro . Entonces 7 norte + 12 norte + 17 = 18 metro por algún entero metro . Entonces necesito demostrar que 7 norte + 1 + 12 ( norte + 1 ) + 17 es divisible por 18 , pero no puedo averiguar cómo hacer esto. Expandiéndolo, obtengo 7 norte + 1 + 12 norte + 29 . Quiero sacar un factor de 7 y utilizar la hipótesis de inducción. Así que consideré sumar y restar 72 norte formar 84 norte , de donde puedo sacar un factor de 7 , y de manera similar 17 12 = 204 . Sin embargo, no puedo hacer que el factor constante restante funcione.

Cualquier ayuda sería apreciada.

7 ( 7 norte + 12 norte + 17 ) 72 norte 90 = 7 norte + 1 + 12 norte + 29 + 72 norte
( 6 + 1 ) norte 1 + 6 norte , entonces 7 norte + 12 norte + 17 0 ( modificación 18 )

Respuestas (3)

Para el paso inductivo arreglar algunos norte , asumir que 7 norte + 12 norte + 17 es divisible por 18 , y use:

7 norte + 1 + 12 ( norte + 1 ) + 17 = 7 ( 7 norte + 12 norte + 17 ) 72 norte 90 = 7 ( 7 norte + 12 norte + 17 ) 18 ( 4 norte + 5 )   .

Pista: se supone que 7 norte 12 norte + 1 ( modificación 18 ) por la inducción, entonces

7 norte + 1 + 12 ( norte + 1 ) + 17 7 ( 6 norte + 1 ) + 12 ( norte + 1 ) + 17 ( modificación 18 )

Pista:

7 norte + 1 + 12 ( norte + 1 ) + 17 ( 7 norte + 12 norte + 17 ) = 6 × 7 norte + 12 = 6 ( ( 6 + 1 ) norte + 2 )
y ( 6 + 1 ) norte + 2 Se puede escribir como 6 k + 3 , para algún entero k .