Cho tam giác ABC vuông tại A (AB < AC). Gọi E là trung điểm của BC. Từ E lần lượt kẻ ED vuông góc AC tại D, EF vuông góc với AB tại F.
a) Chứng minh tứ giác ADEF là hình chữ nhật.
b) Gọi K là điểm đối xứng của E qua F. Chứng minh tứ giác AEBK là hình thoi.