遅dx/(1+x^2)
=1/2(1+x^2)'dx/(1+x^2)
=1/2log(1+x^2)

何故こうなるのか解りません、2つめの式の1/2がどこから出てきたのか、分子の(1+x^2)'で何故いきなり微分が出てきたのか、
答えを見る限りだと、分子のxを消したいがためなんでしょうけど、その経緯が解りません。宜しくお願いします。