euler
Euler Journal
Mathematical thinking7 min read

Why the average of averages can be wrong—and when it works

The average of two group averages is not automatically the average of all the observations. It is guaranteed to work when the groups have the same size; otherwise, each group average must be weighted by the number of observations it represents. The distinction is small in notation but important in reasoning: an average summarises both a total and a count.

An average hides two pieces of information

A mean is usually written as one number, but it comes from a total divided by a count. If a group of nn values has mean mm, then the values in that group add up to nmnm. Knowing the mean without the count loses part of the information needed to combine groups.

That is why two displayed averages should not automatically receive equal influence. An average based on eight observations represents four times as much data as an average based on two observations. Combining them fairly means reconstructing the group totals first.

A worked example: 80 looks plausible, but 74 is correct

Suppose group A contains 22 values with mean 9090, while group B contains 88 values with mean 7070. The tempting shortcut is (90+70)/2=80.(90+70)/2=80. But this treats the two groups as if they contained the same number of observations.

Recover the totals instead. Group A contributes 2×90=1802\times90=180 and group B contributes 8×70=5608\times70=560. Across all 1010 observations, the total is 740740, so the combined mean is 180+5602+8=74010=74.\frac{180+560}{2+8}=\frac{740}{10}=74. This result is correctly closer to 7070, because eight of the ten observations belong to group B.

The weighted-average formula preserves every observation

For groups with sizes n1,n2,…,nkn_1,n_2,\ldots,n_k and means m1,m2,…,mkm_1,m_2,\ldots,m_k, the combined mean is xˉ=n1m1+n2m2+⋯+nkmkn1+n2+⋯+nk.\bar{x}=\frac{n_1m_1+n_2m_2+\cdots+n_km_k}{n_1+n_2+\cdots+n_k}. Each product nimin_im_i reconstructs a group total. The numerator then adds all values, while the denominator counts all observations.

The weights can also be written as proportions. In the example, group A has weight 2/102/10 and group B has weight 8/108/10, giving (2/10)90+(8/10)70=18+56=74.(2/10)90+(8/10)70=18+56=74. Both forms express the same structure; choose the one that makes the data easiest to check.

When does the simple average of averages work?

If two groups have the same size nn, the combined mean becomes nm1+nm22n=m1+m22,\frac{nm_1+nm_2}{2n}=\frac{m_1+m_2}{2}, so the shortcut is valid. It can also happen to give the right result when unequal groups have identical means, because weighting identical numbers changes nothing.

More generally, equal weighting is safe only when each displayed average represents an equal share of the underlying observations, or when additional information proves that the unequal weights do not affect the result. “There are two averages” is not enough evidence for weights of one half each.

Use a range and direction check before trusting the arithmetic

A combined mean must lie between the smallest and largest group means, provided every group size is positive. It should also move toward the mean of the larger group. In the example, the answer must lie between 7070 and 9090 and should be much closer to 7070 because group B contains 80%80\% of the observations. The value 7474 passes both checks.

These checks do not replace the calculation, but they expose many mistakes quickly. An answer above 9090, below 7070, or closer to the two-value group would contradict the structure before any detailed recalculation is needed.

The learning habit is to ask what a summary represents

The deeper lesson is not a new formula to memorise. It is a question to ask whenever a summary statistic appears: what count, total, or population does this number represent? The same habit matters when comparing class results, experiment batches, response rates, prices, and other aggregated data.

A useful tutor should therefore ask for the group sizes before combining averages and should make the missing assumption visible. If you want to practise the reasoning with your own numbers, open Euler’s tutor; the worked guides in Euler Learn use the same pattern of derivation followed by an independent check.

In short

  • A group mean represents both a total and a count; the count cannot be discarded when groups are combined.
  • Multiply each mean by its group size, add the reconstructed totals, then divide by the total number of observations.
  • The simple average of group means is guaranteed when group sizes are equal and may coincide in special cases such as identical means.
  • Check that the result lies between the group means and is pulled toward the larger group.