Solution:
1. Solution (Complete induction). Let the masses of the 1000 coins in grams, arranged in ascending order, be denoted by m1≤m2≤⋯≤m1000. We first prove, by complete induction on ℓ=1,…,1000, the following statement.
Lemma. For all 1≤ℓ≤1000 and every real number 0≤x≤2+∑i=1ℓmi there exists a (possibly empty) subset I⊂{1,2,…,ℓ} such that ∑i∈Imi∈[x−2,x] holds.
We have x1≤2000/1000=2, so the base case ℓ=1 is clear: if x<2, we can choose I=∅, otherwise I={1} works.
For the induction step (ℓ→ℓ+1, where ℓ≤999) we see that for x≤∑i=1ℓmi there is nothing to show. Since we can replace any set I by I∪{ℓ+1}, the claim also holds for mℓ+1≤x≤mℓ+1+∑i=1ℓmi=∑i=1ℓ+1mi. Thus the induction step is complete, except when 2+∑i=1ℓmi<mℓ+1. In this case it follows that mi>2+ℓ for all ℓ+1≤i≤1000, which implies the following inequality.
2000=i=1∑1000mi=i=1∑ℓmi+i=ℓ+1∑1000mi>ℓ+(1000−ℓ)(2+ℓ)=2000+999ℓ−ℓ2
Hence ℓ>999, a contradiction, which completes the proof of the lemma.
We now apply the lemma to ℓ=1000 and x=1001. This shows that there exists a subset I⊂{1,2,…,1000} for which ∑i∈Ixi∈[999,1001] holds. Since ∑i=11000mi=2000, we also have ∑i∈{1,…,1000}\Ixi∈[999,1001], and the division of the coins corresponding to the partition
{1,…,1000}=I∪({1,…,1000}\I)
satisfies the claim.
2. Solution (Greedy algorithm). We use the same notation as in the first solution. The pirate distributes the coins according to the following procedure: he places all coins, in descending order of their masses (i.e., starting with the heaviest coin of mass m1000), one after another onto two piles H1 and H2, placing each coin on whichever pile is lighter at that moment; in case of a tie he chooses either pile arbitrarily.
We claim that neither pile ever weighs more than 1001 grams.
Suppose that after placing the k-th coin of mass m1001−k, one of the piles is nevertheless heavier than 1001 grams. Before this step, both piles together weighed ∑i=1002−k1000mi grams, and since the coin was placed on the lighter pile, it follows that
m1001−k+21i=1002−k∑1000mim1001−k+21i=1∑1000mi21m1001−k+1000m1001−k>1001>1001+21i=1∑1001−kmi>1001+21i=1∑1000−kmi>2+i=1∑1000−kmi≥2+1000−k=1002−k
From this it now follows that
2000=i=1∑1000mi=(i=1∑1000−kmi)+(i=1001−k∑1000mi)≥1000−k+k⋅m1001−k>1000−k+k(1002−k)
so f(k)=−k2+1001k−1000<0, which, because f(k)=(k−1)(1000−k) and 1≤k≤1000, is nevertheless a contradiction.
So the claim is true, and even after distributing the lightest coin of mass m1, both piles weigh no more than 1001 grams. Since together they weigh 2000 grams, each pile must weigh at least 999 grams, and we have found a distribution as required.
3. Solution (Pigeonhole principle). We again use the same notation as in the first solution. Since m1000≥2>1, we have m1+⋯+m999<1999, and the 1000 sums
0,m1,m1+m2,…,m1+m2+⋯+m999
each lie in exactly one of the 1000 pigeonholes
{[0,1)∪[1000,1001),}{[1,2)∪[1001,1002),}…,{[998,999)∪[1998,1999),}{[999,1000)}
If one of the sums lies in the last pigeonhole [999,1000), we are done, otherwise two sums lie in the same pigeonhole [k,k+1)∪[1000+k,1001+k) (for some fixed 0≤k≤998). Since by assumption mi≥1, one of the sums lies in the interval [k,k+1) and the other in [1000+k,1001+k), so the difference mi+1+mi+2+⋯+mj of the two sums lies in the interval (999,1001) and thus yields a distribution as desired.