Matematic avansat

Aceast pagin prezint trsturi mai avansate ale matematicii din LaTeX. n
particular, folosete n mare msur pachetul amsmath oferit de Societatea
American de Matematic (American
American Mathematical Society).
Society

Numerotarea ecuaiilor
Mediul equation numeroteaz automat ecuaiile.

\begin{equation}
f(x)=(x+a)(x+b)
\end{equation}

Putei utiliza de asemenea comenzile \label i \ref pentru a eticheta, respectiv

a face referine la ecuaii. Sau putei folosi comanda \eqref, ns aceasta
necesit pachetul amsmath.. Iat un exemplu ce v arat cum putei stabili
referine cu ajutorul comenzii \ref
ref (are ca rezultat pentru ecuaia 1), iar apoi
cum s folosii \eqref din pachetul amsmath (are ca rezultat pentru
ecuaia 1):

\begin{equation}
\label{ec:o-ec}
5^2 - 5 = 20
\end{equation}

creeaz o referin
la ecuaia \ref{ec:o-
ec}.
\begin{equation
} \label{ec:erl}
a = bq + r
\end{equation}

unde
\eqref{ec:erl}
este adevrat
dac $a$ i $b$
sunt ntregi, iar
$b \neq c$.

Not: Pentru afiarea caracterelor romneti trebuie s includei un pachet

pentru acestea, cum ar fi inputenc cu opiunea pentru UTF:

\usepackage[utf8x]{inputenc}

Pentru mai multe informaii, vezi capitolul Etichete i referine.

Pentru ca enumerarea
merarea s urmeze tiparul seciunii sau subseciunii curente,
trebuie s folosii pachetul amsmath sau documente din clasa AMS. Apoi
scriei

\numberwithin{equation}{section}

n preambul pentru ca enumerarea s corespund nivelului seciunii sau

\numberwithin{equation}{subsection}
numberwithin{equation}{subsection}

pentru ca enumerarea s se adapteze nivelului subseciunii.

\documentclass[12pt]{article}
\usepackage{amsmath}
\numberwithin{equation}{subse
ction}
\begin{document}
\section{Prima Seciune}

\subsection{O subseciune}
\begin{equation}
L' = {L}{\sqrt{1-
\frac{v^2}{c^2}}}
\end{equation}
\end{document}

Dac stilul folosit pune puncte dup numere, comanda

\numberwithin{equation}{subsection}
numberwithin{equation}{subsection} n preambul va face ca numrul
ecuaiei din exemplul de mai sus s fie afiat n felul urmtor: (1.1.1).

Pentru numerotarea la nivelul seciunii, putei folosi i comanda

\renewcommand{\theequation}{\thesection.
thesection.\arabic{equation}}

Numerotarea la nivelul subseciunii cu comanda

\renewcommand{\theequation}{\thesubsection.
thesubsection.\arabic{equation}}

este echivalent cu versiunea din exemplul anterior, cu condiia ca aceast

comand s fie n preambul sau naintea oricror ecuaii.

Not: Putei folosi aceste ultime comenzi pentru a schimba numerotarea

ecuaiilor n interiorul documentului.

Numerotarea ecuaiilor subordonate

Pentru a numerota ecuaiile subordonate ntr-un

ntr mediu de ecuaii numerotate,
plasai partea documentului ce le conine ntr-un
ntr mediu subequations:

\section{Prima Seciune}
\renewcommand{\theequation}{\these these
ction.\arabic{equation}}
\begin{subequations}
Ecuaiile lui Maxwell:
\begin{align}
B'&=-\partial \times E,\\
E'&=\partial \times B - 4\pi j,
\end{align}
\end{subequations}

Nu uitai c pentru afiarea caracterelor romneti trebuie s includei un

pachet pentru acestea, cum ar fi inputenc cu opiunea pentru UTF:

\usepackage[utf8x]{inputenc}

Formule matematice n modul de afiare

aliniate vertical
O problem des ntlnit cu mediile de afiare (displaymath
( i
equation)) este lipsa abilitii de a se ntinde pe mai multe linii. Dei putei
defini liniile individual, acestea nu vor fi aliniate.
Deasupra i dedesubt

Comenzile \overset i \underset[1] scriu simboluri deasupra i dedesubtul

