9．
在△ABC中，∠BAC=90°，AB=AC，E为直线AB上一点，过点C作直线CP平行AB，过点E作直线EN平行BC交CP于点N，交直线AC于点D，F为直线AC上一点，且AE=CF，连接EF、FN．
（1）如图1，当点E、F分别在线段AB、AC上时，求证：△AEF≌△CFN．
（2）如图2，当点E、F分别在线段AB、CA的延长线上时，
①（1）中的结论是否成立？不必写出证明过程．
②若∠AEF=15°，EF=m，请用含m的式子表示EN的长．
（3）如图3，当点E、F分别在线段BA、AC的延长线上时，若∠NEF=a（0°＜a＜90°），EF=n，请直接用含n，a的式子表示EN的长．
