已知三角形ABC AO是BC边上的中线用坐标法证明AB的平方+AC的平方=2(AO的平方+OC的平方)