Sie sind auf Seite 1von 32

Einfuhrung in LATEX 2:

Mathematischer Satz mit LATEX


G
unter Partosch
E-Mail: Guenter.Partosch@hrz.uni-giessen.de
30. Oktober 2002

Zusammenfassung
Zielgruppe f
ur diese Kursunterlagen sind LATEX-Anfanger, die auf ihrem Rechner Dokumente erstellen wollen, die mathematische Formeln enthalten. Im Kurs werden die meisten M
oglichkeiten zur Formelgestaltung und die wichtigsten Formelelemente in Standardunschenswert sind mindestens Anfangskenntnisse in LATEX 2 .
LATEX vorgestellt. W

Inhaltsverzeichnis
1 Bemerkungen zum Setzen mathematischer Formeln

2 So bringe ich Mathematik in mein Dokument

2.1

Inline-Formeln . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.2

Abgesetzte Formeln

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3 Einige Beispiele fu
r mathematische Formeln

3.1

Griechische Buchstaben und spezielle Zeichen . . . . . . . . . . . . . . . . . . .

3.2

Klammern . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3.3

Relationen und bin


are Operatoren . . . . . . . . . . . . . . . . . . . . . . . . .

3.4

Mathematische Akzente und Vektoren . . . . . . . . . . . . . . . . . . . . . . .

3.5

Pfeile

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3.6

Andere Schriften . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3.7

Br
uche . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3.8

Wurzeln . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3.9

Exponenten und Indizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3.10 Binominalkoezienten und


ahnliche Konstrukte . . . . . . . . . . . . . . . . . .

10

3.11 Symbole stapeln . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

10

3.12 Ableitungen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

11

Hochschulrechenzentrum (HRZ) der Justus-Liebig-Universit


at Gieen

INHALTSVERZEICHNIS

3.13 Summen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

12

3.14 (Unendliche) Reihen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

13

3.15 Integrale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

14

3.16 Produkte . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

14

3.17 Mathematische Funktionen . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

14

3.18 Komplexe Zahlen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

15

3.19 Matrizen und andere rechteckige Anordnungen . . . . . . . . . . . . . . . . . .

16

3.20 Eigene Kommandos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

18

3.21 Theorem-artige Konstrukte . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

21

4 Und noch . . .

22

5 Und noch etwas . . .

22

A Anhang

23

A.1 Darum ging es jeweils . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

23

A.2 Und diese mathematischen LATEX-Befehle wurden benutzt . . . . . . . . . . . .

27

Vorbemerkung 1 (Nur Standard-Moglichkeiten):


Wie oben schon erw
ahnt, werden in dieser Anleitung lediglich die Standard-Moglichkeiten f
ur den Mathematik-Satz in LATEX 2 behandelt. Die weitergehenden Moglichkeiten zum Formelsatz in AMS-TEX und einigen speziellen Paketen (wie beispielsweise
amsmath, amssymb, mathrsfs und wasysym) bleiben unber
ucksichtigt.
Vorbemerkung 2 (Konventionen):
In der vorliegenden Anleitung wird versucht, an Hand zahlreicher Beispiele zu zeigen,
wie mathematische Formeln in LATEX 2 gesetzt werden konnen.
Dabei wird f
ur jedes Beispiel jeweils in der rechten Spalte die Eingabe und in der
linken Spalte das zugeh
orige Ergebnis aufgef
uhrt.
Um den Platz in der linken Spalte besser nutzen zu konnen, werden die Formeln dort
linksb
undig gesetzt (durch die Option fleqn in der documentclass-Anweisung).
Die Texte in den Beispielen wurden in ISO 8859-1 Latin-1 codiert (einschlielich
der Umlaute und des Eszets); auf die Umschreibung wie beispielsweise in "a f
ur
a wurde verzichtet. Wenn die Anweisung \usepackage[latin1]{fontenc} in der

Pr
aambel des Dokuments verwendet wird, werden die Texte ohne Probleme korrekt
dargestellt.

1 BEMERKUNGEN ZUM SETZEN MATHEMATISCHER FORMELN

Einige allgemeine Bemerkungen zum Setzen mathematischer Formeln

Das Setzen mathematischer Formeln unterscheidet sich in TEX und LATEX deutlich von der
Aufbereitung normaler Texte. Dabei gelten die folgenden Regeln (singema aus der LATEX
Kurzanleitung):
Leerzeilen in der Eingabe f
ur eine Formel sind generell nicht zulassig.
Leerzeichen und Zeilenwechsel haben bei der Eingabe keine Bedeutung; alle Abstande
in der Formel werden automatisch nach der Logik mathematischer Ausdr
ucke bestimmt
bzw. m
ussen durch spezielle Befehle wie \, oder \qquad festgelegt werden.
Jeder einzelne Buchstabe in der Eingabe wird als Name einer Variablen betrachtet und entsprechend gesetzt: kursiv mit zusatzlichem Abstand; so beispielsweise
mathematischerT ext statt mathematischer Text. Will man innerhalb eines ma

thematischen Kontextes normalen Text (d. h. aufrecht mit korrekten Abstanden) setzen,
muss man diesen in \textrm{...} auff
uhren.

2
2.1

So bringe ich Mathematik in mein Dokument


Inline-Formeln

%--inline1.tex--Seien $a$ und $b$ die Katheten


Seien a und b die Katheten
und c die Hypo
und $c$ die Hypotenuse, dann gilt
tenuse, dann gilt c = a2 + b2 (Lehrsatz des
$c=\sqrt{a^2+b^2}$ (Lehrsatz des
Pythagoras).
Pythagoras).
%--inline2.tex--Seien $a$ und $b$ die Katheten und
$c$ die Hypotenuse, dann gilt
Seien a und b die Katheten
und c die Hypo
\begin{math}
tenuse, dann gilt c = a2 + b2 (Lehrsatz des
c=\sqrt{a^2+b^2}
Pythagoras).
\end{math}
(Lehrsatz des Pythagoras).
%--inline3.tex--Seien $a$ und $b$ die Katheten
Seien a und b die Katheten
und c die Hypo
und $c$ die Hypotenuse, dann gilt
tenuse, dann gilt c = a2 + b2 (Lehrsatz des
\( c=\sqrt{a^2+b^2} \)
Pythagoras).
(Lehrsatz des Pythagoras).

2 SO BRINGE ICH MATHEMATIK IN MEIN DOKUMENT

2.2

Abgesetzte Formeln

Seien a und b die Katheten und c die Hypote- %--display1.tex--Seien $a$ und $b$ die Katheten
nuse, dann gilt
und $c$ die Hypotenuse, dann gilt
c2 = a2 + b2
$$c^2=a^2+b^2$$ (Lehrsatz des
Pythagoras).
(Lehrsatz des Pythagoras).
%--display2.tex--Seien a und b die Katheten und c die Hypote- Seien $a$ und $b$ die Katheten und
$c$ die Hypotenuse, dann gilt
nuse, dann gilt
\begin{displaymath}
c2 = a2 + b2
c^2=a^2+b^2
\end{displaymath}
(Lehrsatz des Pythagoras).
(Lehrsatz des Pythagoras).
Seien a und b die Katheten und c die Hypote- %--display3.tex--Seien $a$ und $b$ die Katheten und
nuse, dann gilt
$c$ die Hypotenuse, dann gilt
c2 = a2 + b2
\[ c^2=a^2+b^2 \]
(Lehrsatz des Pythagoras).
(Lehrsatz des Pythagoras).
%--display4.tex--Seien a und b die Katheten und c die Hypote- Seien $a$ und $b$ die Katheten
und $c$ die Hypotenuse, dann gilt
nuse, dann gilt
\begin{equation}\label{Pythagoras}
(1) c^2=a^2+b^2
c2 = a2 + b2
\end{equation}
(Lehrsatz des Pythagoras).
(Lehrsatz des Pythagoras).\par
Aus (1) folgt . . .
Aus (\ref{Pythagoras}) folgt \dots

f (x) = cos x
 x
0

f  (x) = sin x
f (y)dy = sin x

%--display5.tex--\begin{eqnarray}
(2) f(x)
& = & \cos x \\
f(x)
& = & - \sin x \\
(3)
\int_0^xf(y)\mathrm{d}y&=&\sin x
(4) \end{eqnarray}

MATHEMATISCHE FORMELN
3 EINIGE BEISPIELE FUR

Einige Beispiele fu
r mathematische Formeln

3.1

Griechische Buchstaben und spezielle Zeichen

ABEZHIKMNOPTXY

