Cho hình thang ABCD (AB // CD). Kẻ đường thẳng vuông góc với AC tại C và đường thẳng vuông góc với BD tại D, hai đường thẳng này cắt nhau tại E. Chứng minh rằng nếu EC = ED thì hình thang ABCD là hình thang cân.