如右图,正方形ABCD的边长是5厘米,DE长6厘米,AF垂直于DE,AF=?