在矩形ABCD中,ED=EC,BE交AC于E,过F作FG//AB交AE于G,求证:AG^2=AF*FC