あとF[k]の項の符号はマイナスになるな。
最後の結果の式はあってるけど