孙杨事迹:余弦定理是什么?