Construction of Parallelogram in Given Angle equal to Given Polygon

Theorem
A parallelogram can be constructed in a given angle the same size as any given polygon.

Proof

 * Euclid-I-45.png

Let $ABCD$ be the given polygon, and let $E$ be the given angle.

Join $DB$, and construct the parallelogram $FGHK$ equal in size to $\triangle ABD$, in $\angle HKF = \angle E$.

Then construct the parallelogram $GLMH$ equal in area to $\triangle BCD$ on the line segment $GH$, in $\angle GHM = \angle E$.

We now need to show that $KFLM$ is the required parallelogram.

By common notion 1, $\angle HKF = \angle GHM$ as both are equal to $\angle E$.

Add $\angle KHG$ to each, so as to make $\angle FKH + \angle KHG = \angle KHG + \angle GHM$.

From Parallelism implies Supplementary Interior Angles:
 * $\angle FKH + \angle KHG$

Therefore $\angle KHG + \angle GHM$ equal two right angles.

So from Two Angles making Two Right Angles make Straight Line, $KH$ is in a straight line with $HM$.

From Parallelism implies Equal Alternate Angles:
 * $\angle MHG = \angle HGF$

Add $\angle HGL$ to each, so as to make $\angle MHG + \angle HGL = \angle HGF + \angle HGL$.

From Parallelism implies Supplementary Interior Angles:
 * $\angle MHG + \angle HGL$

Therefore $\angle HGF + \angle HGL$ equal two right angles.

So from Two Angles making Two Right Angles make Straight Line, $FG$ is in a straight line with $GL$.

From Parallelism is Transitive Relation, as $KF \parallel HG$ and $HG \parallel ML$, it follows that $KF \parallel ML$.

Similarly, from common notion 1, $KF = ML$.

As $KM$ and $FL$ join them at their endpoints, $KM \parallel FL$ and $KM = FL$ from Lines Joining Equal and Parallel Straight Lines are Parallel.

Therefore $KFLM$ is a parallelogram.

But the area of $KFLM$ equals the combined areas of $FGHK$ and $GLMH$, which are equal to the combined areas of $\triangle ABD$ and $\triangle BCD$.

Therefore from common notion 2, $KFLM$ has the same area as the polygon $ABCD$, in the angle $E$