A GT Hình thang ABCD , AB // CD, AB < CD AB = CD , AD không song song BC KL ABCD hình thang cân Qua B kẻ đường thẳng song song với AD, cắt CD E Điểm E phải khác C trùng với C AD BC song song, trái với giả thiết (H 3.24) B D E C Hình 3.24 Hai tam giác EDA ABE có , cạnh chung AE, nên , suy AD = BE Hơn ta có AD = BC nên BE = BC Từ cân B, suy Mặt khác nên Vậy ABCD hình thang cân