Beste svaret
Vi bruker formelen cos (A + B) = Cos A cos B – sin A sin B, for å få formelen av cos 2x.
Så, Cos 2x = Cos (x + x) = Cos x cos x – sin x sin x = cos ^ 2 x – sin ^ 2 x
Så, Cos 2x = cos ^ 2 x – sin ^ 2 x … ……. (1)
Igjen, cos ^ 2 x – sin ^ 2 x = cos ^ 2 x – (1- cos ^ 2 x) = 2 cos ^ 2 x – 1
Så, Cos 2x = 2 cos ^ 2 x – 1 …………… .. (2)
Igjen, 2 cos ^ 2 x – 1 = 2 (1 – sin ^ 2 x) – 1 = 1 – 2 sin ^ 2 x
Så , Cos 2x = 1 – 2 sin ^ 2 x
Derfor, Cos 2x = cos ^ 2 x – sin ^ 2 x = 2 cos ^ 2 x – 1 = 1-2 sin ^ 2 x
Svar
Dette er ab * tch:
{\ displaystyle \ int} \ dfrac {2x} {\ sin \ left (2x \ right)} \, \ mathrm {d} x
Vi skriver om denne ligningen som = {\ displaystyle \ int} 2x \ csc \ left (2x \ right) \, \ mathrm {d} x \ Rightarrow \ class {trinn-node} {\ cssId {trinn- node-1} {2}} {\ displaystyle \ int} x \ csc \ left (2x \ right) \, \ mathrm {d} x
La oss løse for {\ displaystyle \ int} x \ csc \ left (2x \ right) \, \ mathrm {d} x
Omskriving ved hjelp av eksponensialer: = {\ displaystyle \ int} \ dfrac {2 \ mathrm {i} x} {\ mathrm { e} ^ {2 \ mathrm {i} x} – \ mathrm {e} ^ {- 2 \ mathrm {i} x}} \, \ mathrm {d} x \ Rightarrow \ class {step-node} {\ cssId {trinn-node-2} {2 \ mathrm {i}}} {\ cdot} {\ displaystyle \ int} \ dfrac {x} {\ mathrm {e} ^ {2 \ mathrm {i} x} – \ mathrm {e} ^ {- 2 \ mathrm {i} x}} \, \ mathrm {d} x
Løser nå: {\ displaystyle \ int} \ dfrac {x} {\ mathrm {e} ^ {2 \ mathrm {i} x} – \ mathrm {e} ^ {- 2 \ mathrm {i} x}} \, \ mathrm {d} x
Sett termer over en fellesnevner: = {\ displaystyle \ int} \ dfrac {x \ mathrm {e} ^ {2 \ mathrm {i} x}} {\ mathrm {e} ^ {4 \ mathrm {i} x} -1} \, \ mathrm {d} x
Siden \ dfrac {\ mathrm {d}} {\ mathrm {d} x} \ left [\ mathrm {i} x \ right] = \ mathrm {i}.mathtt {g}
\ mathtt {f} \: = \ ln \ left (v \ right) \ to \ mathtt {f} «\: = \ dfrac {1} {v}; \ mathtt {g} «\: = \ dfrac {1} {v + 1} \ to \ mathtt {g} \: = \ ln \ left (v + 1 \ right)
= \ ln \ left (v \ right) \ ln \ left (v + 1 \ right) – {\ displaystyle \ int} \ dfrac {\ ln \ left (v + 1 \ right)} {v} \, \ mathrm {d} v
{\ displaystyle \ int} \ dfrac {\ ln \ left (v + 1 \ right)} {v} \, \ mathrm {d} v
Løser nå: {\ displaystyle \ int} \ dfrac {\ ln \ left (v + 1 \ right)} {v} \, \ mathrm {d} v
Erstatning w = -v \ longrightarrow \ mathrm {d} v = – \ mathrm {d} w
= – {\ displaystyle \ int} – \ dfrac {\ ln \ left (1-w \ right)} {w} \, \ mathrm {d} w
Igjen er dette en dilogaritme som ovenfor: = \ operatorname {Li} \_2 \ left (w \ right)
Så – {\ displaystyle \ int} – \ dfrac {\ ln \ left (1-w \ right)} {w} \, \ mathrm {d} w = – \ operatorname {Li} \_2 \ left (w \ right)
Angre erstatning w = -v: = – \ operatorname {Li} \_2 \ left (-v \ right)
Plugg inn løste integraler: \ ln \ left (v \ right) \ ln \ left (v + 1 \ right) – { \ displaystyle \ int} \ dfrac {\ ln \ left (v + 1 \ right)} {v} \, \ mathrm {d} v = \ ln \ left (v \ right) \ ln \ left (v + 1 \ høyre) + \ operatorname {Li } \_2 \ left (-v \ right)
Løser nå for: {\ displaystyle \ int} \ dfrac {\ ln \ left (v \ right)} {v-1} \, \ mathrm { d} v
Erstatning w = v-1 \ longrightarrow \ mathrm {d} v = \ mathrm {d} w
= {\ displaystyle \ int} \ dfrac {\ ln \ left (w + 1 \ right)} {w} \, \ mathrm {d} w
Igjen, dette er en dilogaritme: = – \ operatorname {Li} \_2 \ left (-w \ right )
Og siden w = v-1: = – \ operatorname {Li} \_2 \ left (1-v \ right)
Koble til løste integraler: – \ class {trinn -node} {\ cssId {trinn-node-8} {\ dfrac {1} {2}}} {\ displaystyle \ int} \ dfrac {v \ ln \ left (v \ right)} {v ^ 2 + 1 } \, \ mathrm {d} v + \ class {trinn-node} {\ cssId {trinn-node-9} {\ dfrac {1} {4}}} {\ displaystyle \ int} \ dfrac {\ ln \ left (v \ right)} {v + 1} \, \ mathrm {d} v + \ class {trinn-node} {\ cssId {trinn-node-10} {\ dfrac {1} {4}}} {\ displaystyle \ int} \ dfrac {\ ln \ left (v \ right)} {v-1} \, \ mathrm {d} v = – \ dfrac {\ ln \ left (v \ right) \ ln \ left (v ^ 2 + 1 \ høyre)} {4} – \ dfrac {\ operatorname {Li} \_2 \ left (-v ^ 2 \ right)} {8} + \ dfrac {\ ln \ left (v \ right) \ ln \ venstre (v + 1 \ høyre)} {4} + \ dfrac {\ operatorname {Li} \_2 \ left (-v \ right)} {4} – \ dfrac {\ operatorname {Li} \_2 \ left (1-v \Ikke sant )} {4}
Angre erstatning av v = \ mathrm {e} ^ u, bruk \ ln \ left (\ mathrm {e} ^ u \ right) = u:
= – \ dfrac {u \ ln \ left (\ mathrm {e} ^ {2u} +1 \ right)} {4} – \ dfrac {\ operatorname {Li} \_2 \ left (- \ mathrm {e} ^ {2u} \ høyre)} {8} + \ dfrac {u \ ln \ left (\ mathrm {e} ^ u + 1 \ right)} {4} + \ dfrac {\ operatorname {Li} \_2 \ left (- \ mathrm {e} ^ u \ right)} {4} – \ dfrac {\ operatorname {Li} \_2 \ left (1- \ mathrm {e} ^ u \ right)} {4}
Koble til løste integraler igjen: – {\ displaystyle \ int} \ dfrac {u \ mathrm {e} ^ {2u}} {\ mathrm {e} ^ {4u} -1} \, \ mathrm {d} u = \ dfrac {u \ ln \ left (\ mathrm {e} ^ {2u} +1 \ right)} {4} + \ dfrac {\ operatorname {Li} \_2 \ left (- \ mathrm {e} ^ {2u} \ høyre)} {8} – \ dfrac {u \ ln \ left (\ mathrm {e} ^ u + 1 \ right)} {4} – \ dfrac {\ operatorname {Li} \_2 \ left (- \ mathrm {e } ^ u \ right)} {4} + \ dfrac {\ operatorname {Li} \_2 \ left (1- \ mathrm {e} ^ u \ right)} {4}
Siden u = \ mathrm {i} x: = \ dfrac {\ mathrm {i} x \ ln \ left (\ mathrm {e} ^ {2 \ mathrm {i} x} +1 \ right)} {4} + \ dfrac {\ operatornavn {Li} \_2 \ left (- \ mathrm {e} ^ {2 \ mathrm {i} x} \ right)} {8} – \ dfrac {\ mathrm {i} x \ ln \ left (\ mathrm {e } ^ {\ mathrm {i} x} +1 \ right)} {4} – \ dfrac {\ operatorname {Li} \_2 \ l eft (- \ mathrm {e} ^ {\ mathrm {i} x} \ right)} {4} + \ dfrac {\ operatorname {Li} \_2 \ left (1- \ mathrm {e} ^ {\ mathrm {i } x} \ right)} {4}
Koble til løste integraler: \ class {steps-node} {\ cssId {steps-node-12} {2 \ mathrm {i}}} {\ cdot} {\ displaystyle \ int} \ dfrac {x} {\ mathrm {e} ^ {2 \ mathrm {i} x} – \ mathrm {e} ^ {- 2 \ mathrm {i} x}} \, \ mathrm {d} x = – \ dfrac {x \ ln \ left (\ mathrm {e} ^ {2 \ mathrm {i} x} +1 \ right)} {2} + \ dfrac {\ mathrm {i} \ operatornavn {Li} \_2 \ left (- \ mathrm {e} ^ {2 \ mathrm {i} x} \ right)} {4} + \ dfrac {x \ ln \ left (\ mathrm {e} ^ {\ mathrm {i} x} +1 \ høyre)} {2} – \ dfrac {\ mathrm {i} \ operatorname {Li} \_2 \ left (- \ mathrm {e} ^ {\ mathrm {i} x} \ right) } {2} + \ dfrac {\ mathrm {i} \ operatorname {Li} \_2 \ left (1- \ mathrm {e} ^ {\ mathrm {i} x} \ right)} {2}
Koble til løste integraler: \ class {step-node} {\ cssId {step-node-13} {2}} {\ displaystyle \ int} x \ csc \ left (2x \ right) \, \ mathrm {d } x = -x \ ln \ left (\ mathrm {e} ^ {2 \ mathrm {i} x} +1 \ right) + \ dfrac {\ mathrm {i} \ operatorname {Li} \_2 \ left (- \ mathrm {e} ^ {2 \ mathrm {i} x} \ right)} {2} + x \ ln \ left (\ mathrm {e} ^ {\ mathrm {i} x} +1 \ right) – \ mathrm {i} \ operatorname {Li} \_2 \ left (- \ mathrm {e} ^ { \ mathrm {i} x} \ right) + \ mathrm {i} \ operatorname {Li} \_2 \ left (1- \ mathrm {e} ^ {\ mathrm {i} x} \ right)
Alt vi trenger å gjøre nå er å bruke absoluttverdifunksjonen på argumenter for logaritmefunksjoner for å utvide antiderivasjonsdomenet:
{\ displaystyle \ int} 2x \ csc \ left ) \, \ mathrm {d} x = -x \ ln \ left (\ left | \ mathrm {e} ^ {2 \ mathrm {i} x} +1 \ right | \ right) + x \ ln \ left ( \ left | \ mathrm {e} ^ {\ mathrm {i} x} +1 \ right | \ right) + \ dfrac {\ mathrm {i} \ operatorname {Li} \_2 \ left (- \ mathrm {e} ^ {2 \ mathrm {i} x} \ right)} {2} – \ mathrm {i} \ operatorname {Li} \_2 \ left (- \ mathrm {e} ^ {\ mathrm {i} x} \ right) + \ mathrm {i} \ operatorname {Li} \_2 \ left (1- \ mathrm {e} ^ {\ mathrm {i} x} \ right) + C \ Rightarrow \ boxed {\ dfrac {\ mathrm {i} \ left (\ operatorname {Li} \_2 \ left (- \ mathrm {e} ^ {2 \ mathrm {i} x} \ right) -2 \ operatorname {Li} \_2 \ left (- \ mathrm {e} ^ {\ mathrm {i} x} \ right) +2 \ operatorname {Li} \_2 \ left (1- \ mathrm {e} ^ {\ mathrm {i} x} \ right) \ right)} {2} -x \ left ( \ ln \ left (\ left | \ mathrm {e} ^ {2 \ mathrm {i} x} +1 \ right | \ right) – \ ln \ left (\ left | \ mathrm {e} ^ {\ mathrm { i} x} +1 \ right | \ right) \ right) + C}