Fungrim home page

Fungrim entry: a85994

2F1 ⁣(1,1,2,z)=log ⁣(1z)z\,{}_2F_1\!\left(1, 1, 2, z\right) = -\frac{\log\!\left(1 - z\right)}{z}
Assumptions:zC{0,1}z \in \mathbb{C} \setminus \left\{0, 1\right\}
\,{}_2F_1\!\left(1, 1, 2, z\right) = -\frac{\log\!\left(1 - z\right)}{z}

z \in \mathbb{C} \setminus \left\{0, 1\right\}
Fungrim symbol Notation Short description
Hypergeometric2F12F1 ⁣(a,b,c,z)\,{}_2F_1\!\left(a, b, c, z\right) Gauss hypergeometric function
Loglog(z)\log(z) Natural logarithm
CCC\mathbb{C} Complex numbers
Source code for this entry:
    Formula(Equal(Hypergeometric2F1(1, 1, 2, z), Neg(Div(Log(Sub(1, z)), z)))),
    Assumptions(Element(z, SetMinus(CC, Set(0, 1)))))

Topics using this entry

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2021-03-15 19:12:00.328586 UTC