/ Class of 2001 / ClassOf2001.iso / Scinotebook / scinoteb / help / theorems.tex

< prev

next >

MacOS 8.1

Win98

DOS

browse contents

view JSON data

view as text

+--------+-------------------------+-------------------------+--------+--------+
|00000000| 25 25 20 54 68 69 73 20 | 64 6f 63 75 6d 65 6e 74 |%% This |document|
|00000010| 20 63 72 65 61 74 65 64 | 20 62 79 20 53 63 69 65 | created| by Scie|
|00000020| 6e 74 69 66 69 63 20 4e | 6f 74 65 62 6f 6f 6b 20 |ntific N|otebook |
|00000030| 28 52 29 20 56 65 72 73 | 69 6f 6e 20 33 2e 30 0d |(R) Vers|ion 3.0.|
|00000040| 0a 0d 0a 0d 0a 5c 64 6f | 63 75 6d 65 6e 74 63 6c |.....\do|cumentcl|
|00000050| 61 73 73 5b 31 32 70 74 | 2c 74 68 6d 73 61 5d 7b |ass[12pt|,thmsa]{|
|00000060| 61 72 74 69 63 6c 65 7d | 0d 0a 5c 75 73 65 70 61 |article}|..\usepa|
|00000070| 63 6b 61 67 65 7b 61 6d | 73 73 79 6d 62 7d 0d 0a |ckage{am|ssymb}..|
|00000080| 0d 0a 25 25 25 25 25 25 | 25 25 25 25 25 25 25 25 |..%%%%%%|%%%%%%%%|
|00000090| 25 25 25 25 25 25 25 25 | 25 25 25 25 25 25 25 25 |%%%%%%%%|%%%%%%%%|
|000000a0| 25 25 25 25 25 25 25 25 | 25 25 25 25 25 25 25 25 |%%%%%%%%|%%%%%%%%|
|000000b0| 25 25 25 25 25 25 25 25 | 25 25 25 25 25 25 25 25 |%%%%%%%%|%%%%%%%%|
|000000c0| 25 25 25 25 25 25 25 25 | 25 25 25 25 25 25 25 25 |%%%%%%%%|%%%%%%%%|
|000000d0| 25 25 25 25 25 25 25 25 | 25 25 25 25 25 25 25 25 |%%%%%%%%|%%%%%%%%|
|000000e0| 25 25 25 25 25 25 0d 0a | 5c 75 73 65 70 61 63 6b |%%%%%%..|\usepack|
|000000f0| 61 67 65 7b 73 77 32 30 | 6a 61 72 74 7d 0d 0a 0d |age{sw20|jart}...|
|00000100| 0a 25 54 43 49 44 41 54 | 41 7b 54 43 49 73 74 79 |.%TCIDAT|A{TCIsty|
|00000110| 6c 65 3d 61 72 74 69 63 | 6c 65 2f 61 72 74 34 2e |le=artic|le/art4.|
|00000120| 6c 61 74 2c 6a 61 72 74 | 2c 73 77 32 30 6a 61 72 |lat,jart|,sw20jar|
|00000130| 74 7d 0d 0a 0d 0a 25 54 | 43 49 44 41 54 41 7b 3c |t}....%T|CIDATA{<|
|00000140| 4d 45 54 41 20 4e 41 4d | 45 3d 22 56 69 65 77 53 |META NAM|E="ViewS|
|00000150| 65 74 74 69 6e 67 73 22 | 20 43 4f 4e 54 45 4e 54 |ettings"| CONTENT|
|00000160| 3d 22 33 31 22 3e 7d 0d | 0a 25 54 43 49 44 41 54 |="31">}.|.%TCIDAT|
|00000170| 41 7b 3c 4d 45 54 41 20 | 4e 41 4d 45 3d 22 47 72 |A{<META |NAME="Gr|
|00000180| 61 70 68 69 63 73 53 61 | 76 65 22 20 43 4f 4e 54 |aphicsSa|ve" CONT|
|00000190| 45 4e 54 3d 22 33 32 22 | 3e 7d 0d 0a 25 54 43 49 |ENT="32"|>}..%TCI|
|000001a0| 44 41 54 41 7b 3c 4d 45 | 54 41 20 4e 41 4d 45 3d |DATA{<ME|TA NAME=|
|000001b0| 22 54 69 74 6c 65 22 20 | 43 4f 4e 54 45 4e 54 3d |"Title" |CONTENT=|
|000001c0| 22 54 68 65 6f 72 65 6d | 73 20 61 6e 64 20 54 68 |"Theorem|s and Th|
|000001d0| 65 6f 72 65 6d 2d 6c 69 | 6b 65 20 53 74 61 74 65 |eorem-li|ke State|
|000001e0| 6d 65 6e 74 73 22 3e 7d | 0d 0a 25 54 43 49 44 41 |ments">}|..%TCIDA|
|000001f0| 54 41 7b 43 72 65 61 74 | 65 64 3d 4d 6f 6e 20 41 |TA{Creat|ed=Mon A|
|00000200| 75 67 20 31 39 20 31 34 | 3a 35 32 3a 32 34 20 31 |ug 19 14|:52:24 1|
|00000210| 39 39 36 7d 0d 0a 25 54 | 43 49 44 41 54 41 7b 4c |996}..%T|CIDATA{L|
|00000220| 61 73 74 52 65 76 69 73 | 65 64 3d 46 72 69 20 46 |astRevis|ed=Fri F|
|00000230| 65 62 20 31 34 20 30 30 | 3a 32 33 3a 34 30 20 31 |eb 14 00|:23:40 1|
|00000240| 39 39 37 7d 0d 0a 25 54 | 43 49 44 41 54 41 7b 4c |997}..%T|CIDATA{L|
|00000250| 61 6e 67 75 61 67 65 3d | 41 6d 65 72 69 63 61 6e |anguage=|American|
|00000260| 20 45 6e 67 6c 69 73 68 | 7d 0d 0a 25 54 43 49 44 | English|}..%TCID|
|00000270| 41 54 41 7b 43 53 54 46 | 69 6c 65 3d 48 65 6c 70 |ATA{CSTF|ile=Help|
|00000280| 2e 63 73 74 7d 0d 0a 25 | 54 43 49 44 41 54 41 7b |.cst}..%|TCIDATA{|
|00000290| 50 61 67 65 53 65 74 75 | 70 3d 37 32 2c 37 32 2c |PageSetu|p=72,72,|
|000002a0| 37 32 2c 37 32 2c 30 7d | 0d 0a 25 54 43 49 44 41 |72,72,0}|..%TCIDA|
|000002b0| 54 41 7b 41 6c 6c 50 61 | 67 65 73 3d 0d 0a 25 46 |TA{AllPa|ges=..%F|
|000002c0| 3d 33 36 2c 5c 50 41 52 | 41 7b 30 33 38 3c 70 20 |=36,\PAR|A{038<p |
|000002d0| 74 79 70 65 3d 22 74 65 | 78 70 61 72 61 22 20 74 |type="te|xpara" t|
|000002e0| 61 67 3d 22 42 6f 64 79 | 20 54 65 78 74 22 20 3e |ag="Body| Text" >|
|000002f0| 5c 68 66 69 6c 6c 20 5c | 74 68 65 70 61 67 65 7d |\hfill \|thepage}|
|00000300| 0d 0a 25 7d 0d 0a 0d 0a | 0d 0a 5c 69 6e 70 75 74 |..%}....|..\input|
|00000310| 7b 74 63 69 6c 61 74 65 | 78 7d 0d 0a 5c 62 65 67 |{tcilate|x}..\beg|
|00000320| 69 6e 7b 64 6f 63 75 6d | 65 6e 74 7d 0d 0a 0d 0a |in{docum|ent}....|
|00000330| 0d 0a 5c 73 65 63 74 69 | 6f 6e 7b 5c 70 72 6f 74 |..\secti|on{\prot|
|00000340| 65 63 74 5c 76 73 70 61 | 63 65 7b 31 70 74 7d 54 |ect\vspa|ce{1pt}T|
|00000350| 68 65 6f 72 65 6d 73 20 | 61 6e 64 20 54 68 65 6f |heorems |and Theo|
|00000360| 72 65 6d 2d 6c 69 6b 65 | 20 53 74 61 74 65 6d 65 |rem-like| Stateme|
|00000370| 6e 74 73 7d 0d 0a 0d 0a | 57 68 65 6e 20 79 6f 75 |nts}....|When you|
|00000380| 20 75 73 65 20 74 68 65 | 20 4d 61 74 68 20 73 74 | use the| Math st|
|00000390| 79 6c 65 20 74 6f 20 63 | 72 65 61 74 65 20 61 20 |yle to c|reate a |
|000003a0| 64 6f 63 75 6d 65 6e 74 | 2c 20 79 6f 75 20 63 61 |document|, you ca|
|000003b0| 6e 20 63 72 65 61 74 65 | 20 74 68 65 6f 72 65 6d |n create| theorem|
|000003c0| 73 2c 0d 0a 63 6f 72 6f | 6c 6c 61 72 69 65 73 2c |s,..coro|llaries,|
|000003d0| 20 6c 65 6d 6d 61 73 2c | 20 61 78 69 6f 6d 73 20 | lemmas,| axioms |
|000003e0| 61 6e 64 20 6f 74 68 65 | 72 20 74 68 65 6f 72 65 |and othe|r theore|
|000003f0| 6d 2d 6c 69 6b 65 20 73 | 74 61 74 65 6d 65 6e 74 |m-like s|tatement|
|00000400| 73 20 77 69 74 68 20 74 | 68 65 0d 0a 74 68 65 6f |s with t|he..theo|
|00000410| 72 65 6d 20 74 61 67 73 | 20 6f 6e 20 74 68 65 20 |rem tags| on the |
|00000420| 5c 68 79 70 65 72 72 65 | 66 7b 49 74 65 6d 20 54 |\hyperre|f{Item T|
|00000430| 61 67 20 70 6f 70 75 70 | 20 6c 69 73 74 7d 7b 7d |ag popup| list}{}|
|00000440| 7b 7d 7b 49 74 65 6d 5f | 74 61 67 73 2e 74 65 78 |{}{Item_|tags.tex|
|00000450| 7d 2e 20 4f 6e 63 65 0d | 0a 79 6f 75 27 76 65 20 |}. Once.|.you've |
|00000460| 63 72 65 61 74 65 64 20 | 74 68 65 20 69 74 65 6d |created |the item|
|00000470| 2c 20 79 6f 75 20 63 61 | 6e 20 61 64 64 20 61 6e |, you ca|n add an|
|00000480| 20 65 78 70 6c 61 6e 61 | 74 6f 72 79 20 6c 61 62 | explana|tory lab|
|00000490| 65 6c 20 74 6f 20 74 68 | 65 20 74 68 65 6f 72 65 |el to th|e theore|
|000004a0| 6d 20 62 79 0d 0a 72 65 | 76 69 73 69 6e 67 20 74 |m by..re|vising t|
|000004b0| 68 65 20 74 68 65 6f 72 | 65 6d 20 74 61 67 2e 0d |he theor|em tag..|
|000004c0| 0a 0d 0a 54 68 65 20 6c | 61 62 65 6c 20 69 73 20 |...The l|abel is |
|000004d0| 6e 6f 74 20 61 20 5c 68 | 79 70 65 72 72 65 66 7b |not a \h|yperref{|
|000004e0| 6d 61 72 6b 65 72 7d 7b | 7d 7b 7d 7b 4d 61 72 6b |marker}{|}{}{Mark|
|000004f0| 65 72 73 2e 74 65 78 7d | 2e 20 54 6f 20 6a 75 6d |ers.tex}|. To jum|
|00000500| 70 20 74 6f 20 74 68 65 | 0d 0a 74 68 65 6f 72 65 |p to the|..theore|
|00000510| 6d 20 66 72 6f 6d 20 65 | 6c 73 65 77 68 65 72 65 |m from e|lsewhere|
|00000520| 20 69 6e 20 79 6f 75 72 | 20 64 6f 63 75 6d 65 6e | in your| documen|
|00000530| 74 20 6f 72 20 66 72 6f | 6d 20 61 6e 6f 74 68 65 |t or fro|m anothe|
|00000540| 72 20 64 6f 63 75 6d 65 | 6e 74 2c 20 65 6e 74 65 |r docume|nt, ente|
|00000550| 72 20 61 0d 0a 6d 61 72 | 6b 65 72 20 69 6e 20 74 |r a..mar|ker in t|
|00000560| 68 65 20 66 69 72 73 74 | 20 70 61 72 61 67 72 61 |he first| paragra|
|00000570| 70 68 20 6f 66 20 74 68 | 65 20 74 68 65 6f 72 65 |ph of th|e theore|
|00000580| 6d 2c 20 61 6e 64 20 74 | 68 65 6e 20 63 72 65 61 |m, and t|hen crea|
|00000590| 74 65 20 6c 69 6e 6b 73 | 20 74 6f 20 74 68 61 74 |te links| to that|
|000005a0| 0d 0a 6d 61 72 6b 65 72 | 2e 5c 6d 65 64 73 6b 69 |..marker|.\medski|
|000005b0| 70 0d 0a 0d 0a 5c 73 75 | 62 73 75 62 73 65 63 74 |p....\su|bsubsect|
|000005c0| 69 6f 6e 7b 5c 6e 6f 69 | 6e 64 65 6e 74 20 24 5c |ion{\noi|ndent $\|
|000005d0| 62 6c 61 63 6b 74 72 69 | 61 6e 67 6c 65 72 69 67 |blacktri|anglerig|
|000005e0| 68 74 20 24 5c 71 75 61 | 64 20 5c 74 65 78 74 62 |ht $\qua|d \textb|
|000005f0| 66 7b 54 6f 20 7d 61 64 | 64 20 61 0d 0a 74 68 65 |f{To }ad|d a..the|
|00000600| 6f 72 65 6d 20 6c 61 62 | 65 6c 7d 0d 0a 0d 0a 5c |orem lab|el}....\|
|00000610| 62 65 67 69 6e 7b 65 6e | 75 6d 65 72 61 74 65 7d |begin{en|umerate}|
|00000620| 0d 0a 5c 69 74 65 6d 20 | 20 45 64 69 74 20 74 68 |..\item | Edit th|
|00000630| 65 20 50 72 6f 70 65 72 | 74 69 65 73 20 6f 66 20 |e Proper|ties of |
|00000640| 74 68 65 20 69 74 65 6d | 20 5c 68 79 70 65 72 72 |the item| \hyperr|
|00000650| 65 66 7b 6c 65 61 64 2d | 69 6e 7d 7b 7d 7b 7d 7b |ef{lead-|in}{}{}{|
|00000660| 25 0d 0a 47 6c 6f 73 73 | 61 72 79 2e 74 65 78 23 |%..Gloss|ary.tex#|
|00000670| 6c 65 61 64 69 6e 20 6f | 62 6a 65 63 74 7d 2e 0d |leadin o|bject}..|
|00000680| 0a 0d 0a 5c 69 74 65 6d | 20 20 53 65 6c 65 63 74 |...\item|  Select|
|00000690| 20 43 75 73 74 6f 6d 2e | 0d 0a 0d 0a 5c 69 74 65 | Custom.|....\ite|
|000006a0| 6d 20 20 45 6e 74 65 72 | 20 74 68 65 20 6c 61 62 |m  Enter| the lab|
|000006b0| 65 6c 20 69 6e 20 74 68 | 65 20 43 75 73 74 6f 6d |el in th|e Custom|
|000006c0| 20 62 6f 78 2e 0d 0a 0d | 0a 5c 69 74 65 6d 20 20 | box....|.\item  |
|000006d0| 43 68 6f 6f 73 65 20 4f | 4b 2e 5c 6d 65 64 73 6b |Choose O|K.\medsk|
|000006e0| 69 70 20 0d 0a 5c 65 6e | 64 7b 65 6e 75 6d 65 72 |ip ..\en|d{enumer|
|000006f0| 61 74 65 7d 0d 0a 0d 0a | 5c 73 75 62 73 65 63 74 |ate}....|\subsect|
|00000700| 69 6f 6e 7b 5c 20 52 65 | 6c 61 74 65 64 20 74 6f |ion{\ Re|lated to|
|00000710| 70 69 63 73 7d 0d 0a 0d | 0a 5c 62 65 67 69 6e 7b |pics}...|.\begin{|
|00000720| 69 74 65 6d 69 7a 65 7d | 0d 0a 5c 69 74 65 6d 20 |itemize}|..\item |
|00000730| 20 5c 68 79 70 65 72 72 | 65 66 7b 45 6e 74 65 72 | \hyperr|ef{Enter|
|00000740| 69 6e 67 20 6d 61 74 68 | 65 6d 61 74 69 63 73 7d |ing math|ematics}|
|00000750| 7b 7d 7b 7d 7b 45 6e 74 | 65 72 69 6e 67 5f 6d 61 |{}{}{Ent|ering_ma|
|00000760| 74 68 65 6d 61 74 69 63 | 73 2e 74 65 78 7d 0d 0a |thematic|s.tex}..|
|00000770| 0d 0a 5c 69 74 65 6d 20 | 20 5c 68 79 70 65 72 72 |..\item | \hyperr|
|00000780| 65 66 7b 54 61 67 73 7d | 7b 7d 7b 7d 7b 54 61 67 |ef{Tags}|{}{}{Tag|
|00000790| 73 2e 74 65 78 7d 0d 0a | 5c 65 6e 64 7b 69 74 65 |s.tex}..|\end{ite|
|000007a0| 6d 69 7a 65 7d 0d 0a 0d | 0a 5c 72 75 6c 65 7b 30 |mize}...|.\rule{0|
|000007b0| 2e 36 37 69 6e 7d 7b 30 | 2e 30 31 69 6e 7d 0d 0a |.67in}{0|.01in}..|
|000007c0| 0d 0a 5c 68 79 70 65 72 | 72 65 66 7b 5c 46 52 41 |..\hyper|ref{\FRA|
|000007d0| 4d 45 7b 69 74 62 70 46 | 7d 7b 33 38 2e 38 37 35 |ME{itbpF|}{38.875|
|000007e0| 70 74 7d 7b 32 34 2e 35 | 70 74 7d 7b 36 70 74 7d |pt}{24.5|pt}{6pt}|
|000007f0| 7b 7d 7b 7d 7b 69 6e 64 | 65 78 2e 77 6d 66 7d 7b |{}{}{ind|ex.wmf}{|
|00000800| 5c 73 70 65 63 69 61 6c | 25 0d 0a 7b 6c 61 6e 67 |\special|%..{lang|
|00000810| 75 61 67 65 20 22 53 63 | 69 65 6e 74 69 66 69 63 |uage "Sc|ientific|
|00000820| 20 57 6f 72 64 22 3b 74 | 79 70 65 20 22 47 52 41 | Word";t|ype "GRA|
|00000830| 50 48 49 43 22 3b 6d 61 | 69 6e 74 61 69 6e 2d 61 |PHIC";ma|intain-a|
|00000840| 73 70 65 63 74 2d 72 61 | 74 69 6f 0d 0a 54 52 55 |spect-ra|tio..TRU|
|00000850| 45 3b 64 69 73 70 6c 61 | 79 20 22 50 49 43 54 22 |E;displa|y "PICT"|
|00000860| 3b 76 61 6c 69 64 2d 66 | 69 6c 65 20 22 46 22 3b |;valid-f|ile "F";|
|00000870| 77 69 64 74 68 20 33 38 | 2e 38 37 35 70 74 3b 68 |width 38|.875pt;h|
|00000880| 65 69 67 68 74 20 32 34 | 2e 35 70 74 3b 64 65 70 |eight 24|.5pt;dep|
|00000890| 74 68 0d 0a 36 70 74 3b | 6f 72 69 67 69 6e 61 6c |th..6pt;|original|
|000008a0| 2d 77 69 64 74 68 20 33 | 36 2e 38 37 35 70 74 3b |-width 3|6.875pt;|
|000008b0| 6f 72 69 67 69 6e 61 6c | 2d 68 65 69 67 68 74 20 |original|-height |
|000008c0| 32 32 2e 35 36 32 35 70 | 74 3b 63 72 6f 70 6c 65 |22.5625p|t;crople|
|000008d0| 66 74 20 22 30 22 3b 63 | 72 6f 70 74 6f 70 0d 0a |ft "0";c|roptop..|
|000008e0| 22 31 22 3b 63 72 6f 70 | 72 69 67 68 74 20 22 31 |"1";crop|right "1|
|000008f0| 22 3b 63 72 6f 70 62 6f | 74 74 6f 6d 20 22 30 22 |";cropbo|ttom "0"|
|00000900| 3b 66 69 6c 65 6e 61 6d | 65 20 27 69 6e 64 65 78 |;filenam|e 'index|
|00000910| 2e 77 6d 66 27 3b 66 69 | 6c 65 2d 70 72 6f 70 65 |.wmf';fi|le-prope|
|00000920| 72 74 69 65 73 0d 0a 22 | 58 4e 50 45 55 22 3b 7d |rties.."|XNPEU";}|
|00000930| 7d 7d 7b 7d 7b 7d 7b 69 | 6e 64 65 78 2e 74 65 78 |}}{}{}{i|ndex.tex|
|00000940| 7d 7b 5c 73 6d 61 6c 6c | 20 5c 68 79 70 65 72 72 |}{\small| \hyperr|
|00000950| 65 66 7b 41 78 69 6f 6d | 7d 7b 7d 7b 7d 7b 49 6e |ef{Axiom|}{}{}{In|
|00000960| 64 65 78 2e 74 65 78 23 | 41 78 69 6f 6d 7d 2c 20 |dex.tex#|Axiom}, |
|00000970| 0d 0a 5c 68 79 70 65 72 | 72 65 66 7b 43 6f 72 6f |..\hyper|ref{Coro|
|00000980| 6c 6c 61 72 79 7d 7b 7d | 7b 7d 7b 49 6e 64 65 78 |llary}{}|{}{Index|
|00000990| 2e 74 65 78 23 43 6f 72 | 6f 6c 6c 61 72 79 7d 2c |.tex#Cor|ollary},|
|000009a0| 20 5c 68 79 70 65 72 72 | 65 66 7b 4c 65 6d 6d 61 | \hyperr|ef{Lemma|
|000009b0| 7d 7b 7d 7b 7d 7b 25 0d | 0a 49 6e 64 65 78 2e 74 |}{}{}{%.|.Index.t|
|000009c0| 65 78 23 4c 65 6d 6d 61 | 7d 2c 20 5c 68 79 70 65 |ex#Lemma|}, \hype|
|000009d0| 72 72 65 66 7b 50 72 6f | 70 6f 73 69 74 69 6f 6e |rref{Pro|position|
|000009e0| 7d 7b 7d 7b 7d 7b 49 6e | 64 65 78 2e 74 65 78 23 |}{}{}{In|dex.tex#|
|000009f0| 50 72 6f 70 6f 73 69 74 | 69 6f 6e 7d 2c 20 0d 0a |Proposit|ion}, ..|
|00000a00| 5c 68 79 70 65 72 72 65 | 66 7b 54 68 65 6f 72 65 |\hyperre|f{Theore|
|00000a10| 6d 7d 7b 7d 7b 7d 7b 49 | 6e 64 65 78 2e 74 65 78 |m}{}{}{I|ndex.tex|
|00000a20| 23 54 68 65 6f 72 65 6d | 7d 7d 0d 0a 0d 0a 5c 65 |#Theorem|}}....\e|
|00000a30| 6e 64 7b 64 6f 63 75 6d | 65 6e 74 7d 0d 0a       |nd{docum|ent}..  |
+--------+-------------------------+-------------------------+--------+--------+