D ve E merkezli çemberlerin yarıçapları sırasıyla r1 ve r2 olsun.
BCED dörtgeninden r1.r2=9 bulunur.
(ADFE) çemberinde T noktasına göre kuvvet hesaplarsak; AT.TF = DT.TE ve bilinen değerler ile birlikte TF=3/2 bulunur.
BFC üçgeninde [BC] ye ait kenarortay FK olsun. Buna göre kenarortay teoreminden,
BF2+CF2=2.FK2+BC2/2 ve bilinen değerleri kullanarak FK=3/2 bulunur.
m(BTC)=90 olduğunu biliyoruz. Buna göre, BK=KC=TK=3 olur. TF+FK=3 olduğundan T,F,K doğrusal noktalardır.
Buradan hareketle ABC üçgeni içinde AK kenarortayına göre teoremi yazarsak AB2+AC2=180 bulunur.