a, có DM _|_ EF và EN _|_ DF (gt)
=> ^IMF = ^INF = 90
=> M;N thuộc đường tròn đường kính IF (Định lí)
=> F;N;I;M thuộc đường tròn đk IF
b, có DM _|_ EF và EN _|_ DF (gt)
=> ^END = ^DME = 90
=> N;M thuộc đường tròn đk DE
=> D;N;M;E cùng thuộc đường tròn đk DE