1) The theorem of least work states that for statically indeterminate structures, the partial derivative of the total strain energy with respect to redundant/statically indeterminate actions must be equal to zero.
2) This is because redundant forces act to prevent any displacement at their point of application. The forces developed in a redundant structure minimize the total internal strain energy.
3) The theorem is proved by analyzing a statically indeterminate beam as the superposition of a determinate beam with applied loads and a determinate beam with the redundant reaction. Equating the deflections caused by each case results in the condition that the strain energy is minimized.