Mediante proyección ortogonal de vectores de álgebra. La esencia de esta prueba es que se desea minimizar la distancia Euclidiana entre los vectores $\bar x = (x, ..., x) \in R_n$$\bar a = (a_1, ..., a_n) \in R_n$.
Premisa 1 (cesión)
Ha $f: x \in R \longrightarrow \sum_{\{a_k\}} (a_k - x)^2 \in R$ y quieres encontrar $x$ tal que $f(x)$ o $\sqrt{f(x)}$ es mínima (equivalente a causa de la raíz cuadrada es monótona y $f(x) >= 0 \space \forall x$)
Es trivial demostrar que $\sqrt{f(x)} = \lVert (a_1, ..., a_n) - (x, ..., x)\rVert_2$ donde $\lVert \cdot \rVert_2$ es la norma Euclídea. (Es la intención de que ambos vectores tienen $n$ componentes.) Podemos simplemente escribir $\lVert \bar a - \bar x \rVert$y tenga en cuenta que $\bar x = (x, ..., x)$ es en el espacio vectorial $\{(r, ..., r)| r \in R\} = \langle \space \{ \space (1, ..., 1) \space \} \space \rangle \subset R^n$
Premisa 2 (lema)
Uno puede demostrar que, si $V$ es un espacio vectorial y $W = \langle \{w_1, ..., w_m\} \rangle $ es un subespacio, y $\lVert \cdot \rVert$ es una norma en $V$,, $\forall v \in V, w \in W,$
$\lVert v - w \rVert $ es mínimo (que es: $\lVert v - w \rVert <= \lVert v - w'\rVert \space \forall w' \in W$) si y sólo si $w = \sum_{\{w_k\}} \frac{(v \vert w_k)}{\lVert w_k\rVert^2}w_k$
$w$ luego se llama proyección ortogonal de a $v$.
Solución
Usando el lema, $\lVert \bar a - \bar x\rVert$ es mínimo si y sólo si $\bar x = \sum_{\{w_k\}}\frac{(\bar a \vert w_k)}{\lVert w_k \rVert_2^2}w_k = \frac{(\bar a \vert (1, ..., 1))}{\lVert (1, ..., 1) \rVert_2^2}(1, ..., 1) = \frac{\sum_{\{a_k\}}a_k}{n}(1, ..., 1)$
o, equivalentemente, $x = \frac{\sum_{\{a_k\}}a_k}{n}$.