Estoy tratando de probar por inducción que es divisible por .
El El caso es claro, ya que es divisible por . Entonces por algún entero . Entonces necesito demostrar que es divisible por , pero no puedo averiguar cómo hacer esto. Expandiéndolo, obtengo . Quiero sacar un factor de y utilizar la hipótesis de inducción. Así que consideré sumar y restar formar , de donde puedo sacar un factor de , y de manera similar . Sin embargo, no puedo hacer que el factor constante restante funcione.
Cualquier ayuda sería apreciada.
Para el paso inductivo arreglar algunos , asumir que es divisible por , y use:
Pista: se supone que por la inducción, entonces
Pista:
Tanner
Tanner