设外接圆圆心为0,连接OD,连结DC
∵P为内心
∴AD平分∠BAC
∴BD＝DC
∴OD垂直BC
又∵∠BAD＝∠DAE,AD^2=AB*AE即AD/AE＝AB/AD
∴ΔBAD相似于ΔDAE
∴∠ABD＝∠ADE
即∠ABC＋∠CBD＝∠ADC＋∠CDE
又∵∠ABC＝∠ADC
∴∠CBD＝∠CDE
∵BD＝DC（已证）∴∠CBD＝∠BCD
∴∠CDE＝∠BCD
∴BC//DE
又∵0D垂直BC
∴0D垂直DE
∴DE为圆O的切线.