Napoleon-like theorem concerning squares erected on sides of midpoint polygon of octagon 
Given an arbitrary octagon, construct it's midpoint polygon(the midpoint formed by the midpoints of the sides). Erect squares on the sides of the midpoint polygon, all inwards or all outwards. Consider the four segments, each connecting the centroids of two squares corresponding to opposite sides of the midpoint polygon.
The midpoint of these segments form a square.


I distinctly remember seeing this theorem in some geometry article, but I have been unable to find that article. I believe it was attributed to Van Aubel, however I am not too sure. I want to find the source of this theorem because I have found a rather powerful generalisation and I want to revisit that article.
Does anyone find this theorem familiar?
 A: I have a lenghty complex-vector-computational solution. The main idea is in a following lemma.
Lemma: If $ABCD$ is a square with center $S$, then $$ S = {1\over 2}(B-A)i+{1\over 2}(A+B)$$
where letters represent complex numbers of coresponding points (with the same name). 

So we get 8 centers and then calculate all $4$ midpoints of those segments. Say we have octagon $ABCDEFGH$, then those midpoints (if we suppose that $A+B+C+D+E+F+G+H =0$) are:
$$ M_1 = {1\over 4}\Big[(D+H-B-F)i+(A+E-C-G)\Big]=-M_3$$
$$ M_2 = {1\over 4}\Big[(A+E-C-G)i+(B+F-D-H)\Big] =-M_4$$
Now it is easy to see that $M_2 = iM_1$ and we are done.
A: This could be Proposition 9 and Proposition 10 
written in Topic "Equilateral Triangle and Kiepert Perspectors in Complex number" written by Dao thanh Oai in Forum Geometricon Volume 15(2015) 105-114.
Proposition 10 (Thebault’s theorem) ´ : Given an octagon $A_1A_2 ··· A_8$, let $B_j$ be the
midpoint of $A_jA_j+1$ for indices j = 1, 2,..., 8 (modulo 8). If $C_j$ , j = 1, 2,..., 8,
are the centers of the squares on $B_jB_j+1$, all externally or internally of the oc-
tagon, then the midpoints of $C_1C_5, C_2C_6, C_3C_7, C_4C_8$ are the vertices of a square.
Note: This above proposition is special case of this given below proposition
Proposition 9 (van Aubel’s theorem). Given an octagon $A_1A_2 ··· A_8$, let $Cj , j$ =
1, 2,..., 8 (indices taken modulo 8) , be the centers of the squares on $A_jA_j+1$,
all externally or internally of the octagon. The midpoints of $C_1C_5, C_2C_6, C_3C_7,
C_4C_8$ form a quadrilateral with equal and perpendicular diagonals.
A: This will be my another possible answer to Claim that Proposition 09 is Equivalent to Van Abuel's Theorem , So follow the Given steps to understand the Situation:
Step 01:Take Two Squares A1A2B1B2 and A9A10B9B10 then m(A2,A10) ;m(A1,A9) ; m(B2,B10);  m(B1,B9) makes Green Square as shown in figure:

Let G1,G5 be center of Square A1A2B1B2 and A9A10B9B10 then m(G1,G5) will be center of small green Square.

Step 02: We will name small green Square formed in step 01 as "Midpoint of Square A1A2B1B2 and A9A10B9B10".

Step03: Similarly make "midpoint of Square of A3A4B3B4 and A11A12B11B12" as Shown in this figure:


Step04: Now take again "midpoint of Square A5A6B5B6 and A13A14B13B14" as shown in figure:


Step 05: Now again take "midpoint of Square A7A8B7B8 and A15A16B15B16" as shown in figure:


Step 06: When points A2=A3; A4=A5; A6=A7; A8=A9 ; A10=A11 ; A12=A13 ; A14=A15 ; A16=A1 then Figure will looks like this:


Conclusion 01: in steps 01 , we have shown that m(G1,G5) will be center of small green Square and Similarly if we take {G2,G3,....,G8) as center of Squares made on Base {A3A4; A5A6; ......; A15A16} then m(G2,G6);m(G3,G7) ;m(G4,G8) will be center of Squares made in step 03,04,05 and from Van Abuel's Theorem we will understand why those two lines are perpendicular to each other.

Conclusion 02: Proposition 10 is Special case of proposition 09 but question may arise why it becomes a Square?
Solution: The reason  is very simple as "*It is well known fact that Centroid of Square made on sides of parallegram in same sence will makes another Square " which is mentioned as  Napoleon Barlotti theorem in case of Quadrilateral".
Here is Hint about Where is Parallegram,
Hint= Let A1A2....A8 be convex irregular octagon and Let {C1,C2,....,C8} be m(A1, A2); m(A2,A3); ........; m(A8,A1) then you will find that m(C1,C5) ; m(C2,C6); m(C3,C7);m(C4,C8) makes parallegram as Shown in this figure:

So from there you Can construct Square on C1C2, C2C3,...,C8C1 and Simillarly Apply all those Steps mentioned above , then you will find that Proposition 10 equivalent to Square mades on Sides of Parallegram!!.
