Xét ΔBAC và ΔADC có
góc BAC=góc ADC
góc C chung
=>ΔBAC đồng dạng với ΔADC
=>góc ABC=góc DAC=90 độ
=>AB vuông góc CD
góc NAC=góc BAC/2
=>góc DAN=90 độ-góc BAC/2=(180 độ-góc ADC)/2
góc ADI=góc ADC/2
=>góc DAN+góc ADI=(180 độ-góc ADC+góc ADC)/2=180/2=90 độ
=>AN vuông góc DI