Нехай - відстань від початку, а - об'єм одиничної гіперсфери в розмірах. Тоді об'єм, що міститься в гіперсфері радіусу дорівнюєrV0[p]pr
V[r]=V0[p]rp
Якщо дозволити позначати частку об'єму, що міститься в цій гіперсфері, і визначимо , тоP=V[r]/V0[p]R=rp
P[R]=R
Якщо точки даних рівномірно розподілені в межах одиничного кулі, то для наведена вище формула являє собою інтегральну функцію розподілу (CDF) для . Це еквівалентно рівномірній щільності ймовірності для протягом одиничного інтервалу, тобто . Отже, як натякав Марк Стоун у коментарях, ми можемо звести розмірний випадок до еквівалентної 1D задачі.0≤R≤1RRp[R]=P′[R]=1p
Тепер якщо у нас є одна точка , то за визначенням CDF ми маємо і . Якщо - найменше значення з точок, і всі точки незалежні, то CDF для задається
(це стандартний результат універсальної теорії крайніх значень ).RPr[R≤ρ]=P[ρ]Pr[R≥ρ]=1−P[ρ]Rminn
Pr[Rmin≥ρ]=Pr[R≥ρ]n=(1−ρ)n
За визначенням медіани маємо
яку ми можемо перепишіть як
що еквівалентно бажаному результату.
12=Pr[(Rmin)med≥R]=(1−R)n
(1−dp)n=12
EDIT: Спроба відповіді " ELI5 " у трьох частинах.
Для 1D випадку з однією точкою відстань розподіляється рівномірно по , тому медіана буде .[0,1]12
У 1D розподіл на мінімум понад точок є першим випадком до ї потужності.nn
У розмірах відстань не розподілено рівномірно, але є.prrp