Inter-universal geometryとABC予想(シン応援スレ) 91

>>191
>∫_[(a_1)^2,(a_1)^2＋1](1/[x]－1/x)dx=(1/((a_1)^2－1)＋log((a_1)^2－1)－log((a_1)^2＋1))
てなんで？
[(a_1)^2,(a_1)^2＋1]で[x]=(a_1)^2なのでは?それと
[logx][(a_1)^2,(a_1)^2＋1]
の値も違うのでは？