Según Martin Gardner, el coronel George Sicherman de Buffalo fue el primero en plantear y resolver la siguiente pregunta:
¿Se pueden numerar dos dados de forma diferente a la estándar de tal manera que se obtengan las mismas sumas y con las mismas probabilidades que en los dados estándar?
En la imagen izquierda se muestran los resultados posibles con dos dados tradicionales y en la imagen de la derecha los mismos resultados pero con dos dados numerados de forma diferente
La función generatriz del lanzamiento de un dado cúbico es el polinomio:f(x)=16x+16x2+16x3+16x4+16x5+16x6 donde los exponentes indican los posibles resultados y los coeficientes su probabilidad. Se supone, en el caso del dado, que los sucesos son equiprobables (1/6). Si se lanza dos dados se tiene:f2(x)=(16x+16x2+16x3+16x4+16x5+16x6)2f2(x)=6−2(x2+2x3+3x4+4x5+5x6+6x7+5x8+4x9+3x10+2x11+x12)
Vemos que las sumas 2 y 12 son las menos probables y en cambio la suma 7 es la más probable.
Vamos a aplicar la fórmula de las progresiones geométricas a la función generatriz del lanzamiento de un dado:
f(x)=16x(x6−1)x−1=16x(x3+1)(x3−1)x−1=
16x(x3+1)(x2+x+1)=16x(x+1)(x2−x+1)(x2+x+1)
Elevando al cuadrado se obtiene la función del lanzamiento de dos dados que permite descomponerla como producto de dos funciones:
f2(x)=g(x)h(x)
g(x)=16x(x+1)(x2+x+1)=16(x+2x2+2x3+x4)
que corresponde a las características del primer dado.
h(x)=16x(x+1)(x2+x+1)(x2−x+1)2=
16(x+x3+x4+x5+x6+x8)
que corresponde a las características del segundo dado.
Veamos que también se puede conseguir con dados tetraédricos:
La función generatriz del lanzamiento de un dado tetrédrico es el polinomio:
f(x)=14x+14x2+14x3+14x4=14x(x4−1)x−1=
14x(x2−1)(x2+1)x−1=14x(x+1)(x2+1)
Elevando al cuadrado se obtiene la función del lanzamiento de dos dados que permite descomponerla como producto de dos funciones:
f2(x)=g(x)h(x)
g(x)=14x(x2+1)2=14(x+2x3+x5)
que corresponde a las características del primer dado.
h(x)=14x(x+1)2=14(x+2x2+x3)
que corresponde a las características del segundo dado.
Recordemos que el cubo y el tetraedro son dos de los cuerpos platónicos. ¿Es posible conseguirlo con los otros cuerpos platónicos? Es decir, con dados octaédricos, dodecaédricos e icosaédricos. En el caso del octaedro hay tres pares de soluciones:
{1, 3, 3, 5, 5, 7, 7, 9} y {1, 2, 2, 3, 5, 6, 6, 7}
{1, 2, 5, 5, 6, 6, 9, 10} y {1, 2, 3, 3, 4, 4, 5, 6}
{1, 3, 5, 5, 7, 7, 9, 11} y {1, 2, 2, 3, 3, 4, 4, 5}
Para el dodecaedro hay 7 soluciones y para el icosaedro se debe suponer un número más grande todavía.