Xét `\DeltaADC` và `\DeltaBEC`, ta có:
`\hat(CDA) = \hat(BEC)=90^o`
`\hatC` chung
`=> \DeltaADC đồng dạng \DeltaBEC `
`=> (CE)/(BC) = (CD)/(AC)`
Xét 2 tam giác `DEC` và `ABC` có:
`(CE)/(BC) = (CD)/(AC)`
`\hatC` chung
`=> \DeltaDEC` $\sim$ `\Delta ABC`