На стороне DC построим квадрат DCB'A'. На DA' отметим точку E' так, что A'E'=1. Тогда ∠DCE'=∠BCE и поэтому, ∠ECE'=∠ECD+∠DCE'=∠ECD+∠BCE=90°. Значит, четырехугольник AECE' - вписанный (сумма противоположных углов равна 180°). Значит ∠ACE=∠AE'E, т.е. E' совпадает с F. Значит, AF=2AD-A'E'=2·2013-1=4025.