Xét `Delta ABC` vuông tại Acó :
`AB^2 + AC^2 = BC^2 (định lí Pitago)`
`=> AC^2 = BC^2 - AB^2 = 9^2 - 6^2=45` $\\$ `=> AC = sqrt45 (cm)`
Xét `Delta DEF` vuông tại D có :
`DE^2 + DF^2 = EF^2 (định lí Pitago)`
`=> DF^2 = EF^2 - DE^2 = 6^2 - 4^2 = 20` $\\$ `=> DF = sqrt20 (cm)`
Xét tam giác ABC vuông tại A và tam giác DEF vuông tại F có :
`(AB)/(DE) = (BC)/(EF) = (AC)/(DF) (6/4=9/6=(sqrt45)/(sqrt20)=3/2)`
=> $\Delta_v ABC \backsim \Delta_vDEF(c.g.c)$