Ao lançar dois dados de cada vez, após cinco lançamentos, obteremos 10 números. Suponha que N desses números sejam 6 e o restante igual ou menor do que 5. Como o total obtido é 57, temos:
57 ≤ N x 6 + (10 − N) x 5 = N + 50,
ou seja, N ≥ 7. Isso pode ser confirmado notando que, se apenas 6 dados resultassem em 6, o maior número que José poderia ter obtido, no final, seria 6 x 6 + 4 x 5 = 56. Assim, podemos garantir que foram obtidos pelo menos 7 dados com o valor 6.
Suponha agora que em x lançamentos saiu um par de 6, em y lançamentos apenas um 6 e em z lançamentos nenhum 6. Note que x, y e z são inteiros entre 0 e 5, e x + y + z = 5, já que 5 é o total de lançamentos.
O número 6 saiu 2_x_ + 1_y_ + 0_z_ = 2_x_ + y vezes. Devemos ter, portanto, 2_x_ + y ≥ 7, ou seja, 7 − 2_x_ ≤ y.
Por outro lado, como y = 5 − x − z ≤ 5 − x, juntando as duas últimas desigualdades, temos 7 − 2_x_ ≤ 5 − x, o que implica x ≥ 2. Devemos ter pelo menos 2 lançamentos com um par de 6.
Para estabelecer 2 como o menor número de lances em que sai um par de 6, devemos exibir uma configuração de pares que some 57, com apenas dois pares de 6. Isso pode ser obtido da seguinte forma:
(6 e 6), (6 e 6), (6 e 5), (6 e 5), (6 e 5).