TeX:
\operatorname{agm}\!\left(1, i\right) = \frac{\sqrt{2} \left(1 + i\right) {\pi}^{3 / 2}}{{\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}}
Definitions:
Fungrim symbol | Notation | Short description |
---|---|---|
AGM | Arithmetic-geometric mean | |
ConstI | Imaginary unit | |
Sqrt | Principal square root | |
Pow | Power | |
Pi | The constant pi (3.14...) | |
Gamma | Gamma function |
Source code for this entry:
Entry(ID("69d0a3"), Formula(Equal(AGM(1, ConstI), Div(Mul(Mul(Sqrt(2), Add(1, ConstI)), Pow(Pi, Div(3, 2))), Pow(Gamma(Div(1, 4)), 2)))))