微分可能な関数 $f(x), g(x)$ が与えられており、$f'(x) = g'(x)$ であるとき、$f(x) = g(x) + C$ (ただし、$C$ は定数) となることを証明する必要があります。
2025/7/12
1. 問題の内容
微分可能な関数 が与えられており、 であるとき、 (ただし、 は定数) となることを証明する必要があります。
2. 解き方の手順
まず、関数 を以下のように定義します。
この を微分すると、
問題文の条件より なので、
であるということは、 が定数関数であることを意味します。つまり、 (Cは定数) と表せます。
より、
これで、 が証明されました。