が独立のとき，， だから も独立であるよって ， とした と は独立である．よって が成立する．このような証明もあまり見ないなぁ．実質的には同じだけど普通は のようにやる．大事なことは， と は独立なのだから， 「わざわざ展開しなくて良いのでは？」 …

とおくと， より，これは について定数関数．よって となる．おそらくこの証明が一番短い．2022.10.14追記 もちろん， を知っていれば となり，もっと短くなる．

不偏分散の証明によく用いる写真1枚目の関係式 - 球面倶楽部 零八式 mark II のつづき分散の平行移動による不変性は，微分により簡単に確かめられる． とおくと， であるから， が成立する．このように書いてある教科書はまだ知らないな．不偏分散の不偏性の…