Hi,
that is the step by step solution. This also works:
FullSimplify[1/2 Log[x + 2] - (Evaluate@Integrate[1/(2 x + 4), x]), Assumptions -> x > -1]
It gives
-(Log[2]/2)
so a constant which obviously equals
-(-(Log[2]/2) + Log[4]/2)
You can also do:
1/2 Log[x + 2] + Log[2]/2 == (Evaluate@Integrate[1/(2 x + 4), x]) // FullSimplify
or evaluate the derivatives:
FullSimplify[D[1/2 Log[x + 2], x] == D[(Evaluate@Integrate[1/(2 x + 4), x]), x]]
Cheers,
M.
