Cho tam giác ABC, dựng ra phía ngoài các hình vuông ABGD và ACEF, vẽ đường cao AH, kéo dài HA gặp DF tại I. Chứng minh: DI = IF.