10
$\begingroup$

Why is the average for $n$ numbers given by $(a+b+c+\cdots)/n$? I deduced the formula for the average of 2 numbers which was easy because its also the mid point, but I couldn't do it for more than 2 numbers.

$\endgroup$
15
  • 1
    $\begingroup$ See here: en.m.wikipedia.org/wiki/Average $\endgroup$
    – user371838
    Dec 22, 2016 at 4:05
  • 9
    $\begingroup$ Place all of your numbers as points on the number line. The average is the point you would place a fulcrum to balance the points. $\endgroup$
    – John Douma
    Dec 22, 2016 at 4:06
  • 2
    $\begingroup$ Another thought (apologies if this restates ideas in some of the comments/answers): Over $n$ days, if we get paid each day according to varying amounts $a_1, a_2, …, a_n$, then at the end we have the same amount of money as we would if we had been paid the same amount $(a_1+…+a_n)/n$ on each day. So it makes sense to say that $(a_1+...+a_n)/n$ represents the average pay per day. $\endgroup$
    – Michael
    Dec 22, 2016 at 7:34
  • 3
    $\begingroup$ Maybe it's just me, but isn't the average (or better, the arithmetic mean) DEFINED as (a+b+c+...)/n? It's not a discovery, nor a theorem to be demonstrated. It's a definition. It's almost the same as asking "why does the light in vacuum travel at c (which is the speed of light in vacuum)?". Well, because c IS the speed of light in vacuum... $\endgroup$
    – frarugi87
    Dec 22, 2016 at 10:48
  • 4
    $\begingroup$ @frarugi87: Not really; or at least, I'd say that's the average, but not the arithmetic mean. They might be synonyms in your middle school textbook, but their equality doesn't make sense if you think about what they should intuitively mean (no pun intended). The real definition of arithmetic mean is that it is the value with the minimum total squared distance to all the elements of the given set. I actually find find it shocking that this value (whose primary operation is subtraction, i.e. distance) happens to be given by such a simple formula (whose primary operation is addition). $\endgroup$
    – user541686
    Dec 22, 2016 at 11:54

4 Answers 4

25
$\begingroup$

Suppose all of us gathered here in this room take all the money out of our pockets and put it on the table, and then we divide it among us in such a way that we all have the same amount. The total amount is still the same. Then the amount we each have is the average. That's what averages are.

The total amount is $a+b+c+\cdots$. The number of us gathered here is $n$. So the amount that each of us gets is $(\text{total}/n).$

$\endgroup$
1
  • 5
    $\begingroup$ I like how this example can illustrate skewing. If in this scheme one of us in the room began with a million dollars, and the rest of us between 20 and 50 dollars, then all but one of us is going to be very happy afterwards. $\endgroup$
    – cobaltduck
    Dec 22, 2016 at 19:31
13
$\begingroup$

In most contexts, what passes for an 'average' can be thought of this way: if you replaced a collection of separate instances with their 'average', you get the same result.

The usual mean comes from thinking this way for addition: if you have numbers $a_1,\ldots,a_n$, their sum is $a_1+\cdots+a_n$. If you replaced all of them with their mean $\mu$, you should also get $a_1+\cdots+a_n$.

Therefore $\mu$ must satisfy $$ n\mu=a_1+\cdots+a_n, $$ leading to the formula you've seen.

As another example: doing the same thing but for multiplication leads to the geometric mean $\sqrt[n]{a_1a_2\cdots a_n}$.

$\endgroup$
3
  • $\begingroup$ By "same result", if you mean "same sum", then this is right. "Sum" is certainly a more precise term in this case. $\endgroup$ Dec 22, 2016 at 6:13
  • 5
    $\begingroup$ I was making a point that averages can be defined in lots of different contexts, and that the specific definition depends on the context. In the context of addition, the 'average' is the arithmetic mean. In the context of multiplication, it is the geometric mean. Etc. $\endgroup$ Dec 22, 2016 at 6:25
  • $\begingroup$ $\ldots\,$and in some contexts, "average" means median, or some other trimmed mean. $\endgroup$ Dec 22, 2016 at 18:23
10
$\begingroup$

Here is a slightly different perspective on what Nick and Michael have already said: the average of $n$ numbers $x_i$ is the unique number $\mu$ such that the sum of the deviations $x_i-\mu$ is zero.

Starting from this characteristic property it is easy to derive the formula

$$\mu=\frac{1}{n}\sum x_i$$

A closely related characterization comes from statistics. Suppose we want to find the "number of best fit" for our data points $x_i$. To find this number, we first need to say what counts as "best."

One popular choice is to measure the "error" of our best-fit "approximation" using a quadratic "cost function." More formally, finding "the number of best fit" amounts to finding the number $m$ that minimizes the sum of the squared errors

$$SSE=\sum (x_i-m)^2$$

If you know any calculus (or simple multivariable geometry) you can easily prove that this function is minimized precisely when $m$ is the average of the $x_i$. In this sense, the average is the minimizer of squared errors.

If instead of measuring error by the sum of the quadratic deviations $(x_i-m)^2$ we use the sum of absolute deviations $|x_i-m|$, the minimizer is the median rather than the average.

In fact, other types of means (the geometric mean, the harmonic mean, etc.) can be understood using this same framework. See the Wikipedia page on Fréchet means.

$\endgroup$
4
  • $\begingroup$ Don't forget mode! $\endgroup$
    – user541686
    Dec 22, 2016 at 12:09
  • 1
    $\begingroup$ To me, anything that requires math above Algebra II isn't "intuitive"... $\endgroup$ Dec 22, 2016 at 17:37
  • 1
    $\begingroup$ @Feathercrown: the word you're looking for is elementary, not intuitive. $\endgroup$ Dec 22, 2016 at 19:40
  • $\begingroup$ Fair enough.... $\endgroup$ Jan 3, 2017 at 22:34
5
$\begingroup$

If Bill Gates walked into a crowded bar, on an average, everyone is a millionaire.

Loosely, an average is supposed to be a representative value for a sample. Sort of. But as you can see, it needn't be the case always.

But every time, average is definitely this: if what we collectively have is distributed equally among all of us, the average is what each of us would get.

What we collectively have: $a_1+a_2+\cdots+a_n$

How many of us are there: $n$

What each one would get: $\frac{\text{total}}{\text{number of people}} = \frac{a_1+a_2+\cdots+a_n}{n} = \textbf{average}$

And that's why everyone becomes a millionaire. On average. Bill Gates simply has that much. The moral is, outliers can sometimes mess up the average, make it unreliable. Other times, everyone kind of has that much.

PS: Call it arithmetic mean instead of average. Also, read the answer by @symplectomorphic. It has an interesting (and often very useful) take on how to think of an arithmetic mean.

$\endgroup$

Not the answer you're looking for? Browse other questions tagged .