Mark Brader wrote:
> Ted Schuerzinger:
>> Presumably, the probability will always be 1/2.
>
> Looks that way.
>
>> An easier way to state it would be as follows:
>>
>> For the first n coins, both Akio and Bansi will throw an expected n/2
>> heads. There's a 1/2 chance the extra coin will also land heads.
>
> That's not a proof; it only accidentally suggests the result of 1/2.
> There are more results possible than "Akio gets one more head" and
> "Akio and Bansi get an equal number of heads" with probability 1/2 each.
Okay, formalizing it:
Label Akio's coins A1, A2, ..., An, A(n+1).
Label Bansi's coins B1, B2, ..., Bn.
For all the coins except A(n+1), there are 2^(2n) ways for them to land,
all equally probable, and these can be divided into three sets:
1) Akio has more heads than Bansi among those coins
2) Akio has the same number of heads as Bansi among those coins
3) Akio has fewer heads than Bansi among those coins
Each way in 1) is the mirror image of a way in 3), so those sets have
the same size.
For each way in 1), Akio has more heads than Bansi overall, regardless
of how coin A(n+1) lands.
For each way in 3), Akio does not have more heads than Bansi overall,
regardless of coin A(n+1) lands. (At most, he might have the same
number of heads as Bansi overall.)
For each way in 2), Akio has a 1/2 probability of having more heads than
Bansi overall, depending on how coin A(n+1) lands.
Thus, the overall probability is
(x * 1) + (x * 0) + ((1-2x) * (1/2)) (for some value of x)
= 2x/2 + (1-2x)/2
= (2x+1-2x)/2
= 1/2