%--symbol2.tex--\[ \alpha\beta\gamma\delta\epsilon
\zeta\eta\theta\iota\kappa\lambda\mu
\nu\xi\mathrm{o}\pi\rho\sigma\tau\phi
\chi\upsilon\psi\omega \]

o

%--symbol3.tex--\[ \varepsilon \quad \vartheta \quad


\varpi \quad \varrho \quad \varsigma
\quad \varphi \]

%--symbol1.tex--\[ \mathrm{A}\mathrm{B}\Gamma\Delta
\mathrm{E}\mathrm{Z}\mathrm{H}\Theta
\mathrm{I}\mathrm{K}\Lambda\mathrm{M}
\mathrm{N}\Xi\mathrm{O}\Pi\mathrm{P}
\Sigma\mathrm{T}\Phi\mathrm{X}
\mathrm{Y}\Psi\Omega \]

%--symbol4.tex--\[\aleph\quad\Re\quad\Im\quad\partial
\quad\infty\quad\forall\quad\exists
\quad\neg\quad\in\quad\heartsuit \]

%--symbol5.tex--\[ \forall \varepsilon>0:


> 0 : |f (x1 ) f (x2 )| < : |x1 x2 | <
|f(x_1)-f(x_2)| < \varepsilon\quad
\exists\eta: |x_1-x_2|<\eta \]

3.2

Klammern

2

(x + 1)(x 1)

2

(x2 + 1)(x2 1)

%--klammer1.tex--\[ (\qquad\lbrack\qquad\lbrace\qquad[
\qquad\lfloor\qquad\langle\qquad\{
\qquad\lceil \]

%--klammer2.tex--\[ )\qquad\rbrack\qquad\rbrace\qquad]
\qquad\rfloor\qquad\rangle\qquad\}
\qquad\rceil \]
%--klammer3.tex--\[ \Bigl( (x+1) (x-1)\Bigr) ^2 \]
%--klammer4.tex--\[ \left((x^2+1) (x^2-1)\right)^2 \]

MATHEMATISCHE FORMELN
3 EINIGE BEISPIELE FUR


1+

1
1 x2
26

%--klammer5.tex--\[ 1 + \left(\frac{1}{1-x^2}
\right)^3 \]

3



26



a
+ b + + z + A + B + + Z

52

m+n

3.3

%--klammer7.tex--\[ \overline{m+n}\qquad
\underline{m+n} \]

m+n

Relationen und bin


are Operatoren

x=y>z

x y = z

x := y

xyz

x y  z

x+yz

x y/z

xyz

xyz

xyz

3.4

%--klammer6.tex--\[ \underbrace{
\overbrace{a + b + \cdots +z}^{26} +
\overbrace{A + B + \cdots+Z}^{26}
}_{52} \]

xyz

%--rel1.tex--\[ x = y > z \qquad x := y \qquad


x \le y \ne z \]
%--rel2.tex--\[ x \sim y \simeq z \qquad
x \equiv y \not\equiv z \qquad
x \subset y \subseteq z \]

xyz

%--rel3.tex--\[ x + y - z \qquad x * y / z \qquad


x \times y \cdot z \]

xyz

%--rel4.tex--\[ x \circ y \bullet z\qquad


x \cup y \cap z \qquad
x \sqcup y \sqcap z \qquad \]
%--rel5.tex--\[ x \vee y \wedge z\qquad
x \pm y \mp z \]

xyz

Mathematische Akzente und Vektoren

