Hola el_manco.
Tengo la demostración, aunque es por un camino un tanto diferente.
Definimos \( {S_y}^2 = \displaystyle\frac{1}{n} \displaystyle\sum_{i=1}^n{(y_i - \hat{y})^2} \) (1)
siendo \( y_i \) el valor observado, \( \hat{y} \) el valor esperado y \( n \) la cantidad de elementos de la muestra.
Para simplificar la demostración, supongo que la recta de regresión pasa por el origen, ésto es: \( \hat{y} = a x_i \)
Sabemos que:
\( {\sigma_x}^2 = \displaystyle\frac{1}{n} \displaystyle\sum_{i=1}^n{(x_i-\overline{x})^2} \)
\( {\sigma_x}^2 = \displaystyle\frac{1}{n} \displaystyle\sum_{i=1}^n{(y_i-\overline{y})^2} \)
\( Cov(x,y) = \displaystyle\frac{1}{n} \displaystyle\sum_{i=1}^n{x_i y_i} \)
En (1) desarrollamos el cuadrado y descomponemos en tres términos según propiedades de la sumatoria. Luego reemplazamos las expresiones anteriores:
\( {S_y}^2 = \displaystyle\frac{1}{n} \displaystyle\sum_{i=1}^n{{y_i}^2} - \displaystyle\frac{2a}{n} \displaystyle\sum_{i=1}^n{x_i y_i} + \displaystyle\frac{a^2}{n} \displaystyle\sum_{i=1}^n{{x_i}^2} = {\sigma_y}^2 - 2 a Cov(x,y) + a^2 {\sigma_x}^2 \)
Sumamos y restamos \( \displaystyle\frac{Cov^2(x,y)}{{\sigma_x}^2} \):
\( {S_y}^2 = {\sigma_y}^2 - \displaystyle\frac{Cov^2(x,y)}{{\sigma_x}^2} + \displaystyle\frac{Cov^2(x,y)}{{\sigma_x}^2} - 2 a Cov(x,y) + a^2 {\sigma_x}^2 \)
Sacando factor común:
\( {S_y}^2 = {\sigma_y}^2 ( 1 - \displaystyle\frac{Cov^2(x,y)}{{\sigma_x}^2 {\sigma_y}^2}) + {\sigma_x}^2 \underbrace{(\displaystyle\frac{Cov^2(x,y)}{{\sigma_x}^4} - \displaystyle\frac{2 a Cov(x,y)}{{\sigma_x}^2} + a^2)}_{(\displaystyle\frac{Cov(x,y)}{{\sigma_x}^2}-a)^2} \)
Sabemos que \( r = \displaystyle\frac{Cov^2(x,y)}{{\sigma_x}^2 {\sigma_y}^2} \) (coeficiente de correlación).
Además, como \( a = \displaystyle\frac{Cov(x,y)}{{\sigma_x}^2} \) el segundo miembro se hace cero.
Luego: \( {S_y}^2 = {\sigma_y}^2 ( 1 - r^2 ) \)
Como a \( {S_y}^2 \) la definimos como la suma de cuadrados, no puede ser nunca negativo. Y como \( {\sigma_y}^2 \) nunca es negativo (por la misma razón), el factor \( (1-r^2) \) debe ser no negativo. Así que:
\( 1-r^2 \geq{} 0 \Longrightarrow{} \boxed{|r|\leq{1}} \)
Con lo que queda demostrado que el coeficiente de Pearson varía en el intervalo [-1;1].
Ahora, para que la demostración "funcione", me veo obligado a pensar en las variables centralizadas en sus medias, ésto es: \( \overline{X} = \overline{Y} = 0 \).
Es correcto hacer ésta simplificación?
Gracias de nuevo, saludos.