# Bimedians and Diagonals in a Quadrilateral

Denote the midpoints of the sides \(AB\), \(BC\), \(CD\), and \(DA\) of quadrilateral \(ABCD\) as \(X\), \(Y\), \(Z\), \(W\), respectively. Segments \(XZ\) and \(YW\) are known as the bimedians of the quadrilateral. We have an engaging statement

The bimedians of a quadrilateral are equal if and only if its diagonals are perpendicular.

The bimedians of a quadrilateral are perpendicular if and only if its diagonals are equal.

|Contact| |Front page| |Contents| |Geometry|

Copyright © 1996-2018 Alexander Bogomolny

The bimedians of a quadrilateral are equal if and only if its diagonals are perpendicular.

The bimedians of a quadrilateral are perpendicular if and only if its diagonals are equal.

### Proof

The easiest way to establish the statement is by employing vector techniques. Choose an arbitrary origin \(O\) and associate with every point \(P\) the vector \(p=\overline{OP}\), denoted by the corresponding low case.

Thus we have, \(x=\frac{a+b}{2}\), \(y=\frac{b+c}{2}\), \(z=\frac{c+d}{2}\), \(w=\frac{a+d}{2}\). The statement at hand can be reformulated as

\(|x - z|=|y - w|\) iff \((a - c)\perp (b-d)\).

\((x - z)\perp (y - w)\) iff \(|a-c|=|b-d|\).

The absolute value of vector \(m\) is defined as the square root of the scalar product: \(|m|=\sqrt{m\cdot m}\); while the condition of orthogonality of two vectors \(m\) and \(n\) is also expressible in terms of the scalar product: \(m\perp n\) iff \(m\cdot n=0\). Using the scalar product we are able to once more reformulate our statement

\((x - z)(x - z)=(y - w)(y - w)\) iff \((a - c)(b-d)=0\).

\((x - z)(y - w)=0\) iff \((a-c)(a-c)=(b-d)(b-d)\).

Substituting \(x\), \(y\), \(z\), \(w\) from the definition reduces the above to

\((a+b - c-d)(a+b-c-d)=(b+c-d-a)(b+c-d-a)\) iff \((a - c)(b-d)=0\).

\((a+b - c-d)(b+c-d-a)=0\) iff \((a-c)(a-c)=(b-d)(b-d)\).

All that remains is pure algebra. For example,

\((a+b - c-d)(a+b-c-d)=(b+c-d-a)(b+c-d-a)\)

without the squares that are certainly the same on both sides, appears as

\(2(ab-ac-ad-bc-bd+cd)=2(bc-bd-ab-cd-ac+ad)\),

which is equivalent to \((a - c)(b-d)=0\).

Similarly, written explicitly, \((a+b - c-d)(b+c-d-a)=0\) gives

\(\begin{align}ab+ac & -ad-aa +bb+bc-bd-ab \\& -bc-cc+cd+ac -bd-cd+dd+ad \\& =2ac-aa+bb-2bd-cc+dd=0.\end{align}\)

which is equivalent to \((a-c)(a-c)=(b-d)(b-d)\).

## Related material
| |

| |

| |

| |

| |

| |

|Contact| |Front page| |Contents| |Geometry|

Copyright © 1996-2018 Alexander Bogomolny

71085022