如图ABCD是边长4厘米正方形,三角形CEF的面积比三角形ABF面积大6平方厘米.求DE的长