用三角函数证明三角形大边对大角