空间四边形ABCD的每条边和对角线长的是a,点E,F分别是BC,AD的中点,则AE向量乘以AF向量的值为多少