xét t­u giác AEHF là hình ch­u nhật suy ra AE=HF và AF=HE(cạnh đối hình chu nhật)
suy ra tam giác AHE bằng tam giác FEH (c.g.c)
suy ra tam giác AHE đồng dạng với tam giác FEH(t/c tam giác đồng dạng)(1)
mà tam giác AHE lại đồng dạng với tam giác BAH(g.g)(2)
tam giác BAH đồng dạng vời tam giác BDA (3) Tu (1); (2)và (3)ta có:
tam giác FEH đồng dạng với tam giác BDA
suy ra HE/HF=AB/AD(*)
Mặt khác ta có:tam giác HEB đồng dạng với tam giác DAB suy ra BE/EH=AB/AD(**)
Tam giác DFH đồng dạng với tam giác DAB suy ra HF/HD=AB/AD(***)
tu (*);(**) va (***) ta có:
HE/HF=BE/EH=HF/HD=AB/AD
suy ra (AB/AD)^3=HE/HF*BE/EH*HF/HD=BE/DF
hay AB^3/AD^3=BE/DF