$|BX|=a$, $|XC|=b$, $|CY|=c$, $|YA|=d$, $|AZ|=e$, $|ZB|=f$ olsun. Sinüslü alan formülünü kullanarak alan oranı yazarsak
$\dfrac{Alan(BZX)}{Alan(ABC)}=\dfrac{\dfrac12 \cdot a \cdot f \cdot \sin \angle CBA}{\dfrac12 \cdot (a+b) \cdot (f+e) \cdot \sin \angle CBA}=\dfrac14 \implies 4af=(a+b)(f+e) \implies ae+bf+be=3af$ elde ederiz.
Şimdi ise Aritmetik Orta-Geometrik Orta eşitsizliğini kullanarak
$af=\dfrac{ae+bf+be}{3} \geq \sqrt[3]{b^2e^2af} \implies a^3f^3 \geq b^2e^2af \implies a^2f^2 \geq b^2e^2 \implies af \geq be$ yazabiliriz. Diğer üçgenlerin oranlarından da $ed \geq fc$ ve $bc \geq ad$ olur.
Bu son üç eşitsizliği taraf tarafa çarptığımızda ise $abcdef \geq abcdef$ buluruz ki bu da tüm eşitsizliklerin eşitlik olacağı anlamına gelir. Buradan da $a=b$, $c=d$ ve $e=f$ sonucuna ulaşırız.