Variance of Logistic Distribution/Proof 1

Proof
From the definition of the logistic distribution, $X$ has probability density function:


 * $\map {f_X} x = \dfrac {\map \exp {-\dfrac {\paren {x - \mu} } s} } {s \paren {1 + \map \exp {-\dfrac {\paren {x - \mu} } s} }^2}$

From Variance as Expectation of Square minus Square of Expectation:


 * $\ds \var X = \int_{-\infty}^\infty x^2 \, \map {f_X} x \rd x - \paren {\expect X}^2$

So:


 * $\ds \var X = \frac 1 s \int_{-\infty}^\infty \dfrac {x^2 \map \exp {-\dfrac {\paren {x - \mu} } s} } {\paren {1 + \map \exp {-\dfrac {\paren {x - \mu} } s} }^2} \rd x - \mu^2$

let:

and also:

Then: