Calculation of the Mean

The proof is divided into two parts. The result is proved first for the case when *a*=0,
and then is extended to include any rational *a*. Although the proof splits naturally in
this way, the formula for *a*=0 actually corresponds to *q*=1 in the more general case. The
case when *a* is irrational will be looked at in section 6.3.