Construction of Paragon: What is it about?
A Mathematical Droodle

(The applet allows one to toy with N-gons, N even. To change N, click a little off its vertical center line.)

Explanation

By analogy with the parahexagon, let's call an N-gon (N even) with opposite sides parallel and equal Paragon. I do not believe there is an established terminology for such polygons. In all likelihood, the term has been coined by Kasner and Newman in their Mathematics and the Imagination. Eves designates such polygons parpolygons. For N = 4, we have a parallelogram and, for N = 6, a parahexagon. In these two particular cases (Varignon Parallelogram and Parahexagon), we have established the following:

Theorem

For an arbitrary N-gon, N even, let Q_i, 1, ..., N, denote the barycenter of N/2 successive vertices P_i, P_i+1, ..., P_{i + N/2 - 1}, where the indices are cyclic, i.e. computed modulo N. Then the N-gon Q₁...Q_N is a Paragon.

Proof

Let Q_i = (P_i + P_i+1 + ... + P_{i + N/2 - 1})/(N/2), the barycenter of P_iP_i+1 ... P_{i + N/2 - 1}, i = 1, ..., N. Obviously,

Similarly,

But, since P_i+N = P_i, Q_iQ_i+1 and Q_i+N/2Q_i+N/2+1 are equal except for the direction - they are parallel and equal in length.

References

1. H. Eves, A Survey of Geometry, Allyn and Bacon, 1972
2. E. Kasner and J. Newman in their Mathematics and the Imagination, Dover Publications (March 28, 2001)