百科问答小站 logo
百科问答小站 font logo



请问为什么 sin(A+B)=sinAcosB+cosAsinB,有没有详细推导呢? 第1页

  

user avatar   laplacian-operator 网友的相关建议: 
      

其他人的回答已经足够解决这个问题了,但是我这里想给一个稍微不同的回答。我这里将问题做一个推广。这个问题我读本科的时候曾经在草稿本上写过,这里将它正式发布出来。希望可以对题主有所帮助。

我的问题:假设有两个光滑的一元实函数 对于任意的实数 都满足这样的条件

请问这样的函数应该具有什么样的形式?

这是一个函数方程组,显然是模仿着三角函数写出来的。我当时的想法是试图证明,满足这两个条件的光滑函数只有正弦和余弦函数。但是结果并非如此。结果如下。

令 ,得到

根据第一个条件,如果 ,则 ,此时 是一个虚数,不符合条件,所以只能得到 .

根据第二个条件,得到 . 也就是 .

令 ,得到

如果 ,则 ,这是一个平庸解,所以为了得到非平庸解,只能令 .

函数方程组两边同时对 求微分,然后令 ,得到(备注:实际上就是在计算李代数)

写成矩阵的形式为

求解得到

其中定义了系数矩阵

如果进而要求 ,则可以得到

但是如果不做这个要求,则可以得到更加普遍的结果,所以满足这个函数方程组的未必是三角函数。

这个更加普遍的结果是

本质上就是一个三角函数乘上一个指数函数。所以我一开始的猜测尽管不对,但是也差不太远。


再说一下计算 的技巧。定义 ,则可以将 记作

要计算这个矩阵的指数函数 ,最直接但也是最繁琐的方法就是计算它的特征值和特征向量,将矩阵 对角化,然后求矩阵的指数。为了减小计算量,可以充分利用矩阵的特性,将其写为这种形式:

其中 , .

又因为 ,所以

第一个矩阵指数很容易算出来为

第二个矩阵指数可以通过求 矩阵的特征分解得到,但是这样仍然很繁琐。简单的方法是计算 矩阵的幂。根据Cayley-Hamilton定理[1],很容易得到

因此,

所以

因此最终得到

参考

  1. ^Cayley–Hamilton theorem https://en.wikipedia.org/wiki/Cayley%E2%80%93Hamilton_theorem

user avatar   posey-lin 网友的相关建议: 
      

之前买的一件衣服 恰好可以回答你的问题




  

相关话题

  如何证明:p3阶非Abel群的中心必同构于Zp,这里p为素数? 
  七个小朋友,只能切四刀,怎么把三个苹果均分? 
  一个长宽高之和为固定数值的长方体,其体积范围怎么变化? 
  很多文章中用1.01的365次方= 37.8 0.99的365次方 = 0.03来计算每天多做一点和少做一点的差别,合理吗? 
  预测一下到今年年底本轮中美搏弈的结果大概率是什么? 
  可以留下一个优美的恒等式吗? 
  计划经济为何效率低? 
  为什么黎曼猜想是当今数学界最重要、最期待解决的数学难题? 
  拉氏乘数法中为什么认为最值一定是极值呢? 
  线性代数对于计算机专业的作用是什么呢? 

前一个讨论
请问能把一个正方形划分成有限个四边形, 每个四边形都是凹四边形吗?
下一个讨论
数学系学数学的男生最后都是如何找到女朋友的?





© 2024-11-21 - tinynew.org. All Rights Reserved.
© 2024-11-21 - tinynew.org. 保留所有权利