#* Пробел после запятой, разделяющей аргументы функции
#* Используем какой-то определённый стиль именования переменных(я бы рекомендовал lowerCamelCase для переменных и функций и UpperCamelCase для классов)
== correlation coefficient ==
{{Теорема
|statement= <tex>Cov^2(\eta, \xi) \le \sigma_\eta ^2\sigma_\xi ^2</tex> (где<tex>\sigma</tex> — среднеквадратическое отклонение)
|proof= Для этого предположим, что <tex> t </tex> некоторое вещественное число, которое мы выберем позже, и рассмотреть очевидное неравенство
<tex> E((V+tW)^2) \ge 0 </tex>, где <tex> V = \eta - E\eta </tex> и <tex> W = \xi - E\xi </tex>.
Используя линейность математического ожидание, мы получим эту неравенству
<tex> E(V^2)+2tE(VW)+t^2E(W^2) \ge 0 </tex>
Обратите внимание, что левая часть квадратный трехчлен зависимо на <tex> t </tex>.
Мы имеем <tex> E(V^2)=\sigma_\eta ^2</tex>, <tex> E(W^2)=\sigma_\xi ^2</tex> и <tex> E(VW)=Cov(\eta,\xi); </tex>
И так, наш квадратный трехчлен выглядит так
<tex>\sigma_\xi ^2t^2+2Cov(\eta,\xi)t+\sigma_\eta ^2 \ge 0</tex>
Из этого неравенства мы видим, что единственный способ левой стороне может быть 0
, если многочлен имеет двойной корень (т.е. это касается оси <tex>x</tex> в одном
точкe), которая могла произойти только если дискриминант равен 0. Таким образом, дискриминант
всегда должен быть отрицательным или 0, что означает
<tex> 4Cov^2(\eta,\xi)-4\sigma_\eta ^2\sigma_\xi ^2 \le 0</tex>
<tex>Cov^2(\eta,\xi) \le \sigma_\eta ^2\sigma_\xi ^2</tex>
что и нужно было доказывать.
}}
