Gọi O là phó điểm của AC và BD.
Xét ∆DOE và ∆COE có:
(vì OD ⊥ DE; OC ⊥ CE)
EC = ED (giả thiết)
Cạnh OE chung
Do bại liệt ∆DOE = ∆COE (cạnh huyền – cạnh góc vuông).
Suy đi ra OC = OD (hai cạnh tương ứng).
Do bại liệt tam giác OCD cân nặng bên trên O nên .
Vì ABCD là hình thang nên AB // CD suy đi ra (cặp góc sánh le trong).
Do bại liệt (vì ).
Suy đi ra tam giác OAB cân nặng bên trên O nên OA = OB.
Xét ∆OAD và ∆OBC có:
OA = OB (chứng minh trên)
(hai góc đối đỉnh)
OC = OD (chứng minh trên)
Do bại liệt ∆OAD = ∆OBC (c.g.c)
Suy đi ra (hai góc tương ứng).
Ta đem .
Mà nên .
Hình thang ABCD đem nên ABCD là hình thang cân nặng.
Câu 2:
Hình thang cân nặng ABCD (AB // CD, AB < CD) đem những đường thẳng liền mạch AD, BC tách nhau bên trên I, những đường thẳng liền mạch AC, BD tách nhau bên trên J. Chứng minh rằng đường thẳng liền mạch IJ là lối trung trực của đoạn trực tiếp AB.