The (almost really) Complete Works of Lewis Carroll

Note on Question 7695

Source: Mathematical Questions and Solutions, from the “Educational Times”, XLIII, 1885; shorter version also in Educational Times, May 1885

The question this refers to is

(By J. O’Regan.)—Two persons play for a stake, each throwing two dice. They throw in turn, A commencing. A wins if he throws 6, B if he throws 7: the game ceasing as soon as either event happens. Show that A’s chance is to B’s as 30 to 31.

MQS XL, 1885, https://archive.org/details/mathematicalque05unkngoog/page/n270

The solution by D. Biddle, W. J. Greenstreet, and others correctly states that “[t]he probability that B will have a throw after A is […] 3136; but that A will throw again after B, only 3036”, but wrongly concludes the result from that by simply dividing the two chances.

by C. L. Dodgson, M.A.

The solution given to this question on p. 75 of Vol. 42, is one of the most curious instances I have met with of the pitfalls to be found in Mathematics: the answer is right, but the method of solution, beautifully simple as it looks, is entirely wrong.

This can be most easily demonstrated by a reductio ad absurdum. Let the winning throw, for A and B alike, be 6. Then, by this method of solution, their chances are equal, since “the probability that B will have a throw after A is 3136”; which is also the probability “that A will throw again after B.” Yet it is obvious that, as A begins, his “expectation” is better than B’s.

The true solution will be best given, first, in the general form; and the formula, so obtained, can then be applied to the particular case.

Let A’s chance of making his winning throw, each time he throws, be k; and similarly let B’s chance be l.

Then A’s chance of winning, in his first throw, is k; in his second, (1k).(1l).k; in his third, (1k)2.(1l)2.k; and so on for ever. Hence the limit, to which his “expectation” approaches, is the limit of k.[1+(1k).(1l)+(1k)2.(1l)2+&c.]; i. e.k.11(1k).(1l); i. e.kk+lkl.

Similarly, B’s chance of winning, in his first throw, is (1k).l; in his second, (1k).(1l).(1k).l; in his third, (1k)2.(1l)2.(1k).l; and so on for ever. Hence his “expectation” approaches the limit of (1k).l.[1+(1k).(1l)+(1k)2.(1l)2+&c.]; i. e. (1k).lk+lkl.

Hence the ratio, of A’s expectation to B’s, is approximately k(1k).l.

In the given case, k=536, l=636=16; hence the required ratio =3031. By a mere accident this happens to be the same as 1l1k, which accident has misled all the solvers into adopting this as a true formula.

In my “reductio ad absurdum” case, k=l=536; hence the required ratio =3631.

It is worth noting that the ratio, 3031, is only approximative, the expectations of A and B being just less than the fractions 3061, 3161. If this were not so, the sum total of their expectations would equal 1; i. e., it would be absolutely certain that one or other of them would win—whereas there is clearly a chance, though an indefinite small one, that the game might go on for ever without either winning.