If the point (x, y) is equidistant from the points (a + b, b – a) and (a – b, a + b), prove that bx = ay
\[ \int \left( \frac{\log_e t}{1+t} + \frac{\log_e t}{t(1+t)} \right) dt \]