e`

l

%--akzent1.tex--\[ \hat a\qquad\check b\qquad\tilde


c \qquad \acute d \qquad \grave e \]
\[ \dot f\qquad\ddot g\qquad\breve
h \qquad \bar k \qquad \vec l \]
%--akzent2.tex--\[ \hat\imath \qquad \check\jmath \]

MATHEMATISCHE FORMELN
3 EINIGE BEISPIELE FUR


xy


xyz


xy


xyz

%--akzent3.tex--\[ \widehat x \qquad \widehat{xy}


\qquad \widehat{xyz} \]
\[ \widetilde x \qquad \widetilde{xy}
\qquad \widetilde{xyz} \]
%--akzent4.tex--\[ \alpha \cdot(\vec x + \vec y) =
\alpha \cdot \vec x +
\alpha \cdot \vec y \]

(x + y ) = x + y

%--akzent5.tex--\[ \vec x \cdot (\vec y \cdot \vec z)


\not=(\vec x\cdot\vec y)\cdot \vec z \]
\[ \vec x\times (\vec y\times \vec z)
\not= (\vec x \times \vec y) \times
\vec z \]

x (y z) = (x y ) z


x (y z) = (x y ) z

3.5

Pfeile

'

(A B) (B A)

3.6

&

%--pfeil1.tex--\[ \leftarrow \qquad \Leftarrow \qquad


\leftrightarrow \qquad \Leftrightarrow
\qquad\uparrow\qquad\downarrow\qquad
\nearrow \]
\[ \longleftarrow\qquad\leftharpoonup
\qquad \mapsto \qquad \leadsto \]
%--pfeil2.tex--\[ (\mathcal{A} \Rightarrow
\mathcal{B}) \Longleftrightarrow
(\lnot \mathcal{B} \Rightarrow
\lnot \mathcal{A}) \]

Andere Schriften
2

x R : x 0

Ax = y
mit A = (aij )
i = 1, , m; j = 1, , n
x = (x1 , , xn ) und
y = (y1 , , ym )

%--zeichen1.tex--\[ \forall x\in\mathbf{R}: x^2\ge0\]


%--zeichen2.tex--\begin{eqnarray*}
\mathbf{A} \cdot \mathbf{x} & = &
\mathbf{y} \\
\textrm{mit } \mathbf{A}&=&(a_{ij})\\
&&i=1,\cdots, m; j=1,\cdots, n\\
\mathbf{x} & = & (x_1,\cdots, x_n)
\textrm{ und}\\
\mathbf{y} & = & (y_1, \cdots, y_m)\\
\end{eqnarray*}

MATHEMATISCHE FORMELN
3 EINIGE BEISPIELE FUR

(A B) (A B) (B A)

3.7

Bru
che

1
2

n+1
3

x + y2
k+1
x+

2
a/b
2

a0 +

x + y2
+1
k
2

x + y k+1

b
2

%--bruch2.tex--\[ \frac{x+y^2}{k+1} \qquad


\frac{x+y^2}{k} + 1 \qquad
x + \frac{y^2}{k}+1 \]
\[ x + \frac{y^2}{k+1} \qquad
x + y^\frac{2}{k+1} \]

%--bruch4.tex--\[ \frac{a/b}{2}\qquad\frac{a}{b/2} \]

a
b/2

%--bruch5.tex--\[ a_0 + \frac{1}{a_1 +


\frac{1}{a_2 +
\frac{1}{a_3 +
\frac{1}{a_4}}}} \]

1
a1 +

a2 +

1
a3 + a1
4

1
1

a1 +
a2 +

1
a3 +

a
b
c
d

y2
x+
+1
k

%--bruch3.tex--\[ \frac{\frac{a}{b}}{2} \qquad


\frac{a}{\frac{b}{2}} \]

a0 +

a
b
c
d

%--zeichen3.tex--\[ (\mathcal{A} \Longleftrightarrow


\mathcal{B})
\Longleftrightarrow
(\mathcal{A}\Rightarrow \mathcal{B})
\wedge
(\mathcal{B}\Rightarrow\mathcal{A})\]

%--bruch1.tex--\[ \frac{1}{2} \qquad \frac{n+1}{3} \]

y2
k+1

a
b

1
a4

%--bruch6.tex--\[ a_0+\frac{1}{\displaystyle a_1 +


\frac{\strut 1}{\displaystyle a_2 +
\frac{\strut 1}{\displaystyle a_3 +
\frac{\strut 1}{a_4}}}} \]
%--bruch7.tex--\[ \displaystyle \frac{a}{b}
\above 1pt\displaystyle\frac{c}{d} \]
%--bruch8.tex--\newcommand{\dfrac}[3]{{\displaystyle
#1\above#3 \displaystyle #2}}
% ...
\[ \dfrac{\frac{a}{b}}%
{\frac{c}{d}}{1pt} \]

MATHEMATISCHE FORMELN
3 EINIGE BEISPIELE FUR

3.8

Wurzeln

%--wurzel1.tex--\[ \sqrt 2 \]

x+2

%--wurzel2.tex--\[ \sqrt{x+2} \]

%--wurzel3.tex--\[ \sqrt[3]{2} \]

x3

%--wurzel4.tex--\[ \sqrt{x^3 + \sqrt\alpha} \]

%--wurzel5.tex--\[\sqrt[n]{x^n + y^n}\]

n
xn + y n

%--wurzel6.tex--\[ \sqrt[n+1]{a} \]

n+1

a+ b+ y

a+

b+

%--wurzel8.tex--\[ \sqrt[3]{h_n(\alpha x)} \]

hn (x)












3.9

Exponenten und Indizes

x2

x2

1+

1+

1+

1+

1+x

%--exp2.tex--\[ {}_2F_3 \]

x2

y x2

2 3 4

((x2 )3 )4

y2

1+

%--wurzel9.tex--\[ \sqrt{1+ \sqrt{1+ \sqrt{1+ \sqrt{1


+ \sqrt{1 + \sqrt{1+x}}}}}} \]

%--exp1.tex--\[ x^2 \qquad x_2 \qquad x^2 y^2 \]

x2 y 2

2 F3

x2y

%--wurzel7.tex--\[ \sqrt{a}+\sqrt{b}+\sqrt{y} \qquad


\sqrt{\mathstrut a} +
\sqrt{\mathstrut b} +
\sqrt{\mathstrut y} \]

(x ) )

y2

y x2

%--exp3.tex--\[x^{2_y} \qquad x^{2^y} \qquad


y_{x_2} \qquad y_{x^2}\]
%--exp4.tex--\[ ((x^2)^3)^4 \qquad
{({x^2)}^3)}^4 \]
%--exp5.tex--\[ {x^y}^2 \qquad x^{y^2} \]

MATHEMATISCHE FORMELN
3 EINIGE BEISPIELE FUR

zd

%--exp6.tex--\[ x^2_3 \qquad x_3^2 \qquad


x^{31415}_{92}\qquad
x_{y^a_b}^{z_c^d} \]
\[ P_2^3 \qquad P{}_2^3 \]

x23

x23

P23

P 32

3.10

Binominalkoezienten und
ahnliche Konstrukte

x31415
92

xyca
b

%--binom1.tex--\[ {n+1 \choose 3} \]

n+1
3

 

%--binom2.tex--\[ {x \atop y + 2} \qquad


{n \choose k} \]

n
k

x
y+2
 

n
k
2

n
k/2

1
2k

 
 

n

1 n
2 k

n
k
2

 

1
1
p 2 p2
x y

1 x 1 x2
2

n+1
3

%--binom3.tex--\[ {n \choose \frac{k}{2}} \qquad


{n \choose k/2} \qquad
{n \choose \frac{1}{2} k}\]
%--binom4.tex--\[ \frac{{n \choose k}}{2} \qquad
\frac{1}{2}{n \choose k} \qquad
\frac{\displaystyle{n\choose k}}{2} \]
%--binom5.tex--\[ {p \choose 2} x^2 y^{p-2} \frac{1}{1 - x} \frac{1}{1 - x^2} \]
%--binom6.tex--\newcommand{\binom}[2]%
{{#1 \choose #2}}
% ...
\[ \binom{n+1}{3} \]
%--binom7.tex--\newcommand{\ueber}[2]{{#1 \atop #2}}
% ...
\[ \ueber{x}{y+2} \]

x
y+2

3.11

10

Symbole stapeln

def
x = (x1 , x2 , . . . , xn )


(1)
a = c2 b2

%--ueber1.tex--\[ \vec x\stackrel{\textrm{def}}{=}


(x_1, x_2, \dots, x_n)\]
%--ueber2.tex--\[ a\stackrel{(\ref{Pythagoras})}{=}
\pm \sqrt{c^2 - b^2} \]

MATHEMATISCHE FORMELN
3 EINIGE BEISPIELE FUR

%--ueber3.tex--\[ \sum_{{\scriptstyle 1 \le i \le p


\atop
\scriptstyle 1 \le j \le q}}
a_{ij} b_{ji} \]

aij bji

1ip
1jq

3.12

11

Ableitungen

f (x + x) f (x)
f +(x) = lim
x0
x

%--ableitung2.tex--\begin{eqnarray*}
f(x)
& = & \cos x \\
f(x) & = & -\sin x \\
f(x) & = & -\cos x \\
\end{eqnarray*}

f (x) = cos x
f  (x) = sin x
f  (x) = cos x

f (x) = ln x
f (n) = (1)n1 (n 1)!

%--ableitung1.tex--\[ f\prime(x) = \lim_{\Delta x \to 0}


\frac{f(x+\Delta x)-f(x)}{\Delta x} \]

1
xn

h(x) = f (x) g(x)


g(x) f (x)
h(x)
= f (x)
+
g(x)
dx
dx
dx

%--ableitung3.tex--\begin{eqnarray*}
f(x)
& = & \ln x\\
f^{(n)} & = &
(-1)^{n-1}(n-1)!\frac{1}{x^n}
\end{eqnarray*}
%--ableitung4.tex--\begin{eqnarray*}
h(x)
& = &
f(x) \cdot g(x)\\
\frac{h(x)}{\mathrm{d}x} & = &
f(x)\cdot\frac{g(x)}{\mathrm{d}x}+
\frac{f(x)}{\mathrm{d}x} \cdot g(x)
\end{eqnarray*}

du dv dw
d(u + v w)
=
+

dx
dx dx
dx

%--ableitung5.tex--\[ \frac{\mathrm{d}(u+v-w)}
{\mathrm{d}x} =
\frac{\mathrm{d}u}{\mathrm{d}x} +
\frac{\mathrm{d}v}{\mathrm{d}x} \frac{\mathrm{d}w}{\mathrm{d}x} \]

du
dv
d(u v)
=u
+v
dx
dx
dx

%--ableitung6.tex--\[ \frac{\mathrm{d}(u\cdot v)}


{\mathrm{d}x} = u \cdot
\frac{\mathrm{d}u}{\mathrm{d}x} +
v \cdot
\frac{\mathrm{d}v}{\mathrm{d}x} \]

MATHEMATISCHE FORMELN
3 EINIGE BEISPIELE FUR

1
k t2 + v0 t + x0
2
x = k t + v0
x =

= k
x

z(x, y) = xy
z
= y und
x
z
= x
y

z(x, y) =
z
x
z
y

3.13
3

i=1

i=1

i=1

%--ableitung7.tex--\begin{eqnarray*}
\mathbf{x}
& = &
\frac{1}{2} \mathbf{k} \cdot t^2
+ \mathbf{v_0} \cdot t
+ \mathbf{x_0}\\
\dot \mathbf{x} & = &
\mathbf{k} \cdot t + \mathbf{v_0}\\
\ddot \mathbf{x} & = & \mathbf{k}
\end{eqnarray*}
%--ableitung8.tex--\begin{eqnarray*}
z (x, y) & = & xy\\
\frac{\partial z}{\partial x} & = &
y \quad \textrm{und}\\
\frac{\partial z}{\partial y} & = & x
\end{eqnarray*}
%--ableitung9.tex--\begin{eqnarray*}
z (x, y) & = & \frac{xy}{x^2+y^2}
\quad(\forall x,y:x^2+y^2\not=0)\\
\frac{\partial z}{\partial x} & = &
\frac{y(y^2-x^2)}{(x^2+y^2)^2}
\qquad \textrm{und}\\
\frac{\partial z}{\partial y} & = &
\frac{x(x^2-y^2)}{(x^2+y^2)^2}
\end{eqnarray*}

Summen
%--sum1.tex--\[ \sum_{i=1}^3 z_i^2 \]

zi2

3
3


xy
(x, y : x2 + y 2 = 0)
+ y2
y(y 2 x2 )
und
(x2 + y 2 )2
x(x2 y 2 )
(x2 + y 2 )2

x2

%--sum2.tex--\[ \sum\nolimits_{i=1}^3 z_i^2 \]

zi2

%--sum3.tex--\[\sum\limits_{i=1}^3 z_i^2\]

zi2

q 
p 
r

i=1 j=1 k=1

aij bjk cki

12

%--sum4.tex--\[ \sum_{i=1}^p \sum_{j=1}^q


\sum_{k=1}^r a_{ij}b_{jk}c_{ki} \]

MATHEMATISCHE FORMELN
3 EINIGE BEISPIELE FUR

%--sum5.tex--\[ \sum_{{\scriptstyle 1 \le i \le p


\atop
\scriptstyle 1 \le j \le q}
\atop
\scriptstyle 1 \le k \le r}
a_{ij} b_{jk} c_{ki} \]

aij bjk cki

1ip
1jq
1kr

3.14

(Unendliche) Reihen

(1)i

i=0

1
2i + 1

= 1

(1)i+1

i=1

1
i2

= 1
=

1 1
+
3 5

13

1
1
+ 2
2
2
3

2
12

x2 x3

+
2!
3!


xi
(1)i
=
i!
i=0

x R : ex = 1 x +

x R : ex = 1 + x +
=


xi
i=0

i!

x2 x3
+
+
2!
3!

%--reihen1.tex--\begin{eqnarray*}
\sum_{i=0}^{\infty}(-1)^i
\frac{1}{2i+1}& = &1-\frac{1}{3}+
\frac{1}{5}-\cdots\\
& = & \frac{\pi}{4}
\end{eqnarray*}
%--reihen2.tex--\begin{eqnarray*}
\sum_{i=1}^{\infty}(-1)^{i+1}
\frac{1}{i^2} & = & 1-\frac{1}{2^2} +
\frac{1}{3^2} - \cdots\\
& = & \frac{\pi^2}{12}
\end{eqnarray*}
%--reihen3.tex--\begin{eqnarray*}
\forall x \in \mathbf{R}:e^{-x} & = &
1 - x + \frac{x^2}{2!} \frac{x^3}{3!} + \cdots\\
& = & \sum_{i=0}^{\infty}
(-1)^i\frac{x^i}{i!}
\end{eqnarray*}
%--reihen4.tex--\begin{eqnarray*}
\forall x \in \mathbf{R}:e^{x} & = &
1 + x + \frac{x^2}{2!} +
\frac{x^3}{3!} + \cdots\\
&=&\sum_{i=0}^{\infty}\frac{x^i}{i!}
\end{eqnarray*}

MATHEMATISCHE FORMELN
3 EINIGE BEISPIELE FUR

3.15


Integrale
%--int1.tex--\[ \int_{-\infty}^{\infty}
\frac{1}{1 + x^2} \mathrm{d}x \]

1
dx
1 + x2

%--int2.tex--\[ \int_{-\infty}^{\infty}\limits
\frac{1}{1 + x^2} \mathrm{d}x \]

1
dx
1 + x2

14

 

%--int3.tex--\[ \int\int_D\limits f(x, y)


\mathrm{d}x \mathrm{d}y \]
\[ \int\!\!\!\int_D\limits f(x, y)
\,\mathrm{d}x\,\mathrm{d}y \]

f (x, y)dxdy
D



f (x, y) dx dy
D

%--int4.tex--\[ \int\frac{x + 1}
{x^2(x-1)(x^2 + 4)}\,\mathrm{d}x\]

x+1
dx
2
x (x 1)(x2 + 4)

 

1
2

1 + 4x2 dx

%--int5.tex--\[ \int\sqrt{1+4x^2}\,\mathrm{d}x \]

[a cos t b cos t (a sin t) b sin t] dt

%--int6.tex--\[ \frac{1}{2} \int_0^{2\pi}\limits


[a\cos t \cdot b \cos t - (-a\sin t)
\cdot b \sin t]\,dt \]

2
0

3.16
n


Produkte
n


i = n!

i=1
n


i = n!

i=1

%--prod2.tex--\[ {n \choose k} =
\frac{\displaystyle\prod_{i=1}^n i}
{\displaystyle\prod_{i=1}^k i\cdot
\prod_{i=1}^{n-k} i} \]

Mathematische Funktionen

sin x
=1
lim
x0 x


i=1

i=1
k
nk


i=1

3.17

n

i=1

 

n
k

i = n!

%--prod1.tex--\[ \prod_{i=1}^n i = n! \qquad


\prod\limits_{i=1}^n i = n! \qquad
\prod\nolimits_{i=1}^n i = n! \]

1
dx
= ln tan ax
sin ax cos ax
a

%--funk1.tex--\[\lim_{x \to 0} \frac{\sin x}{x}=1\]


%--funk2.tex--\[\int \frac{\mathrm{d}x}
{\sin a x \cos a x}
= \frac{1}{a} \ln \tan a x\]

MATHEMATISCHE FORMELN
3 EINIGE BEISPIELE FUR

arcsin x = arccos

3.18

1 x2

%--funk3.tex--\[ \arcsin x = \left[ \arccos


\sqrt{1 - x^2}\right] \]

Komplexe Zahlen

Gegeben seien die komplexen Zahlen


c1 = (1 , 1 )
c2 = (2 , 2 )
Dann gilt f
ur die Addition
c1 + c2 = ((c1 ) + (c2 ), (c1 ) + (c2 ))
= (1 + 2 , 1 + 2 )

%--complex1.tex--Gegeben seien die komplexen Zahlen


\begin{eqnarray*}
c_1 & = & (\alpha_1, \beta_1) \\
c_2 & = & (\alpha_2, \beta_2)
\end{eqnarray*}
Dann gilt f
ur die Addition
\begin{eqnarray*}
c_1 + c_2 & = &
(\Re(c_1) + \Re(c_2), \Im(c_1)
+ \Im(c_2))\\
& = & (\alpha_1 + \alpha_2,
\beta_1 + \beta_2)
\end{eqnarray*}

%--complex2.tex--Gegeben sei die komplexe Zahl $c$


in den bei"-den Darstellungen
Gegeben sei die komplexe Zahl c in den beiden \begin{eqnarray*}
c & = & \alpha + \beta i\\
Darstellungen
& = & \varrho (\cos \varphi +
c = + i
i \sin \varphi)\\
& & (0\le\varrho<\infty,
= (cos + i sin )
\varphi \textrm{ beliebig})
(0  < , beliebig)
\end{eqnarray*}
Dann gelten die folgenden
Dann gelten die folgenden Beziehungen:
Beziehungen:
=  cos
\begin{eqnarray*}
=  sin
\alpha & = & \varrho\cos\varphi\\

\beta
& = & \varrho\sin\varphi\\
2 + 2
 =
\varrho & = &

\sqrt{\alpha^2+\beta^2}\\
= arctan

\varphi & = &


\arctan \frac{\beta}{\alpha}
\end{eqnarray*}

15

MATHEMATISCHE FORMELN
3 EINIGE BEISPIELE FUR

c1 = (1 , 1 )
= 1 + 1 i
c2 = (2 , 2 )
= 2 + 2 i
c1 c2 = (1 + 1 i) (2 + 2 i)
= (1 2 1 2 ) + (1 2 + 1 2 )i
= (1 2 1 2 , 1 2 + 1 2 )

3.19

a11
a21
..
.

Matrizen und andere rechteckige Anordnungen

a12
a22
..
.

..
.

%--matrix1.tex--\[ \begin{array}{|cccc|}
a_{11} & a_{12} & \cdots
a_{21} & a_{22} & \cdots
\vdots & \vdots & \ddots
a_{m1} & a_{m2} & \cdots
\end{array} \]

a1n
a21
..
.

am1 am2 amn

11

21
.

..

m1

%--complex3.tex--\begin{eqnarray*}
c_1 & = & (\alpha_1, \beta_1)\\
& = & \alpha_1 + \beta_1 i\\
c_2 & = & (\alpha_2, \beta_2)\\
& = & \alpha_2 + \beta_2 i\\
c_1 \cdot c_2 & = & (\alpha_1 +
\beta_1 i) \cdot
(\alpha_2 + \beta_2 i)\\
& = & (\alpha_1 \alpha_2 \beta_1\beta_2)+(\alpha_1\beta_2+
\beta_1 \alpha_2) i \\
& = & (\alpha_1 \alpha_2 \beta_1 \beta_2,
\alpha_1\beta_2 + \beta_1\alpha_2)
\end{eqnarray*}
%--complex4.tex--\begin{eqnarray*}
c & = & 1 + \sqrt{3} i \\
& = & 2(\cos\frac{\pi}{3} +
i \sin\frac{\pi}{3})\\
& = & 2 e^{\frac{\pi}{3}i}
\end{eqnarray*}

3i

= 2(cos + i sin )
3
3

i
= 2e 3

c = 1+

16

12
22
..
.

..
.

1n
2n
..
.

m2 mn

&
&
&
&

a_{1n} \\
a_{21} \\
\vdots \\
a_{mn}

%--matrix2.tex--\begin{displaymath}
\left\{\begin{array}{cccc}
\Gamma_{11} & \Gamma_{12} & \cdots &
\Gamma_{1n}\\
\Gamma_{21} & \Gamma_{22} & \cdots &
\Gamma_{2n}\\
\vdots
& \vdots
& \ddots &
\vdots\\
\Gamma_{m1} & \Gamma_{m2} & \cdots &
\Gamma_{mn}
\end{array}\right\}
\end{displaymath}

MATHEMATISCHE FORMELN
3 EINIGE BEISPIELE FUR

&

|x| =

%--matrix3.tex--\[ |x|= \left\{ \begin{array}{ll}


x & \textrm{f
ur } x \ge 0\\
-x & \textrm{f
ur } x <
0\\
\end{array}\right. \]

x
f
ur x 0
x f
ur x < 0

a11 a12
a

21 a22

a11
a21
..
.

b11 b12 b13


b21 b22 b23
b31 b32 b33

c11 c12
c21 c22

a12
a22
..
.

..
.

a1n
a2n
..
.

am1 am2 amn


x11 x12 x1j
x21 x22 x2j
..
..
..
..
.
.
.
.
xi1 xi2 xij

3 11

3
3 12

..

..
.
3

21

m1

22

m2

..
.

3
3 1n
2n

..
.

mn

%--matrix4.tex--\[\left(
\begin{array}{c@{}c@{}c}
\begin{array}{|cc|}
\hline
a_{11} & a_{12} \\
a_{21} & a_{22} \\
\hline
\end{array} & 0 & 0 \\
0 & \begin{array}{|ccc|}
\hline
b_{11} & b_{12} & b_{13}\\
b_{21} & b_{22} & b_{23}\\
b_{31} & b_{32} & b_{33}\\
\hline
\end{array} & 0 \\
0 & 0 & \begin{array}{|cc|}
\hline
c_{11} & c_{12} \\
c_{21} & c_{22} \\
\hline
\end{array} \\
\end{array}
\right)\]
%--matrix5.tex--\newcommand{\A}[5]{
\left#1\begin{array}{cccc}
{#2}_{11} & {#2}_{12} & \cdots &
{#2}_{1#4}\\
{#2}_{21} & {#2}_{22} & \cdots &
{#2}_{2#4}\\
\vdots
& \vdots
& \ddots &
\vdots
\\
{#2}_{#31} & {#2}_{#32} & \cdots &
{#2}_{#3#4}
\end{array}\right#5}
% ...
\[ \A(amn) \]
\[ \A[xij] \]
\[ \A\{{\int}mn\} \]

17

MATHEMATISCHE FORMELN
3 EINIGE BEISPIELE FUR

3.20

x
y+2

Eigene Kommandos

n+1
3

A \ (B C) = (A \ B) (A \ C)
AB =AB

a
b
c
d

(A = B) (B = A)
(A B) C (A C) (B C)

%--command1.tex--\newcommand{\binom}[2]%
{{#1 \choose #2}}
\newcommand{\ueber}[2]%
{{#1 \atop #2}}
% ...
\[ \ueber{x}{y+2}\qquad
\binom{n+1}{3} \]
%--command2.tex--\newcommand{\Komplement}[1]%
{\overline{#1}}
\newcommand{\Durchschnitt}{\cap}
\newcommand{\vereinigt}{\cup}
% ...
\[ A \setminus (B \vereinigt C) =
(A \setminus B) \Durchschnitt
(A \setminus C) \]
\[ \Komplement {A \vereinigt B}=
\Komplement{A} \Durchschnitt
\Komplement{B} \]
%--command3.tex--\newcommand{\dfrac}[3]%
{{\displaystyle
#1\above#3 \displaystyle #2}}
% ...
\[ \dfrac{\frac{a}{b}}%
{\frac{c}{d}}{1pt} \]
%--command4.tex--\newcommand{\und}{\wedge}
\newcommand{\oder}{\vee}
\newcommand{\entwederoder}{\oplus}
\newcommand{\aequivalent}%
{\Longleftrightarrow}
\newcommand{\darausfolgt}%
{\Longrightarrow}
% ...
\[ (\mathcal{A} \darausfolgt
\mathcal{B}) \aequivalent
(\lnot \mathcal{B} \darausfolgt
\lnot \mathcal{A}) \]
\[ (\mathcal{A} \und \mathcal{B})
\oder \mathcal{C} \aequivalent
(\mathcal{A} \oder \mathcal{C}) \und
(\mathcal{B} \oder \mathcal{C}) \]

18

MATHEMATISCHE FORMELN
3 EINIGE BEISPIELE FUR

h : R1 R1 mit h(r) = 2r, r R1

19

%--command5.tex--\newcommand{\Abbildung}{\rightarrow}
\newcommand{\R}[1]{\mathbf{R}^{#1}}
% ...
\[ h: \R{1} \Abbildung \R{1}
\textrm{ mit }h(r)=2r, r \in \R{1} \]

MATHEMATISCHE FORMELN
3 EINIGE BEISPIELE FUR

20

MATHEMATISCHE FORMELN
3 EINIGE BEISPIELE FUR

3.21

21

Theorem-artige Konstrukte

%--satz1.tex--\newtheorem{Def}{Definition}
\begin{Def}%
[Geordneter K
orper]
Ein K
orper heit \emph{geordnet},
wenn eine Beziehung $>0$ (gr
oer
Null)
definiert
ist
mit
den
Definition 1 (Geordneter K
orper) Ein
Korper heit geordnet, wenn eine Bezie- folgenden Eigenschaften:
hung > 0 (gr
oer Null) definiert ist mit den \begin{enumerate}
\item F
ur $x\in K$ gilt genau eine
folgenden Eigenschaften:
der Beziehungen $x=0$, $x>0$
1. F
ur x K gilt genau eine der Beziehunoder $-x > 0$.
gen x = 0, x > 0 oder x > 0.
\item Aus $x>0,y>0$ folgt $x+y>0$.
\item Aus $x > 0,y > 0$ folgt
2. Aus x > 0, y > 0 folgt x + y > 0.
$x \cdot y > 0$
\end{enumerate}
3. Aus x > 0, y > 0 folgt x y > 0
Im Falle $x > 0$ heit $x$
Im Falle x > 0 heit x positiv, im Falle x < 0 \emph{positiv},
heit x negativ.
im Falle $x < 0$ heit $x$
\emph{negativ}.
Definition 2 (Absoluter Betrag) Es sei K \end{Def}
ein geordneter K
orper. Unter dem absoluten \begin{Def}[Absoluter Betrag]
Betrag eines Elementes x K versteht man
Es sei $K$ ein geordneter K
orper.
&
Unter dem \emph{absoluten Betrag}
x
f
ur x 0
|x| =
eines Elementes $x\in K$ versteht
x f
ur x < 0
man
\[ |x|= \left\{ \begin{array}{ll}
x & \textrm{f
ur } x \ge 0\\
-x & \textrm{f
ur } x <
0\\
\end{array}\right. \]
\end{Def}
%--satz2.tex--\newtheorem{satz}{Satz}
F
ur unsere weiteren Betrachtungen
F
ur unsere weiteren Betrachtungen sind die sind die beiden folgenden S
atze
beiden folgenden S
atze von Interesse:
von Interesse:
\begin{satz}%
Satz 1 (Regeln fu
ur
r Absolutbetrag) F
[Regeln f
ur Absolutbetrag]
beliebige x, y K gelten folgende Gesetze:
F
ur beliebige $x,y \in K$ gelten
folgende Gesetze:
1. |x| = | x| 0
\begin{enumerate}
2. x |x|; x |x|
\item $|x| = |-x| \ge 0$
\item $x \le |x|;\quad -x \le |x|$
3. |x| = 0 x = 0
\item $|x|=0\Longleftrightarrow x=0$
\item $|x \cdot y|=|x| \cdot |y|$
4. |x y| = |x| |y|
\end{enumerate}
Satz 2 (Dreiecksungleichung)
\end{satz}
x, y K : |x + y| |x| + |y|
\begin{satz}[Dreiecksungleichung]
\[\forall x,y\in K:|x+y|\le|x|+|y|\]
\end{satz}

4 UND NOCH . . .

22

Und noch . . .

Im WWW ist die jeweils aktuelle Fassung dieser Kursunterlagen unter dem URL
http://www.uni-giessen.de/~g029/TeX/kurse/Mathe-Beispiele/m-beisp.x
(x =tex, dvi, pdf)

zu nden. Beispiele f
ur mathematische Ubungsbl
atter nden Sie im WWW unter
http://www.uni-giessen.de/~g029/TeX/kurse/Uebungen/math1 x .y
(x = 1, . . . , 13; y = tex, dvi, pdf).

Und noch etwas . . .

Diese Kursunterlagen wurden von mir zwar mit groer Sorgfalt erstellt, konnen aber trotzdem
Fehler enthalten. Wenn Sie also Anregungen, Verbesserungsvorschlage oder Fehlerkorrekturen
haben, so melden Sie sich bitte per E-Mail bei
Guenter.Partosch@hrz.uni-giessen.de
oder per gelber Post bei

G
unter Partosch
Hochschulrechenzentrum
Justus-Liebig-Universit
at Gieen
Heinrich-Bu-Ring 44
35392 Gieen
Schon mal vielen Dank.

A ANHANG

A
A.1

23

Anhang
Darum ging es jeweils

ableitung1.tex
akzent5.tex
Beispiel (Ableitung einer Funktion als
Beispiele (Assoziativgesetze bei der SkalarGrenzwert eines Dierenzenquotienten);
und Vektormultiplikation dreier Vektoren
\prime als Ableitungszeichen
gelten nicht!)
binom1.tex
ableitung2.tex
einfacher Binominalkoezient
Beispiel (erste und zweite Ableitung von
cos x); Darstellung durch Apostroph(e)
binom2.tex

Ubereinanderstapeln
von Ausdr
ucken; einableitung3.tex
facher
Binominalkoezient
Beispiel (n-te Ableitung von ln x); Darstellung durch geklammerten Exponenten

binom3.tex
Darstellungsmoglichkeiten von Binominalkoefzienten

ableitung4.tex
Beispiel (Dierenzierungsregel f
ur das Produkt zweier Funktionen); Darstellung durch binom4.tex
unterschiedliche Klammerungen bei BinoDierentialquotienten
minalkoezienten
ableitung5.tex
Beispiel (Dierenzierungsregel f
ur die Sum- binom5.tex
Beispiel mit Br
uchen und Binominalkoeme dreier Funktionen); Darstellung durch
zient
Differentialquotienten
binom6.tex
ableitung6.tex
eigenes Kommando \binom zum Darstellen
Beispiel (Dierenzierungsregel f
ur das Provon Binominalkoezienten
dukt zweier Funktionen, Alternative zum
Beispiel ableitung4.tex); Darstellung binom7.tex

eigenes Kommando \ueber zum Ubereinandurch Dierentialquotienten


derstapeln von Ausdr
ucken
ableitung7.tex
Beispiel (Bewegungsgleichung in Mechanik, bruch1.tex
einfache Br
uche
erste und zweite Ableitung nach der Zeit);
Anwendung von \dot und \ddot
bruch2.tex
Varianten von Br
uchen durch unterschiedliableitung8.tex
che Klammerung
partielle Ableitungen einer Funktion zweier
Variablen
bruch3.tex
Mehrfachbr
uche
ableitung9.tex
partielle Ableitungen einer Funktion zweier bruch4.tex
Mehrfachbr
uche; alternative Darstellungen
Variablen
akzent1.tex
mathematische Akzente
akzent2.tex
mathematische Akzente und punktlose Mathematik-Varianten von i und j

akzent3.tex
anpassbare mathematische Akzente mit
\widehat oder \widetilde
akzent4.tex
Beispiel (Multiplikation einer Vektorsumme
mit einem Skalar)

bruch5.tex
Kettenbruch
bruch6.tex
Kettenbruch; wie bruch5.tex, aber
schonere Darstellung

bruch7.tex
Doppelbruch mit dickerem Hauptbruchstrich
bruch8.tex
eigenes Kommando f
ur die Darstellung von
Doppelbr
uchen mit einem dickeren Hauptbruchstrich

A ANHANG

24

command1.tex
eigene Kommandos \binom und \ueber

exp3.tex
Exponenten/Indizes mit Index/Exponent

exp4.tex
command2.tex
Exponenten und Klammerung
eigene LATEX-Kommandos \Komplement,
\Durchschnitt und \vereinigt
exp5.tex
Exponenten und Klammerung
command3.tex
eigenes Kommando \dfrac

exp6.tex
Ausdr
ucke mit Exponenten und Indizes;
command4.tex
vertikale Ausrichtung von Exponent und Ineigene LATEX-Kommandos \entwederoder,
dex durch Einf
ugen von {}
\darausfolgt, \oder, \aequivalent und
funk1.tex
\und
Beispiel (Grenzwert einer Funktion); Limes
command5.tex
und Sinus
eigene Kommandos \Abbildung und \R
funk2.tex
Beispiel (Integral einer Funktion); Sinus,
complex1.tex
Cosinus, nat
urlicher Logarithmus, Tangens
Beispiel (Addition zweier komplexen Zahlen); Darstellung als Wertepaarte; Imaginar- funk3.tex
teil  und Realteil 
Beispiel (Beziehung zwischen arcsin x und
arccos x)
complex2.tex
Beispiel ( normale und trigonometrische inline1.tex

Darstellung einer komplexen Zahl); BezieInline-Formel; Methode mit $ . . . $


hungen zwischen den beiden M
oglichkeiten
inline2.tex
Inline-Formel; Methode mit der math-Umcomplex3.tex
gebung
Beispiel (Multiplikation zweier komplexen
Zahlen); Normal-Darstellung und in Form inline3.tex
von Wertepaaren
Inline-Formel; Methode mit \( . . . \)
complex4.tex
int1.tex
Normal-, trigonometrische und Exponentialeinfaches Integral mit Integrationsgrenzen
Darstellung einer komplexen Zahl
int2.tex
einfaches Integral; Grenzen explizit nicht
display1.tex
neben dem Symbol
abgesetzte Formel; Methode mit $$ . . . $$;
Formel wird zentriert, da sie nicht von der int3.tex
LATEX-Option fleqn beeinusst
Doppelintegral; ohne und mit visueller Kordisplay2.tex
abgesetzte Formel; Methode
displaymath-Umgebung

rektur (\, und \!)


mit

der

display3.tex
abgesetzte Formel; Methode mit \[ . . . \]

int4.tex
Integral einer gebrochen rationalen Funktion
int5.tex
Integral eines Wurzelausdrucks

display4.tex
nummerierte Formel mit der equation-Um- int6.tex
Integral eines Ausdrucks mit trigonometrigebung; Vereinbarung eines Verweisziels;
schen Funktionen; explizite MultiplikationsVerweis auf diese Formel mittels \ref
punkte
display5.tex
klammer1.tex
ausgerichtete nummerierte Formeln mit Hilverschiedene linke Klammersymbole
fe der eqnarray-Umgebung; 1. Ableitung
klammer2.tex
exp1.tex
verschiedene rechte Klammersymbole
einfache Exponenten und Indizes
klammer3.tex
exp2.tex
Klammern mit explizit verschiedenen Gr
ovorangestellter Index
en

A ANHANG

25

klammer4.tex
automatische Gr
oenanpassung bei
schachtelten Klammern

ge-

klammer5.tex
automatische Gr
oenanpassung bei
schachtelten Klammern

ge-

klammer6.tex
waagerechte geschweifte Klammern
klammer7.tex

Uberstreichung
bzw. Unterstreichung

reihen4.tex
Beispiel (Entwicklung der Funktion ex in eine unendliche Reihe)
rel1.tex
Relationen
rel2.tex
Relationen
rel3.tex
binare Operatoren
rel4.tex
binare Operatoren

matrix1.tex
einfache rechteckige Anordnung mit indizierten Elementen

rel5.tex
binare Operatoren

matrix2.tex
einfache rechteckige Anordnung mit anderen
indizierten Elementen und anderen Begrenzungen

satz1.tex
Beispiele (Denition eines geordneten Korpers; Denition f
ur Absolutbetrag); eigene
Theorem-artige Umgebung Def mit dem Titel Definition

matrix3.tex
satz2.tex
Beispiel (Denition der Betragsfunktion);
Beispiele (Regeln f
ur Absolutbetrag; Dreieinseitig geklammerte rechteckige Anordecksungleichung); eigene Theorem-artige
nung
Umgebung satz mit dem Titel Satz
matrix4.tex
sum1.tex
Matrix mit Untermatrizen
einfache Summe mit Summationsgrenzen
sum2.tex
matrix5.tex
einfache Summe; Grenzen explizit neben
eigenes Kommando f
ur die vereinfache Dardem Symbol
stellung rechteckiger Anordnungen
pfeil1.tex
verschiedene mathematische Pfeile

sum3.tex
einfache Summe; Grenzen explizit nicht neben dem Symbol

pfeil2.tex
Beispiel (Umkehrung einer logischen Aussa- sum4.tex
Dreifachsumme
ge); kalligrasche Mathematik-Schrift
sum5.tex
prod1.tex
Dreifachsumme; alternative Darstellung mit
einfaches Produkt mit Produktgrenzen;
dreifach u
bereinander gestapelten SummatiGrenzen explizit nicht neben (\limits)
onsgrenzen
dem Symbol bzw. Grenzen explizit neben
symbol1.tex
(\nolimits) dem Symbol
griechische Grobuchstaben; einige haben
prod2.tex
das gleiche Aussehen wie die entsprechenBeispiel (Binominalkoezient in Produktden lateinischen Buchstaben
darstellung)
symbol2.tex
reihen1.tex
griechische Kleinbuchstaben
Beispiel (unendliche Reihe zur Darstellung
symbol3.tex
von 4 )
Varianten zu einigen griechischen Kleinbuchstaben
reihen2.tex
Beispiel (unendliche Reihe zur Darstellung symbol4.tex
2
von 12 )
einige spezielle Zeichen
reihen3.tex
symbol5.tex
Beispiel (Entwicklung der Funktion ex in
Beispiel (Stetigkeit-Denition); mathematieine unendliche Reihe)
sche Sonderzeichen

A ANHANG
ueber1.tex
Anwendung von \stackrel; Text u
ber einem Gleichheitszeichen
ueber2.tex
Anwendung von \stackrel; Angabe eines
Verweises u
ber einem Gleichheitszeichen
ueber3.tex
Anwendung von \atop; Angabe der Summationsgrenzen einer Doppelsumme
wurzel1.tex
einfache Wurzel
wurzel2.tex
einfache Wurzel
wurzel3.tex
Wurzel zu einer anderen Potenz
wurzel4.tex
Schachtelung von Wurzeln

26

wurzel6.tex
Wurzel zu einer anderen Potenz
wurzel7.tex
Ausrichtung der Groe von Wurzeln
wurzel8.tex
einfache Wurzel; Ausdruck enthalt einen Index
wurzel9.tex
Mehrfachschachtelung von Wurzeln
zeichen1.tex
Beispiel (Quadrat einer reellen Zahl ist positiv); mathematische Fett-Schrift
zeichen2.tex
Beispiel (lineares Gleichungssystem); mathematische Fett-Schrift; Normaltext im
Mathematik-Modus; eqnarray*-Umgebung
(ohne Nummerierung der Formeln!)

wurzel5.tex
zeichen3.tex

Wurzel zu einer anderen Potenz; Ausdruck


Beispiel (logische Aquivalenz);
kalligrasche
enth
alt einen Exponenten
Mathematik-Schrift

A ANHANG

A.2

27

Und diese mathematischen LATEX-Befehle wurden benutzt

$$...$$
\acute
Umgebung f
ur den Display-Mathematikmathematischer Akzent: $\acute a$: a

Modus in TEX/LATEX
\aequivalent
$...$
eigenes Kommando: $\mathcal{A}%
Umgebung f
ur den Inline-Mathematik-Mo\aequivalent\mathcal{B}$:
dus in TEX/LATEX
A B (Aussagenlogik)
&
trennt in der array-, eqnarray- und \aleph
mathematisches Symbol:
eqnarray*-Umgebung die einzelnen Bestandteile einer Zeile
\alpha
^{exponent}
griechischer Kleinbuchstabe:
stellt im Mathematik-Modus exponent hoch;
auch noch bei \int, \sum, \prod und \arccos
\overbrace
mathematische Funktion:
$\arccos x$: arccos x
{index }
stellt im Mathematik-Modus index tief;
\arcsin
auch noch bei \int, \sum, \prod,
mathematische Funktion:
\underbrace und \lim
$\arcsin x$: arcsin x
~
gesch
utztes Leerzeichen

\atop

linkes Klammersymbol: (; analog gibt es )

\bar

u
bereinander: ${n\atop m}$:

n
m

mathematischer Akzent: $\bar a$: a

[
linkes Klammersymbol: [; analog gibt es ]
\!
negativer schmaler Zwischenraum

\begin{array}{muster} ...\end{array}
Umgebung zum Erzeugen rechteckiger Anordnungen (Matrizen, Determinanten) im
Mathematik-Modus in LATEX

\(...\)
Umgebung f
ur den Inline-Mathematik-Mo\begin{displaymath} ...\end{displaymath}
dus in LATEX
Umgebung f
ur den Display-Mathematik\,
Modus in LATEX
schmaler Zwischenraum: | |
\begin{enumerate} ...\end{enumerate}
\[...\]
Umgebung f
ur Aufzahlungslisten
Umgebung f
ur den Display-MathematikModus in LATEX
\begin{eqnarray*} ...\end{eqnarray*}
\\[abstand]
wie die Umgebung eqnarray, jedoch ohne
Zeilenwechsel in der array-, eqnarray- und
Nummerierung der Formeln
eqnarray*-Umgebung
\begin{eqnarray} ...\end{eqnarray}
\{
Umgebung f
ur die Darstellung mehrzeiliger
linkes Klammersymbol: {; analog gibt es \}
nummerierter Herleitungsketten
\Abbildung
eigenes Kommando: $f\Abbildung g$:
\begin{equation} ...\end{equation}
f g
Umgebung zum Generieren einer nummerierten Display-Formel
\above
Bruch mit denierbarer Bruchstrichdicke:
\begin{math} ...\end{math}
${\frac{1}{2}%
Umgebung f
ur den Inline-Mathematik-Mo\above 1pt \frac{3}{4}}$:
dus in LATEX
1
2
3
4

\beta
griechischer Kleinbuchstabe:

A ANHANG
\Bigl

\Bigr

28

\ddots
.
eine explizite Gr
oenangabe (hier leicht verdiagonale Auslassungspunkte: . .
gr
oert) f
ur eine linke Klammer:
$$\Bigl( (a + b)(c + d) \Bigr)$$:
\Delta
griechischer Grobuchstabe:


(a + b)(c + d)
\delta
griechischer Kleinbuchstabe:

eine explizite Gr
oenangabe (hier leicht ver- \dfrac{oben}{unten}{dicke}
eigenes Kommando zum Darstellen von
gr
oert) f
ur eine rechte Klammer; siehe auch
Doppelbr
uchen mit einem Hauptbruchstrich
\Bigl
der Dicke dicke:
\binom{oben}{unten}
$\dfrac{\frac{1}{2}}%
 
eigenes Kommando: $\binom{n}{k}$: nk
{\frac{3}{4}}{1pt}$:
(Binominalkoezient)
1
\breve
2
mathematischer Akzent: $\breve a$: a

3
\bullet
4
bin
arer mathematischer Operator:
$a \bullet b$: a b
\displaystyle
erzwingt im Mathematik-Modus die Mathe\cap
matik-Standardschriftgroe
bin
arer mathematischer Operator:
$A \cap B$: A B
\dot
mathematischer Akzent: $\dot a$: a
\cdot
bin
arer mathematischer Operator:
$a \cdot b$: a b

\dots
Auslassungspunkte: . . .

\cdots
zentrierte Auslassungspunkte:

\downarrow
mathematischer Pfeil nach unten:

\check
mathematischer Akzent: $\check a$: a

\Durchschnitt
eigenes Kommando: (Mengenlehre)

\chi

\emph{text}
(leichte) Hervorhebung im Normaltext

griechischer Kleinbuchstabe:
\choose
Binominalkoezient:
n
${n \choose m}$: m
\circ

\entwederoder
eigenes Kommando: $\mathcal{A}%
\entwederoder \mathcal{B}$:
A B (Aussagenlogik)

bin
arer mathematischer Operator:
$a \circ b$: a b

\epsilon
griechischer Kleinbuchstabe: 

mathematische Funktion: $\cos x$: cos x

\equiv
mathematische Relation:
$a\equiv b$: a b

bin
arer mathematischer Operator:
$A \cup B$: A B

\eta

\cos
\cup

\darausfolgt
eigenes Kommando:
$\mathcal{A}%
\darausfolgt \mathcal{B}$:
A = B (Aussagenlogik)
\ddot
mathematischer Akzent: $\ddot a$: a

griechischer Kleinbuchstabe:
\exists
mathematisches Symbol: ( es gibt)

\forall
mathematisches Symbol: ( f
ur alle)

\frac{zaehler}{nenner}
Bruch: $\frac{19}{20}$: 19
20

A ANHANG

29

\Gamma
griechischer Grobuchstabe:

\Lambda
griechischer Grobuchstabe:

\gamma
griechischer Kleinbuchstabe:

\lambda
griechischer Kleinbuchstabe:

\ge

\langle
linkes Klammersymbol:

mathematische Relation:
$a \ge b$: a b
\grave
mathematischer Akzent: $\grave a$: a
`
\hat
mathematischer Akzent: $\hat a$: a

