ScalingStacks

Lemma 3.25 . [04B9]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Lemma 3.25.

Let z,wz,w be complex numbers, with fixed real parts 0<Re​(z)<Re​(w)0<\text{Re}(z)<\text{Re}(w). Then as a function of Im​(z)\text{Im}(z), the function |z|+|w−z||z|+|w-z| is decreasing when arg⁡z≤arg⁡w\arg z\leq\arg w, and increasing when arg⁡z≥arg⁡w\arg z\geq\arg w.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.