9
$\begingroup$

I am tempted to say yes because of the following pseudo-proof (I say pseudo-proof because I am not convinced):

$$ \frac{\frac{w+x}{2}+\frac{y+z}{2}}{2}=\frac{w+x}{4}+\frac{y+z}{4}=\frac{w+x+y+z}{4} $$

Is this proof enough or am I completely wrong? If I am not wrong but this is not proof, what would be a good proof?

Edit:

I guess the following proves otherwise:

$$ \frac{w+x+y+z}{4} \neq \frac{\frac{w+x+y}{3}+z}{2} $$

That would be proof against my original statement by contradiction.

  • 1
    Your result is for a particular case, when you have two averages of two numbers. I suggest you to state this in formal way even if it is a simple case will help you with the formality of Maths.2012-03-01
  • 0
    If the smaller groups all have the same number of elements, then the result *is* true.2012-03-01
  • 3
    A school of $100$ has very good students. The school average on a standardized set was $95$%. A not so good huge school has $3000$ students. The school average on the test was $45$%. The average of the averages is $70$%, pretty good. The true average over all students is $\frac{(95)(100)+(45)(3000)}{3100}$, about $46.6$\%. Guess which of $70$% or $46.6$% the Superintendent of Schools will quote when (s)he gives a press conference about how good the school system is.2012-03-01
  • 0
    Possible duplicate of [Why is an average of an average usually incorrect?](http://math.stackexchange.com/questions/95909/why-is-an-average-of-an-average-usually-incorrect)2016-10-26

2 Answers 2

10

$1,1,1,2,2$

Their average is $\frac{7}{5}$.

But if you take it as $1,1,1$ and $2,2$, and average the averages, you get a different result.

But, what you said works if the number of numbers is a power of $2$ and you split into two equal sized sets. Interestingly, this observation was used by Cauchy to give an inductive proof of the $\text{AM} \ge \text{GM}$ inequality!

6

The correct answer is that it depends. The average of averages is only equal to the average of all values in two cases:

  1. if the number of elements of all groups is the same; or
  2. the trivial case when all the group averages are zero

As hinted in the comments, your proof is not enough to answer the question as your calculations only prove one particular case in which the sets have the same size (thus you arriving at the incorrect answer). You need to generalize your math to account for all cases. Below is my attempt at it.

Consider two sets $X = \{x_1, x_2, ..., x_n\}$ and $Y = \{y_1, y_2, ..., y_m\}$ and their averages:

$$ \bar{x} = \frac{\sum_{i=1}^{n}{x_i}}{n} \,,\, \bar{y} = \frac{\sum_{i=1}^{m}{y_i}}{m} $$

The average of the averages is:

$$ average(\bar{x}, \bar{y}) = \frac{\frac{\sum_{i=1}^{n}{x_i}}{n} + \frac{\sum_{i=1}^{m}{y_i}}{m}}{2} = \frac{\sum_{i=1}^{n}{x_i}}{2n} + \frac{\sum_{i=1}^{m}{y_i}}{2m} $$

Now consider the whole group $Z = \{x_1, x_2, ..., x_n, y_1, y_2, ..., y_m\}$ and its average:

$$ \bar{z} = \frac{\sum_{i=1}^{n}{x_i} + \sum_{i=1}^{m}{y_i}}{n + m}$$

For the general case, we can see that these averages are different:

$$ \frac{\sum_{i=1}^{n}{x_i}}{2n} + \frac{\sum_{i=1}^{m}{y_i}}{2m} \ne \frac{\sum_{i=1}^{n}{x_i} + \sum_{i=1}^{m}{y_i}}{n + m} $$

This is why the average of averages usually gives the wrong answer.

However, if we make $n = m$, we have:

$$ \frac{\sum_{i=1}^{n}{x_i}}{2n} + \frac{\sum_{i=1}^{m}{y_i}}{2n} = \frac{\sum_{i=1}^{n}{x_i} + \sum_{i=1}^{n}{y_i}}{2n} $$

This is why the average of averages is equal to the average of the whole group when the groups have the same size.

The second case is trivial: $\bar{x} = \bar{y} = average(\bar{x}, \bar{y}) = 0$.

Note that the above reasoning can be extended for any number of groups.

See also the answers to this similar question: Why is an average of an average usually incorrect?