Assumptions:
TeX:
\,{}_2F_1\!\left(1, 1, 2, z\right) = -\frac{\log\!\left(1 - z\right)}{z} z \in \mathbb{C} \setminus \left\{0, 1\right\}
Definitions:
Fungrim symbol | Notation | Short description |
---|---|---|
Hypergeometric2F1 | Gauss hypergeometric function | |
Log | Natural logarithm | |
CC | Complex numbers |
Source code for this entry:
Entry(ID("a85994"), Formula(Equal(Hypergeometric2F1(1, 1, 2, z), Neg(Div(Log(Sub(1, z)), z)))), Variables(z), Assumptions(Element(z, SetMinus(CC, Set(0, 1)))))