Daha genelini, yani kenar uzunluğu verilen bir karede $DG = DH$ şartıyla oluşturulan $EFGH$ yamuklarının alanının en fazla karenin alanının yarısına eşit olacağını ispat edeceğiz.
$DH = DG = AE = CF$ olacak şekilde $E,F,G,H$ noktalarını seçelim. Açık şekilde $[EFGH] = \dfrac {[ABCD]}{2}$ dir.
Bunun haricinde şeçilen $E_1, F_1$ noktaları (soldaki şekil) ve $E_2, F_2$ noktaları (sağdaki şekil) için $[E_1F_1GH] < [EFGH]$ ve $[E_2F_2GH] < [EFGH]$ olduğunu göstereceğiz.

$E_1, F_1$ için (soldaki şekil); $E_1H \cap EF = \{K\}$ ve $F_1G \cap EF = \{L\}$ olsun.
$EFGH$ ve $E_1F_1GH$ yamuklarında $KLGH$ ortak alandır.
$$[EHE_1] = [E_1FE] > [E_1LE] \Longrightarrow [EKH] > [E_1KL] \tag{1}$$
Simetriden dolayı $[EHK] = [FGL]$ ve $[EE_1FH]$ yamuğunda $[EHK] = [E_1FK]$.
$E_1F_1FK$ yamuğunda $KF > E_1F_1$ olduğu için $$[E_1LF_1] < [E_1KF] = [FGL] \tag{2}$$
$(1)$ ile $(2)$ yi birleştirdiğimizde $[EKH] + [FGL] > [E_1LF_1] + [E_1KL] = [E_1L_1FK]$ dolayısıyla $$[EFGH] > [E_1F_1GH] \tag{3}$$ elde ederiz.
$E_2, F_2$ için (sağdaki şekil); $EH \cap E_2F_2 = \{M\}$ ve $FG \cap E_2F_2 = \{N\}$ olsun.
$EFGH$ ve $E_2F_2GH$ yamuklarında $MNGH$ ortak alandır.
$$[E_2HE] < [ENE_2] \Longrightarrow [E_2HM] < [ENM] \tag{4}$$
$$[EFN] = [EFF_2] = [GFF_2] > [F_2GN] \tag{5}$$
$(4)$ ile $(5)$ birleştirildiğinde $[EFNM] = [EFN] + [ENM] > [E_2HM] + [F_2GN]$ dolayısıyla $$[EFGH] > [E_2F_2GH] \tag{6}$$ elde edilir. $\blacksquare$