Great proof! Makes great sense.
Just a minor typo: in the 5th point where Sa = a1 + a1 + d1 + a2 + a2 + d2 + ... + an + an + di, the last di should be dn.
Array Partition I
Looks like your connection to LeetCode Discuss was lost, please wait while we try to reconnect.