正方形ABCD的边长为4,延长CB到E,使BE=3,连结AE,过点A做AF垂直AE交DC与F,求CF的长.