Parallelograms About Diameter are Similar

Theorem

 * In any parallelogram the parallelograms about the diameter are similar both to the whole and to one another.

Proof
Let $\Box ABCD$ be a parallelogram and $AC$ one of its diameters.

Let $EG, HK$ be parallelograms about $AC$.


 * Euclid-VI-24.png

We have that $EF \parallel CD$.

So from Parallel Line in Triangle Cuts Sides Proportionally:
 * $BE : EA = CF : FA$

Again, we have that:
 * $FG \parallel CD$

So from Parallel Line in Triangle Cuts Sides Proportionally:
 * $CF : FA = DG : GA$

From Equality of Ratios is Transitive:
 * $BE : EA = DG : GA$

So from Magnitudes Proportional Separated are Proportional Compounded:
 * $BA : AE = DA : AG$

From Proportional Magnitudes are Proportional Alternately:
 * $BA : AD = EA : AG$

Therefore in the parallelograms $\Box ABCD$ and $\Box EG$, the sides about the common angle $\angle BAD$ are proportional.

We have that $GF \parallel DC$, $\angle AFG = \angle DCA$ and $\angle DAC$ is common to $\triangle ADC$ and $\triangle AGF$.

Therefore $\triangle ADC$ is equiangular with $\triangle AGF$.

For the same reason, $\triangle ACB$ is equiangular with $\triangle AFE$.

Thus the whole parallelogram $\Box ABCD$ is equiangular with the parallelogram $\Box EG$.

Therefore:
 * $AD : DC = AG : GF$
 * $DC : CA = GF : FA$
 * $AC : CB = AF : FE$
 * $CB : BA = FE : FA$

Since we also have:
 * $DC : CA = GF : FA$
 * $AC : CB = AF : FE$

it follows from Equality of Ratios Ex Aequali that:
 * $DC : CB = GF: FE$

Therefore in the parallelograms $\Box ABCD$ and $\Box EG$, sides about the equal angles are proportional.

Therefore from, $\Box ABCD$ is similar to $\Box EG$.

By the same argument, $\Box ABCD$ is similar to $\Box KH$.

Therefore by Similarity of Polygons is Equivalence Relation‎, $\Box EG$ is similar to $\Box HK$.