チェビシェフの不等式は、任意の確率変数Xとその平均μ、標準偏差σ、および任意の正の数kに対して、次の不等式が成り立つというものです。 P(∣X−μ∣≥k)≤k2σ2 ここで、Xが連続確率変数の場合を考えます。Xの確率密度関数をf(x)とします。 まず、分散の定義から始めます。分散は、平均からの二乗偏差の期待値として定義されます。
σ2=E[(X−μ)2]=∫−∞∞(x−μ)2f(x)dx 次に、∣X−μ∣≥kとなる領域を積分範囲とします。この領域では、(x−μ)2≥k2が成り立ちます。したがって、 σ2=∫−∞∞(x−μ)2f(x)dx≥∫∣x−μ∣≥k(x−μ)2f(x)dx さらに、(x−μ)2≥k2なので、 ∫∣x−μ∣≥k(x−μ)2f(x)dx≥∫∣x−μ∣≥kk2f(x)dx=k2∫∣x−μ∣≥kf(x)dx ここで、∫∣x−μ∣≥kf(x)dxは、∣X−μ∣≥kとなる確率P(∣X−μ∣≥k)を表します。したがって、 σ2≥k2P(∣X−μ∣≥k) P(∣X−μ∣≥k)≤k2σ2 が得られます。これがチェビシェフの不等式です。