expresiilor. Fr AMS n TeX, acelai rezultat al \overset poate fi obinut cu
\stackrel.
stackrel. Acest lucru poate fi deosebit de util pentru a crea noi relaii binare:

\[
A \overset{!}{=} B; A \stackrel{!}{=}
stackrel{!}{=} B
\]

sau pentru a prezenta utilizarea legii lui L'Hpital:

L'Hpital

\[
\lim_{x\to 0}{\frac{e^x-1}{2x}}
\overset{\left[\frac{0}{0}\right]}{\unde
unde
rset{\mathrm{H}}{=}}
\lim_{x\to
0}{\frac{e^x}{2}}={\frac{1}{2}}
\]

Este convenabil s definim un nou operator ce va seta semnul de egalitate cu

H i fracia:

\newcommand{\Heg}[1]{\overset{\left[#1
left[#1\right]}{\underset{\mathrm{H}}{
=}}}

pentru a reduce exemplul de mai sus la:

\[
\lim_{x\to 0}{\frac{e^x-1}{2x}}
\Heg{\frac{0}{0}}
\lim_{x\to 0}{\frac{e^x}{2}}={\frac{1}{2}}
frac{1}{2}}
\]

Dac vrei s scriei comentarii n anumite pri ale unei ecuaii, comenzile
\overbrace i \underbrace
underbrace pot fi mai utile, cu toate acestea, ele au o sintax
diferit:
\[
z = \overbrace{
\underbrace{x}_\text{real} +
\underbrace{iy}_\text{imaginar}
}^\text{numr complex}
\]

Cteodat comentariile sunt mai lungi dect formula comentat, ceea ce

poate genera probleme de spaiere. Acestea nu sunt nlturate cu comanda
\mathclap[2]:

\[
y=a+
f(\underbrac
e{b x}_{

\ge 0 \text{
conform
ipotezei}})
=a+
f(\underbrac
e{b x}_{

\mathclap{\
ge 0 \text{
conform
ipotezei}}})
\]

Ca o alternativ, pentru a folosi paranteze drepte n loc de acolade, utilizai

overbracket[2]:
comenzile \underbracket i \overbracket

