Formelsammlung Mathematik: Identitäten
Aus Wikibooks
Zurück zu Formelsammlung Mathematik
[Bearbeiten] Altbabylonische Multiplikationsformel
[Bearbeiten] Formel von Fibonacci
[Bearbeiten] Identitäten mit Binomialkoeffizienten
[Bearbeiten] Wurzel einer komplexen Zahl
, mit 
Für jede von Null verschiedene komplexe Zahl
gibt es stets zwei komplexe Zahlen die quadriert
ergeben.
Mit
soll der komplexe Hauptwert gemeint sein. Hier ist stets
und im Fall
ist
.
Wenn
sein soll muss gelten
und
.
Daher ist 
und
,
da im Fall
sein muss. Und im Fall
, somit
, soll
sein.
[Bearbeiten] Definition von Arkus- und Area-Funktionen durch exp und log
für 
für 
für 
für 
für 
für 
[Bearbeiten] Elementare Funktionen mit Argument iz
[Bearbeiten] Gegenseitige Darstellbarkeit von Winkelfunktionen
[Bearbeiten] Logarithmus der e-Funktion
ist ![\ln(e^z)=\Big(|z| \cos \arg z\Big)+\mathrm i\,
\underbrace{\Big(|z| \sin\arg z \mod 2\pi\Big)}_{\in ]-\pi,\pi]}](http://upload.wikimedia.org/math/0/1/7/0174b9690a321edfd237dc57677a8e5b.png)
[Bearbeiten] Definition trigonometrischer Funktionen durch die e-Funktion
[Bearbeiten] Verknüpfung einer trigonometrischen Funktion mit einer Arkusfunktion
[Bearbeiten] Verknüpfung einer Hyperbelfunktion mit einer Areafunktion
[Bearbeiten] Trigonometrische Funktion mit verschobenem Argument
[Bearbeiten] Komplementheit von Arkusfunktion
für 
[Bearbeiten] Eulerscher Ergänzungssatz
ist 
[Bearbeiten] Darstellung der Betafunktion durch Gammafunktionen
[Bearbeiten] Gamma an bestimmten Stellen
[Bearbeiten] Legendre'sche Verdopplungsformel
[Bearbeiten] Riemannsche Funktionalgleichung
Nachdem
ist konvergiert
![F(z):=\frac{1}{\Gamma(z)}\, \left[\int_0^1 \left(\frac{1}{e^t-1}-\frac{1}{t}\right)\, t^{z-1}\, dt+\frac{1}{z-1}+\int_1^\infty \frac{t^{z-1}}{e^t-1}\, dt \right]](http://upload.wikimedia.org/math/b/5/2/b525551fd9137f6dd74d81735898fb98.png)
für alle
mit
. Und für
ist 
und somit
.
ist daher die holomorphe Fortsetzung von
für alle
mit
.
Definiert man
als ![\frac{1}{\Gamma(z)}\left[\underbrace{\int_0^1 \left(\frac{1}{e^t-1}-\frac{1}{t}+\frac12\right)\, t^{z-1} \, dt}_{=:u(z)}-\frac{1}{2z}+\underbrace{\int_1^\infty \left(\frac{1}{e^t-1}-\frac{1}{t}\right) \, t^{z-1}\, dt}_{=:v(z)}\right]](http://upload.wikimedia.org/math/f/f/4/ff45f93ca93845a1e342f9c5e3c0d5dd.png)
so konvergiert
für
und
für
. Also konvergiert
für alle
mit
.
Da
für alle
mit
mit
übereinstimmt ist
für alle
mit 
die holomorphe Fortsetzung von
. Für
läßt sich wegen 
schreiben als
.
Dabei ist
.
Nach Substitution
ist 
wobei
ist.
Also ist
.
[Bearbeiten] Weitere Identitäten trigonometrischer Funktionen
[Bearbeiten] Tangens einer Summe
Ersetze in der Formel
durch 

Schreibe
als
und jeden Faktor
als
.

Teile nun Zähler und Nenner jeweils durch
.
[Bearbeiten] Gaußsches Digamma Theorem
[Bearbeiten] Partialbruchzerlegungen
[Bearbeiten] Reihenidentitäten

Wegen
ist
.
Also
. Für
folgt daraus die Behauptung.
- Ist
so gilt
mit
.
[Bearbeiten] Integral/Reihen Identität


![=\frac{1}{2\beta}\left[\psi\left(\frac12+\frac{\alpha}{2\beta}\right)-\psi\left(\frac{\alpha}{2\beta}\right)\right]](http://upload.wikimedia.org/math/4/9/1/4918487e798009cb151c0b72ce2b02a2.png)



















































































































![\arctan(z)+\arccot(z)=\left\{\begin{matrix}
\frac{\pi}{2} && \operatorname{Re}(z)>0 && z\in \mathrm i\, ]-1,0] && z\in \mathrm i\, ]1,\infty[
\\\\ -\frac{\pi}{2} && \operatorname{Re}(z)<0 && z\in \mathrm i\, ]-\infty,-1[ && z\in \mathrm i\, ]0,1[ \end{matrix}\right.](http://upload.wikimedia.org/math/4/2/0/420af798864df00a77f1ba22c9823afc.png)















![\int_0^1 \frac{x^{\alpha-1}}{1+x^\beta}\, dx=\sum_{k=0}^\infty \frac{(-1)^k}{\alpha+\beta\, k}=\frac{1}{2\beta}\left[\psi\left(\frac12+\frac{\alpha}{2\beta}\right)-\psi\left(\frac{\alpha}{2\beta}\right)\right]](http://upload.wikimedia.org/math/2/d/b/2dbb2c77a1f314cdd934e19bb3fa83af.png)


