Altıgenin dışına doğru $ABG'$ ile $DEH'$ eşkenar üçgenleri kurulsun.
Ptolemy'den $AG\cdot G'B + GB \cdot AG' = GG' \cdot AB \Rightarrow AG + GB = GG'$ ve benzer şekilde $HD+HE= HH'$ olacaktır.
Soru, $GG' + GH + HH' \geq CF$ ye dönüştü.
$GG' + GH + HH'$ en küçük değerini $G'$, $G$, $H'$ doğrusal iken alır. O halde $GG' + GH + HH' \geq G'H'$.
$G'BDH'$ dörtgeni ile $CBAF$ dörtgeni eş olduğu için $G'H' = CF$. Yani $AG+GB+GH+DH+HE = GG' + GH + HH' \geq G'H' = CF$.