Usemos funciones generadoras. Considere expandir el siguiente producto:
[matemática] (1 + x + x ^ 2 + \ cdots + x ^ 8) [/ matemática] [matemática] (1 + x + x ^ 2 + \ cdots + x ^ 7) [/ matemática] [matemática] ( 1 + x + x ^ 2 + x ^ 3 + x ^ 4) [/ matemática] [matemática] (1 + x + x ^ 2 + x ^ 3) [/ matemática].
Si tomamos un término [matemático] x ^ a [/ matemático] del primer factor, un término [matemático] x ^ b [/ matemático] del segundo factor, un término [matemático] x ^ c [/ matemático] de el tercer factor, y un término [matemático] x ^ d [/ matemático] del primer factor, entonces el producto de esos términos es [matemático] x ^ {a + b + c + d} = x ^ K [/ matemático ]
Entonces, cada solución aporta un término [matemático] x ^ K [/ matemático]. Por lo tanto, el número de soluciones a [matemáticas] a + b + c + d = K = 6 [/ matemáticas] (con las restricciones) es simplemente el coeficiente [matemáticas] x ^ 6 [/ matemáticas] de ese producto.
- Si la conjetura de Goldbach es verdadera, entonces dado un número par [matemática] e [/ matemática], ¿cuál es la complejidad de encontrar números primos [matemática] p_1 [/ matemática] y [matemática] p_2 [/ matemática] tal que [matemática] p_1 + p_2 = e [/ matemáticas]?
- Pruebas (matemáticas): ¿Cómo se puede probar que hay infinitos números primos de la forma 6x – 1?
- ¿Qué debe saber todo programador sobre las ecuaciones de diofantina?
- ¿Cómo se muestra que [matemáticas] (2 ^ a-1) (2 ^ b-1) = 2 ^ {2 ^ c} +1 [/ matemáticas] es imposible en enteros no negativos [matemáticas] a, b, [/ matemáticas] y [matemáticas] c [/ matemáticas]?
- Dados los números reales positivos x e y, demuestre que [matemáticas] \ frac {2} {\ frac {1} {x} + \ frac {1} {y}} \ le \ sqrt {xy} \ le \ frac {x + y} {2} [/ matemáticas]?
Si multiplica ese producto, obtendrá [matemáticas] 1 + 4x + 10x ^ 2 + 20x ^ 3 + 34x ^ 4 + 51x ^ 5 + 70x ^ 6 + [/ matemáticas] poderes mayores de [matemáticas] x [/ matemáticas] (a medida que multiplica los polinomios, puede arrojar poderes de x que son mayores que 6, ya que no serán necesarios).
Por lo tanto, hay [matemáticas] 70 [/ matemáticas] soluciones a [matemáticas] a + b + c + d = K = 6 [/ matemáticas] que satisfacen las restricciones dadas.