Fungrim entry: 77e519

\operatorname{atan2}\!\left(y, 0\right) = \frac{\pi}{2} \operatorname{sgn}(y)

Assumptions:

y \in \mathbb{R}

TeX:

\operatorname{atan2}\!\left(y, 0\right) = \frac{\pi}{2} \operatorname{sgn}(y)

y \in \mathbb{R}

Definitions:

Fungrim symbol	Notation	Short description
`Atan2`	$\operatorname{atan2}\!\left(y, x\right)$	Two-argument inverse tangent
`Pi`	$\pi$	The constant pi (3.14...)
`Sign`	$\operatorname{sgn}(z)$	Sign function
`RR`	$\mathbb{R}$	Real numbers

Source code for this entry:

Entry(ID("77e519"),
    Formula(Equal(Atan2(y, 0), Mul(Div(Pi, 2), Sign(y)))),
    Variables(y),
    Assumptions(Element(y, RR)))

Topics using this entry

2021-03-15 19:12:00.328586 UTC