\heartsuit
Symbol:

\lbrace
linkes Klammersymbol: {
\lbrack
linkes Klammersymbol: [
\lceil
linkes Klammersymbol:
\le

mathematische Relation: $\le b$: a b


\hline
\leadsto
waagerechte Linie in einer array-Umgebung
spezieller mathematischer Pfeil nach rechts:
; (aus dem Package latexsym)
\Im
mathematisches Symbol:  (Imaginarteil ei- \left
ner komplexen Zahl)
automatische Groenanpassung eines linken
Klammersymbols:
\imath
\[ \left( (x^2 + 1)%
kleines mathematisches i ohne Punkt:

(x^2 - 1) \right)^2 \]:


$\vec\imath$: 
2
 2
\in
(x + 1)(x2 1)
mathematisches Symbol: ( ist Element

\leftarrow
aus)
mathematischer Pfeil nach links:
\infty
\Leftarrow
mathematisches Symbol: (unendlich)
mathematischer Doppelpfeil nach links:
\int {ugrenze}^{ogrenze}
\leftharpoonup
groer Operator (Integralzeichen) mit unmathematischer Pfeil (Harpune) nach links:
terer Grenze ugrenze und oberer Grenze
ogrenze
\leftrightarrow
\iota
mathematischer Pfeil nach links und rechts:
griechischer Kleinbuchstabe:

\item
ein einzelner Eintrag in einer nummerierten
Liste

\Leftrightarrow
mathematischer Doppelpfeil nach links und
rechts:

\lfloor
\jmath
linkes Klammersymbol:

kleines mathematisches j ohne Punkt:

$\vec\jmath$: 
\lim {unten}
mathematischer Grenzwert (Limes)
\kappa
griechischer Kleinbuchstabe:
\limits
3
4
5
bewirkt bei
bzw.
bzw. , dass die
\Komplement{menge}
Grenzen explizit nicht neben das Symbol geeigenes Kommando zum Darstellen des
setzt
werden
Komplements: $\Komplement{M}$:
M (Aussagenlogik, Mengenlehre)
\ln
mathematische Funktion: $\ln x$: ln x
\label{ziel}
Kennzeichnung des aktuellen Objekts als \lnot
Negation: (logisches nicht)
Verweisziel

A ANHANG
\longleftarrow
langer mathematischer Pfeil nach links:

30
\oder

eigenes Kommando: (Aussagenlogik)

\Omega
\Longleftrightarrow
griechischer Grobuchstabe:
langer mathematischer Doppelpfeil nach
links und rechts:
\omega
griechischer Kleinbuchstabe:
\Longrightarrow
langer mathematischer Doppelpfeil nach \oplus
rechts: =
binarer mathematischer Operator:
$a \oplus b$: a b
\mapsto
spezieller mathematischer Pfeil nach rechts: \over
'
Bruch (TEX): ${a \over b}$: ab
\mathbf{ausdruck}
\overbrace{ausdruck} {index }
Fettschrift im Mathematik-Modus
waagerechte geschweifte Klammer u
ber
ausdruck
\mathcal{ausdruck}
kalligrasche Schrift im Mathematik-Modus \overline{ausdruck}
u
berstreicht ausdruck
\mathrm{ausdruck}
Normalschrift im Mathematik-Modus

\par

Absatzende/Absatzwechsel
\mathstrut
erzwingt im Mathematik-Modus einen Min- \partial
destzeilenabstand
mathematisches Symbol: (partielle Ableitung)
\mp
bin
arer mathematischer Operator:
\Phi
$a\mp b$: a b
griechischer Grobuchstabe:
\phi

\mu

griechischer Kleinbuchstabe:

griechischer Kleinbuchstabe:
\ne

\Pi
mathematische Relation: $a\ne b$: a = b

griechischer Grobuchstabe:

\nearrow
mathematischer Pfeil nach rechts oben: &

\pi

\neg

\pm
mathematisches Symbol: (Negation)

griechischer Kleinbuchstabe:
binarer mathematischer Operator:
$a \pm b$: a b

\newcommand{kmd}[anzahl]{definitionstext}
LATEX-Kommando zum Vereinbaren des ei- \prime
erzeugt ein Ableitungszeichen:
genen Kommandos kmd mit anzahl Paramef\prime(x): f +(x)
tern und der Denition definitionstext
\prod {ugrenze}^{ogrenze}
\newtheorem{name}{titel}
erzeugt den groen Produktoperator (ProVereinbarung einer eigenen Theorem-artiduktzeichen) mit unterer Grenze ugrenze
gen Umgebung name mit der Titelzeile titel
und oberer Grenze ogrenze
\nolimits
3
4
5
bewirkt bei
bzw.
bzw. , dass die \Psi
griechischer Grobuchstabe:
Grenzen explizit neben das Symbol gesetzt
werden
\psi
griechischer Kleinbuchstabe:
\not
Negation der nachfolgenden Relation:
\quad
$\not=$: =
horizontaler Leerplatz : | |
\nu
griechischer Kleinbuchstabe:

\qquad
horizontaler Leerplatz : |

A ANHANG

31

\sqcap
\R{dimension}
binarer mathematischer Operator:
eigenes Kommando: $\R{2}$: R2 (Korper
der reellen Zahlen)
$A \sqcap B$: A  B
\rangle
rechtes Klammersymbol: 
\rbrace
rechtes Klammersymbol: }
\rbrack
rechtes Klammersymbol: }
\rceil
rechtes Klammersymbol: 
\Re

