Wynik można udowodnić za pomocą obrazu: widoczne szare obszary pokazują, że rozkład równomierny nie może zostać rozłożony jako suma dwóch niezależnych zmiennych o identycznym rozkładzie.
Notacja
Niech i Y będą takie, że X + Y ma równomierny rozkład na [ 0 , 1 ] . Oznacza to, że dla wszystkich 0 ≤ a ≤ b ≤ 1 ,XYX+Y[0,1]0≤a≤b≤1
Pr(a<X+Y≤b)=b−a.
Zasadniczą wsparcie wspólnego podziału i Y w związku z tym jest [ 0 , 1 / 2 ] (w przeciwnym wypadku nie będzie dodatni prawdopodobieństwo, że X + Y leży poza [ 0 , 1 ] ).XY[0,1/2]X+Y[0,1]
Zdjęcie
Niech . Rozważ ten diagram pokazujący, jak obliczane są sumy zmiennych losowych:0<ϵ<1/4
Podstawowym rozkładem prawdopodobieństwa jest łączny dla . Prawdopodobieństwo dowolnego zdarzenia a < X + Y ≤ b jest podane przez całkowite prawdopodobieństwo pokryte przekątnym pasmem rozciągającym się między liniami x + y = a i x + y = b . Pokazane są trzy takie pasma: od 0 do ϵ , pojawiające się jako mały niebieski trójkąt w lewym dolnym rogu; od 1 / 2 - ε do 1 / 2(X,Y)a<X+Y≤bx+y=ax+y=b0ϵ1/2−ϵ 1 , pojawiające się jako mały czerwony trójkąt w prawym górnym rogu.1/2+ϵ, pokazany jako szary prostokąt zakończony dwoma (żółtymi i zielonymi) trójkątami; i od do1−ϵ1
Co pokazuje obrazek
Porównując lewy dolny trójkąt na rysunku z lewym dolnym kwadratem zawierającym go i wykorzystując założenie iid dla i YXY , jasne jest, że
ϵ=Pr(X+Y≤ϵ)<Pr(X≤ϵ)Pr(Y≤ϵ)=Pr(X≤ϵ)2.
Zauważ, że nierówność jest ścisła: równość nie jest możliwa, ponieważ istnieje pewne pozytywne prawdopodobieństwo, że zarówno jak i Y są mniejsze niż ϵ, ale mimo to X + Y > ϵXYϵX+Y>ϵ .
Podobnie, porównując czerwony trójkąt z kwadratem w prawym górnym rogu,
ϵ=Pr(X+Y>1−ϵ)<Pr(X>1/2−ϵ)2.
Wreszcie porównanie dwóch przeciwnych trójkątów w lewym górnym i prawym dolnym rogu z pasmem ukośnym, który je zawiera, daje kolejną surową nierówność
2ϵ<2Pr(X≤ϵ)Pr(X>1/2−ϵ)<Pr(1/2−ϵ<X+Y≤1/2+ϵ)=2ϵ.
Pierwsze Ensues nierówności z poprzednich dwóch (wziąć ich pierwiastkowania i pomnożyć je), podczas gdy drugi opisuje (ścisła) włączenie trójkątów w zespole i ostatnia równość wyraża równomierność . Wniosek, że 2 ϵ < 2 ϵ jest sprzecznością dowodzącą, że X i Y nie mogą istnieć, QED .X+Y2ϵ<2ϵXY