理論的部分終於證出來了，剩下就是程式的數值結果跟latex了！