求证FG=1/2(AB+AC-BC)