如图,正方形ABCD的边长是8厘米,AF长10厘米,DE和AF互相垂直,求DE的长