Cho tam giác ABC vuông cân tại A. Trên tia đối của tia BC lấy

+) Do tam giác ABC vuông cân tại A nên:

+) Tam giác ABD có AB = BD nên tam giác ABD cân tại B.

+) Tam giác ABD có góc ABC là góc ngoài tam giác tại đỉnh B nên: