>>255
2{n-(k+1)}+2{n-(k+2)}+・・・・・+2(n-n)
=2{(n-k)-1}+2{(n-k)-2}+・・・・+2{(n-k)-(n-k)}
=2(n-k)^2-2{1+2+・・・・+(n-k)}