今年陕西高考数学有个题是对余弦定理的证明,我做了个图,任意三角形ABC,A(x1,y1),B(x2,y2),C(x3,y