このスレの主旨とはちょっと違うのですが、
確率変数A,Bがあって
(A+B)/2の確率P((A+B)/2)が求めたいです。
p(A)もp(B)も多変量の正規分布で、
平均はともに0ですが分散が異なります。
どのように導出するのかを教えてもらえるとありがたいです。