Hình thang cân ABCD (AB // CD, AB < CD) có các đường thẳng AD, BC cắt nhau tại I, các đường thẳng AC, BD cắt nhau tại J. Chứng minh rằng đường thẳng IJ là đường trung trực của đoạn thẳng AB.