Xét `triangle ABD` và `triangle HAD`:

`hat{BAD}=hat{AHD}=90^@` `(AH bot BH; ABCD` là hình chữ nhật`)`

`hat{ADB}` chung

Suy ra $\triangle ABD \backsim \triangle HAD$ (g.g)