# Continuity of a radial square-root map for complex numbers (take 2)

Following on from the previous blog post, it is worth giving a cleaned-up version of the proof. While putting this together, I also found a way to obtain the optimal constant of , although I am not entirely happy with the trick needed to achieve this.

## Restating the problem (with the sharp constant)

As in the previous post, we define a function by . Alternatively: for all and all . Our goal is now to prove the following inequality

**Proposition 1.** for all .

## Reducing the problem to one with fewer parameters

We can simplify/reduce the problem slightly using symmetry arguments. To maintain a more formal style than the previous post, let’s spell this out more explicitly.

**Lemma 2.** Let . Then for all .

*Proof of Proposition 1, using Lemma 2.* The desired inequality is trivial if either or is zero.

Let , and assume without loss of generality that .

Since is angle-preserving (and orientation-preserving) we may apply a rotation or reflection of the complex plane which maps to the real-line and to a point in the closed upper-half plane. We then let

and choose such that .

Then

which, by Lemma 2, is bounded above by

as required. **Q.E.D.**

## The proof of Lemma 2

The proof of Lemma 2 will be divided into two cases.

### Case 1. .

In this case ; this is evident from the geometry of this configuration, but also follows from squaring both sides and using . Therefore

Also, observe that

The last inequality is once again evident from a geometrical argument. To give a more algebraic/Cartesian argument: the two complex numbers and have the same imaginary part; their real parts are and respectively; and since .

Combining (3) and (4) we obtain

as required. **Q.E.D.**

### Case 2. .

Let , so that

Note that as a special case of the Cauchy–Schwarz inequality,

Applying (7) with , we obtain

Since and , . Combining this with (6) and (8), we conclude that

as required. **Q.E.D.**

## Remarks

- In comparison with the approaches taken in the previous blog post, note that in Case 2 we have improved the constant from to , but with a slightly more ad hoc argument that is less geometric (although we are able to sidestep any messy calculus with Cauchy–Schwarz).
- It is also worth noting that for much of the proof, the formulation in terms of complex numbers is merely for convenience, and that most of the arguments merely take place in with its usual norm — or, to be more abstract and less co-ordinate dependent, in 2-dimensional Euclidean space. The exception is one part of Case 1, namely the inequality (3), where we made use of the algebraic structure in and the multiplicative property of . Can we find an alternative approach, which only uses the Euclidean geometry of ?
- On a related note: the definition of the map can be extended to any normed space , as a radial square-root map: we define and for any non-zero vetor . If is Euclidean (i.e. its norm satisfies the parallelogram law) then, since 2-dimensional subspaces of any Euclidean real vector space are Euclidean, the previous remarks and Proposition 1 show that for all . What happens for more general norms?