Bästa svaret
Vi använder formeln cos (A + B) = Cos A cos B – sin A sin B, för att få formeln 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)
Igen, 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)
Återigen, 2 cos ^ 2 x – 1 = 2 (1 – sin ^ 2 x) – 1 = 1 – 2 sin ^ 2 x
Så , Cos 2x = 1 – 2 sin ^ 2 x
Därför Cos 2x = cos ^ 2 x – sin ^ 2 x = 2 cos ^ 2 x – 1 = 1-2 sin ^ 2 x
Svar
Det här är ab * tch:
{\ displaystyle \ int} \ dfrac {2x} {\ sin \ left (2x \ right)} \, \ mathrm {d} x
Vi skriver om denna ekvation som = {\ displaystyle \ int} 2x \ csc \ left (2x \ right) \, \ mathrm {d} x \ Rightarrow \ class {step-node} {\ cssId {step- nod-1} {2}} {\ displaystyle \ int} x \ csc \ left (2x \ right) \, \ mathrm {d} x
Låt oss lösa för {\ displaystyle \ int} x \ csc \ left (2x \ right) \, \ mathrm {d} x
Omskrivning med exponentials: = {\ 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 {steg-nod-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 nu: {\ displaystyle \ int} \ dfrac {x} {\ mathrm {e} ^ {2 \ mathrm {i} x} – \ mathrm {e} ^ {- 2 \ mathrm {i} x}} \, \ mathrm {d} x
Lägg termer över en gemensam nämnare: = {\ displaystyle \ int} \ dfrac {x \ mathrm {e} ^ {2 \ mathrm {i} x}} {\ mathrm {e} ^ {4 \ mathrm {i} x} -1} \, \ mathrm {d} x
Eftersom \ 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} \ till \ mathtt {g} \: = \ ln \ left (v + 1 \ right)
= \ ln \ left (v \ höger) \ ln \ vänster (v + 1 \ höger) – {\ displaystyle \ int} \ dfrac {\ ln \ left (v + 1 \ höger)} {v} \, \ mathrm {d} v
{\ displaystyle \ int} \ dfrac {\ ln \ left (v + 1 \ right)} {v} \, \ mathrm {d} v
Löser nu: {\ displaystyle \ int} \ dfrac {\ ln \ left (v + 1 \ right)} {v} \, \ mathrm {d} v
Ersättare w = -v \ longrightarrow \ mathrm {d} v = – \ mathrm {d} w
= – {\ displaystyle \ int} – \ dfrac {\ ln \ left (1-w \ right)} {w} \, \ mathrm {d} w
Återigen är detta en dilogaritm som ovan: = \ 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)
Ångra byte w = -v: = – \ operatorname {Li} \_2 \ left (-v \ right)
Anslut lösta 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öger) + \ operatorname {Li } \_2 \ left (-v \ right)
Lösar nu för: {\ displaystyle \ int} \ dfrac {\ ln \ left (v \ right)} {v-1} \, \ mathrm { d} v
Ersättare w = v-1 \ longrightarrow \ mathrm {d} v = \ mathrm {d} w
= {\ displaystyle \ int} \ dfrac {\ ln \ left (w + 1 \ right)} {w} \, \ mathrm {d} w
Återigen är detta en dilogaritm: = – \ operatorname {Li} \_2 \ left (-w \ right )
Och eftersom w = v-1: = – \ operatorname {Li} \_2 \ left (1-v \ right)
Anslut lösta integraler: – \ class {steg -nod} {\ cssId {steg-nod-8} {\ dfrac {1} {2}}} {\ displaystyle \ int} \ dfrac {v \ ln \ left (v \ right)} {v ^ 2 + 1 } \, \ mathrm {d} v + \ class {steg-nod} {\ cssId {steg-nod-9} {\ dfrac {1} {4}}} {\ displaystyle \ int} \ dfrac {\ ln \ left (v \ höger)} {v + 1} \, \ mathrm {d} v + \ class {steg-nod} {\ cssId {steg-nod-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öger)} {4} – \ dfrac {\ operatorname {Li} \_2 \ left (-v ^ 2 \ right)} {8} + \ dfrac {\ ln \ left (v \ right) \ ln \ vänster (v + 1 \ höger)} {4} + \ dfrac {\ operatorname {Li} \_2 \ left (-v \ right)} {4} – \ dfrac {\ operatorname {Li} \_2 \ left (1-v \rätt )} {4}
Ångra byte av v = \ mathrm {e} ^ u, använd \ 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öger)} {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}
Anslut lösta integraler igen: – {\ 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öger)} {8} – \ dfrac {u \ ln \ left (\ mathrm {e} ^ u + 1 \ right)} {4} – \ dfrac {\ operatorname {Li} \_2 \ left (- \ mathrm {e } ^ u \ höger)} {4} + \ dfrac {\ operatorname {Li} \_2 \ left (1- \ mathrm {e} ^ u \ right)} {4}
Eftersom u = \ mathrm {i} x: = \ dfrac {\ mathrm {i} x \ ln \ left (\ mathrm {e} ^ {2 \ mathrm {i} x} +1 \ right)} {4} + \ dfrac {\ operatornamn {Li} \_2 \ left (- \ mathrm {e} ^ {2 \ mathrm {i} x} \ right)} {8} – \ dfrac {\ mathrm {i} x \ ln \ left (\ mathrm {e } ^ {\ mathrm {i} x} +1 \ höger)} {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} \ höger)} {4}
Anslut lösta integraler: \ class {steg-nod} {\ cssId {steg-nod-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} \ operatornamn {Li} \_2 \ left (- \ mathrm {e} ^ {2 \ mathrm {i} x} \ right)} {4} + \ dfrac {x \ ln \ left (\ mathrm {e} ^ {\ mathrm {i} x} +1 \ höger)} {2} – \ dfrac {\ mathrm {i} \ operatornamn {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}
Anslut lösta integraler: \ class {steg-nod} {\ cssId {steg-nod-13} {2}} {\ displaystyle \ int} x \ csc \ vänster (2x \ höger) \, \ 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)
Allt vi behöver göra nu är att tillämpa absolutvärdesfunktionen på logaritmfunktionens argument för att utvidga antiderivationsdomänen:
{\ displaystyle \ int} 2x \ csc \ left (2x \ right ) \, \ 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} \ höger) +2 \ operatornamn {Li} \_2 \ vänster (1- \ mathrm {e} ^ {\ mathrm {i} x} \ höger) \ höger)} {2} -x \ vänster ( \ ln \ left (\ left | \ mathrm {e} ^ {2 \ mathrm {i} x} +1 \ right | \ right) – \ ln \ left (\ left | \ mathrm {e} ^ {\ mathrm { i} x} +1 \ höger | \ höger) \ höger) + C}