m∠AFE = m∠DFE
m∠AEF = m∠DEF
m∠FAE = m∠FDE
EF pada ΔAFE dan ΔDFE sama karena berhimpit.
AF = FD sama ditunjukkan oleh garis 1
AE = ED sama
maka ΔAFE ≅ ΔDFE
b. Buktikan bahwa ΔDCB ≅ ΔDFE
m∠DCB = m∠DFE
m∠CDB = m∠FDE
m∠CBD = m∠FED
CD = FD sama ditunjukkan oleh garis 1
BD = ED sama ditunjukkan oleh garis 2
EF = CB
maka ΔDCB ≅ ΔDFE
c. Hitunglah panjang AC
ΔACB adalah segitiga siku-siku
CB = EF