This is a post I wrote for The Aperiodical's Big Lock-Down Math-Off. You can vote for (or against) me here until 9am on Sunday...
Recently, I came across a surprising fact: if you take any quadrilateral and join the midpoints of its sides, then you will form a parallelogram.
The blue quadrilaterals are all parallelograms.
The first thing I thought when I read this was: "oooh, that's neat." The second thing I thought was: "why?" It's not too difficult to show why this is true; you might like to pause here and try to work out why yourself before reading on...
To show why this is true, I started by letting \(\mathbf{a}\), \(\mathbf{b}\), \(\mathbf{c}\) and \(\mathbf{d}\) be the position vectors of the vertices of our quadrilateral. The position vectors of the midpoints of the edges are the averages of the position vectors of the two ends of the edge, as shown below.
The position vectors of the corners and the midpoints of the edges.
We want to show that the orange and blue vectors below are equal (as this is true of opposite sides of a parallelogram).
We can work these vectors out: the orange vector is$$\frac{\mathbf{d}+\mathbf{a}}2-\frac{\mathbf{a}+\mathbf{b}}2=\frac{\mathbf{d}-\mathbf{b}}2,$$ and the blue vector is$$\frac{\mathbf{c}+\mathbf{d}}2-\frac{\mathbf{b}+\mathbf{c}}2=\frac{\mathbf{d}-\mathbf{b}}2.$$
In the same way, we can show that the other two vectors that make up the inner quadrilateral are equal, and so the inner quadrilateral is a parallelogram.

Going backwards

Even though I now saw why the surprising fact was true, my wondering was not over. I started to think about going backwards.
It's easy to see that if the outer quadrilateral is a square, then the inner quadrilateral will also be a square.
If the outer quadrilateral is a square, then the inner quadrilateral is also a square.
It's less obvious if the reverse is true: if the inner quadrilateral is a square, must the outer quadrilateral also be a square? At first, I thought this felt likely to be true, but after a bit of playing around, I found that there are many non-square quadrilaterals whose inner quadrilaterals are squares. Here are a few:
A kite, a trapezium, a delta kite, an irregular quadrilateral and a cross-quadrilateral whose innner quadrilaterals are all a square.
There are in fact infinitely many quadrilaterals whose inner quadrilateral is a square. You can explore them in this Geogebra applet by dragging around the blue point:
As you drag the point around, you may notice that you can't get the outer quadrilateral to be a non-square rectangle (or even a non-square parallelogram). I'll leave you to figure out why not...

Similar posts

Interesting tautologies
Big Internet Math-Off stickers 2019
Runge's Phenomenon


Comments in green were written by me. Comments in blue were not written by me. is interesting as far as MATHEMATICS IS CONCERNED!
 Add a Comment 

I will only use your email address to reply to your comment (if a reply is needed).

Allowed HTML tags: <br> <a> <small> <b> <i> <s> <sup> <sub> <u> <spoiler> <ul> <ol> <li>
To prove you are not a spam bot, please type "nogaced" backwards in the box below (case sensitive):


Show me a random blog post

Jul 2020

Happy √3ϕ+π-e Approximation Day!

May 2020

A surprising fact about quadrilaterals
Interesting tautologies

Mar 2020

Log-scaled axes

Feb 2020

PhD thesis, chapter ∞
PhD thesis, chapter 5
PhD thesis, chapter 4
PhD thesis, chapter 3
Inverting a matrix
PhD thesis, chapter 2

Jan 2020

PhD thesis, chapter 1
Gaussian elimination
Matrix multiplication
Christmas (2019) is over
▼ show ▼
▼ show ▼
▼ show ▼
▼ show ▼
▼ show ▼
▼ show ▼
▼ show ▼
▼ show ▼


a gamut of games weak imposition sound radio 4 cross stitch trigonometry craft squares draughts sport people maths matrices graph theory talking maths in public folding paper ternary latex fractals folding tube maps misleading statistics tmip world cup logic statistics game of life propositional calculus puzzles european cup pac-man data visualisation advent calendar rugby matrix of minors wave scattering manchester science festival programming estimation plastic ratio golden ratio hannah fry pythagoras palindromes royal baby machine learning game show probability numerical analysis mathslogicbot computational complexity matt parker the aperiodical coins go inverse matrices bempp oeis finite element method javascript raspberry pi preconditioning dragon curves inline code rhombicuboctahedron phd flexagons python cambridge chebyshev reuleaux polygons bubble bobble boundary element methods video games signorini conditions london martin gardner curvature hats asteroids simultaneous equations final fantasy triangles braiding books wool london underground national lottery noughts and crosses golden spiral accuracy quadrilaterals geometry dates speed hexapawn reddit pizza cutting graphs royal institution weather station binary tennis electromagnetic field gaussian elimination captain scarlet polynomials gerry anderson bodmas stickers probability harriss spiral big internet math-off chalkdust magazine twitter games pi approximation day logs convergence error bars matrix multiplication countdown platonic solids matrix of cofactors frobel php determinants map projections data christmas ucl sorting approximation christmas card menace geogebra news exponential growth dataset realhats mathsjam interpolation pi arithmetic manchester mathsteroids chess football sobolev spaces light nine men's morris


Show me a random blog post
▼ show ▼
© Matthew Scroggs 2012–2020