DE // AB => [tex]\frac{\widehat{B}}{2}=\widehat{EDB}[/tex]=> tam giác EDB cân tại E=> tg PBC vuông tại P
=> INPC nt => [tex]\widehat{PNC}=\widehat{PIC}=\frac{\widehat{B}+\widehat{C}}{2}=90-\frac{\widehat{A}}{2}[/tex]
[tex]\widehat{ANM}=90-\frac{\widehat{A}}{2}[/tex] (tam giác ANM cân tai A)
=>[tex]\widehat{ANM}=\widehat{PNC}[/tex]=> đpcm