a) Xét hai tam giác vuông ADI và CDL có:
AD = CD (cạnh hình vuông)
Nên ΔADI = ΔCDL (cạnh góc cuông và góc nhọn)
Suy ra DI = DL hay ΔDIL cân. (đpcm)
b) Trong tam giác DKL vuông tại D với đường cao DC. Theo định lí 4, ta có:
không đổi khi I thay đổi trên cạnh AB. (đpcm)