Vẽ: `DF⊥AH` tại F.
`=>AF=HE` và `HA=FE`
Áp dụng định lí Pitago trong `ΔHEB` và `ΔFDE` và `ΔHAB` và `ΔFAD` và `ΔABD` ta được:
`BE^2=BH^2+HE^2`
`DE^2=FD^2+FE^2`
`AB^2=AH^2+BH^2`
`AD^2=AF^2+FD^2`
`BD^2=AB^2+AD^2`
`=>BE^2=ED^2=BD^2`
`=>ΔBED` vuông tại `E` (Pitago đảo)
`=>∠BED=90^0(đpcm)`