两点间距离公式证明余弦定理(d^2)=((acos(α)-bcos(β))^2)+((asin(α)-bsin(β))^