\[
z = \overbracket[3pt]{
\underbracket{x}_{\text{real}} +

\underbracket[0.5pt][7pt]{iy}_{\text{i
text{i
maginar}}
}^{\mbox{numr complex}}
\]
Argumentele opionale seteaz grosimea liniei, respectiv nlimea parantezei
drepte:

\underbracket[grosime
underbracket[grosime linie][nlime parantez dreapt]{argument}_{text
dedesubt}

xrightarrow[1] produc sgei care se extind pe toat

Comenzile \xleftarrow i \xrightarrow
lungimea textului. Din nou, sintaxa este diferit: argumentul opional (scris
cu ajutorul [ i ]) specific partea
artea de sub sgeat, iar argumentul obligatoriu
(ntre { i }) specific partea de deasupra sgeii.

\[
A \xleftarrow{\text{aa}} B
\xrightarrow[\text{sau aa}]{} C
\]

Pentru sgei mai extensibile, trebuie s utilizai pachetul mathtools:

\begin{align*}
A \xleftrightarrow[sub]{peste} B\\
B \xLeftarrow[sub]{peste} C\\
C \xRightarrow[sub]{peste} D\\
D \xLeftrightarrow[sub]{peste} E\\
E \xhookleftarrow[sub]{peste} F\\
F \xhookrightarrow[sub]{peste} G\\
G \xmapsto[sub]{peste} H
\end{align*}

Pentru crlige:
\begin{align*}
H \xrightharpoondown[sub]{peste}
xrightharpoondown[sub]{peste} I\\
I
I \xrightharpoonup[sub]{peste} J\\
J \xleftharpoondown[sub]{peste} K\\\
K \xleftharpoonup[sub]{peste} L\\
L \xrightleftharpoons[sub]{peste}
xrightleftharpoons[sub]{peste} M\\
M
M \xleftrightharpoons[sub]{peste}} N
\end{align*}

align i align*

Mediile align i align*[1] sunt folosite pentru aranjarea ecuaiilor pe mai

multe linii. La fel ca n cazul matricilor i tabelelor, \\ specific o linie nou,
iar & se folosete pentru a indica punctul n care liniile ar trebui aliniate.

Mediul align* se folosete la fel ca displaymath sau equation*:

\begin{align*}
f(x) &= (x+a)(x+b) \\
&= x^2 + (a+b)x + ab
\end{align*}

Pentru a fora numerotarea unei linii specifice, utilizai comanda \tag{...}

nainte de captul de linie.

Mediul align este similar, ns numeroteaz automat fiecare linie, la fel ca

mediul equation.. Se poate face referire la liniile individuale plasnd o
comand \label{...}
label{...} nainte de captul de linie. Putei folosi una din
comenzile \nonumber sau \notag
notag pentru a suprima numrul unei linii date:
\begin{align}
f(x) &= x^4 +
7x^3 + 2x^2
\nonumber \\
&\qquad {} +
10x + 12
\end{align}

Notai c am adugat o anume indentare la a doua linie. De asemenea,

trebuie s inserm acolade {} nainte de semnul + ntruct altfel LaTeX nu
va crea spaierea corect dup +. Motivul pentru asta este c fr acolade,
LaTeX interpreteaz semnul + ca pe un operator unar, n locul operatorul
binar, dup cum este de ateptat.

Acolade care se ntind pe mai multe linii

Mai multe caractere & pe o singur linie vor specifica mai multe coloane,
fiecare dintre ele fiind aliniat corespunztor. Dac vrei ca o acolad s
continue pe linia urmtoare, facei urmtoarele:

\begin{align}
f(x) &= \pi
\left\{ x^4 +
7x^3 + 2x^2
\right.\nonumber
\\
&\qquad \left.
{} + 10x + 12
\right\}
\end{align}

Dimensiunile celor dou acolade devin egale i corespund mrimii tipice a

simbolurilor dintre ele prin comenzile \left\{ i \right\}. ns deoarece aceste
dou comenzi apar pe linii diferite, trebuie s le echilibrm cu comenzile
\right. i \left..
left.. (n mod normal acestea nu sunt necesare dac formula este pe
o singur linie.) Ca o alternativ, putei controla manual dimensiunea
acoladelor cu ajutorul comenzilor \big,
big, \Big, \bigg, \Bigg.

Pentru a potrivi automat

mat mrimea celor dou acolade pentru o ecuaie nalt,
utilizai comanda \vphantom:
\begin{align}
A &= \left(\int_t
XXX
\right.\nonumber\\
&\qquad
\left.\vphantom{\int_t
} YYY \dots \right)
\end{align}

Mediul cases

Mediul cases[1] permite scrierea de funcii pe ramuri:

\[
u(x) =
\begin{cases}
\exp{x} & \text{dac
} x \geq 0 \\
1 & \text{dac } x
<0
\end{cases}
\]

La fel ca mai nainte, nu trebuie s avei grij de definiia sau alinierea

coloanelor, LaTeX va face asta automat.

Din pcate, seteaz mediul matematic intern la stilul text, ducnd la un astfel
de rezultat:

Pentru a fora stilul de afiare pentru ecuaii n cadrul acestei construcii,

utilizai mediul dcases[2]:

\[
a=
\begin{dcases}
\int x\, dx\\[10px]
 b^2
\end{dcases}
\]

Deseori a doua coloan const mai ales din text normal. Pentru a o seta la
fontul roman normal al documentului, folosii mediul dcases*[2]:

\[
f(x) =
\begin{dcases*}
x & pentru $x$
par\\
-x & pentru $x$
impar
\end{dcases*}
\]

Alte medii

Dei mediile align i align* sunt cele mai utile, sunt multe alte medii ce
pot fi i ele de interes:

Mediu Descriere Note

eqnarray i Similar cu align i Nerecomandat deoarece
eqnarray* align* spaierea este inconsistent
Prima linie este aliniat la Numrul ecuaiei este aliniat
multline i
stnga, ultima linie este vertical cu prima linie, nefiind
multline*[1]
aliniat la dreapta centrat ca n cazul altor medii.
gather i Ecuaii consecutive fr
gather*[1] aliniere
Similar cu align,
align ns
flalign i aliniaz la stnga prima
flalign*[1] coloan a ecuaiei i la
dreapta ultima coloan
Ia un argument ce Putei calcula numrul de
specific numrul de coloane numrnd caracterele
alignat i
coloane. Permite controlul & de pe o linie, la care
alignat*[1]
explicit al spaiului adugai 1, iar rezultatul l
orizontal dintre ecuaii mprii la 2
Sunt i cteva medii ce nu reprezint medii matematice prin ele nsele, dat
care pot fi utilizate pentru a construi structuri mai elaborate:

Mediu
Descriere Note
matematic
Permite strngerea laolalt a mai multor ecuaii, care
gathered[1] urmeaz s fie aezate una sub alta i care vor primi
un singur numr de ecuaie
e
Similar cu align*,
align* ns folosit ntr-un alt mediu
split[1]
matematic de afiare
Similar cu align,, ns folosit ntr-un
ntr alt mediu
aligned[1]
matematic de afiare
Similar cu alignat,
alignat i la fel ca el, ia un argument
alignedat[1] adiional ce specific numrul de coloane de setat
pentru ecuaii

Spre exemplu:

\begin{equati
on}
\left.\begin{a
ligned}
B'&=-
\partial \times
E,\\

E'&=\partial
\times B -
4\pi j,

\end{aligned
}
\right\}
\qquad
\text{Ecuaiil
e lui
Maxwell}
\end{equation
}
\begin{alignat}{2
}
\sigma_1 &= x +
y &\quad
\sigma_2 &=
\frac{x}{y}
\\[10px]
\sigma_1' &=
\frac{\partial x +
y}{\partial x} &
\sigma_2'
&=
\frac{\partial
\frac{x}{y}}{\pa
rtial x}
\end{alignat}

