BC // DE old. AB : AC = BD : CE = (AB + BD) : (AC + CE) = AD : AE (*)
D ve E noktalarına nazaran kuvvet alınırsa
DF2 = BD.AD
EF2 = EC. AE
Bu durumda (DF2) : (EF2 ) = (BD : EC) . (AD : AE) olup
(*) dan Bu durumda (DF2) : (EF2 ) = (BD : EC) . (BD : EC) olur.
Son bulduğumuz eşitlik isteneni kanıtlar