Intereting Posts

Some regularity in the prime decomposition
Confusion about the null (empty) set being contained in other sets
Prove that $d^2x/dy^2$ equals $-(d^2y/dx^2)(dy/dx)^{-3}$
Image of the union and intersection of sets.
Let $k \geq 3$; prove $2^k$ can be written as $(2m+1)^2+7(2n+1)^2$
Abelian Covering Space of Surface of genus $g$
Relations of a~b iff b = ak^2
Are the real product rule and quotient rule for integration already known?
Meaning of “a mapping preserves structures/properties”
Lines tangent to two circles
For polynomial $f$, does $f$(rational) = rational$^2$ always imply that $f(x) = g(x)^2$?
Showing $G/Z(R(G))$ isomorphic to $Aut(R(G))$
Examples of Free Lie Algebra
What is the least amount of questions to find out the number that a person is thinking between 1 to 1000 when they are allowed to lie at most once
Second derivative positive $\implies$ convex

Show that there doesn’t exist a relation $\succ$ between complex numbers such that

(i) For any two complex numbers $z,w$, one and only one of the following is true: $z\succ w,w\succ z,$ or $z=w$

(ii) For all $z_1,z_2,z_3\in\mathbb{C}$ the relation $z_1\succ z_2$ implies $z_1+z_3\succ z_2+z_3$.

- What is the most useful/intuitive way to define $\Bbb{C}$, the complex set?
- Application of maximum modulus principle
- Cross Ratio is positive real if four points on a circle
- If $i^2=-1$, then what about $(-i)^2=-1$?
- Prove that: $\sin{\frac{\pi}{n}} \sin{\frac{2\pi}{n}} …\sin{\frac{(n-1)\pi}{n}} =\frac{n}{2^{n-1}}$
- Convergence properties of $z^{z^{z^{…}}}$ and is it “chaotic”
(iii) For all $z_1,z_2,z_3\in\mathbb{C}$ with $z_3\succ 0$, then $z_1\succ z_2$ implies $z_1z_3\succ z_2z_3$.

Suppose $i\succ 0$. From (iii) we have $i^2\succ 0$, so $-1\succ 0$, so applying (ii) we get $0\succ 1$. But repeating (iii) on $-1\succ 0$ we get $1\succ 0$, a contradiction. So either $i=0$ or $0\succ i$.

How can I proceed from here?

- Problem when $x=\cos (a) +i\sin(a),\ y=\cos (b) +i\sin(b),\ z=\cos (c) +i\sin(c),\ x+y+z=0$
- Geometry of the dual numbers
- What is the correct notation for flipping $a$ and $b$ values in a complex?
- Why is $i^3$ (the complex number “$i$”) equal to $-i$ instead of $i$?
- Roots of unity?
- complex analysis(complex numbers) - Apollonius circle (derivation of proof)
- LambertW(k)/k by tetration for natural numbers.
- Trying to evaluate $\prod_{k=1}^{n-1}(1-e^{2k\pi i/n})$ for my complex analysis homework
- How did they simplify this expression involving roots of unity?
- Find and sketch the image of the straight line $z = (1+ia)t+ib$ under the map $w=e^{z}$

If we had an order on the complex numbers, then either $i \prec 0$ or $0 \prec i$.

If $0 \prec i$, then $$0i \prec ii \implies 0 \prec -1$$

Then since $0 \prec -1$, we see that $0 \prec (-1)^2 = 1$. Using (iii) we get

$$0 \prec -1 \implies 1 = 0 + 1 \prec -1 + 1 = 0 \implies 1 \prec 0 \prec 1$$

contradicts (i). The case that $i \prec 0$ is similar. Just use (ii) and add $(-i)$ both sides.

$i\ne 0$ since $i$ has an inverse but $0$ does not. Now just note that all squares are positive, and thus that the argument you gave stays true word for word if you start by assuming that $i\prec 0$. The point is really, that in $\mathcal C$ the number $-1$ is a square. In any ordered field, $1\ge 0$ and all squares are positive. It does not matter which of the two square roots of $-1$ you use, you’ll get the same contradiction.

There is a well-known geometric interpretation of complex multiplication as a *scaling* followed by a *rotation* on a vector in the plane.

In brief, if $z_1$ is a complex number represented in the polar form $|z_1|e^{i \theta}$, then multiplying $z_2$ by $z_1$ is equivalent to scaling $z_2$ by $|z_1|$ and rotating it counterclockwise by $\theta$.

Here is a proof using this idea. Suppose $0 \prec 1$.

In the picture links ‘red’ means ‘$\succ$’ and ‘blue’ means ‘$\prec$’.

Multiplying the values on sides by the complex unit vectors $e^{i \theta}$ is equivalent to *rotating* them by $\theta$. When we do so for $\theta \in [0, 2 \pi]$ 1 becomes the unit circle, while 0 remains the same. Because our ordering is preserved by complex multiplication, everything on the unit circle $\prec$ 0.

On the other hand, adding a real number $x$ to both sides is equivalent to *translating* the values along the x-axis. When we translate 0 and 1 by all of the real numbers $x$, we find that everything to the ‘right’ of zero $\succ$ 0, and everything to the ‘left’ of zero $\prec$ 0.

By inspecting the pictures, we see that complex multiplication forces $-1 \prec 0$, while complex addition forces $-1 \succ 0$. A contradiction!

With a little work this can be made rigorous. The idea also informs a variety of alternative proofs for this theorem. For example, the accepted answer uses rotation by unit vectors and translation along the *imaginary* axis to provide the contradiction.

- Proof that there is no closed form solution
- Proving that every countable metric space is disconnected?
- Directly indecomposable rings
- Continuity based on restricted continuity of two subsets
- Visualising extra dimensions
- Quotient Space of Hausdorff space
- Nicer expression for the following differential operator
- Proof that there are infinitely many positive rational numbers smaller than any given positive rational number.
- As shown in the figure: Prove that $a^2+b^2=c^2$
- Is every set countable according to some outer model?
- Find the circle circumscribing a triangle related to a parabola
- If $f$ is continuous and $\,f\big(\frac{1}2(x+y)\big) \le \frac{1}{2}\big(\,f(x)+f(y)\big)$, then $f$ is convex
- Proof $p(A)=0$ without Cayley-Hamilton theorem when $A$ is upper triangular
- Topology and axiom of choice
- How many digits of $\pi$ are currently known?