Fungrim home page

Fungrim entry: 4ed6a8

Re ⁣(z)=z+Re(z)2\operatorname{Re}\!\left(\sqrt{z}\right) = \sqrt{\frac{\left|z\right| + \operatorname{Re}(z)}{2}}
Assumptions:zCz \in \mathbb{C}
TeX:
\operatorname{Re}\!\left(\sqrt{z}\right) = \sqrt{\frac{\left|z\right| + \operatorname{Re}(z)}{2}}

z \in \mathbb{C}
Definitions:
Fungrim symbol Notation Short description
ReRe(z)\operatorname{Re}(z) Real part
Sqrtz\sqrt{z} Principal square root
Absz\left|z\right| Absolute value
CCC\mathbb{C} Complex numbers
Source code for this entry:
Entry(ID("4ed6a8"),
    Formula(Equal(Re(Sqrt(z)), Sqrt(Div(Add(Abs(z), Re(z)), 2)))),
    Variables(z),
    Assumptions(Element(z, CC)))

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