Zum Inhalt springen

Formelsammlung Mathematik: Bestimmte Integrale: Form R(x,tan)

Aus Wikibooks

Zurück zu Bestimmte Integrale

0πxtanxdx=πlog2
Beweis


Setzt man f(z)=ztanz, so ist

Cεfdz+Kεfdz+Dεfdz+γNfdz+σNfdz+δNfdz=fdz=0.

Nun ist limε0+Cεfdz+Dεfdz=p.V.0πxtanxdx

und limε0+Kεfdz=iπres(f,π2)=iπ22.

Und aus γNfdz+δNfdz=0Nf(π+iy)idy0Nf(iy)idy=π0Ntanhydy=πlog(coshN)

und σNfdz=0πf(x+iN)dx=πlog(2coshN)iπ22

folgt γNfdz+σNfdz+δNfdz=πlog2iπ22.

Also ist p.V.0πxtanxdx+πlog2=0.

0π4log(1+tanx)dx=π8log2
Beweis

Wegen 1+tanx=cosx+sinxcosx=2cos(π4x)cosx

ist log(1+tanx)=12log2+logcos(π4x)log(cosx).

Da nach Substitution xπ4x

0π4logcos(π4x)dx=0π4log(cosx)dx ist,

ist das gesuchte Integral 0π412log2dx=π8log2 .

tanαxxdx=πα>0
Beweis

Nach der Formel von Lobatschewski ist 1tanxxdx=0π1dx=π.

Substituiert man xαx, so erhält man die behauptete Formel.

0π211+tanαxdx=π4αi×
Beweis

Für αi× sei I(α)=0π211+tanαxdx.

Nach Substitution xπ2x ist I(α)=0π211+cotαxdx=0π2tanαx1+tanαxdx.

Addiert man die verschiedenen Darstellungen von I(α), so ist 2I(α)=0π21+tanαx1+tanαxdx=π2.

Unabhängig von α gilt also I(α)=π4.

0π2tan2α1xdx=π2sinαπ0<Re(α)<1
Beweis

Verwende die Formel

20π2sin2α1xcos2β1xdx=Γ(α)Γ(β)Γ(α+β)Re(α),Re(β)>0.

Ist 0<Re(α)<1 und setzt man β=1α, so ist auch 0<Re(β)<1.

Also ist 20π2tan2α1xdx=Γ(α)Γ(1α).

Und das ist πsinαπ nach dem Eulerschen Ergänzungssatz.