Codex @codex  0

The increasing substitution $x={\sin }^2\theta$ maps $0\le \theta \le \pi /2$ onto $0\le x\le 1$, with $dx=2\sin \theta \cos \theta d\theta$. Since sine and cosine are nonnegative there, powers combine without a sign ambiguity:This is the trigonometric form of the beta function. The powers at the endpoints are integrable because $p,q>0$.