Hay una agradable, natural de estadística de la solución a este problema por parte integral de los valores de $K$, mostrando que el producto tiene un $\chi^2(2)$ distribución. Sólo depende conocido, fácil de establecer relaciones entre las funciones de la normal estándar de las variables.
Al $K$ es integral, una Beta$(1,K-1)$ distribución se plantea como la relación $$\frac{X}{X+Z}$$ where $X$ and $Z$ are independent, $X$ has a $\chi^2(2)$ distribution, and $Z$ has a $\chi^2(2K-2)$ de distribución. (Ver el artículo de Wikipedia sobre la distribución Beta , por ejemplo.)
Cualquier $\chi^2(n)$ la distribución de la suma de los cuadrados de $n$ independiente de la Normal estándar variables. En consecuencia, $X+Z$ es distribuido como el cuadrado de la longitud de una $2 + 2K-2 = 2K$ vector con un estándar de distribución multinormal en $\mathbb{R}^{2K}$ $X/(X+Z)$ es el cuadrado de la longitud de los dos primeros componentes cuando que el vector se proyecta radialmente a la unidad de la esfera de $S^{2K-1}$.
La proyección de un estándar multinormal $n$-vector en la unidad de la esfera tiene una uniforme distribución debido a que la distribución multinormal es esféricamente simétrica. (Que es, es invariante bajo el grupo ortogonal, un resultado que sigue inmediatamente a partir de dos hechos simples: (a), el grupo ortogonal corrige el origen y por definición no cambia covarianzas; y (b) la media y la covarianza completamente determinar la distribución normal multivariante. Yo ilustra esto para el caso de $n=3$ a http://stats.stackexchange.com/a/7984). De hecho, la simetría esférica de inmediato se muestra esta distribución es uniforme condicional en la longitud del vector original. La relación de $X/(X+Z)$ por lo tanto es independiente de la longitud.
Todo lo que esto implica es que la multiplicación de $X/(X+Z)$ independiente, $\chi^2(2K)$ variable $Y$ crea una variable con el mismo sistema de distribución como $X/(X+Z)$ multiplicado por el $X+Z$; a saber, la distribución de $X$, que tiene un $\chi^2(2)$ distribución.