Ecuaii indentate
Pentru a indenta o ecuaie, putei seta parametrul fleqn n clasa
documentului, iar apoi s specificai o anumit valoare pentru variabila
\mathindent:

\documentclass[a4pape
r,fleqn]{report}
\usepackage{amsmath}
\setlength{\mathindent
}{1cm}
\begin{document}
\noindent Formula lui
Euler:
\begin{equation*}
e^{ix} = \cos{x} + i
\sin{x}
\end{equation*}
\noindent Aceast
formul e foarte
important.
\end{document}
Sfritul de pagin n
n medii matematice
Pentru a sugera sistemului LaTeX s treac la pagina urmtoare ntr-unul
ntr din
mediile amsmath,, putei folosi comanda \displaybreak naintea unui capt
de linie. La fel ca n cazul \pagebreak,
pagebreak, \displaybreak poate lua un argument
opional ntre
ntre 0 i 4, care denot nivelul de dezirabilitate de a trece la pagina
urmtoare n acea situaie dat. Valoarea 0 nseamn "se permite trecerea la
pagina urmtoare aici", 4 foreaz sfritul de pagin. Nici un argument
nseamn valoarea 4.

Ca o alternativ,
iv, putei activa sfritul de linie automat n mediile
matematice cu comanda\allowdisplaybreaks.
allowdisplaybreaks. i aceasta are un argument
opional, care denot n ce msur se permite trecerea la pagina urmtoare n
ecuaii. n mod similar, 1 nseamn "se permite sfritul
sfr de pagin, ns n
general se evit", iar 4 nseamn "treci la pagina urmtoare cnd doreti".
Putei mpiedica sfritul paginii dup o linie dat cu ajutorul comenzii \\*.

LaTeX va insera un sfrit de pagin ntr-o

ntr ecuaie lung (cu mediul align,
de exemplu) dac adaug ceva text n plus cu comanda \intertext{text}, fr
alte comenzi.

Un caz specific de utilizare poate arta n felul urmtor:

\begin{align*}
&\vdots\\
&=12+7 \int_0^2
\left(
-
\frac{1}{4}\left(e^
{-4t_1}+e^{4t_1-
8}\right)

\right)\,dt_1\displa
ybreak[3]\\
&= 12-
\frac{7}{4}\int_0^
2 e^{-
4t_1}+e^{4t_1-
8}\,dt_1\\
&\vdots %
\end{align*}
Ecuaii cuprinse ntr-un cadru
Pentru o singur ecuaie, cu eticheta n afara csuei, utilizai comanda
\boxed{}:

\begin{equation}
\boxed{x^2+y^2 =
z^2}
\end{equation}

Dac vrei ca ntreaga linie sau mai multe ecuaii s fie ncadrate, folosii un
mediu minipage ntr-o csu \fbox{}:

