正方形ABCD中,点E是边CD的中点,点F在边BC上,且BC等于4CF.求证:三角形ADE相似三角形ECF