1. (2019八上·鞍山期末) “三等分任意角”是数学史上一个著名问题，经过无数人探索，现在已经确信，仅用圆规直尺是不可能做出的.在探索过程中，我们发现，可以利用一些特殊的图形，把一个任意角三等分.如图：在∠MAN的边上任取一点B，过点B作BC⊥AN于点C，并作BC的垂线BF，连接AF，E是AF上一点，当AB=BE=EF时，有∠FAN= ∠MAN，请你证明.