Lời giải:
a, Xét `ΔAHB` và `ΔAHC`, ta có:
`AB = AC` (do `ΔABC` cân tại `A`)
`\hat{B} = \hat{C}` (do `ΔABC` cân tại `A`)
`\hat{AHB} = \hat{AHC}` `(= 90^0)`
`⇒ ΔAHB = ΔAHC` `(ch - gn)` `(đpcm)`
b, Vì `EF` // `AC` (gt) `⇒ \hat{EFB} = \hat{C}` (đồng vị)
Mà `\hat{B} = \hat{C}` (do `ΔABC` cân tại `A`)
`⇒ \hat{EFB} = \hat{B}`
`⇒ ΔEFB` cân tại `E`
`⇒ EF = EB` `(đpcm)`