The unbiased estimator for the variance of the distribution of a random variable , given a random sample is
That rather than appears in the denominator is counterintuitive and confuses many new students. Here it is proven that this form is the unbiased estimator for variance, i.e., that its expected value is equal to the variance itself.
Let [1] be
the estimator for the variance of some random variable [3]. Then
Then
And so
The expectations on the right-hand side are not known immediately. However, from the definition of variance
where [15] and [16] are the variance and mean of [17], respectively.
The other term can be represented thus, according to the definition of variance and the Central Limit Theorem
where [20] and [21] are the variance and mean of [22], respectively.
These indirect forms are then substituted back into the previously unsolvable equation
Thus the expected value of the estimator is equal to the variance and the estimator is therefore unbiased.
QED
==
==