Diagonals of Rhombus Intersect at Right Angles

Theorem
Let $ABCD$ be a rhombus.

The diagonals $AC$ and $BD$ of $ABCD$ intersect each other at right angles.

Proof

 * Rhombus-diagonals-complex-plane.png

, let $ABCD$ be embedded in the complex plane so that vertex $A$ coincides with the origin $0 + 0 i$.

Let $AB$ and $AD$ be represented by the complex numbers $a$ and $b$ respectively, expressed as vectors $\mathbf a$ and $\mathbf b$ respectively.

By Geometrical Interpretation of Complex Addition, the diagonal $AC$ is represented by the complex number $a + b$, expressed as a vector $\mathbf a + \mathbf b$.

By Geometrical Interpretation of Complex Subtraction, the diagonal $BD$ is represented by the complex number $a - b$, expressed as a vector $\mathbf a - \mathbf b$.

Let $a - b = w \paren {a + b}$ for some complex number $w \in \C$.

For $A \perp BD$, it is necessary and sufficient from Complex Multiplication as Geometrical Transformation for the argument of $w$ to be $\dfrac \pi 2$.

That is, for $w$ to be wholly imaginary.

From Complex Number equals Negative of Conjugate iff Wholly Imaginary, that is for $w + \overline w = 0$.

It remains to demonstrate this.

So:

The result follows.