Xét hai tam giác vuông `ABD` và `ACE`, có:

`AB = AD` (gt)

`AC = AE` (gt)

`hat{BAD} = hat{CAE} = 90^o`

`=> ΔABD = ΔACE` (c.g.c)

Vì `ΔABD = ΔACE` nên các cạnh tương ứng bằng nhau.

Do đó, `BD = CE` (hai cạnh tương ứng)