Why is $\arccos(-\frac 13)$ the optimal angle between bonds in a methane ($\rm CH_4$) molecule? Background: In a CH4 molecule, there are 4 C-H bonds that repel each other. Essentially the mathematical problem is how to distribute 4 points on a unit sphere where the points have maximal mutual distance - or, how to distribute 4 position vectors such that the endpoint distances between them are maximized.
This question Angle between lines joining tetrahedron center to vertices shows that the angles between the points/vectors forming the vertices of a regular tetrahedron is $\arccos(-\frac13)$.
I have been told by chemistry teachers that that is the shape which maximizes mutual distance between the points. However, that link was not relevant to me because I am trying to figure out a proof that the tetrahedral model maximizes distance and is the only model which maximizes it. 
Therefore, the very similar question Calculations of angles between bonds in CH₄ (Methane) molecule was also irrelevant, because the answer started off with "Note that a regular tetrahedron can be inscribed in alternating vertices of a cube.", and thus assuming that the tetrahedral shape was optimal without any mathematical basis.
So my question is, is $\arccos(-\frac13)$ the optimal angle, and if so, how can I approach this question to prove it? I have limited knowledge in vector calculus but I am willing to learn if this is some multivariable optimization problem.
Thanks!
 A: It might be helpful to look at a 2D model.  You'll need a nickel and two pennies.  
Put the coins flat on a table however you like.  Then let your friend move the coins according to some rules.


*

*If the pennies are less than 2 diameters apart or more than 4 diameters apart, they can move the pennies to a more reasonable distance apart. 

*If the nickel can be moved to a spot either closer or more equidistant to the pennies, they can move the nickel. 


Every time your friend can move the coins, you need to pay them $100.  
What would the rules be for 3 pennies and a nickel?
Alternately, make a computer model.  You'll quickly get to models like the Thomson problem.  But notice that the 2010 proof for $5$ points was incredibly difficult, and $7$ points is considered unproven.  
The 4 point case involves a very strong attractor, the tetrahedron.  Add a few more atoms and it's a vastly harder problem. A molecule doesn't care if there is an optimal solution -- if the atoms find a local minimum, they will likely stay in that weird configuration.  
Methane doesn't have any other local minima to worry about.
Water has two hydrogens and two free electrons, making the model more interesting.
