如图，这些都是做垂线推得的，是不是就是余弦定理？做垂线能不能证明呢？