Una solución a la ecuación tiene al menos una $1$.
Cuando sacas todos los 2s, la ecuación es falsa.
$2 + 2 + 2 + 2 > 2 \times 2 \times 2 \times 2$
$8 > 16 \implies false$
La adición de uno a cualquiera de los números siempre mantiene la falsedad de esta ecuación, o la verdad de la inversa. Suponiendo que el opuesto de la ecuación:
$x_1 + x_2 + x_3 + x_4 \le x_1x_2x_3x_4$
La adición de $1$ a uno de los die resultados en los resultados del producto en un valor que es $x_2x_3x_4$ superior.
$(x_1 + 1)x_2x_3x_4 = x_1x_2x_3x_4 + x_2x_3x_4$
La adición de $1$ a uno de los die resultados de la suma es la suma de $1$ superior, y la $x_2x_3x_4 >= 1$, por lo que podemos decir:
- Si $x_1 + x_2 + x_3 + x_4 \le x_1x_2x_3x_4$,$(x_1 + 1) + x_2 + x_3 + x_4 \le (x_1 + 1)x_2x_3x_4$.
Por lo tanto, cualquier solución a $x_1 + x_2 + x_3 + x_4 > x_1x_2x_3x_4$ debe tener al menos un $1$.
El nivel más bajo posible de dados de rollo con exactamente un $1$ va como esto:
$1 + 2 + 2 + 2 > 1 \times 2 \times 2 \times 2$
$7 > 8 \implies false$
Por lo tanto, la solución debe requerir al menos dos $1$s.
Tres o más $1$s.
Si hay al menos un 3 $1$s, la ecuación es siempre verdadera. Nota: esto incluye el caso de los cuatro $1$s.
$1 + 1 + 1 + x > 1 \times 1 \times 1 \times x$
$x + 3 > x \implies true$
Exactamente dos $1$s.
Con exactamente dos $1$s, vamos a explorar los otros dos valores.
Si uno de los otros valores es una $2$, luego de que restringe el otro valor de a $3$ o menos.
$1 + 1 + 2 + 2 > 1 \times 1 \times 2 \times 2$
$6 > 4 \implies true$
$1 + 1 + 2 + 3 > 1 \times 1 \times 2 \times 3$
$7 > 6 \implies true$
$1 + 1 + 2 + 4 > 1 \times 1 \times 2 \times 4$
$8 > 8 \implies false$
Si tanto el resto de los valores son, al menos,$3$, entonces no tenemos una solución.
$1 + 1 + 3 + 3 > 1 \times 1 \times 3 \times 3$
$8 > 9 \implies false$
Todas las soluciones
- Todos los cuatro $1$s. 1 solución.
- Tres $1$s y no nos importa lo que el último valor es (esto excluye a los cuatro $1$s): 5 opciones posibles para el último valor, el 4 de decisiones en el que muere se produce: 20 soluciones
- Exactamente dos $1$s: Los otros dos valores son $2$. Hay $4\choose2$ o 6 opciones para distribuir los dos $2$s.
- Exactamente dos $1$s: Los otros dos valores de $2$$3$. Hay cuatro opciones para la $2$, dejando tres opciones para la $3$, para un total de 12 posibles soluciones.
Yo conteo de 39 posibles soluciones, de las $6^4$ posibilidades.
$39\div1296 = 13\div432 \approx0.0301 $