Questions   
Sort: 
 #1
avatar
+1

Take the integral:
 integral(sin(x))/(sin(x) + cos(x)) dx


Multiply numerator and denominator of (sin(x))/(sin(x) + cos(x)) by csc^3(x):
 = integral(csc^2(x))/(csc^2(x) + cot(x) csc^2(x)) dx


Prepare to substitute u = cot(x). Rewrite (csc^2(x))/(csc^2(x) + cot(x) csc^2(x)) using csc^2(x) = cot^2(x) + 1:
 = integral(csc^2(x))/(cot^3(x) + cot^2(x) + cot(x) + 1) dx
For the integrand (csc^2(x))/(cot^3(x) + cot^2(x) + cot(x) + 1), substitute u = cot(x) and du = -csc^2(x) dx:
 = integral-1/(u^3 + u^2 + u + 1) du


Factor out constants:
 = - integral1/(u^3 + u^2 + u + 1) du


For the integrand 1/(u^3 + u^2 + u + 1), use partial fractions:
 = - integral((1 - u)/(2 (u^2 + 1)) + 1/(2 (u + 1))) du


Integrate the sum term by term and factor out constants:
 = -1/2 integral(1 - u)/(u^2 + 1) du - 1/2 integral1/(u + 1) du


Expanding the integrand (1 - u)/(u^2 + 1) gives 1/(u^2 + 1) - u/(u^2 + 1):
 = -1/2 integral(1/(u^2 + 1) - u/(u^2 + 1)) du - 1/2 integral1/(u + 1) du


Integrate the sum term by term and factor out constants:
 = 1/2 integral u/(u^2 + 1) du - 1/2 integral1/(u^2 + 1) du - 1/2 integral1/(u + 1) du


For the integrand u/(u^2 + 1), substitute s = u^2 + 1 and ds = 2 u du:
 = 1/4 integral1/s ds - 1/2 integral1/(u^2 + 1) du - 1/2 integral1/(u + 1) du
The integral of 1/s is log(s):
 = (log(s))/4 - 1/2 integral1/(u^2 + 1) du - 1/2 integral1/(u + 1) du


The integral of 1/(u^2 + 1) is tan^(-1)(u):
 = -1/2 tan^(-1)(u) + (log(s))/4 - 1/2 integral1/(u + 1) du
For the integrand 1/(u + 1), substitute p = u + 1 and dp = du:
 = -1/2 tan^(-1)(u) + (log(s))/4 - 1/2 integral1/p dp


The integral of 1/p is log(p):
 = -(log(p))/2 + (log(s))/4 - 1/2 tan^(-1)(u) + constant
Substitute back for p = u + 1:


 = (log(s))/4 - 1/2 log(u + 1) - 1/2 tan^(-1)(u) + constant
Substitute back for s = u^2 + 1:
 = 1/4 log(u^2 + 1) - 1/2 log(u + 1) - 1/2 tan^(-1)(u) + constant


Substitute back for u = cot(x):
 = -1/2 log(cot(x) + 1) - 1/2 tan^(-1)(cot(x)) + 1/4 log(csc^2(x)) + constant
Factor the answer a different way:
 = 1/4 (-2 log(cot(x) + 1) - 2 tan^(-1)(cot(x)) + log(csc^2(x))) + constant
Which is equivalent for restricted x values to:
Answer: | = 1/2 (x - log(sin(x) + cos(x))) + constant

 

Sorry Max: I'm too old to learn LaTex! I hope you can follow it.

Jun 3, 2017
 #2
avatar+2446 
+2

I think I have an explanation that is simple to understand! In advance, I have not referenced any of Hecticlar's sources before writing this explanation, so mine could be similar or different. To start, I am going to make a table of powers that we can calculate:

 

\(2^n\) Written-out Result
\(2^5\) 2*2*2*2*2 32
\(2^4\) 2*2*2*2 16
\(2^3\) 2*2*2 8
\(2^2\) 2*2 4
\(2^1\) 2 2
\(2^0\) ? ?
\(2^{-1}\) 1/(2) 1/2
\(2^{-2}\) 1/(2*2) 1/4
\(2^{-3}\) 1/(2*2*2) 1/8
\(2^{-4}\) 1/(2*2*2*2) 1/16
\(2^{-5}\) 1/(2*2*2*2*2) 1/32

 

Do you notice a pattern? I do. As you go down the list, you can divide by 2 to get the next number in the sequence! FIrst, I'll generalize this statement:
 

\(\frac{2^n}{2}=2^{n-1}\)

 

What I have done here is manipulate the powers so that I can circumvent raising to the power of 0. If I make n=1, I will raise to the power of zero and get a result of what that answer should be. Let's try it!

 

\(\frac{2^1}{2}=2^{1-1}\) Let's simplify the right hand side first by doing 1-1
\(\frac{2^1}{2}=2^0\) Woah! Evaluate the left hand side to figure out what 2^0 truly equals.
\(\frac{2}{2}=2^0\)  
\(1=2^0\)  
   

 

We can generalize this further to say that any number raised to the power of zero is 1 using some algebra:

 

\(1=\frac{x^n}{x^n}\hspace{1mm},x\neq0\) This statement is true because any number divided by itself is one! I'll use an exponent rule that says that \(\frac{x^n}{x^n}=x^{n-n}\)
\(1=x^{n-n}\) n-n=0, so let's simplify that
\(1=x^0\hspace{1mm},x\neq0\) This is saying that any number to the power of zero is one. 
   

0 Online Users