\fbox{
\addtolength{\line
width}{-
2\fboxsep}%
\addtolength{\line
width}{-
2\fboxrule}%
\begin{minipage}{\
linewidth}
\begin{equation}
x^2+y^2=z^2
\end{equation}
\end{minipage}
}

Operatori personalizai
Dei LaTeX pune la dispoziie muli operatori de uz comun, cteodat vei
avea nevoie s creai unul nou, spre exemplu pentru a scrie operatorul
argmax. Comenzile \operatorname i \operatorname*[1] afieaz astfel de
operatori, versiunea cu stea * seteaz opiunea cu underscore dedesubt, ca
pentru operatorul \lim:

\[ Nu s-a putut interpreta

\operatorname{arg\,max (Conversie n PNG euat;
}_a f(a) verificai corectitudinea instalrii
= sistemelor LaTex sau dvipng (sau
\operatorname*{arg\,max dvips + gs + convert)):
}_b f(b) \operatorname{arg\,max}_a f(a)
\] =
\underset{b}\operatorname{arg\,
max} f(b)

Totui, dac operatorul este des folosit, este de preferat ca noul operator s
fie ncorporat n sistemul LaTeX, pentru documentul curent. Comenzile
DeclareMathOperator*[1] sunt specificate n
\DeclareMathOperator i \DeclareMathOperator*
preambulul documentului:

\DeclareMathOperator*{\argmax}{arg
argmax}{arg\,max}

Asta definete o nou comand, ce poate fi folosit n corpul documentului:

\[
\argmax_c f(c)
\]

Formatare avansat
Limite

Exist anumite setri implicite pentru plasarea indicilor i exponenilor. Spre

exemplu, limitele pentru operatorul lim se aeaz de obicei sub simbol, n
felul urmtor:

\begin{equation}
\lim_{a\to \infty} \tfrac{1}{a}
\end{equation}

Pentru a modifica acest comportament implicit, utilizai operatorul \nolimits:

\begin{equation}
\lim\nolimits_{a\to \infty} \tfrac{1}{a}
tfrac{1}{a}
\end{equation}
Un operator lim n text (n cadrul $...$) va plasa limitele pe lateral. Dac
vrei ca argumentul comenzii _ s fie plasat sub limit, folosii comanda
\limits,
limits, plasat imediat dup operator:

$\lim\limits_{a\to \infty} \tfrac{1}{a}$

tfrac{1}{a}$

n mod asemntor, putei aeza indicii care de obicei sunt plasai lateral:

\begin{equation}
\int_a^b x^2
\end{equation}

deasupra i dedesubtul unui simbol:

\begin{equation}
\int\limits_a^b x^2
\end{equation}

Pentru a seta aezarea implicit lateral pentru toate cazurile unui simbol de
nsumare (n modul de afiare), adugai opiunea nosumlimits
pachetului amsmath.. Pentru a schimba aezarea implicit a limitelor
intervalului pentru integrale adugai parametrul
parametr intlimits la opiuni i
nonamelimits pentru a modifica plasarea implicit pentru operatorii
named, de genul det, min, lim, etc.

Indici i exponeni

Dei putei aeza caractere pe poziie de indici sau de exponeni n cazul

simbolurilor de genul sumelor cu comanda prezentat mai devreme \nolimits:

\begin{equation}
\sum\nolimits' C_n
\end{equation}

este imposibil s le mbinai cu utilizarea tipic a acestor simboluri:

\begin{equation}
\sum_{n=1}\nolimits' C_n
\end{equation}
Pentru a aduga att apostroful, ct i limita la un simbol, trebuie s utilizai
comanda \sideset:

\begin{equation}
\sideset{}{'}\sum_{n=1}C_n
\end{equation}

Este foarte flexibil, spre example, poate pune litere n fiecare col al
simbolului sumei:

\begin{equation}
\sideset{_a^b}{_c^d}\sum
\end{equation}

Dac vrei s facei asta pentru un simbol arbitrar, putei folosi comanda
\fourIdx din pachetul fouridx:

\begin{equation}

\fourIdx{a}{b}{c}{d}{\left(\dfrac{x}{y}
dfrac{x}{y}\rig
ht)}
\end{equation}

Indici pe mai multe linii

Pentru a produce indici care se pot ntinde pe mai multe linii, utilizai
comanda \substack:

\begin{equation}
\prod_{\substack{
1\le i \le n\\
1\le j \le m}}
M_{i,j}
\end{equation}

Text n modul matematic de afiare aliniat

Pentru a aduga explicaii scurte n mediile matematice, folosii comanda
\intertext:
\begin{minipage}{3i
n}
\begin{align*}
\intertext{Dac}
A &=
\sigma_1+\sigma_2\\
B &=
\rho_1+\rho_2\\
\intertext{atunci}
C(x) &=
e^{Ax^2+\pi}+B
\end{align*}
\end{minipage}

Notai c utilizarea acestei comenzi nu schimb alinierea, aa cum ar face

mai multe medii align intercalate.

Modificarea dimensiunii fontului

Se pot ivi unele situaii n care s preferai un control mai mare asupra
dimensiunii fontului pentru formule matematice. Spre exemplu, mediile
matematice n modul text $...$$...$ sau \(...\) afieaz implicit o fracie
simpl (\frac) n felul urmtor: . ntr
tr-o asemenea situaie, ar fi de preferat ca
fracia s fie mai mare, ca n modul de afiare $$...$$ sau \[...\], dar s-i

pstreze poziia pe linia curent: .

O abordare simpl const n utilizarea unor dimensiuni predefinite pentru

elementele matematice:

Comand Descriere
\displaystyle Dimensiunea ecuaiilor n modul de afiare
\textstyle Dimensiunea ecuaiilor n modul text
\scriptstyle Mrimea primului indice sau exponent
\scriptscriptstyle Mrimea indicelui sau exponentului urmtor

Un exemplu clasic n acest sens l constituie fraciile continue (dei e mai

bine s folosii comanda \cfrac[1] descris n capitolul Matematic):
\begin{equation}
x = a_0 + \frac{1}{a_1 +
\frac{1}{a_2 + \frac{1}{a_3 +
a_4}}}
\end{equation}

Dup cum vedei, pe msur ce fraciile continu, devin mai mici (aici au
atins limita \scriptstyle).
scriptstyle). Dac vrei ca dimensiunea s rmn consistent,
putei declara stilul de afiare pentru fiecare fracie n parte:

\begin{equation}
x = a_0 +
\frac{1}{\displaystyle
a_1
+
\frac{1}{\displaystyle
a_2
+
\frac{1}{\displaystyle
a_3 + a_4}}}
\end{equation}

O alt abordare const n utilizarea comenzii \DeclareMathSizes pentru a

selecta dimensiunile preferate. Putei redefini doar dimensiunile
\displaystyle, \textstyle, \scriptstyle.
scriptstyle. Un posibil dezavantaj este c aceast
comand seteaz valorile globale, ntruct poate fi folosit numai n
preambulul documentului.

Totui, este foarte uor de folosit: \DeclareMathSizes{df}{da}{dt}{ds},

DeclareMathSizes{df}{da}{dt}{ds},
unde df nseamn dimensiunea implicit
implicit a fontului (pentru documentul
curent), da este dimensiunea n modul de afiare (\displaystyle),
( dt
dimensiunea n modul text (\textstyle),
textstyle), iar ds dimensiunea corespunztoare
modului \scriptstyle.
scriptstyle. Valorile furnizate se consider a fi date n puncte (pt).

Not: modificrile valorilor globale au loc numai dac valoarea primului

argument corespunde dimensiunii textului din documentul curent. Se
obinuiete de aceea ca n preambul s fie mai multe declaraii de genul
acesta, n eventualitatea c se va modifica dimensiunea fontului implicit.
Spre exemplu:

DeclareMathSizes{10}{18}{12}{8} % Pentru text de mrime 10

\DeclareMathSizes{10}{18}{12}{8}
\DeclareMathSizes{11}{19}{13}{9} % Pentru dimensiunea 11 a textului
\DeclareMathSizes{12}{20}{14}{10} % Pentru text de mrime 12pt

Note
1. 1,00 1,01 1,02 1,03 1,04 1,05 1,06 1,07 1,08 1,09 1,10 1,11 1,12 1,13 1,14 necesit
pachetul amsmath
2. 2,0 2,1 2,2 2,3 necesit pachetul mathtools

Teoreme
Prin "teorem" nelegem orice tip de enun etichetat pe care vrem s-l
vedem ca fiind separat de restul textului i care s aib numere secveniale.
Aceast abordare se folosete n mod obinuit pentru teoreme matematice,
ns poate fi utilizat pentru orice. LaTeX ofer o comand care faciliteaz
definirea oricrui enun n genul unei teoreme.

