pitagoras

This commit is contained in:
Fingal 2016-11-13 11:12:23 +01:00
parent 07bde18629
commit 0033252110
7 changed files with 627 additions and 0 deletions

Binary file not shown.

15
zajecia 4/zadania03.txt Normal file
View File

@ -0,0 +1,15 @@
#+TITLE: Pakiety matematyczne: amsmath, amsthm, mathtools prezentacja możliwości
* Prezentacja podczas zajęć
W czasie prezentacji należy omówić:
+ pakiet amsmath wyrównywania wzorów wystawionych, wielopoziomowe
indeksy np. w sumach, komenda \operatorname
+ pakiet amsthm sposoby ddefiniowania nowych środowisk typu
twierdzenie, definicja; opcjonalny argument środowiska; polecenie
\theoremstyle
+ pakiet mathtools komenda \smashoperator; otoczenie typu matrix i
pochodne; komenda \DeclarePairedDelimiter; komenda showonlyrefs
* Zadanie do wykonania podczas zajęć
+ Przetestować omówione podczas prezentacji możliwości pakietów na
przykładzie pliku zajecia03-plik.tex

View File

@ -0,0 +1 @@
\relax

View File

@ -0,0 +1,531 @@
This is pdfTeX, Version 3.14159265-2.6-1.40.16 (MiKTeX 2.9) (preloaded format=pdflatex 2016.4.16) 29 OCT 2016 20:52
entering extended mode
**./zajecia03-plik.tex
(zajecia03-plik.tex
LaTeX2e <2015/10/01> patch level 2
Babel <3.9n> and hyphenation patterns for 69 languages loaded.
("e:\Latex\MiKTeX 2.9\tex\latex\base\article.cls"
Document Class: article 2014/09/29 v1.4h Standard LaTeX document class
("e:\Latex\MiKTeX 2.9\tex\latex\base\size10.clo"
File: size10.clo 2014/09/29 v1.4h Standard LaTeX file (size option)
)
\c@part=\count79
\c@section=\count80
\c@subsection=\count81
\c@subsubsection=\count82
\c@paragraph=\count83
\c@subparagraph=\count84
\c@figure=\count85
\c@table=\count86
\abovecaptionskip=\skip41
\belowcaptionskip=\skip42
\bibindent=\dimen102
)
("e:\Latex\MiKTeX 2.9\tex\latex\amsmath\amsmath.sty"
Package: amsmath 2013/01/14 v2.14 AMS math features
\@mathmargin=\skip43
For additional information on amsmath, use the `?' option.
("e:\Latex\MiKTeX 2.9\tex\latex\amsmath\amstext.sty"
Package: amstext 2000/06/29 v2.01
("e:\Latex\MiKTeX 2.9\tex\latex\amsmath\amsgen.sty"
File: amsgen.sty 1999/11/30 v2.0
\@emptytoks=\toks14
\ex@=\dimen103
))
("e:\Latex\MiKTeX 2.9\tex\latex\amsmath\amsbsy.sty"
Package: amsbsy 1999/11/29 v1.2d
\pmbraise@=\dimen104
)
("e:\Latex\MiKTeX 2.9\tex\latex\amsmath\amsopn.sty"
Package: amsopn 1999/12/14 v2.01 operator names
)
\inf@bad=\count87
LaTeX Info: Redefining \frac on input line 210.
\uproot@=\count88
\leftroot@=\count89
LaTeX Info: Redefining \overline on input line 306.
\classnum@=\count90
\DOTSCASE@=\count91
LaTeX Info: Redefining \ldots on input line 378.
LaTeX Info: Redefining \dots on input line 381.
LaTeX Info: Redefining \cdots on input line 466.
\Mathstrutbox@=\box26
\strutbox@=\box27
\big@size=\dimen105
LaTeX Font Info: Redeclaring font encoding OML on input line 566.
LaTeX Font Info: Redeclaring font encoding OMS on input line 567.
\macc@depth=\count92
\c@MaxMatrixCols=\count93
\dotsspace@=\muskip10
\c@parentequation=\count94
\dspbrk@lvl=\count95
\tag@help=\toks15
\row@=\count96
\column@=\count97
\maxfields@=\count98
\andhelp@=\toks16
\eqnshift@=\dimen106
\alignsep@=\dimen107
\tagshift@=\dimen108
\tagwidth@=\dimen109
\totwidth@=\dimen110
\lineht@=\dimen111
\@envbody=\toks17
\multlinegap=\skip44
\multlinetaggap=\skip45
\mathdisplay@stack=\toks18
LaTeX Info: Redefining \[ on input line 2665.
LaTeX Info: Redefining \] on input line 2666.
)
("e:\Latex\MiKTeX 2.9\tex\latex\mathtools\mathtools.sty"
Package: mathtools 2015/11/12 v1.18 mathematical typesetting tools
("e:\Latex\MiKTeX 2.9\tex\latex\graphics\keyval.sty"
Package: keyval 2014/10/28 v1.15 key=value parser (DPC)
\KV@toks@=\toks19
)
("e:\Latex\MiKTeX 2.9\tex\latex\tools\calc.sty"
Package: calc 2014/10/28 v4.3 Infix arithmetic (KKT,FJ)
\calc@Acount=\count99
\calc@Bcount=\count100
\calc@Adimen=\dimen112
\calc@Bdimen=\dimen113
\calc@Askip=\skip46
\calc@Bskip=\skip47
LaTeX Info: Redefining \setlength on input line 80.
LaTeX Info: Redefining \addtolength on input line 81.
\calc@Ccount=\count101
\calc@Cskip=\skip48
)
("e:\Latex\MiKTeX 2.9\tex\latex\mathtools\mhsetup.sty"
Package: mhsetup 2010/01/21 v1.2a programming setup (MH)
)
LaTeX Info: Thecontrolsequence`\('isalreadyrobust on input line 129.
LaTeX Info: Thecontrolsequence`\)'isalreadyrobust on input line 129.
LaTeX Info: Thecontrolsequence`\['isalreadyrobust on input line 129.
LaTeX Info: Thecontrolsequence`\]'isalreadyrobust on input line 129.
\g_MT_multlinerow_int=\count102
\l_MT_multwidth_dim=\dimen114
\origjot=\skip49
\l_MT_shortvdotswithinadjustabove_dim=\dimen115
\l_MT_shortvdotswithinadjustbelow_dim=\dimen116
\l_MT_above_intertext_sep=\dimen117
\l_MT_below_intertext_sep=\dimen118
\l_MT_above_shortintertext_sep=\dimen119
\l_MT_below_shortintertext_sep=\dimen120
)
("e:\Latex\MiKTeX 2.9\tex\latex\amscls\amsthm.sty"
Package: amsthm 2015/03/04 v2.20.2
\thm@style=\toks20
\thm@bodyfont=\toks21
\thm@headfont=\toks22
\thm@notefont=\toks23
\thm@headpunct=\toks24
\thm@preskip=\skip50
\thm@postskip=\skip51
\thm@headsep=\skip52
\dth@everypar=\toks25
)
\c@theorem=\count103
\c@definition=\count104
("e:\Latex\MiKTeX 2.9\tex\latex\base\inputenc.sty"
Package: inputenc 2015/03/17 v1.2c Input encoding file
\inpenc@prehook=\toks26
\inpenc@posthook=\toks27
("e:\Latex\MiKTeX 2.9\tex\latex\base\utf8.def"
File: utf8.def 2015/09/07 v1.1p UTF-8 support for inputenc
Now handling font encoding OML ...
... no UTF-8 mapping file for font encoding OML
Now handling font encoding T1 ...
... processing UTF-8 mapping file for font encoding T1
("e:\Latex\MiKTeX 2.9\tex\latex\base\t1enc.dfu"
File: t1enc.dfu 2015/09/07 v1.1p UTF-8 support for inputenc
defining Unicode char U+00A0 (decimal 160)
defining Unicode char U+00A1 (decimal 161)
defining Unicode char U+00A3 (decimal 163)
defining Unicode char U+00AB (decimal 171)
defining Unicode char U+00AD (decimal 173)
defining Unicode char U+00BB (decimal 187)
defining Unicode char U+00BF (decimal 191)
defining Unicode char U+00C0 (decimal 192)
defining Unicode char U+00C1 (decimal 193)
defining Unicode char U+00C2 (decimal 194)
defining Unicode char U+00C3 (decimal 195)
defining Unicode char U+00C4 (decimal 196)
defining Unicode char U+00C5 (decimal 197)
defining Unicode char U+00C6 (decimal 198)
defining Unicode char U+00C7 (decimal 199)
defining Unicode char U+00C8 (decimal 200)
defining Unicode char U+00C9 (decimal 201)
defining Unicode char U+00CA (decimal 202)
defining Unicode char U+00CB (decimal 203)
defining Unicode char U+00CC (decimal 204)
defining Unicode char U+00CD (decimal 205)
defining Unicode char U+00CE (decimal 206)
defining Unicode char U+00CF (decimal 207)
defining Unicode char U+00D0 (decimal 208)
defining Unicode char U+00D1 (decimal 209)
defining Unicode char U+00D2 (decimal 210)
defining Unicode char U+00D3 (decimal 211)
defining Unicode char U+00D4 (decimal 212)
defining Unicode char U+00D5 (decimal 213)
defining Unicode char U+00D6 (decimal 214)
defining Unicode char U+00D8 (decimal 216)
defining Unicode char U+00D9 (decimal 217)
defining Unicode char U+00DA (decimal 218)
defining Unicode char U+00DB (decimal 219)
defining Unicode char U+00DC (decimal 220)
defining Unicode char U+00DD (decimal 221)
defining Unicode char U+00DE (decimal 222)
defining Unicode char U+00DF (decimal 223)
defining Unicode char U+00E0 (decimal 224)
defining Unicode char U+00E1 (decimal 225)
defining Unicode char U+00E2 (decimal 226)
defining Unicode char U+00E3 (decimal 227)
defining Unicode char U+00E4 (decimal 228)
defining Unicode char U+00E5 (decimal 229)
defining Unicode char U+00E6 (decimal 230)
defining Unicode char U+00E7 (decimal 231)
defining Unicode char U+00E8 (decimal 232)
defining Unicode char U+00E9 (decimal 233)
defining Unicode char U+00EA (decimal 234)
defining Unicode char U+00EB (decimal 235)
defining Unicode char U+00EC (decimal 236)
defining Unicode char U+00ED (decimal 237)
defining Unicode char U+00EE (decimal 238)
defining Unicode char U+00EF (decimal 239)
defining Unicode char U+00F0 (decimal 240)
defining Unicode char U+00F1 (decimal 241)
defining Unicode char U+00F2 (decimal 242)
defining Unicode char U+00F3 (decimal 243)
defining Unicode char U+00F4 (decimal 244)
defining Unicode char U+00F5 (decimal 245)
defining Unicode char U+00F6 (decimal 246)
defining Unicode char U+00F8 (decimal 248)
defining Unicode char U+00F9 (decimal 249)
defining Unicode char U+00FA (decimal 250)
defining Unicode char U+00FB (decimal 251)
defining Unicode char U+00FC (decimal 252)
defining Unicode char U+00FD (decimal 253)
defining Unicode char U+00FE (decimal 254)
defining Unicode char U+00FF (decimal 255)
defining Unicode char U+0102 (decimal 258)
defining Unicode char U+0103 (decimal 259)
defining Unicode char U+0104 (decimal 260)
defining Unicode char U+0105 (decimal 261)
defining Unicode char U+0106 (decimal 262)
defining Unicode char U+0107 (decimal 263)
defining Unicode char U+010C (decimal 268)
defining Unicode char U+010D (decimal 269)
defining Unicode char U+010E (decimal 270)
defining Unicode char U+010F (decimal 271)
defining Unicode char U+0110 (decimal 272)
defining Unicode char U+0111 (decimal 273)
defining Unicode char U+0118 (decimal 280)
defining Unicode char U+0119 (decimal 281)
defining Unicode char U+011A (decimal 282)
defining Unicode char U+011B (decimal 283)
defining Unicode char U+011E (decimal 286)
defining Unicode char U+011F (decimal 287)
defining Unicode char U+0130 (decimal 304)
defining Unicode char U+0131 (decimal 305)
defining Unicode char U+0132 (decimal 306)
defining Unicode char U+0133 (decimal 307)
defining Unicode char U+0139 (decimal 313)
defining Unicode char U+013A (decimal 314)
defining Unicode char U+013D (decimal 317)
defining Unicode char U+013E (decimal 318)
defining Unicode char U+0141 (decimal 321)
defining Unicode char U+0142 (decimal 322)
defining Unicode char U+0143 (decimal 323)
defining Unicode char U+0144 (decimal 324)
defining Unicode char U+0147 (decimal 327)
defining Unicode char U+0148 (decimal 328)
defining Unicode char U+014A (decimal 330)
defining Unicode char U+014B (decimal 331)
defining Unicode char U+0150 (decimal 336)
defining Unicode char U+0151 (decimal 337)
defining Unicode char U+0152 (decimal 338)
defining Unicode char U+0153 (decimal 339)
defining Unicode char U+0154 (decimal 340)
defining Unicode char U+0155 (decimal 341)
defining Unicode char U+0158 (decimal 344)
defining Unicode char U+0159 (decimal 345)
defining Unicode char U+015A (decimal 346)
defining Unicode char U+015B (decimal 347)
defining Unicode char U+015E (decimal 350)
defining Unicode char U+015F (decimal 351)
defining Unicode char U+0160 (decimal 352)
defining Unicode char U+0161 (decimal 353)
defining Unicode char U+0162 (decimal 354)
defining Unicode char U+0163 (decimal 355)
defining Unicode char U+0164 (decimal 356)
defining Unicode char U+0165 (decimal 357)
defining Unicode char U+016E (decimal 366)
defining Unicode char U+016F (decimal 367)
defining Unicode char U+0170 (decimal 368)
defining Unicode char U+0171 (decimal 369)
defining Unicode char U+0174 (decimal 372)
defining Unicode char U+0175 (decimal 373)
defining Unicode char U+0176 (decimal 374)
defining Unicode char U+0177 (decimal 375)
defining Unicode char U+0178 (decimal 376)
defining Unicode char U+0179 (decimal 377)
defining Unicode char U+017A (decimal 378)
defining Unicode char U+017B (decimal 379)
defining Unicode char U+017C (decimal 380)
defining Unicode char U+017D (decimal 381)
defining Unicode char U+017E (decimal 382)
defining Unicode char U+0218 (decimal 536)
defining Unicode char U+0219 (decimal 537)
defining Unicode char U+021A (decimal 538)
defining Unicode char U+021B (decimal 539)
defining Unicode char U+200C (decimal 8204)
defining Unicode char U+2013 (decimal 8211)
defining Unicode char U+2014 (decimal 8212)
defining Unicode char U+2018 (decimal 8216)
defining Unicode char U+2019 (decimal 8217)
defining Unicode char U+201A (decimal 8218)
defining Unicode char U+201C (decimal 8220)
defining Unicode char U+201D (decimal 8221)
defining Unicode char U+201E (decimal 8222)
defining Unicode char U+2030 (decimal 8240)
defining Unicode char U+2031 (decimal 8241)
defining Unicode char U+2039 (decimal 8249)
defining Unicode char U+203A (decimal 8250)
defining Unicode char U+2423 (decimal 9251)
)
Now handling font encoding OT1 ...
... processing UTF-8 mapping file for font encoding OT1
("e:\Latex\MiKTeX 2.9\tex\latex\base\ot1enc.dfu"
File: ot1enc.dfu 2015/09/07 v1.1p UTF-8 support for inputenc
defining Unicode char U+00A0 (decimal 160)
defining Unicode char U+00A1 (decimal 161)
defining Unicode char U+00A3 (decimal 163)
defining Unicode char U+00AD (decimal 173)
defining Unicode char U+00B8 (decimal 184)
defining Unicode char U+00BF (decimal 191)
defining Unicode char U+00C5 (decimal 197)
defining Unicode char U+00C6 (decimal 198)
defining Unicode char U+00D8 (decimal 216)
defining Unicode char U+00DF (decimal 223)
defining Unicode char U+00E6 (decimal 230)
defining Unicode char U+00EC (decimal 236)
defining Unicode char U+00ED (decimal 237)
defining Unicode char U+00EE (decimal 238)
defining Unicode char U+00EF (decimal 239)
defining Unicode char U+00F8 (decimal 248)
defining Unicode char U+0131 (decimal 305)
defining Unicode char U+0141 (decimal 321)
defining Unicode char U+0142 (decimal 322)
defining Unicode char U+0152 (decimal 338)
defining Unicode char U+0153 (decimal 339)
defining Unicode char U+0174 (decimal 372)
defining Unicode char U+0175 (decimal 373)
defining Unicode char U+0176 (decimal 374)
defining Unicode char U+0177 (decimal 375)
defining Unicode char U+0218 (decimal 536)
defining Unicode char U+0219 (decimal 537)
defining Unicode char U+021A (decimal 538)
defining Unicode char U+021B (decimal 539)
defining Unicode char U+2013 (decimal 8211)
defining Unicode char U+2014 (decimal 8212)
defining Unicode char U+2018 (decimal 8216)
defining Unicode char U+2019 (decimal 8217)
defining Unicode char U+201C (decimal 8220)
defining Unicode char U+201D (decimal 8221)
)
Now handling font encoding OMS ...
... processing UTF-8 mapping file for font encoding OMS
("e:\Latex\MiKTeX 2.9\tex\latex\base\omsenc.dfu"
File: omsenc.dfu 2015/09/07 v1.1p UTF-8 support for inputenc
defining Unicode char U+00A7 (decimal 167)
defining Unicode char U+00B6 (decimal 182)
defining Unicode char U+00B7 (decimal 183)
defining Unicode char U+2020 (decimal 8224)
defining Unicode char U+2021 (decimal 8225)
defining Unicode char U+2022 (decimal 8226)
)
Now handling font encoding OMX ...
... no UTF-8 mapping file for font encoding OMX
Now handling font encoding U ...
... no UTF-8 mapping file for font encoding U
defining Unicode char U+00A9 (decimal 169)
defining Unicode char U+00AA (decimal 170)
defining Unicode char U+00AE (decimal 174)
defining Unicode char U+00BA (decimal 186)
defining Unicode char U+02C6 (decimal 710)
defining Unicode char U+02DC (decimal 732)
defining Unicode char U+200C (decimal 8204)
defining Unicode char U+2026 (decimal 8230)
defining Unicode char U+2122 (decimal 8482)
defining Unicode char U+2423 (decimal 9251)
))
("e:\Latex\MiKTeX 2.9\tex\latex\polski\polski.sty"
Package: polski 2008/02/24 v1.3.3 Polish language package
Document language package `polski' v1.3.3 <2008/02/24>
Inputenc package detected. Catcodes not changed.
\l@nohyphenation=\language70
Switching to Polish text encoding and Polish maths fonts.
("e:\Latex\MiKTeX 2.9\tex\latex\base\ot4enc.def"
File: ot4enc.def 2005/09/27 v1.99g Standard LaTeX file
Now handling font encoding OT4 ...
... no UTF-8 mapping file for font encoding OT4
)
LaTeX Font Info: Try loading font information for OT4+cmr on input line 346.
("e:\Latex\MiKTeX 2.9\tex\latex\polski\ot4cmr.fd"
File: ot4cmr.fd 2008/02/24 v1.2.1 Font defs for fonts PL (MW)
)
LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `normal'
(Font) OT1/cmr/bx/n --> OT4/cmr/bx/n on input line 346.
LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `normal'
(Font) OT1/cmss/m/n --> OT4/cmss/m/n on input line 346.
LaTeX Font Info: Overwriting math alphabet `\mathit' in version `normal'
(Font) OT1/cmr/m/it --> OT4/cmr/m/it on input line 346.
LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `normal'
(Font) OT1/cmtt/m/n --> OT4/cmtt/m/n on input line 346.
LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `bold'
(Font) OT1/cmss/bx/n --> OT4/cmss/bx/n on input line 346.
LaTeX Font Info: Overwriting math alphabet `\mathit' in version `bold'
(Font) OT1/cmr/bx/it --> OT4/cmr/bx/it on input line 346.
LaTeX Font Info: Encoding `OT1' has changed to `OT4' for symbol font
(Font) `operators' in the math version `normal' on input line 346.
LaTeX Font Info: Overwriting symbol font `operators' in version `normal'
(Font) OT1/cmr/m/n --> OT4/cmr/m/n on input line 346.
LaTeX Font Info: Overwriting symbol font `letters' in version `normal'
(Font) OML/cmm/m/it --> OML/plm/m/it on input line 346.
LaTeX Font Info: Overwriting symbol font `symbols' in version `normal'
(Font) OMS/cmsy/m/n --> OMS/plsy/m/n on input line 346.
LaTeX Font Info: Overwriting symbol font `largesymbols' in version `normal'
(Font) OMX/cmex/m/n --> OMX/plex/m/n on input line 346.
LaTeX Font Info: Encoding `OT1' has changed to `OT4' for symbol font
(Font) `operators' in the math version `bold' on input line 346.
LaTeX Font Info: Overwriting symbol font `operators' in version `bold'
(Font) OT1/cmr/bx/n --> OT4/cmr/bx/n on input line 346.
LaTeX Font Info: Overwriting symbol font `letters' in version `bold'
(Font) OML/cmm/b/it --> OML/plm/b/it on input line 346.
LaTeX Font Info: Overwriting symbol font `symbols' in version `bold'
(Font) OMS/cmsy/b/n --> OMS/plsy/b/n on input line 346.
) (zajecia03-plik.aux)
\openout1 = `zajecia03-plik.aux'.
LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 14.
LaTeX Font Info: ... okay on input line 14.
LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 14.
LaTeX Font Info: ... okay on input line 14.
LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 14.
LaTeX Font Info: ... okay on input line 14.
LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 14.
LaTeX Font Info: ... okay on input line 14.
LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 14.
LaTeX Font Info: ... okay on input line 14.
LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 14.
LaTeX Font Info: ... okay on input line 14.
LaTeX Font Info: Checking defaults for OT4/cmr/m/n on input line 14.
LaTeX Font Info: ... okay on input line 14.
("e:\Latex\MiKTeX 2.9\tex\latex\graphics\graphicx.sty"
Package: graphicx 2014/10/28 v1.0g Enhanced LaTeX Graphics (DPC,SPQR)
("e:\Latex\MiKTeX 2.9\tex\latex\graphics\graphics.sty"
Package: graphics 2014/10/28 v1.0p Standard LaTeX Graphics (DPC,SPQR)
("e:\Latex\MiKTeX 2.9\tex\latex\graphics\trig.sty"
Package: trig 1999/03/16 v1.09 sin cos tan (DPC)
)
("e:\Latex\MiKTeX 2.9\tex\latex\00miktex\graphics.cfg"
File: graphics.cfg 2007/01/18 v1.5 graphics configuration of teTeX/TeXLive
)
Package graphics Info: Driver file: pdftex.def on input line 94.
("e:\Latex\MiKTeX 2.9\tex\latex\pdftex-def\pdftex.def"
File: pdftex.def 2011/05/27 v0.06d Graphics/color for pdfTeX
("e:\Latex\MiKTeX 2.9\tex\generic\oberdiek\infwarerr.sty"
Package: infwarerr 2010/04/08 v1.3 Providing info/warning/error messages (HO)
)
("e:\Latex\MiKTeX 2.9\tex\generic\oberdiek\ltxcmds.sty"
Package: ltxcmds 2011/11/09 v1.22 LaTeX kernel commands for general use (HO)
)
\Gread@gobject=\count105
("e:\Latex\MiKTeX 2.9\tex\context\base\supp-pdf.mkii"
[Loading MPS to PDF converter (version 2006.09.02).]
\scratchcounter=\count106
\scratchdimen=\dimen121
\scratchbox=\box28
\nofMPsegments=\count107
\nofMParguments=\count108
\everyMPshowfont=\toks28
\MPscratchCnt=\count109
\MPscratchDim=\dimen122
\MPnumerator=\count110
\makeMPintoPDFobject=\count111
\everyMPtoPDFconversion=\toks29
)))
\Gin@req@height=\dimen123
\Gin@req@width=\dimen124
)
LaTeX Font Info: Try loading font information for OML+plm on input line 20.
("e:\Latex\MiKTeX 2.9\tex\latex\polski\omlplm.fd"
File: omlplm.fd 2008/02/24 v1.2.1 Font defs for fonts PL (MW)
)
LaTeX Font Info: Try loading font information for OMS+plsy on input line 20.
("e:\Latex\MiKTeX 2.9\tex\latex\polski\omsplsy.fd"
File: omsplsy.fd 2008/02/24 v1.2.1 Font defs for fonts PL (MW)
)
LaTeX Font Info: Try loading font information for OMX+plex on input line 20.
("e:\Latex\MiKTeX 2.9\tex\latex\polski\omxplex.fd"
File: omxplex.fd 2008/02/24 v1.2.1 Font defs for fonts PL (MW)
)
LaTeX Font Info: External font `plex10' loaded for size
(Font) <10> on input line 20.
LaTeX Font Info: External font `plex10' loaded for size
(Font) <7> on input line 20.
LaTeX Font Info: External font `plex10' loaded for size
(Font) <5> on input line 20.
[1
{C:/Users/Fingal/AppData/Local/MiKTeX/2.9/pdftex/config/pdftex.map}] (zajecia03
-plik.aux) )
Here is how much of TeX's memory you used:
2787 strings out of 493634
36257 string characters out of 3146981
102325 words of memory out of 3000000
6149 multiletter control sequences out of 15000+200000
8355 words of font info for 26 fonts, out of 3000000 for 9000
1025 hyphenation exceptions out of 8191
29i,20n,24p,244b,238s stack positions out of 5000i,500n,10000p,200000b,50000s
{e:/Latex/MiKTeX 2.9/fonts/enc/dvips/pl/plit.enc}{e:/Latex/MiKTeX 2
.9/fonts/enc/dvips/pl/plrm.enc}{e:/Latex/MiKTeX 2.9/fonts/enc/dvips/pl/plms.enc
}{e:/Latex/MiKTeX 2.9/fonts/enc/dvips/pl/plmi.enc}{e:/Latex/MiKTeX 2.9/fonts/en
c/dvips/pl/plsc.enc}{e:/Latex/MiKTeX 2.9/fonts/enc/dvips/pl/plme.enc}<e:/Latex/
MiKTeX 2.9/fonts/type1/public/pl/plbx10.pfb><e:/Latex/MiKTeX 2.9/fonts/type1/pu
blic/pl/plex10.pfb><e:/Latex/MiKTeX 2.9/fonts/type1/public/pl/plmi10.pfb><e:/La
tex/MiKTeX 2.9/fonts/type1/public/pl/plmi5.pfb><e:/Latex/MiKTeX 2.9/fonts/type1
/public/pl/plmi7.pfb><e:/Latex/MiKTeX 2.9/fonts/type1/public/pl/plr10.pfb><e:/L
atex/MiKTeX 2.9/fonts/type1/public/pl/plr5.pfb><e:/Latex/MiKTeX 2.9/fonts/type1
/public/pl/plr7.pfb><e:/Latex/MiKTeX 2.9/fonts/type1/public/pl/plsy10.pfb><e:/L
atex/MiKTeX 2.9/fonts/type1/public/pl/plsy7.pfb><e:/Latex/MiKTeX 2.9/fonts/type
1/public/pl/plti10.pfb>
Output written on zajecia03-plik.pdf (1 page, 69826 bytes).
PDF statistics:
56 PDF objects out of 1000 (max. 8388607)
0 named destinations out of 1000 (max. 500000)
1 words of extra memory for PDF output out of 10000 (max. 10000000)

Binary file not shown.

Binary file not shown.

80
zajęcia 5/main.tex Normal file
View File

@ -0,0 +1,80 @@
\documentclass{beamer}
\usepackage{polski}
\usepackage[utf8x]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{amsmath}
\usepackage{graphicx}
\usepackage{tikz}
\title{Dowód twierdzenia Pitagorasa}
\author{Andrzej Kokosza}
\begin{document}
\begin{frame}
\titlepage
\end{frame}
\begin{frame}
\begin{center}
\begin{tikzpicture}
\draw [help lines] (0,0) grid(7,7);
\draw [fill=blue!50, opacity=0.5] (0,3) -- (0,0) -- (4,0);
\draw [fill=green!50, opacity=0.5] (4,0) -- (7,0) -- (7,4);
\draw [fill=red!50, opacity=0.5] (7,4) -- (7,7) -- (3,7);
\draw [fill=yellow!50, opacity=0.5] (3,7) -- (0,7) -- (0,3);
\draw [thick] (0,3) -- (4,0) -- (7,4) -- (3,7) -- (0,3);
\node at (2,-0.2) {a}; \node at (5.5,-0.2) {b}; \node at (7.2,2) {a}; \node at (7.2,5.5) {b};
\node at (1.5,7.2) {b}; \node at (5.,7.2) {a}; \node at (-0.2,1.5) {b}; \node at (-0.2,5) {a};
\node at (1.85, 1.85) {c}; \node at (5.15, 1.85) {c}; \node at (5.15,5.15) {c}; \node at (1.85, 5.15) {c};
\node at (3.5,3.5) {$c^2$};
\end{tikzpicture}
\end{center}
\end{frame}
\begin{frame}
\begin{center}
\begin{tikzpicture}
\draw [help lines] (0,0) grid(7,7);
\draw [fill=blue!50, opacity=0.5] (0,3) -- (0,0) -- (4,0);
\draw [fill=green!50, opacity=0.5] (0,3) -- (4,3) -- (4,0);
\draw [fill=red!50, opacity=0.5] (7,3) -- (7,7) -- (4,7);
\draw [fill=yellow!50, opacity=0.5] (7,3) -- (4,3) -- (4,7);
\node at (2,-0.2) {a}; \node at (-0.2,1.5) {b};
\node at (5.5,7.2) {b}; \node at (7.2,5) {a};
\node at (1.85, 1.85) {c}; \node at (5.15,5.15) {c};
\draw [thick] (0,3) rectangle (4,7);
\draw [thick] (4,0) rectangle (7,3);
\node at (2,5) {$a^2$}; \node at (5.5,1.5) {$b^2$};
\end{tikzpicture}
\end{center}
\end{frame}
\begin{frame}
\begin{center}
\begin{tikzpicture}
\draw [help lines] (0,0) grid(7,7);
\draw [fill=blue!50, opacity=0.7] (0,3) -- (0,0) -- (4,0);
\draw [fill=green!50, opacity=0.7] (4,0) -- (7,0) -- (7,4);
\draw [fill=red!50, opacity=0.7] (7,4) -- (7,7) -- (3,7);
\draw [fill=yellow!50, opacity=0.7] (3,7) -- (0,7) -- (0,3);
\draw [help lines] (0,0) grid(7,7);
\draw [fill=blue!50, opacity=0.7] (0,3) -- (0,0) -- (4,0);
\draw [fill=green!50, opacity=0.7] (0,3) -- (4,3) -- (4,0);
\draw [fill=red!50, opacity=0.7] (7,3) -- (7,7) -- (4,7);
\draw [fill=yellow!50, opacity=0.7] (7,3) -- (4,3) -- (4,7);
\draw [thick] (0,3) rectangle (4,7);
\draw [thick] (4,0) rectangle (7,3);
\draw [thick] (0,3) -- (4,0) -- (7,4) -- (3,7) -- (0,3);
\end{tikzpicture}
\end{center}
\end{frame}
\begin{frame}
\begin{center}
\begin{tikzpicture}
Oba kwadraty mają to samo pole powierzchni. Zauważmy, że kolorowe trójkąty w obu kwadratach mają tą samo pole powierzchni. Zatem pole białych kwadratów jest takie samo w obu, czyli
$$a^2+b^2=c^2$$
\end{tikzpicture}
\end{center}
\end{frame}
\end{document}