a, Xét `\triangleDEB` và `\triangleDFC` có:
`\hat{BED}=\hat{CFD}(=90^o)`
`BD=CD`
`\hat{EBD}=\hat{FCD}`
`=>\triangleDEB=\triangleDFC(ch-gn)` `(đpcm)`
b, Ta có: `\triangleDEB=\triangleDFC`
`=>DE=DF`
Xét `\triangleDEA` và `\triangleDFA` có:
`\hat{DEA}=\hat{DFA}(=90^o)`
`AD` cạnh chung
`DE=DF`
`=>\triangleDEA=\triangleDFA(ch-cgv)` `(đpcm)`