[DF]⊥[BC] olacak şekilde bir F noktası alalım.
m(^BAC)=m(^DFC)→^ABC≡^DFC
^ABC'de Pisagor teoreminden, |BC|=8
|DC|=x=5k olsun.
|FC|=3k|DF|=4k
|BE|=6y olsun.
m(^AEB)=m(^CED)→^ABE≡^EFD
Benzerlikten |EF|=4ky
A(^ABE)A(^ECD)=9106.6y4k(8−6y)=910y=4k5+3k (1)
|BC|=6y+4ky+3k=8y=8−3k6+4k (2)
(1) ve (2)'den k=1
|DC|=x=5k=5