Teoreme de baz
Mai nti, includei pachetul amsthm:

\usepackage{amsthm}

Modul cel mai uor de a defini o teorem este s scriei:

\newtheorem{nume}{Output generat}

n preambul. Primul argument este numele pe care l vei folosi n document

pentru a face referire la teorem, iar al doilea argument este outputul generat
de LaTeX la fiecare utilizare a teoremei. Spre exemplu:

\newtheorem{o-def}{Definiie}

va defini mediul def; dac l folosii n felul urmtor:

\begin{o-def}
Iat o definiie nou
\end{o-def}

va arta aa:
Definiie 1. Iat o definiie nou

separat prin linii libere de restul textului.

Numerotarea teoremelor
Adesea numerele teoremelor sunt determinate de seciune, spre exemplu
"Theorem 2.3" se refer la a treia teorem din a doua seciune a
documentului. n cazul de fa, specificai teorema dup cum urmeaz:

\newtheorem{nume}{Output generat}[numr dup]

unde numr dup specific nivelul de mprire n seciuni

(seciunea/subseciunea/etc.) la care numerotarea are loc.

Implicit, fiecare teorem are propriul contor. Totui, se obinuiete ca tipuri

similare de teoreme (de exemplu, teoreme, leme i corolarii) s foloseasc n
comun un contor. n acest caz, definii teoremele urmtoare astfel:

\newtheorem{nume}[contor]{Output generat}

unde contor este numele contorului de utilizat. De obicei, acesta va fi numele

teoremei principale.

Putei de asemenea s creai un mediu pentru teoreme care nu este numerotat

cu ajutorul comenzii newtheorem*[1]. Spre exemplu,

\newtheorem*{o-def}{Definiie}

definete mediul o-def, care va genera definiii fr numerotare.

Demonstraii
Mediul proof[1] poate fi folosit pentru a aduga demonstraia unei teoreme.
Utilizarea de baz este:

\begin{proof}
Demonstraia mea
\end{proof}

Nu face dect s adauge Proof cu caractere italice la nceputul textului dat ca

argument i un ptrat gol pe dinuntru, simbolul (Q.E.D, cunoscut i sub
denumirea de lespede (tombstone)) la sfrit. Dac scriei n alt limb dect
engleza, folosii pachetul babel cu argumentul corespunztor i cuvntul
Proof afiat va fi tradus n aceast limb; oricum, n codul surs, numele
mediului rmne proof.

Dac vrei s denumii explicit demonstraia, includei numele n paranteze

drepte:

\begin{proof}[Demonstraia unei teoreme importante]

Iat demonstraia mea important
\end{proof}

Dac ultima linie a demonstraiei este n modul matematic de afiare, atunci

simbolul Q.E.D. va apare pe o linie liber urmtoare. Pentru a pune simbolul
Q.E.D. la sfritul ultimei linii, folosii comanda \qedhere:

\begin{proof}
Iat demonstraia mea:
\[
a^2 + b^2 = c^2 \qedhere
\]
\end{proof}

Metoda de mai sus nu merge cu mediul deprecated (care nu mai este n uz,
urmnd a fi eliminat ntr-o versiune viitoare de LaTeX) eqnarray*. Iat o
posibil soluie:

\begin{proof}
Iat demonstraia mea:
\begin{eqnarray*}
a^2 + b^2 = c^2
\end{eqnarray*}
\vspace{-1.4cm}\[\qedhere\]
\end{proof}

Pentru a folosi un alt simbol Q.E.D., redefinii comanda \qedsymbol. Pentru

a ascunde apariia simbolului Q.E.D., redefinii-l s nu fie nimic:

\renewcommand{\qedsymbol}{}

Stiluri de teoreme
Acestea adaug posibilitatea de a schimba outputul mediilor definite de
[1]
\newtheorem cu ajutorul comenzii \theoremstyle n preambul:
\theoremstyle{denumire_stil}

Argumentul este stilul pe care vrei s-l folosii. Toate teoremele definite mai
trziu vor folosi acest stil. Iat o list cu stilurile predefinite:

denumire_stil Descriere
plain Folosit pentru teoreme, leme, propoziii, etc. (stilul implicit)
definition Utilizat pentru definiii i exemple
remark Folosit pentru remarce i note

