Pile splitting problem (Proof by induction) 
Problem: James has a pile of n stones for some positive integer n ≥ 2. At each step, he
  chooses one pile of stones and splits it into two smaller piles and writes the product
  of the new pile sizes on the board. He repeats this process until every pile is exactly
  one stone.
For example, if James has n = 12 stones, he could split that pile into a pile of size
  4 and another pile of size 8. James would then write the number 4 · 8 = 32 on the
  board. He then decides to split the pile of 4 stones into a pile with 1 stone and a
  pile with 3 stones and writes 1 · 3 = 3 on the board. He continues this way until he
  has 12 piles with one stone each.
Prove that no matter how James splits the piles (starting with a single pile of n
  stones), the sum of the numbers on the blackboard at the end of the procedure is
  always the same.

Hint: First figure out what the formula for the final sum will be. Then prove it
using strong induction.
The formula I came up with is $n(n-1) / $2. It could be totally wrong...
My (Partial) Solution:
1) Base Case: (n=2) James has one pile of 2 stones. Suppose he takes the top-most stone and puts in one pile A, which now has size 1. He takes the remaining stone and places it into another pile B, which now has size 1. Then the product of the sizes is 1. The sum of all the products on his board is 1. Now, if he were to start again, and take the bottom stone first and put it in pile A, he has a pile of size 1, and then takes the top stone and puts it in pile B, he has a pile of size 1, and the product is 1, with sum of all products on the board is 1. 
2) Inductive Hypothesis (Strong Induction): Suppose for some $k \geq 2$, $n$ stones can be split in $ 2 \leq n \leq k $ stones and $k-n$ stones.
3) Inductive Step:  Consider $n=k+1$. What do I do now?
 A: First, a couple of comments on how you think about, and write/present this proof.
When doing induction, it is always a good idea to get very clear on exactly what the claim is that you are trying to prove, and thus  what  the property is that you want to show all natural numbers have. So in this case, that would be the claim that for any number $n$: if you start with a pile of $n$ stones, then no matter how you keep splitting it, the eventual sum of products will be the same and in fact will be $\frac{n(n-1)}{2}$.
It is also a good idea to try to conceptually understand why you would want to use some specific induction method to prove your claim. In this case, you want to prove your formula by strong induction, since you can split any pile anywhere, and you want to show that no matter what smaller size piles you end up with, the formula always holds.
Now, as a base case you can in fact just use $n=1$, in which case there is noting to do, and so the sum of the products is $0$, which is indeed what you get when plugging in $n=1$ for your formula.
For the inductive 'step', again get clear on what exactly the inductive hypothesis is (indeed, you make it seem like the step is separated, and comes only after the inductive hypothesis, but the inductive hypotheses is part of the step, so I strongly discourage the way you do this in your post). Now, you write: $n$ stones can eb split into $n$ and $k-n$ stones.  OK, so first of all, that first $n$ should be $k$, but I understand that was just a typo. But far more importantly, this is not the inductive assumption. In fact, it is not even an interesting claim: of course a pile of $k$ stones can be split in two!  The  inductive assumption is that the earlier claim is true for all piles of size $n<k$. IN sum, what you should say after the base cases is:
Step: Let $k$ be some arbitrary number greater than the base case (i.e. $k>1$). The inductive hypothesis is that for any $n<k$ we have that no matter how you split a pile of $n$ stones, the eventual sum of products equals $\frac{n(n-1)}{2}$ (and yes, I very much encourage for strong induction to use $n<k$ rather than $n \le k$, for that allows you to proceed using $k$ instead of $k+1$, which often means that your proof and formulas will become a little easier, and also avoids making it look like you are doing weak induction)
OK, so now we try to show that under that assumption it would follow that the claim is true for a pile of size $k$. Ok, so let's consider a pile of size $k$. Does it matter where we split it? No. Let's split it into piles of size $m$ and $k-m$. By the inductive hypothesis, these two piles will end up with a sum of products of $\frac{m(m-1)}{2}$ and $\frac{(k-m)(k-m-1)}{2}$ respectively, but you also obtained a product of $m(k-m)$ by this very split. Hence, the eventual sum of products will be:
$$\frac{m(m-1)}{2}+\frac{(k-m)(k-m-1)}{2}+m(k-m)=$$
$$\frac{m(m-1)+(k-m)(k-m-1)+2m(k-m)}{2}=$$
$$\frac{m^2-m+k^2-mk-k-mk+m^2+m+2mk-2m^2}{2}=$$
$$\frac{k^2-k}{2}=\frac{k(k-1)}{2}$$
And thus we find the formula is true for any pile of size $k$ as well, no matter where you split it.
Finally, you may want to wrap things up, and say something like:
Since we have proven the base and the step, we have completed the proof by strong induction, and hence the claim is proven.
A: I think the first step would be to try to figure out what the formula for the sum would be. If James has $n$ stones, one way he could work through the process is to remove one stone from the pile each time (putting it into its own 1-stone pile). So at first he would have two piles, one with $n-1$ stones and the other with 1 stone - so a product of $n-1$. Then in the next step he would have three piles, with $n-2$, 1, and 1 stones - a product of $n-2$. And so on, until the sum of his products is 
$$\sum_{k=1}^{n-1} k = \frac{(n-1)n}{2}$$
Then, for your induction step, you would assume that for any $2 \leq k \leq n$, the sum of the products at the end of all the pile dividing is $\frac{(k-1)k}{2}$. You would use that to show that if you have $n+1$ stones, the sum of the products would be $\frac{n(n+1)}{2}$. So, you'd have to think about what your piles would look like after the first division, and what conclusions you could draw from that - can you take it from there?
A: The answer is 4 8 15 16 23 42

Joke aside what you actually need is iterated induction (sorta).
Some setup:


*

*The ordering of two piles is irrelevant. A pile of 2 and a pile of 3 is the same as a pile of 3 and a pile of 2. This is important, and we need not replicate these cases when resolving the base case.



Proof:
We will use complete induction. For the base case suppose that $n=2$. It can only be split in one manner and therefore the sum is equal to itself.
For the inductive step suppose that the statement is true for all piles of size $k$, where $1 < k \leq m$. We can therefore define a function on the range of $k$ called $p(k)$, which is defined to return the unique pile sums. We seek to prove the case that $n = m+1$. Let us consider the case where we split it into piles of size $1$ and $m$. The resulting sum for $m$ is $p(m)$ by induction. Therefore the sum for that case is $m + p(m)$.
Now suppose that we split the pile into two piles $s$ and $n-s$, where $1 \leq s < n$. By induction we then have that the pile sum is $ns - s^2 + p(s) + p(n-s)$. However $n = m+1$ and so $ms + s - s^2 + p(s) + p(m+1-s)$. We can identify $p(s) = \sum_{i=2}^{s} i-1$. Therefore, $p(s) + s = s + \sum_{i=2}^{s} i-1 = \sum_{i=2}^{s+1} i-1 = p(s+1)$. This means that the current pile sum is now $ms - s^2 + p(s+1) + p(m+1-s) = m + s(m - s) + p(s) + p(m-s) = m + p(m)$. Therefore, we have proven that all pile sums equal the case of when we split it into a pile of size $1$ and $m$. Therefore, by transitivity all the pile sums for the case $n = m+1$ are equal. This completes the base case.
Therefore, by induction all  piles of integer size $n \geq 2$ have a unique pile sum.

Remarks:
You can prove that the pile function is the n-series. I won't do that for you. It is just a matter of pulling out nothing but 1's once you have uniqueness.
Note that this could be written as induction upon the pile splitting and the pile size. I worked around it, but feel free to do that if it is easier for you.
In fact, just answer this how you feel it is best answered by you. This is just an example proof.
