Estoy viendo este video, donde D. Knuth explica la conexión de $\pi$ y factoriales, y otros asuntos (es muy interesante). Casi al final de la charla nos dice que el área de la superellipse
$$x^{\frac{1}{\alpha}}+y^{\frac{1}{\alpha}}=1$$
está dada por
$$A(\alpha) = \frac{2 \alpha \cdot\Gamma{(\alpha)}^2}{\Gamma{(2 \alpha)}}$$ que sería
$$A(\alpha) = 2 \alpha B(\alpha,\alpha) = 2 \alpha\int_0^1(1-u)^{\alpha-1}u^{\alpha-1}du $$
Yo estaba tratando de comprobar esto así que me puse
$$A\left( \alpha \right) = \int\limits_0^1 {{{\left( {1 - {x^{1/\alpha }}} \right)}^\alpha }dx} $$
Ahora vamos a $x = {u^\alpha }$
$$A\left( \alpha \right) = \alpha \int\limits_0^1 {{{\left( {1 - u} \right)}^\alpha }{u^{\alpha - 1}}du} $$
¿Qué está pasando?
El $2$ en Knuth la fórmula probablemente proviene del hecho de que él considera el pleno de la figura y no solo la cuarta parte, como soy, pero no sé qué estoy haciendo mal aquí. Si desea comprobar, es al $1:21:00$ aproximadamente.
PD: Solo como una curiosidad, ¿ Knuth tiene un tartamudeo o es que él es sólo de pensar en demasiadas cosas en demasiado poco tiempo?
Así que fue OK:
$$A\left( \alpha \right) = \alpha \int\limits_0^1 {{{\left( {1 - u} \right)}^\alpha }{u^{\alpha - 1}}du} = \frac{{\alpha \Gamma \left( {\alpha + 1} \right)\Gamma \left( \alpha \right)}}{{\Gamma \left( {2\alpha + 1} \right)}} = \frac{{\Gamma {{\left( {\alpha + 1} \right)}^2}}}{{\Gamma \left( {2\alpha + 1} \right)}}$$