Fungrim home page

Fungrim entry: f55b36

π=4( 2F1 ⁣(−12,1,12,−1)−1)\pi = 4 \left(\,{}_2F_1\!\left(-\frac{1}{2}, 1, \frac{1}{2}, -1\right) - 1\right)
TeX:
\pi = 4 \left(\,{}_2F_1\!\left(-\frac{1}{2}, 1, \frac{1}{2}, -1\right) - 1\right)
Definitions:
Fungrim symbol Notation Short description
Piπ\pi The constant pi (3.14...)
Hypergeometric2F1 2F1 ⁣(a,b,c,z)\,{}_2F_1\!\left(a, b, c, z\right) Gauss hypergeometric function
Source code for this entry:
Entry(ID("f55b36"),
    Formula(Equal(Pi, Mul(4, Sub(Hypergeometric2F1(Neg(Div(1, 2)), 1, Div(1, 2), -1), 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