The integral ∫dx√A+Bx+Cx2 is more sophisticated still. Try to prove for yourself that, if C>0, ∫dx√A+Bx+Cx2=1√Clog(2Cx+B+√4C(A+Bx+Cx2)). In his Calculus, letting A=0, B=2a, and C=1, De Morgan deduced that, as he put it: ∫dx√2ax+x2=log(x+a+√(2ax+x2))+log2. (Omit the constant.)

Figure 11. Part of page 116 from De Morgan’s Differential and Integral Calculus.
But when Lovelace tried to derive this result from first principles, she wrote [LB 170, 15 Aug. [1841], f. 115v]:
I cannot make it anything but ∫dx√2ax+x2=log(x+2a+√(2ax+x2)) or else =log(x2+a+√2ax+x22)+log2 … and I begin to suspect the book.
Her approach was straightforward. Setting 2ax+x2=(2a+x)x=y2, she derived the differential equation (2a+x)dx=ydy, from which she formed the integral ∫dxy=∫dy2a+x.
Then, by analogy with the ‘fact’ that dx+dyx+y=dxy, she obtained ∫dxy=∫d(2a+x)+dy(2a+x)+y=∫d(2a+x+y)2a+x+y=log(2a+x+y)=log(2a+x+√2ax+x2)=log(x2+a+√2ax+x22)+log2.
In addition to her erroneous assumption that dx+dyx+y=dxy
De Morgan was able to spot that, given y2=(2a+x)x, she had forgotten to apply the product rule, so that her differential equation should have been ydy=12xdx+12(2a+x)dx or ydy=(x+a)dx.[2] After correcting these errors, Lovelace wrote in a subsequent letter [LB 170, 21 Aug. [1841], f. 121v], that
we arrive then in my corrected paper, at ∫dx√2ax+x2=log(x+a+√(2ax+x2))=log(x2+a2+√2ax+x22)+log2.
Can you derive Lovelace’s final result from equation [2]?
In his acknowledgement, De Morgan observed that Lovelace’s answer agreed with his result in all respects ‘but the log 2, which being a Constant, matters nothing’ [LB 170, 21 Aug. [1841], f. 121v]. Explain why his and Lovelace’s results are equivalent.
Return to Main Problems Page.
Continue to Problem 10.