a. ΔDEI và ΔDFI có:
DE=DF
DI chung
IE=IF
=>ΔDEI=ΔDFI (ccc)
b. ΔDEI=ΔDFI (cmt)→DIE=DIF
mà DIE+DIF=180 → DIE=DIF=90
hay DI ⊥ EF.
c. Vì DI⊥EF =>ΔDIF vuông
mà NF=ND → IN=1/2PD=DN →ΔIND cân tại N
=> NID=NDI
mà NDI=EDI (a)
=>NID=EDI mà 2 góc này ở vị trí so le trong
=> IN//ED.