ThmDex – An index of mathematical definitions, results, and conjectures.
Proof P3241 on R4732:
P3241
We have \begin{equation} \begin{split} 1 - f(x) = 1 - \frac{1}{1 + e^{- x}} & = \frac{1 + e^{- x}}{1 + e^{- x}} - \frac{1}{1 + e^{- x}} \\ & = \frac{1 + e^{- x} - 1}{1 + e^{- x}} \\ & = \frac{e^{- x}}{1 + e^{- x}} \\ & = \frac{e^x}{e^x} \frac{e^{- x}}{1 + e^{- x}} \\ & = \frac{1}{e^x + 1} \\ & = f(-x) \end{split} \end{equation} $\square$