Stiluri personalizate

Pentru a defini propriul stil, folosii comanda \newtheoremstyle[1]:

\newtheoremstyle{denumire stil}% numele stilului folosit

{spaiu nainte}% spaiu liber deasupra teoremei, de
exemplu: 3pt
{spaiu dup}% spaiu liber sub teorem, de exemplu: 3pt
{font corp}% fontul din corpul teoremei
{indentare}% implicit fr indentare
{font antet}% fontul pentru antet
{punctuaie dup antet}% punctuaia dintre antet i corp
{spaiu dup antet}% spaiu dup antetul teoremei; " " =
spaiu normal dintre cuvinte
{antet}% antet specificat manual

(Orice argumente lsate libere vor lua valorile implicite). Iat un exemplu de
specificaii pentru antet:

{\thmname{\textbf{#1}}\thmnumber{ \textbf{#2}}\thmnote{ (#3)}}

Exemplul complet:

\documentclass[a4paper,12pt]{article}

\usepackage[utf8x]{inputenc} % pentru caractere Unicode

\usepackage{amsthm}
\usepackage[pdfborder={0 0
0},colorlinks=true,linkcolor=blue]{hyperref}

\newtheoremstyle{plain}
{3pt} % spaiu liber naintea teoremei
{3pt} % spaiu liber dup teorem
{\itshape} % fontul din corpul teoremei
{\parindent} % indentare
 {\rmfamily} % fontul pentru antet
{:} % punctuaia dintre antet i corp
{.5em} % spaiu dup antetul teoremei
{\thmname{\textbf{#1}}\thmnumber{ \textbf{#2}}\thmnote{
(#3)}} % antet
\newtheorem{defn}{Definiia}

\begin{document}

\begin{defn}[Topologie]
\href{http://ro.wikipedia.org/wiki/Topologie}{Topologia} este
o ramur a matematicii,
mai precis o extensie a geometriei care studiaz deformrile
spaiului prin
transformri continue.
\end{defn}

\end{document}

(Argumentul definiiei, n cazul de fa Topologie, este ntotdeauna opional,

ns nu va apare implicit, dac nu-l specificai ca mai sus n specificaia
antetului).

Output:

Conflicte
Mediul pentru teoreme (theorem) intr n conflict cu alte medii, spre
exemplu cu wrapfigure. O soluie posibil const n redefinirea teoremei,
spre exemplu n modul urmtor:

% Ajusteaz spaiile verticale din LaTeX

\def\smallskip{\vskip\smallskipamount}
\def\medskip{\vskip\medskipamount}
\def\bigskip{\vskip\bigskipamount}

% Teorem cu aspect personalizat

\newcounter{thm}[section]
\renewcommand{\thethm}{\thesection.\arabic{thm}}
\def\claim#1{\par\medskip\noindent\refstepcounter{thm}\hbox{\b
f
\arabic{chapter}.\arabic{section}.
arabic{section}.\arabic{thm}. #1.}
\it\ % \ignorespaces
}
\def\endclaim{\par\medskip}
\newenvironment{thm}{\claim}{\
\endclaim}

n acest caz, teorema arat n felul urmtor:

\documentclass[a4pape
r,12pt]{book}

\usepackage[utf8x]{in
putenc} % pentru
caractere Unicode
...
\renewcommand{\chapte
rname}{Capitolul}

\begin{document}

\chapter{Matematic}

\section{Teoreme}

\begin{thm}{Teorem
de
probabilitate}\label{
prob}
Las s se
ntmple.
Apoi vei afla.
\end{thm}

\end{document}

Note
1. 1,0 1,1 1,2 1,3 necesit pachetul amsthm

Legturi externe
Documentaia amsthm,
ftp://ftp.ams.org/pub/tex/doc/amscls/amsthdoc.pdf
s.org/pub/tex/doc/amscls/amsthdoc.pdf

Etichete i referine
Introducere
Un alt avantaj al sistemului LaTeX este acela c putei crea cu uurin
referine la aproape orice este numerotat (seciuni, figuri, formule), iar
LaTeX va avea grij de numerotarea referinelor, actualiznd aceste date
cnd este necesar. Comenzile utilizate nu depind de obiectele la care facei
trimiteri, aceste comenzi fiind: