如图，∠MAN=90°，点C在边AM上，AC=4，点B为边AN上一动点，连接BC，△A′BC与△ABC关于BC所在直线对称，点D，E分别为AC，BC的中点，连接DE并延长交A′B所在直线于点F，连接A′E．当△A′EF为直角三角形时，AB的长为．