Fungrim home page

Fungrim entry: 0ad836

i=12(1+i)\sqrt{i} = \frac{1}{\sqrt{2}} \left(1 + i\right)
TeX:
\sqrt{i} = \frac{1}{\sqrt{2}} \left(1 + i\right)
Definitions:
Fungrim symbol Notation Short description
Sqrtz\sqrt{z} Principal square root
ConstIii Imaginary unit
Source code for this entry:
Entry(ID("0ad836"),
    Formula(Equal(Sqrt(ConstI), Mul(Div(1, Sqrt(2)), Add(1, ConstI)))))

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