1

Pakiet theorem

1.1

Zmiana nagłówka twierdzenia

Pakiet theorem autorstwa Franka Mittelbacha pozwala nam na globalną zmia-
nę wglądu tekstu twierdzenia lub definicji. Można zmienić wygląd nazwy i nume-
ru twierdzenia, font jakim ta nazwa jest napisana oraz font użyty do napisania
samej treści twierdzenia. Ma to duże znaczenie dla czytelności tekstu matema-
tycznego. I tak przyjęte jest, że w pracy matematycznej inną czcionką zapisuje
się treść definicji czy uwag a inną treść twierdzeń czy lematów.

Zobaczmy na przykładach jak to można uzyskać w L

A

TEX-u. Wszystkie de-

klaracje zmian dotyczące wyglądu twierdzeń i definicji należy umieszczać w
preambule dokumentu.

Deklaracje zmieniające wygląd tytułu twierdzenia to

\theoremstyle{plain}
\theoremstyle{break}
\theoremstyle{marginbreak}
\theoremstyle{changebreak}
\theoremstyle{change}
\theoremstyle{margin}

* Styl plain emuluje oryginalny L

A

TEX-owy styl twierdzenia i dodatkowo

jeszcze dodaje przed i po treści twierdzenia niewielki odstęp.

* Styl break – etykieta i numer umieszczone są w osobnej linii a tekst twier-

dzenia rozpoczyna się od nowej.

* Styl marginbreak – numer twierdzenia jest umieszczony na marginesie,

po etykiecie zaś następuje złamanie linii. Tekst umieszczany jest w nowej
linii.

* Styl changebreak – tak samo jak break tylko najpierw jest drukowany

numer a potem etykieta.

* Styl change – etykieta i numer twierdzenia są zamienione miejscami.

* Styl margin – numer jest umieszczony na marginesie ale bez zmiany linii.

Zastosowanie ich pokazują przykłady 1, 2, 3 i 4.

Przykład 1. Styl break

Wniosek 1
To jest zdanie napisane w środowisku Cor

Przykład 2. Styl marginbreak

2 Lemat

To jest nowy lemat.

1

Przykład 3. Styl plain

Uwaga 1 To jest zdanie napisane w środowisku Exa

Przykład 4. Styl marginbreak

3 Lemat (Ben King)

To jest zdanie napisane w środowisku Lem z dodatkowym argumentem z nazwą
twierdzenia.

Przykład 5. Styl break

4 Definicja (Bardzo ważna definicja) To jest zdanie napisane w środowi-
sku Def z dodatkowym argumentem.

Twierdzenia i definicje w matematyce mogą posiadać nazwy, które koniecz-

nie trzeba uwzględnić. Taką nazwę możemy umieścić jako argument opcjonalny
po wywołaniu środowiska. W przykładach 3 i 4 nazwę uzyskaliśmy w sposób
następujący:

\begin{Lem}[Ben King]
To jest zdanie napisane w środowisku \texttt{Lem}
z dodatkowym argumentem z nazwą twierdzenia.
\end{Lem}

\begin{Def}[Bardzo ważna definicja]
To jest zdanie napisane w środowisku \texttt{Def}
z dodatkowym argumentem.
\end{Def}

1.2

Zmiana czcionki w tekście twierdzeń

Uważny czytelnik spostrzeże, że treści w środowiskach w przykładach 1,2, 4
i 5 są napisane tym samym rodzajem czcionki (pochyła) zaś w przykładzie
3 innym (italik). Do zmiany rodzaju fontu w treści twierdzenia służy polecenie
\theorembodyfont. Jako argument należy podać nazwę rodziny czcionek, którą
chcemy użyć. Może to być np. \rmfamily, \slfamily lub jej krój \scshape lub
\itshape.

Możemy również skorzystać z możliwości zmiany czcionki w nagłówku twier-

dzenia przy pomocy polecenia \theoremheaderfont. Ponieważ w jednym doku-
mencie nie stosuje się różnych rodzajów nagłówków więc polecenie zmieniające
rodzaj nagłówka też może wystąpić tylko raz. Umieszczamy je w preambule,
przed pozostałymi definicjami dotyczącymi twierdzeń. Aby uzyskać w całym
dokumencie nagłówki twierdzeń, definicji itp. np. pisane kapitalikami, należy w
preambule umieścić komendę:

2

\theoremheaderfont{\scshape}

Jeżeli teraz treść twierdzeń ma być pisana pismem pochyłym a treść definicji
pismem prostym i styl ma być break to w preambule muszą znaleźć się nastę-
pujące definicje:

{\theoremstyle{break}

{\theorembodyfont{\slshape}

\newtheorem{twier}{Twierdzenie}}}

{\theoremstyle{break}

{\theorembodyfont{\rm}

\newtheorem{defi}{Definicja}}}

3