My friend had the following doubt:

\( \int { \frac { dx }{ x\ln { x } } } \)

You might laugh at me and say this is a straightforward integration by substitution which gets us to

\( \ln { (\ln { x)+C } } \)

But what if we try integration by parts???

\( I=\int { \frac { dx }{ x\ln { x } } } =\frac { 1 }{ \ln { x } } \int { \frac { dx }{ x } } -\int { \left( -\frac { 1 }{ { (\ln { x } ) }^{ 2 } } \frac { 1 }{ x } \int { \frac { dx }{ x } } \right) dx } =\frac { 1 }{ \ln { x } } \ln { x } +\int { \frac { dx }{ x\ln { x } } } =1+I\quad \\ \Rightarrow I=I+1\Rightarrow 1=0 \)

Please tell me where are we wrong?

## Comments

Sort by:

TopNewestYes the approach using integration by parts tells us that something is wrong, but you will be surprised that both answers are true!

As long as we are working with indefinite integrals, the key here is the constant of integration. You forgot to add a constant when you integrated by parts. we know that this constant is arbitrary, that is, you could use \(C+1\) as constant of integration rather than \(C\).

Therefore this is correct using either methods, and you can assure that by two ideas :

1) you can differentiate both answers, you will get the same initial function.

2) suppose you are dealing with definite integral: when you use the fundamental theorem of calculus, the excess "\(1\)" will be cancelled. – Hasan Kassim · 2 years, 10 months ago

Log in to reply

In a similar vein: How to show that \( \sin \theta = \cos \theta = 0 \).

\[ \int \sin \theta \cos \theta \, d \theta = \int \sin \theta \, d \sin \theta = \frac{1}{2} \sin ^2 \theta, \]

\[ \int \sin \theta \cos \theta \, d \theta = - \int \cos \theta \, d \cos \theta = - \frac{1}{2} \cos^2 \theta \]

Hence, \( \frac{1}{2} \sin^2 \theta = - \frac{1}{2} \cos ^2 \theta \). But since squares are non-negative, they must both be 0.

Of course, as pointed out by Hasan, the correct conclusion should be:

\[ \frac{1}{2} \sin ^2 \theta + C_1 = - \frac{1}{2} \cos ^2 \theta + C_2 \Rightarrow \sin^2 \theta + \cos^2 \theta = C_2 - C_1, \]

which is a well known fact. – Calvin Lin Staff · 2 years, 10 months ago

Log in to reply

Another example is The integral \(\displaystyle \int \mathrm \tan x \sec^2 x \mathrm {d}x\) . Using substitution \(u=\sec x\) and \(u=\tan x\) will yield two obviously different answers. – Hasan Kassim · 2 years, 10 months ago

Log in to reply

– John Muradeli · 2 years, 10 months ago

And wouldn't this imply that \(C_2-C_1=1\)?Log in to reply

– Anirban Roy · 2 years, 10 months ago

How is integration of \sin \theta \cos \theta =sin^2(theta) ... if we assume \sin \theta = t, then we will get t^2/2 ...thus (sin theta)^2 / 2 ...and how can u write dsin(theta)...I understood the fallacies, but plz respond to my doubtsLog in to reply

As explained by @John Muradeli , I used the substitution of \( u = \sin \theta \) and \( u = \cos \theta \) respectively. It is a shorthand way of expressing it, without stating it explicitly.

Note: I've edited your comment to show you how to use the brackets \ ( \ ) around the math code to make the formulas display correctly. – Calvin Lin Staff · 2 years, 10 months ago

Log in to reply

Wolfram|Alpha agrees.

He just used the substitution you proposed, just in a disguised way. And you're right.Calvin made a boo-boo – John Muradeli · 2 years, 10 months ago

Log in to reply

\sin^2{x}= \(\sin^2{x}\)

\theta = \(\theta\)

Use \(\(...\)) for latex. (... replace with the code, ex. sin{x}) – John Muradeli · 2 years, 10 months ago

Log in to reply

– Anirban Roy · 2 years, 10 months ago

Thx...that was my first comment,so couldnt use it properly...p.s how he took d \sin{x} in place of dxLog in to reply

\(\int{tdt}\)

Now think of \(t\) as a blob of what it originally was (\(\sin{(x)}\)). If you do so, you end up with

\(\int{\sin{(x)}d(\sin{(x)}})\)

-see? Pretty clever, eh?

And yes you do end up with \(\frac{t^2}{2}+C\), or, \(\frac{1}{2}\sin^2{x}+C\).

P.S.

If you wonder why he did it, sometimes in problems its easy to see. If you notice, the stuff after \(d\) is just the stuff he took out - integrated. This is so that to undo the \(d"stuff"\), when you differentiate the "stuff" it will get back into the argument and \(d\) will take its original form. This is a bit a wacko of an explanation but you can probably see it better from the \(t\) substitution.

Hope this helped.

Cheers, – John Muradeli · 2 years, 10 months ago

Log in to reply

– Anirban Roy · 2 years, 10 months ago

I understood ur explanation and logics but ur english is quite tough for me :D ... thx againLog in to reply

– John Muradeli · 2 years, 10 months ago

Glad to help :DLog in to reply

Edit: Use \( \sin {x} \). You can edit this comment (click the pencil in the top right), to see the actual code used. – Anirban Roy · 2 years, 10 months ago

Log in to reply

Cool?

\pi =\(\pi\)

\infty = \(\infty\)

\Rightarrow = \(\Rightarrow\)

When raising to a power that includes more than two characters, encase the exponent with {...}. Ex.

\e^-x=\(e^-1x\). \e^{-x}=\(e^{-x}\)

P.S. - double enter to skip a line – John Muradeli · 2 years, 10 months ago

Log in to reply

– John Muradeli · 2 years, 10 months ago

Like I said, encase all Latex code in \ ( ... \ ) (without the spaces). The "..." is the stuff you put in, like the \sin{x}.Log in to reply

– Anirban Roy · 2 years, 10 months ago

(Y) ...Log in to reply

@hasan kassim @Krishna Jha Can you add this to the Wiki page of a suitable skill in Integration by Parts? – Calvin Lin Staff · 2 years, 9 months ago

Log in to reply

– Krishna Jha · 2 years, 9 months ago

How do I do that sir?Log in to reply

@Krishna Jha Can you add this to Integration by Parts, so that others can be kept aware of this common mistake? Thanks! – Calvin Lin Staff · 2 years, 9 months ago

Log in to reply

this fine?? – Krishna Jha · 2 years, 9 months ago

OK.. But how to do that sir? IsLog in to reply

bro,, this is indefinite integral,, several functions infact infinite functions all differing by a constant give us the same derivative,, – Mvs Saketh · 2 years, 10 months ago

Log in to reply

The difference between the primitives of a function is a constant.

Let \(F ' (x) = G ' (x) = f(x) \).

Then \(F(x) = G(x) + C\). – Adrian Neacșu · 2 years, 10 months ago

Log in to reply

You cannot take a number that needs to be integrated out of the integration – Nihit Khunteta · 2 years, 10 months ago

Log in to reply

U can't use integration by parts for integrating two same functions – Roshan Shetty · 2 years, 10 months ago

Log in to reply

– Jibin Joy K · 2 years, 10 months ago

why not??Log in to reply