Hình vẽ minh họa:

Viết giả thiết và kết luận bằng kí hiệu:

Chứng minh định lí:

Vì  A^=B^=90° nên AB ⊥ BC, AB ⊥ AD.

Do đó BC // AD (hai đường thẳng cùng vuông góc với một đường thẳng thứ ba thì song song)

Mà C^=90° nên BC ⊥ CD.

Ta có BC // AD và BC ⊥ CD.

Do đó AD ⊥ CD (một đường thẳng vuông góc với một trong hai đường thẳng song song thì nó cũng vuông góc với đường thẳng còn lại).

Suy ra D^=90°

Vậy D^=90°