summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/generic/tex-virtual-academy-pl/latex2e/macro/amsthm.html
blob: 4420b1901cdcd5716704afd9f3e7284f46aed76a (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=iso-8859-2">
<title> Zastaw ciekawych makroinstrukcji </title>
<LINK REL="stylesheet" TYPE="text/css" HREF="mycss.css">
<meta http-equiv="Content-language" content="pl">
<meta name="Author" content="W³odzimierz Macewicz">
<meta name="Keywords" content="tex, latex, makroinstrukcje, pakiety makroinstrukcji, Wirtualna Akademia">
</head>
<body bgcolor=#a0f0a0>
<h2>amsthm</h2>
Pakiet pozwala na definiowanie ¶rodowisk s³u¿±cych do opisu przyk³adów,
zadañ, definicji itp. (p. <a href="theorem.html">theorem.sty</a>)
podstawowym poleceniem jest:<br>
<code>\newteorem{<i>nazwa ¶rodowiska</i>}{<i>tekst nag³ówka</i>}</code><br>
lub<br>
<code>\newteorem{<i>nazwa ¶rodowiska</i>}%<br>
	[<i>nazwa innego ¶rodowiska</i>]{<i>tekst nag³ówka</i>}</code><br>
(w typ wypadku licznikiem kolejnych pozycji bêdzie licznik okre¶lony przez
<i>nazwa innego ¶rodowiska</i> (wspólny licznik))<br>
<code>\newteorem*{<i>nazwa ¶rodowiska</i>}{<i>tekst nag³ówka</i>}</code><br>
jak powy¿ej, ale ¶rodowisko nie bêdzie numerowane<br>
oraz<br>
<code>\newteorem{<i>nazwa ¶rodowiska</i>}%<br>
{<i>tekst nag³ówka</i>}[<i>licznik nadrzêdny</i>]</code><br>
licznik zliczaj±cy kolejne u¿ycie <i>nazwa ¶rodowiska</i> jest zerowany przy zmianie
licznika <tt><i>licznik nadrzêdny</i></tt> (np: <tt>chapter</tt>, <tt>section</tt>.
<tt>subsection</tt> lub nazwa innego ¶rodowiska definiowanegp
za pomoc± polecenie <tt>\newtheorem</tt>), oraz
w <b>sk³ad numeru wchodzi licznik nadrzêdny</b>. Oba warianty dodatkowe s± 
wzajemnie wykluczaj±ce siê.

<p>
Postaæ wywo³ania zdefiniowanego ¶rodowiska jest nastêpuj±ca:<br>
<tt>
\begin{<i>nazwa</i>}<br>
<i>zawarto¶æ</i><br>
\end{<i>nazwa</i>}<br>
</tt>
lub<br>
<tt>
\begin{<i>nazwa</i>}[<i>dodatek</i>]<br>
<i>zawarto¶æ</i><br>
\end{<i>nazwa</i>}<br>
</tt>
gdzie <i>nazwa</i> jest nazw± ¶rodowiska zdefiniowan± poleceniem
<tt>\newtheorem</tt>, a <i>dodatek</i> mo¿e stanowiæ dodatkowy
komentarz (bêd±cy czê¶ci± nag³ówka).

<p>
Definicja i u¿ycie nowego ¶rodowiska mo¿e wygl±daæ nastêpuj±co:
<pre>
\newtheorem{twierdzenie}{Twierdzenie}
\newtheorem{lemat}{Lemat}[twierdzenie]
.
.
.
\begin{twierdzenie}
podstawowe
\begin{lemat}
pierwszy lemat
\end{lemat}
\begin{lemat}
drugi lemat
\end{lemat}
\end{twierdzenie}

\begin{twierdzenie}[specjalne]
i jeszcze jedno twierdzenie
\end{twierdzenie}
</pre>
a po przetworzeniu:
<img src="amsthm1.png"><bre clear="all">
<p>
Sposób prezentacji ¶rodowiska jest zale¿ny od wybranego stylu. Polecenie
<tt>newtheorem</tt> mo¿na poprzedziæ poleceniem <tt>theoremstyle</tt>
(domy¶lnie u¿ywany jest styl <tt>plain</tt>).</p>

<p>
Wywo³anie polecenie wygl±da nastêpuj±co:<br>
<code>\theoremstyle{<i>style</i>}</code><br>
gdzie <i>style</i> mo¿e przyjmowaæ nastêpuj±ce warto¶ci:
<dl>
<dt><tt>plain</tt>
<dd> emuluje oryginalny styl LaTeX'a (tekst nag³ówka jest sk³adany czcionk±
wyt³uszczon±, a wnêtrze ¶rodowiska kursyw± (bez przej¶cia do nowej linii
po nag³ówku).
<dt><tt>definition</tt>
<dd> jak powy¿ej, ale wnêtrze jest sk³adane antykw±
<dt><tt>remark</tt>
<dd> tekst nag³ówka sk³adany jest kursyw± (bez przej¶cia do nowej
linii po nag³ówku), a wnêtrze ¶rodowiska antykw±
</dl>

<p>Lista dostêpnych styli jest ograniczona, ale mamy do dyspozycji
polecenie umo¿liwiaj±ce definiowane nowych styli:
<tt>
\newtheoremstyle{<i>nazwa stylu</i>}%<br>
          {<i>odleg³o¶æ przed</i>}%<br>
	  {<i>odleg³o¶æ po</i>}%<br>
	  {<i>font do sk³adu wnêtrza</i>}%<br>
	  {<i>wciêcie</i>}%<br>
	  {<i>font nag³ówka</i>}%<br>
	  {<i>znak po nag³ówku</i>}%<br>
	  {<i>odleg³o¶æ po nag³ówku</i>}%<br>
	  {<i>w³asna definicja nag³ówka</i>}<br>
</tt>
<p>
poszczególne parametry maj± nastêpuj±ce znaczenie:
<table border="1">
<tr>
<td><i>nazwa stylu</i></td>
	<td>nazwa nowego stylu (mo¿e byæ argumentem polecenia
	<tt>\theoremstyle</tt>) </td></tr>
<tr><td><i>odleg³o¶æ przed</i></td>
	<td>okre¶la odleg³o¶æ w pionie przed ¶rodowiskiem 
	(pusty argument oznacza 0pt)</td></tr>
<tr><td><i>odleg³o¶æ po</i></td>
	<td>okre¶la odleg³o¶æ w pionie po ¶rodowisku 
	(pusty argument oznacza 0pt)</td></tr>
<tr><td><i>font do sk³adu wnêtrza</i></td>
	<td>okre¶la font, którym prezentowany jest tekst 
		wnêtrza ¶rodowiska</td></tr>
<tr><td><i>wciêcie</i></td>
	<td>okre¶la odleg³o¶æ tekstu nag³ówka od lewego marginesu strony</td></tr>
<tr><td><i>font nag³ówka</i></td>
	<td>okre¶la font, którym prezentowany jest
	tekst nag³ówka</td></tr>
<tr><td><i>znak po nag³ówku</i></td>
	<td>okre¶la dodatkowy znak (ci±g znaków) wstawianych po 
		nag³ówku; za pomoc± tego parametru mo¿emy wstawiæ
		znak kropki po nag³ówku</td></tr>
<tr><td><i>odleg³o¶æ po nag³ówku</i>
	<td>okre¶la odleg³o¶æ w poziomie, miêdzy tekstem nag³ówka,
	a tre¶ci± twierdzenia; znak spacji oznacza normaln± przerwê
	miêdzy wyrazami (zmienn± w razie potrzeby), wstawienie
	polecenie <tt>\newline</tt> powoduje ¿e tekst wnêtrza jest
	sk³adany ,,od nowej linii''
	</td></tr>
<tr><td><i>w³asna definicja nag³ówka</i></td>
	<td>powy¿sza specyfikacja mo¿e ustaliæ na sta³e
	tre¶æ nag³ówka okre¶lon± poleceniem <tt>\newtheorem</tt>.
	£atwo widaæ, ¿e taka specyfikacja by³aby ma³o przydatna.
	<p>Wyró¿niono 3 czê¶ci nag³ówka: nazwa (drugi parametr
	polecenie <tt>\newtheorem</tt>), numer kolejny oraz
	dodatkowa notatka (parametr opcjonalny polecenia
	<tt>\begin{<i>nazwa</i>}[<i>notka</i>]</tt>), 
	za wizualizacjê poszczególnych czê¶ci odpowiadaj±
	polecenia: <tt>\thmname</tt>, <tt>\thmnumber</tt> i <tt>\thmnote</tt>,
	a  warto¶ci poszczególnych elementów s± podstawiane za pierwszy,
	drugi i trzeci parametr formalny (<tt>#1</tt> -- nazwa,
	<tt>#2</tt> -- numer i <tt>#3</tt> -- opcjonalna notka).
	W najprostszym przypadku specyfikacja tego parametru mo¿e wygl±daæ
	nastêpuj±co:<br>
<tt>\newtheoremstyle{mojetwierdzenie}<br>
&nbsp;&nbsp;&nbsp;{2ex}{2ex}{\sffamily}{0pt}{\normalfont}{.}{\newline}<br>
&nbsp;&nbsp;&nbsp;{{\thmname{#1&nbsp;}}{\thmnumber{#2}}{\thmnote{&nbsp;(#3)}}}</tt><br>
Specyfikacja ostatniego parametru jest neutralna (zgodna 
z ustawieniami domy¶lnymi). 

<p>Spróbujmy zdefiniowaæ ¶rodowisko, którego
numer bêdzie prezentowany na lewym marginesie, a dodatkowa notka
bêdzie prezentowana fontem ,,bold italic''<br>
<tt>
\newtheoremstyle{mojetwierdzenie}{2ex}{2ex}<br>
&nbsp;&nbsp;&nbsp;{\sffamily}{-1cm}{\bfseries}{}{\newline}<br>
&nbsp;&nbsp;&nbsp;{\thmnumber{\hbox&nbsp;to&nbsp;1cm{#2.\hss}}\thmname{#1&nbsp;}{\thmnote{&nbsp;\itshape(#3)}}}<br>
\newtheoremstyle{mojlemat}{0pt}{0pt}{\itshape}{0pt}{\normalfont}{.}{\newline}%<br>
&nbsp;&nbsp;&nbsp;{\thmname{#1&nbsp;}\thmnumber{#2}\thmnote{&nbsp;(#3)}}<br>
\theoremstyle{mojetwierdzenie}<br>
\newtheorem{twierdzenie}{Twierdzenie}<br>
\theoremstyle{mojlemat}<br>
\newtheorem{lemat}{Lemat}[twierdzenie]<br>
.<br>
.<br>
.<br>
aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa <br>
aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa <br>
aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa <br>
aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa <br>
\begin{twierdzenie}<br>
podstawowe<br>
\begin{lemat}<br>
pierwszy lemat<br>
\end{lemat}<br>
dalszy tekst twierdzenia<br>
\begin{lemat}<br>
drugi lemat<br>
\end{lemat}<br>
po twierdzeniu i przed nastêpnym<br>
\end{twierdzenie}<br>
\begin{twierdzenie}[specjalne]<br>
i jeszcze jedno twierdzenie<br>
\end{twierdzenie}<br>
</tt><br clear="all">
<img src="amsthm2.png">
 </td></tr>
</table>
dodatkowo dostêpna jest makroinstrukcja <tt>\swapnumbers</tt>, która
powoduje, ¿e najpierw jest podawany numer kolejny ¶rodowiska, a potem
jego nag³ówek. W przypadku u¿ycia polecenie <tt>\newtheoremstyle</tt>
z bardziej wyrafinowanym formatem mog± wyst±piæ efekty uboczne.



<hr>

<a href=../../texologia.html><img src="../../gify/lew-7vs.gif" hspace=10 border=0 align=left></a>
<a href=mailto:W.Macewicz@ia.pw.edu.pl><img src="../../gify/mail.gif" hspace=10 align=left></a>
<a href=http://www.ia.pw.edu.pl/~wujek/index.html>W³odzimierz Macewicz</a><br clear=all>
<hr>
<!--#config timefmt="%y-%m-%d" -->
Ostatnie zmiany: <!--#echo var="LAST_MODIFIED" -->.

</body>
</html>