mathematisches Symbol:  (Realteil einer


komplexen Zahl)

\sqcup
binarer mathematischer Operator:
$A \sqcup B$: A  B
\sqrt[potenz]{radikant }
mathematische Wurzel: $\sqrt[3]{a+x}$:

3
a+x
\stackrel{oben}{unten}
setzt oben u
ber die Relation unten:
$x\stackrel{\textrm{def}}{=} y$:
def
x = y
\strut
erzwingt einen Mindestzeilenabstand

\ref{ziel}
\subset
Verweis auf ein vorher vereinbartes Verweismathematische Relation: $A \subset B$:
ziel
AB
\rfloor
rechtes Klammersymbol:
\rho

\subseteq
mathematische Relation: $A \subseteq B$:
AB

\sum {ugrenze}^{ogrenze}
groer Operator (Summenzeichen) mit un\right
terer Grenze ugrenze und oberer Grenze
automatische Gr
oenanpassung eines rechogrenze
ten Klammersymbols; siehe \left
\tan
\Rightarrow
mathematische Funktion: $\tan x$: tan x
mathematischer Doppelpfeil nach rechts:
\tau
\rightarrow
griechischer Kleinbuchstabe:
mathematischer Pfeil nach rechts:
\textrm{text}
aufrechter Normaltext
\scriptstyle
erzwingt im Mathematik-Modus die f
ur Ex- \Theta
ponenten und Indizes der ersten Stufe u
bligriechischer Grobuchstabe:
che Schriftgr
oe
\theta
\setminus
griechischer Kleinbuchstabe:
Mengendierenz: $A\setminus B$: A \ B
\tilde
\Sigma
mathematischer Akzent: $\tilde a$: a

griechischer Grobuchstabe:
\times
binarer mathematischer Operator:
\sigma
$a \times b$: a b
griechischer Kleinbuchstabe:
griechischer Kleinbuchstabe:

\to

\sim
mathematische Relation: $a \sim b$:
ab
\simeq
mathematische Relation: $a \simeq b$:
ab
\sin
mathematische Funktion:
$\sin x$: sin x

kleiner mathematischer Pfeil nach rechts:

\ueber{oben}{unten}
eigenes Kommando: $\ueber{m}{n}$:
\und

m
n

eigenes Kommando: (Aussagenlogik)

\underbrace{ausdruck} {index }
waagerechte geschweifte Klammer unter
ausdruck

A ANHANG

32

\underline{ausdruck}
unterstreicht ausdruck

\vec

\uparrow
mathematischer Pfeil:

\vee

\upsilon
griechischer Kleinbuchstabe:

mathematischer Akzent: $\vec a$: a


binarer mathematischer Operator:
$\mathcal{A} \vee \mathcal{B}:
AB

\vereinigt
eigenes Kommando: (Mengenlehre)
\varepsilon
griechischer Kleinbuchstabe: (Variante zu
\wedge
)
binarer mathematischer Operator:
$\mathcal{A} \wedge \mathcal{B}:
\varphi
AB
griechischer Kleinbuchstabe: (Variante zu
)
\widehat
anpassbarer mathematischer Akzent:
\varrho
$\widehat{x}, \widehat{xyz}$: x

, x
yz
griechischer Kleinbuchstabe:  (Variante zu
)
\widetilde
anpassbarer mathematischer Akzent:
\varsigma
$\widetilde{x}, \widetilde{xyz}$:
griechischer Kleinbuchstabe: (Variante zu
x
, x
yz
)
\Xi
\vartheta
griechischer Grobuchstabe:
griechischer Kleinbuchstabe: (Variante zu
\xi
)
griechischer Kleinbuchstabe:
\vdots
\zeta
.
vertikale Auslassungspunkte: ..
griechischer Kleinbuchstabe: