Ta có : IP = IN (giả thiết)
=> ΔIPN là tam giác cân
=> ^IPN = ^INP (Tinh chất tam giác cân)
Xét ΔIEP và ΔIEN có :
IP = IN (giả thiết)
^IPE = ^INE ( ^IPN = ^INP - cmt)
IE : chung
=> ΔIEP = ΔIEN (c.g.c)
=> ^IEP = ^IEN (2 góc tương ứng)
Mà : ^IEP + ^IEN =180
=> ^IEP = ^IEN = 180 : 2 = 90°=> góc vuông
=> IE vuông góc với NP
=> đpcm.