２つの変数を含む積分を微分する
この記事は 統合自然科学科 Advent Calendar 2023 の18日目の記事です。
はじめに：モチベと注 「$${ \int_{0}^{x} \sin(x-t) f(t)\,dt}$$ を２階微分する」というタスクに会いました。
$${\sin(x-t)}$$に加法定理を使って$${x}$$を分離してから微積分学の基本定理を使えばいいのですが、これをちょっと楽にする公式を教わったので紹介します。
公式を聞いただけなのでそれ以外は自分で補いました。そのため主張や証
