>>942
もう少し簡単になるな。
Σ[k=1 to 501]1001C(2k-1)
=Σ[k=0 to 1001]1001Ck)-Σ[k=0 to 500]1001C(2k)
=2^1001-Σ[k=0 to 500]1001C(1001-2k)
=2^1001-Σ[k=1 to 501]1001C(2k-1)
∴(2^1000)*Σ[k=1 to 501]1001C(2k-1)=2^2000