✨ Best Answer ✨
xだから代入したように見えるだけで、1はそのまま代入できません
以下のように考えれば入れ替えなくても解けます
f(t)の原始関数のひとつをF(t)とおくと、
∫[x→1]f(t)dt=F(1)−F(x)
これをxで微分すると、
(d/dx)∫[x→1]f(t)dt
=(d/dx)(F(1)−F(x))
=0−F’(x)
=−f(x)
一般に、
(d/dx)∫[p→q]f(t) = f(q)q’−f(p)p’
(p,qはxの関数または定数)
分かりやすい解説ありがとうございます!