¿Divide 3 (3k + 1) (3k + 2) (3k + 3)?

Sorprendentemente, todas las otras respuestas parecen no mencionar ninguna restricción en [matemáticas] k [/ matemáticas] o dar una restricción que es más fuerte de lo necesario.

Como han dicho otros, si [math] k [/ math] es un número entero, entonces [math] (3k + 3) = 3 (k + 1) [/ math] y vemos que el factor final en su producto es un múltiplo de tres. Dado que uno de los factores es un múltiplo de tres, también lo es el producto.

Pero supongamos que [math] k [/ math] es un múltiplo entero de un tercio. En este caso, observe que los tres términos en su producto siguen siendo enteros, por lo que el producto es un entero. También tenga en cuenta que los tres términos no solo son enteros, sino que deben ser enteros consecutivos. Y resulta que el producto de tres enteros consecutivos siempre debe ser un múltiplo de tres. Eso tampoco es difícil de probar, pero no me molestaré en dar la prueba aquí. Pero, por ejemplo, si [math] k = \ frac {17} 3 [/ math] vemos que el término [math] (3k + 1) [/ math] da 18, que es un múltiplo de 3, de nuevo, el producto es múltiplo de 3.

Entonces, vemos que una respuesta más completa a esta pregunta es que el producto es divisible por tres siempre que [math] k [/ math] sea un múltiplo entero de un tercio.

¡Si! ¡Lo hace! Supongo que [math] k [/ math] es un entero positivo.

Simplemente ponga el último término [matemática] 3k + 3 = 3 (k + 1) [/ matemática] y es divisible por [matemática] 3 [/ matemática] debido a [matemática] 3 [/ matemática] en el numerador.

Tomemos un ejemplo: [matemáticas] k = 10 [/ matemáticas]

La expresión es entonces: [matemáticas] (30 + 1) (30 + 2) (30 + 3) = 31 \ veces 32 \ veces 33 [/ matemáticas] que es divisible por [matemáticas] 3 [/ matemáticas].

Del mismo modo, tomemos [math] k = 7 [/ math], un número primo

Obtenemos [math] (21 + 1) (21 + 2) (21 + 3) = 22 \ times 23 \ times 24 [/ math] que es divisible por [math] 3 [/ math].

Respuesta simple: sí.

Forma brutal de demostrarlo: gasta la expresión y mira si 3 es un factor común de todos los términos.

Una forma más inteligente de demostrarlo: cada término x en la expresión original tiene un coeficiente de 3, por lo que cualquier combinación de los términos x en la expresión expandida es divisible por 3. El término constante en la expresión expandida es 3 * 2 * 1 = 6 , también divisible por 3. hecho.

Por supuesto

3k + 3 = 3 (k + 1)

Entonces, 3 es un factor de (3k + 1) (3k + 2) (3k + 3)

Si. (3k + 3) es un múltiplo de 3, por lo que cualquier cosa multiplicada por eso también lo es.

si
Es trivial que 3k + 3 = 3 (k + 1)

Más generalmente, 3 divide k (k + 1) (k + 2).