数検準2(余弦定理)