forked from jemmybutton/byrne-euclid
-
Notifications
You must be signed in to change notification settings - Fork 0
/
byrne_ru_context.tex
13673 lines (11742 loc) · 609 KB
/
byrne_ru_context.tex
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
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
\definepapersize[custom]
[width=145mm,height=200mm]
\setuppapersize[custom][custom]
\setuppagenumbering[alternative=doublesided]
\setuplayout[backspace=12mm,
width=76mm, height=172mm,
header=5mm,
headerdistance=8mm,
topspace=10mm,
footer=0mm,
margin=52mm]
\definelayout[title][backspace=15mm,
width=115mm, height=172mm,
header=5mm,
headerdistance=8mm,
topspace=10mm,
footer=0mm]
\setupbodyfont[ebgaramond-be,10pt]
\setupitaliccorrection[global,always]
\input preamble.tex
\input preamble_be.tex
\mainlanguage[ru]
\def\inpropstr{пр.}
\def\inpoststr{пост.}
\def\indefstr{опр.}
\def\inaxstr{акс.}
\def\qedstr{ч. т. д.}
\def\hypstr{гип.}
\def\conststr{постр.}
\def\mpPre{textLabels := true;}
\starttext
\setuplayout[title]
\setupheader [state=stop]
\startalignment[middle]
{\tfb \WORD{Первые шесть книг}}
\vskip 0.5\baselineskip
{\tfc \WORD{Начал Евклида}}
\vskip 0.5\baselineskip
{\WORD{в которых используются цветные схемы и~знаки вместо букв для большего удобства обучающихся}}
\vskip 0.75\baselineskip
{\tfb \WORD{Оливера Бирна}}
%{\WORD{SURVEYOR OF HER MAJESTY'S SETTLEMENTS IN THE FALKLAND ISLANDS AND AUTHOR OF NUMEROUS MATHEMATICAL WORKS}}
\defineNewPicture{
scaleFactor := 7/6;
angleScale := 4/3;
pair A, B, C, D, E, F, G, H, I, J, K, L, M, d[];
A := (0, 0);
B := A shifted (-7/10u, -8/7u);
C = whatever[A, A shifted ((A-B) rotated 90)] = whatever[B, B shifted dir(0)];
d1 := (B-A) rotated -90;
D := A shifted d1;
E := B shifted d1;
d2 := (A-C) rotated -90;
F := C shifted d2;
G := A shifted d2;
d3 := (C-B) rotated -90;
H := B shifted d3;
I := C shifted d3;
J = whatever[A, A shifted dir(90)];
J = whatever[B, C];
K = whatever[A, A shifted dir(90)];
K = whatever[H, I];
L = whatever[B, F];
L = whatever[A, C];
M = whatever[A, I];
M = whatever[B, C];
draw byPolygon(A,B,E,D)(byblack);
draw byPolygon(L,A,G,F)(byred);
draw byPolygon(C,L,F)(byred);
draw byPolygon(J,M,I,K)(byyellow);
draw byPolygon (M,C,I)(byyellow);
draw byPolygon(B,J,K,H)(byblue);
byAngleDefine(F, C, A, byyellow, 0);
byAngleDefine(B, C, I, byblue, 0);
byAngleDefine(A, C, B, byblack, 0);
draw byNamedAngleResized();
draw byLineFull(A, K, byred, 1, 0)(I, I, 1, 1, -1);
draw byLineFull(B, F, byblack, 0, 0)(G, G, 1, 1, -1);
draw byLineFull(A, I, byblack, 0, 0)(K, K, 1, 1, 1);
byLineDefine(C, F, byblue, 1, 0);
byLineDefine(C, I, byblack, 1, 0);
draw byNamedLineSeq(0)(CF,CI);
byLineDefine(A, B, byyellow, 0, 0);
byLineDefine(B, C, byred, 0, 0);
byLineDefine(C, A, byblue, 0, 0);
draw byNamedLineSeq(-1)(AB,BC,CA);
byLineDefine.CAb(C, A, byblack, 0, 0);
byLineStylize (M, M, 1, 0, -1) (CAb);
byLineDefine.AMb(A, M, byblack, 0, 0);
byLineStylize (C, C, 0, 1, -1) (AMb);
byLineDefine.BCb(B, C, byblack, 0, 0);
byLineStylize (L, L, 0, 1, -1) (BCb);
byLineDefine.BLb(L, B, byblack, 0, 0);
byLineStylize (C, C, 1, 0, -1) (BLb);
}
\vfill\vfill
~\hfill\drawCurrentPicture\hfill~
\vfill\vfill\vfill
{\tfa github.com/jemmybutton}
\vskip 0.25\baselineskip
{\tfb 2020 изд.\,0.5a}
\vskip \baselineskip
\symbol[cc][cc] \symbol[cc][by] \symbol[cc][sa]
\vskip 0.25\baselineskip
\startnarrower
\setuplocalinterlinespace[line=2ex]
{\tfx Эта редакция и~перевод книги Оливера Бирна \emph{The~first~six~books~of~the~Elements~of~Euclid} подготовлены Сергеем~Слюсаревым и~распространяются под лицензией CC-BY-SA 4.0}
\stopnarrower
\vskip -\baselineskip
\stopalignment
\pagebreak\ \pagebreak
\setupheader[state=start]
\setuplayout[reset]
\startintro[title={Введение}]
\regularLettrine{И}{скусства} и~науки достигли такого уровня развития, что облегчить их усвоение не менее важно, чем расширить их границы. Иллюстрация если и~не уменьшает времени обучения, то по крайней мере делает его более приятным. Цель этой работы, однако, больше, чем просто иллюстрация; мы не вводим цвета лишь ради развлечения или услаждения взгляда \emph{определенными сочетаниями окраски и~формы}, но чтобы помочь разуму в~его поисках истины, обогатить средства обучения и~распространить постоянные знания. Пожелай мы услышать мнение великих о~важности и~полезности геометрии, мы могли бы вспомнить любого философа со времен Платона. У~греков в древности, как и~в школе Песталоцци и~прочих в~наши дни, геометрия преподается как лучшее упражнение для ума. В~сущности, «Начала» Евклида стали, по общему признанию, основой математической науки во всем цивилизованном мире. Это не должно вызывать удивления, учитывая, что эта величественная наука не только больше прочих пригодна к~тому, чтобы пробудить дух исследования, возвысить разум и~усилить способности к~рассуждению, но и~составляет лучшее введение в~наиболее полезные и~важные для человека профессии. Арифметика, топография, гидростатика, пневматика, оптика, физическая астрономия и~т.~д.~— все полагаются на предложения геометрии.
Многое, однако, зависит от того, как наука преподнесена учащемуся, и все же лучшие и~самые простые методы применяются редко. Об~утверждениях, которые открываются на самом пороге науки ученику, пусть даже и~обладающему достаточным пониманием, говорится столь же мало, сколь неблагоприятное предубеждение он получает относительно будущего изучения этого занимательного предмета. Другими словами, \marginNote{\kerncharacters[-0.01]{Цитата, по-видимому, из предисловия к «Первым шести книгам Начал Евклида» Дионисия Ларднера}}\quotation{формальности и~технические подробности настолько выставляются напоказ, что почти скрывают за собой действительность. Бесконечные озадачивающие повторения, не добавляющие ясности суждениям, делают доказательства запутанными и~туманными и~скрывают от ученика последовательность рассуждений}. В~результате у~учащегося возникает отторжение, и~предмет, предназначенный улучшить мыслительные способности и~привить привычку к~вдумчивости, через сухое и~черствое изложение опускается до уровня скучного упражнения для памяти. Целью учителя должно быть возбуждение любопытства и~пробуждение бесчисленных спящих сил молодых умов, но там, где более всего требуются образцы совершенства, попытки достичь его немногочисленны, при том, что выдающиеся примеры привлекают внимание и~порождают подражания. Цель данной работы~— представление метода обучения геометрии, получившего одобрение многих ученых этой страны, а~также Франции и~Америки. Предложенный здесь план состоит в обращении к~глазам, самому чувствительному и~всестороннему из наших органов, превосходство которого в~запечатлевании своего предмета в~разуме подтверждается неопровержимой максимой, выраженной известными словами Горация:
\vfill
\startalignment[middle]
\emph{Segnius irritant animos demissa per aurem\\
Quam quae sunt oculis subjecta fidelibus.}\\
\pagebreak
\marginNote{Перевод М.~Дмитриева}
Что к~нам доходит чрез слух, то слабее в~нас трогает сердце,\\
Нежели то, что само представляется верному глазу. % Пер. М. Дмитриева http://lib.ru/POEEAST/GORACIJ/hor1_6.txt
%Трогает душу слабее, что приемлется слухом,\\
%Чем все то, что, видя глазами верными, зритель\\
%Сам себе сообщает... % Пер. А. А. Фета http://lib.ru/POEEAST/GORACIJ/hor3_1.txt_with-big-pictures.html
\stopalignment
\vskip \baselineskip
\kerncharacters[0.01]{Язык целиком состоит из знаков, и~те знаки лучшие, какие выполняют свое назначение с~наибольшей точностью и~быстротой. Так, для всех обычных целей применяются слышимые знаки, называемые словами, которые считаются слышимыми, доносятся ли они непосредственно через уши или опосредованно через глаза в~виде букв. Геометрические построения~— это не знаки, но принадлежности геометрической науки, задача которых~— показать относительные размеры своих частей с~помощью процесса рассуждения, называемого доказательством. Такое рассуждение чаще всего доносилось в~виде слов, букв и~черных, нераскрашенных диаграмм, но поскольку использование цветных символов, знаков и~диаграмм в~искусствах и~науках делает ход рассуждения более точным, а~усвоение более скорым, в~данном случае они были соответствующим образом внедрены.}
Этот весьма заманчивый способ донесения знаний столь действенен, что «Начала» Евклида могут быть усвоены менее чем за треть от времени, какое требуется обычно, а~в~памяти они сохранятся, напротив, намного дольше. Эти факты были установлены во множестве экспериментов, проведенных как автором, так и~другими, внедрившими его задумку. Рецепт же короток и~очевиден: буквы, присвоенные точкам, линиям или другим частям построения, в~действительности всего лишь произвольные имена и~представляют те в~доказательстве, вместо этого части, получающие различные цвета, называют сами себя, так как их формы и~соответствующие цвета представляют их в~доказательстве.
\defineNewPicture{
pair A, B, C;
B := (0, 0);
A := B shifted (dir(-145)*3u);
C = whatever[A, A shifted (1,0)] = whatever[B, B shifted dir(-145+90)];
byAngleDefine(A, B, C, byyellow, 0);
byAngleDefine(B, C, A, byblue, 0);
byAngleDefine(C, A, B, byred, 0);
draw byNamedAngleResized();
byLineDefine(A, B, byblue, 0, 0);
byLineDefine(B, C, byred, 0, 0);
byLineDefine(C, A, byyellow, 0, 0);
draw byNamedLineSeq(0)(AB,BC,CA);
label.top(\sometxt{B}, B);
label.rt(\sometxt{C}, C);
label.lft(\sometxt{A}, A);
textLabels := false;
angleScale := 3/4;
}
\drawCurrentPictureInMargin
Чтобы дать лучшее представление об этой системе и~преимуществах, получаемых от ее внедрения, возьмем прямоугольный треугольник и~выразим некоторые его свойства как цветами, так и~общепринятым способом.
\vskip \baselineskip
\startalignment[middle]
\emph{Некоторые свойства прямоугольного треугольника ABC, выраженные общепринятым способом:}
\stopalignment
\vskip 0.5\baselineskip
\startitemize[m,joinedup,nowhite]
\item Угол BAC с~углами BCA и~ABC вместе равны двум прямым углам или дважды углу ABC.
\item Угол CAB с~углом ACB вместе равны углу ABC.
\item Угол ABC больше как BAC, так и~BCA.
\item Угол BCA, как и~угол CAB, меньше угла ABC.
\item Если из угла ABC вычесть угол BAC, остаток будет равен углу ACB.
\item Квадрат стороны AC равен сумме квадратов сторон AB и~BC.
\stopitemize
\vskip \baselineskip
\startalignment[middle]
\emph{Те же свойства, выраженные раскрашиванием различных частей:}
\stopalignment
\vskip 0.5\baselineskip
\startitemize[m,joinedup,nowhite]
\item $\drawAngle{A} + \drawAngle{B} + \drawAngle{C} = 2 \drawAngle{B} = \drawTwoRightAngles$. \\ То есть красный угол вместе с~желтым углом, вместе с~синим углом равны дважды желтому углу, равны двум прямым углам.
\item $\drawAngle{A} + \drawAngle{C} = \drawAngle{B}$. \\ Или, словами, красный угол, добавленный к~синему углу, равен желтому углу.
\item $\drawAngle{B} > \drawAngle{A} \mbox{ или } > \drawAngle{C}$. \\ Желтый угол больше красного или синего.
\item $\drawAngle{A} \mbox{ или } \drawAngle{C} < \drawAngle{B}$. \\ И~красный, и~синий углы меньше желтого.
\item $\drawAngle{B} - \drawAngle{C} = \drawAngle{A}$. \\ Иначе говоря, желтый угол за вычетом синего угла равен красному углу.
\vfill\pagebreak
\item $\drawUnitLine{CA}^2 = \drawUnitLine{AB}^2 + \drawUnitLine{BC}^2$. \\ То есть квадрат желтой линии равен сумме квадратов синей и~красной.
\stopitemize
\vskip \baselineskip
Цвета в~устных доказательствах дают нам то важное преимущество, что позволяют обратиться к~глазам и~ушам одновременно, так что для обучения геометрии и~другим наукам в~аудитории эта система является лучшей из когда-либо предложенных, что явствует из приведенных примеров.
Отсюда очевидно, что отсылки в~тексте к~построению считываются быстрее и~надежнее, если приводить формы и~цвета их частей или называть части по их цветам, чем если называть части и~буквы на построении. Помимо превосходной легкости, система также замечательна тем, что помогает сосредоточиться и~полностью исключает вредоносную, хотя и~распространенную практику передоверять всё доказательство памяти, до тех пор, пока рассуждения, факты и~доводы не оставят отпечаток в понимании.
\kerncharacters[0.004]{Опять же если мы, говоря о~свойствах фигур перед аудиторией, упомянем цвет части или частей, о~которых идет речь, как то: красный угол, синяя линия или линии и~т. п., обозначенные часть или часть будут сразу же видны всем; совсем не то что сказать про угол ABC, треугольник PFQ, фигуру EGKt и~так далее, поскольку буквы приходится разыскивать по одной, прежде чем ученики составят в~уме ту конкретную величину, о~которой идет речь, что часто может привести к~путанице и~ошибкам, а~также к~потере времени. Кроме того, если части, принятые равными, окрашены в~один цвет на построении, разуму не придется отклоняться от рассматриваемого объекта, то есть такая схема наглядно представляет части, равенство которых предстоит показать, и~учащийся не упускает из виду эти сведения в~течение всего рассуждения. Но какими бы ни были преимущества представленного плана, если даже не прибегать к~нему всегда, он может стать мощным дополнительным инструментом, наряду с~другими методами, для введения в~материал, более быстрого запоминания или более надежного закрепления в~памяти.}
Опыт тех, кому приходилось создавать системы для закрепления фактов пониманием, доказывает, что цветные представления, такие как картинки, вырезанные фигуры, диаграммы и~т. п., укладываются в~сознании много легче, чем простые, ничем не выделяющиеся высказывания. Любопытно, что поэтам эта истина знакома лучше, чем математикам, многие современные поэты указывают на подобную систему донесения знаний, один из них выразился так:
\vskip 0.5\baselineskip
\marginNote{В~оригинале автор, по-видимому по ошибке, приводит другой перевод тех же строк Горация. Здесь на~его месте перевод фрагмента из~поэмы Марка Эйкенсайда (1721–1770) \emph{The~Pleasures Of~Imagination.}}
\startalignment[middle] % Вместо другого перевода тех же строк Горация перевод близких по смыслу стихов Марка Эйкенсайда The Pleasures Of Imagination by Mark Akenside (1721–1770) https://archive.org/stream/pleasuresofimagi00aken#page/50/mode/2up
Ведь жаждет знаний человек, и~истины лучи\\
Охотней тронут пониманья глаз,\\
Чем уши звуков лесть,\\
Чем всякий вкус язык...
% For man loves knowledge, and the beams of Truth
% More welcome touch his understanding's eye,
% Than all the blandishments of sound his ear,
% Than all of taste his tongue...
\stopalignment
\vskip 0.5\baselineskip
\kerncharacters[-0.005]{Это, возможно, единственное улучшение, которое получила геометрия со времен Евклида, а~если до того и~были значимые геометры, то успех Евклида затмил их в~памяти до такой степени, что многие достижения в~этой области приписываются ему, подобно Эзопу среди баснописцев. Также нелишним будет отметить, что как осязаемые построения представляют единственный способ донесения геометрии до слепых, так и~зримая система не менее приспособлена к~нуждам глухих и~немых.}
Следует уделить внимание объяснению того, что цвета не имеют иного отношения к~линиям, углам и другим величинам, кроме как обозначают их. Математическая линия, представляющая собой длину без ширины, не может иметь цвета, но место соприкосновения двух цветов на одной плоскости дает хорошее представление о~том, что такое линия в~математике. Запомним, что, строго говоря, мы имеем в~виду такое соприкосновение, а~не цвет, когда говорим о~черной линии, красной линии или линиях и~т. п.
Цвета и~раскрашенные диаграммы могут, на первый взгляд, показаться неуклюжим способом донесения правильных представлений о~свойствах и~частях математических фигур и~величин, однако, как мы увидим, они являются средством более изящным и~емким, чем любые предложенные ранее.
Теперь мы дадим определение точке, линии и~поверхности и~докажем теорему, чтобы показать верность этого суждения.
\kerncharacters[0.005]{Точкой называют то, у~чего есть положение, но нет величины, или точка~— это одно лишь положение, лишенное длины, ширины и~толщины. Следующее описание, возможно, более пригодно для объяснения сущности математической точки тем, кто еще не освоил идею, имеющую приведенное выше обманчивое определение.}
\defineNewPicture{
angleScale := 2;
pair O, A, B, C;
O := (0, 0);
A := dir(0) scaled 3u;
B := dir(120) scaled 3u;
C := dir(240) scaled 3u;
draw byAngle(A, O, B, byred, 0);
draw byAngle(B, O, C, byblue, 0);
draw byAngle(C, O, A, byyellow, 0);
}
\drawCurrentPictureInMargin Пусть три цвета встречаются и~покрывают участок бумаги. В~месте, где они встречаются, цвет не будет ни синим, ни желтым, ни красным, так как оно не занимает пространства на бумаге, а~если бы занимало, то относилось бы к~синей, красной или желтой части. Но все же оно существует и~имеет положение без величины, так что место встречи трех цветов на плоскости без особенных сложностей дает хорошее представление о~математической точке.
Линия~— это длина без ширины. С~помощью цветов почти так же, как и~выше, понятие линии можно донести следующим образом:
\defineNewPicture{
pair A, B, C, D, E, F;
A := (0, 0);
B := (5/2u, ypart(A));
C := (xpart(A), -2u);
D := (xpart(B), ypart(C));
E := 1/2[A, C];
F := 1/2[B, D];
draw byPolygon(A,B,F,E)(byred);
draw byPolygon(C,D,F,E)(byblue);
}
\drawCurrentPictureInMargin
Пусть два цвета встречаются и~покрывают участок бумаги. Где они встречаются, цвет не будет ни красным, ни синим. Следовательно, соединение не занимает никакой части плоскости, и~значит, не имеет ширины, а~только длину. Отсюда легко получить представление о~том, что понимается под математической линией. Для иллюстрации было бы достаточно одного цвета, отличного от цвета бумаги или другой поверхности, на которую нанесен рисунок. Итак, в~дальнейшем, когда мы будем говорить о~красной линии, синей линии или линиях и~т. п., в~виду будет иметься место соприкосновения с~плоскостью, на которой они нарисованы.
Поверхность~— это то, у~чего есть длина и~ширина, но нет толщины.
\defineNewPicture{
pair A', A'', A''', B', B'', B''', C', C'', C''', D', D'', D''', d[];
d1 := (3/2u, 0);
d2 := (-3/4u, -2/3u);
d3 := (0, -3/2u);
A' := (0, 0);
B' := A' shifted d1;
C' := A' shifted d2;
D' := C' shifted d1;
A'' := A' shifted d3;
B'' := B' shifted d3;
C'' := C' shifted d3;
D'' := D' shifted d3;
A''' := A'' shifted d3;
B''' := B'' shifted d3;
C''' := C'' shifted d3;
D''' := D'' shifted d3;
draw byPolygon(A',B',B'',A'',C'',C')(byred);
draw byPolygon(A'',B'',D'',C'')(byblue);
draw byPolygon(C'',D'',B'',B''',D''',C''')(byyellow);
draw byLine(A''', B''', white, 0, 2);
draw byLine(A''', C''', white, 0, 2);
draw byLine(A''', A', white, 0, 2);
draw byLine(D', C', white, 0, 1);
draw byLine(D', B', white, 0, 1);
draw byLine(D', D''', white, 0, 1);
label.lft(\sometxt{P}, C');
label.lft(\sometxt{R}, C'');
label.rt(\sometxt{S}, B'');
label.rt(\sometxt{Q}, B''');
}
\drawCurrentPictureInMargin
Рассматривая объемное тело (PQ), мы сразу понимаем, что у~него есть три измерения, а~именно: длина, ширина и~толщина. Теперь предположим, что одна часть тела (PS) красная, а~другая (QR) желтая, и~эти цвета раздельны и~не смешиваются. Синяя поверхность (RS), разделяющая эти части, или, иначе говоря, разделяющая тело без потери материала, должна быть без толщины и~иметь только длину и~ширину. Это очевидно из рассуждений, подобных примененным выше для определения, а~точнее для описания точки или линии.
\defineNewPicture[1/4]{
pair A, B, C, D, E;
A := (0, 0);
B := A shifted (u, -2u);
C := B xscaled -1;
D := 9/5[A,B];
E := 9/5[A,C];
byAngleDefine(B, A, C, byblack, 0);
byAngleDefine(A, B, C, byblue, 0);
byAngleDefine(B, C, A, byblue, 0);
byAngleDefine(C, B, E, byyellow, 0);
byAngleDefine(D, C, B, byyellow, 0);
byAngleDefine(B, D, C, byred, 0);
byAngleDefine(C, E, B, byred, 0);
byAngleDefine(E, B, D, byyellow, 1);
byAngleDefine(D, C, E, byyellow, 1);
draw byNamedAngleResized();
byLineDefine(B, D, byyellow, 0, 0);
byLineDefine(C, E, byyellow, 0, 0);
byLineDefine(B, E, byblue, 0, 0);
byLineDefine(C, D, byblue, 0, 0);
byLineDefine(A, B, byred, 0, 0);
byLineDefine(A, C, byred, 0, 0);
byLineDefine(B, C, byblack, 0, 0);
draw byNamedLineSeq(0)(CD,noLine,BC,noLine,BE,CE,AC,AB,BD);
label.top(\sometxt{A}, A);
label.lft(\sometxt{C}, C);
label.rt(\sometxt{B}, B);
label.lft(\sometxt{E}, E);
label.rt(\sometxt{D}, D);
}
\drawCurrentPictureInMargin
Для того чтобы прояснить, как именно применяются эти принципы, мы выбрали предложение из первой книги.
В равнобедренном треугольнике ABC внутренние углы при основании ABC и~ACB равны, а~если продлить стороны AB и~AC, внешние углы при основании BCE, CBD также будут равны.
\startCenterAlign
Продлим \drawUnitLine{AB} и~\drawUnitLine{AC},\\
сделаем $\drawUnitLine{BD} = \drawUnitLine{CE}$, проведем \drawUnitLine{BE} и~\drawUnitLine{CD}.
В
\drawFromCurrentPicture{
startAutoLabeling;
startTempAngleScale(angleScale*4/5);
draw byNamedAngle(BAC);
draw byNamedLineSeq(0)(BE,CE,AC,AB);
stopTempAngleScale;
stopAutoLabeling;
}
и
\drawFromCurrentPicture{
startAutoLabeling;
startTempAngleScale(angleScale*4/5);
draw byNamedAngle(BAC);
draw byNamedLineSeq(0)(BD,CD,AC,AB);
stopTempAngleScale;
stopAutoLabeling;
}\\
получим $\drawUnitLine{AB,BD} = \drawUnitLine{AC,CE}$,\\
\drawAngle{BAC} общий и~$\drawUnitLine{AB} = \drawUnitLine{AC}$.
$\therefore \drawAngle{BCA,DCB} = \drawAngle{ABC,CBE}$, $\drawUnitLine{BE} = \drawUnitLine{CD}$\\
и $\drawAngle{CEB} = \drawAngle{BDC}$ \inprop[prop:I.IV].
Теперь в~\drawFromCurrentPicture{
startAutoLabeling;
startTempAngleScale(angleScale*4/5);
draw byNamedAngle(E);
draw byNamedLineSeq(0)(BE,CE,BC);
stopTempAngleScale;
stopAutoLabeling;
} и~\drawFromCurrentPicture{
startAutoLabeling;
startTempAngleScale(angleScale*4/5);
draw byNamedAngle(D);
draw byNamedLineSeq(0)(BD,CD,BC);
stopTempAngleScale;
stopAutoLabeling;
}\\
$\drawUnitLine{BD} = \drawUnitLine{CE}$, $\drawAngle{CEB} = \drawAngle{BDC}$\\
и $\drawUnitLine{BE} = \drawUnitLine{CD}$.
$\therefore \drawAngle{DCE,DCB} = \drawAngle{EBD,CBE}$
и $\drawAngle{DCB} = \drawAngle{CBE}$ \inprop[prop:I.IV].
Но $\drawAngle{BCA,DCB} = \drawAngle{ABC,CBE}$, $\therefore \drawAngle{BCA} = \drawAngle{ABC}$.
\stopCenterAlign
\qedNB
\startalignment[middle]
\emph{Если использовать буквы}
\stopalignment
Продлим равные стороны AB и~AC через концы третьей стороны BC. На любой из продленных частей BD возьмем любую точку D и~от другой отсечем AE, равную AD \inprop[prop:I.III]. Теперь взятые таким образом на продленных сторонах точки E и~D соединим прямыми линиями DC и~BE с~противолежащими концами третьей стороны треугольника.
\kerncharacters[0.005]{В треугольниках DAC и~EAB стороны DA и~AC соответственно равны EA и~AB, а~прилежащий угол A общий обоим. Следовательно \inprop[prop:I.IV], линия DC равна BE, угол ADC равен AEB, а~угол ACD — углу ABE. Если из равных линий AD и~AE вычесть равные AB и~AC, остатки BD и~CE также будут равны. А~значит, в~треугольниках BDC и~CEB стороны BD и~DC соответственно равны CE и~EB и~углы D и~E, заключенные между этими сторонами, также равны. А~значит \inprop[prop:I.IV], углы DBC и~ECB, заключенные между третьей стороной BC и~продолжениями сторон AB и~AC, также равны. Кроме того, углы DCB и~EBC равны, если равные углы вычитаются из углов DCA и~EBA, равенство которых было показано выше, а~значит остатки, то есть углы ABC и~ACB, противолежащие равным сторонам, будут равны.}
\emph{Следовательно, в~равностороннем треугольнике…} и~т. д.
\qedNB
\vskip \baselineskip
\kerncharacters[0.005]{Поскольку здесь нашей целью было представить систему, а~не объяснить какой-либо набор предложений, мы взяли то, что выше, из самого курса. В~школах и~других общественных учебных заведениях с~подобными построениями помогут цветные мелки, для индивидуального использования очень удобны цветные карандаши.}
Мы очень рады, что начала математики теперь составляют часть любого достойного образования для женщин, поэтому мы призываем обратить внимание на этот привлекательный метод донесения знания и~дальнейшую работу по его развитию тех, кто заинтересован или вовлечен в~образование для дам.
В заключение отметим, что поскольку можно так же надежно и~быстро обратиться к~чувствам зрения и~слуха тысячи, как и~одного, \emph{миллионы} можно обучить геометрии и~другим отраслям математики с~большой легкостью; это способствовало бы успехам образования больше, чем что-либо, что можно назвать, поскольку это научило бы людей, как думать, а~не, что характерно для образования, чт\oacute\ думать, в~чем и~берет начало его большая ошибка.
\vfill\pagebreak
\noindent~\hfill {\tfb \WORD{Начала Eвклида}} \hfill~ % Положение этого заголовка в оригинальной структуре неочевидно
\vskip 0.5\baselineskip
\noindent~\hfill {\tfa \WORD{Книга I}} \hfill~
\startsupersection[title={Определения}]
\startDefinitionOnlyNumber[reference=def:I.I]
\startalignment[last]
\emph{Точка} есть то, что не имеет частей.
\stopalignment
\stopDefinitionOnlyNumber
\startDefinitionOnlyNumber[reference=def:I.II]
\startalignment[last]
\emph{Линия} — это длина без ширины.
\stopalignment
\stopDefinitionOnlyNumber
\startDefinitionOnlyNumber[reference=def:I.III]
\startalignment[last]
Концы линии — точки.
\stopalignment
\stopDefinitionOnlyNumber
\startDefinitionOnlyNumber[reference=def:I.IV]
\startalignment[last]
Прямая линия есть та, которая равно расположена по отношению к~точкам на ней.
\stopalignment
\stopDefinitionOnlyNumber
\startDefinitionOnlyNumber[reference=def:I.V]
\startalignment[last]
Поверхность есть то, что имеет только длину и~ширину.
\stopalignment
\stopDefinitionOnlyNumber
\startDefinitionOnlyNumber[reference=def:I.VI]
\startalignment[last]
Концы поверхности — линии.
\stopalignment
\stopDefinitionOnlyNumber
\startDefinitionOnlyNumber[reference=def:I.VII]
\startalignment[last]
Плоская поверхность есть та, которая равно расположена по отношению к~прямым на ней.
\stopalignment
\stopDefinitionOnlyNumber
\startDefinitionOnlyNumber[reference=def:I.VIII]
\startalignment[last]
Плоский угол есть наклонение друг к~другу двух линий, в~плоскости встречающихся друг с~другом, но не направленных одинаково.
\stopalignment
\stopDefinitionOnlyNumber
\defineNewPicture{
pair A, B, C;
A := (0, 0);
B := (2/3u, 2/3u);
C := (u, ypart(A));
byAngleDefine(B, A, C, byyellow, 0);
draw byNamedAngleResized();
byLineDefine(A, B, byblue, 0, 0);
byLineDefine(A, C, byred, 0, 0);
draw byNamedLineSeq(0)(AC,AB);
}
\startDefinitionOnlyNumber[reference=def:I.IX]
\startalignment[last]
\drawCurrentPictureInMargin[inside] Прямолинейный угол есть наклонение друг к~другу двух пересекающихся и~не совпадающих прямых линий.
\stopalignment
\stopDefinitionOnlyNumber
\vfill\pagebreak
\defineNewPicture{
pair A, B, C, D;
A := (0, 0);
B := (u, 0);
C := (0, 2/3u);
D := (-u, 0);
byAngleDefine(B, A, C, byblack, 1);
byAngleDefine(D, A, C, byblack, 1);
draw byNamedAngleResized();
draw byLine(D, B, byblack, 0, 0);
draw byLine(A, C, byblack, 0, 0);
}
\startDefinitionOnlyNumber[reference=def:I.X]
\startalignment[last]
\drawCurrentPictureInMargin[inside] Когда прямая восстановленная на другой прямой образует равные смежные углы, каждый из этих углов называется \emph{прямым углом}, а~каждая из этих прямых называется \emph{перпендикуляром} к~другой.
\stopalignment
\stopDefinitionOnlyNumber
\defineNewPicture{
pair A, B, C;
A := (0, 0);
B := (-2/3u, 2/3u);
C := (u, ypart(A));
byAngleDefine(B, A, C, byred, 0);
draw byNamedAngleResized();
byLineDefine(A, B, byyellow, 0, 0);
byLineDefine(A, C, byblue, 0, 0);
draw byNamedLineSeq(0)(AC,AB);
}
\drawCurrentPictureInMargin[inside]
\startDefinitionOnlyNumber[reference=def:I.XI]
\startalignment[last]
\emph{Тупым} называется угол больше прямого.
\stopalignment
\stopDefinitionOnlyNumber
\defineNewPicture{
pair A, B, C;
A := (0, 0);
B := (2/3u, 2/3u);
C := (u, ypart(A));
byAngleDefine(B, A, C, byblue, 0);
draw byNamedAngleResized();
byLineDefine(A, B, byyellow, 0, 0);
byLineDefine(A, C, byred, 0, 0);
draw byNamedLineSeq(0)(AC,AB);
}
\drawCurrentPictureInMargin[inside]
\startDefinitionOnlyNumber[reference=def:I.XII]
\startalignment[last]
\emph{Острым} называется угол меньше прямого.
\stopalignment
\stopDefinitionOnlyNumber
\startDefinitionOnlyNumber[reference=def:I.XII]
\startalignment[last]
\emph{Граница} есть то, что является оконечностью чего-либо.
\stopalignment
\stopDefinitionOnlyNumber
\startDefinitionOnlyNumber[reference=def:I.XII]
\startalignment[last]
\emph{Фигура} есть то, что содержится внутри какой-нибудь или каких-нибудь границ.
\stopalignment
\stopDefinitionOnlyNumber
\defineNewPicture{
pair O, A, B, C, D, E;
numeric r;
r := 1/2u;
O := (0, 0);
A := dir(0) scaled r;
B := dir(60) scaled r;
C := dir(130) scaled r;
D := dir(180) scaled r;
E := dir(-60) scaled r;
draw byLine(O, B)(byblack, 0, 0);
draw byLine(O, C)(byred, 0, 0);
draw byLine(O, E)(byyellow, 0, 0);
draw byLine(D, A)(byblue, 0, 0);
draw byCircleR(O, r, byred, 0, 0, 0);
}
\startDefinitionOnlyNumber[reference=def:I.XV]
\startalignment[last]
\drawCurrentPictureInMargin[inside] \emph{Круг} есть плоская фигура, содержащаяся внутри одной линии, называемой окружностью, в~которой есть точка, все прямые падающие на окружность из которой равны.
\stopalignment
\stopDefinitionOnlyNumber
\startDefinitionOnlyNumber[reference=def:I.XVI]
\startalignment[last]
Точка в~круге, все прямые к~окружности из которой равны называется \emph{центром.}
\stopalignment
\stopDefinitionOnlyNumber
\defineNewPicture{
pair O, A, B;
numeric r;
r := 1/2u;
O := (0, 0);
A := dir(0) scaled r;
B := dir(180) scaled r;
draw byLine(A, B)(byyellow, 0, 0);
draw byCircleR(O, r, byred, 0, 0, 0);
} \drawCurrentPictureInMargin[inside]
\startDefinitionOnlyNumber[reference=def:I.XVII]
\startalignment[last]
\emph{Диаметр} круга есть прямая линия, проходящая через центр и~ограниченная с~обеих сторон окружностью.
\stopalignment
\stopDefinitionOnlyNumber
\defineNewPicture{
pair O, A, B;
numeric r;
r := 1/2u;
O := (0, 0);
A := dir(0) scaled r;
B := dir(180) scaled r;
draw byLine(A, B)(byblue, 0, 0);
draw byArc(O, A, B)(r, byyellow, 0, 0, 0, 0);
draw byArc(O, B, A)(r, byyellow, 1, 0, 0, 0);
} \drawCurrentPictureInMargin[inside]
\startDefinitionOnlyNumber[reference=def:I.XVIII]
\startalignment[last]
\emph{Полукруг} есть фигура, содержащаяся между диаметром и~отсекаемой им частью окружность.
\stopalignment
\stopDefinitionOnlyNumber
\pagebreak
\defineNewPicture{
pair O, A, B;
path P;
numeric r;
r := 1/2u;
P := fullcircle scaled 2r;
O := (0, 0);
A := point 1 of P;
B := point 3 of P;
draw byLine(A, B)(byred, 0, 0);
draw byArc(O, A, B)(r, byblue, 0, 0, 0, 0);
draw byArc(O, B, A)(r, byblue, 1, 0, 0, 0);
}
\startDefinitionOnlyNumber[reference=def:I.XIX]
\startalignment[last]
\drawCurrentPictureInMargin[inside] \emph{Сегментом круга} называется фигура, содержащаяся между прямой линией и~частью окружности, ей отсекаемой.
\stopalignment
\stopDefinitionOnlyNumber
\startDefinitionOnlyNumber[reference=def:I.XX]
\startalignment[last]
\emph{Прямолинейной фигурой} называется фигура, содержащаяся между прямыми линиями.
\stopalignment
\stopDefinitionOnlyNumber
\startDefinitionOnlyNumber[reference=def:I.XXI]
\startalignment[last]
\emph{Треугольником} называется прямолинейная фигура с~тремя сторонами.
\stopalignment
\stopDefinitionOnlyNumber
\defineNewPicture{
pair A, B, C, D;
A := (0, 0);
B := (u, 1/2u);
C := (-1/2u, -4/3u);
D := (4/3u, -u);
draw byLine(C, B)(byred, 0, 0);
draw byLine(A, D)(byblue, 0, 0);
byLineDefine(A, B, byyellow, 0, 0);
byLineDefine(A, C, byyellow, 0, 0);
byLineDefine(B, D, byyellow, 0, 0);
byLineDefine(C, D, byblack, 0, 0);
draw byNamedLineSeq(0)(BD,CD,AC,AB);
draw byLabelsOnPolygon(A, B, D, C)(0, 0);
}
\startDefinitionOnlyNumber[reference=def:I.XXII]
\startalignment[last]
\drawCurrentPictureInMargin[inside] \emph{Четырехсторонняя фигура} та, у~которой четыре стороны. Прямые линии \drawUnitLine{AD} и~\drawUnitLine{CB}, соединяющие вершины противоположных углов четырехсторонней фигуры называются \emph{диагоналями.}
\stopalignment
\stopDefinitionOnlyNumber
\startDefinitionOnlyNumber[reference=def:I.XXIII]
\startalignment[last]
\emph{Многоугольник} есть прямоугольная фигура с~более чем четырьмя сторонами.
\stopalignment
\stopDefinitionOnlyNumber
\defineNewPicture{
pair A, B, C;
A := dir(-30) scaled 1/2u;
B := dir(-150) scaled 1/2u;
C := dir(90) scaled 1/2u;
byLineDefine(A, B, byblue, 0, 0);
byLineDefine(B, C, byred, 0, 0);
byLineDefine(C, A, byyellow, 0, 0);
draw byNamedLineSeq(0)(AB,BC,CA);
}
\startDefinitionOnlyNumber[reference=def:I.XXIV]
\startalignment[last]
\drawCurrentPictureInMargin[inside] \emph{Равносторонним} называется треугольник, все стороны которого равны.
\stopalignment
\stopDefinitionOnlyNumber
\defineNewPicture{
pair A, B, C;
A := dir(-60) scaled 1/2u;
B := dir(-120) scaled 1/2u;
C := dir(90) scaled 1/2u;
byLineDefine(A, B, byblue, 0, 0);
byLineDefine(B, C, byred, 0, 0);
byLineDefine(C, A, byred, 0, 0);
draw byNamedLineSeq(0)(AB,BC,CA);
}
\startDefinitionOnlyNumber[reference=def:I.XXV]
\startalignment[last]
\drawCurrentPictureInMargin[inside] Треугольник у~которого равны две стороны называется \emph{равнобедренным.}
\stopalignment
\stopDefinitionOnlyNumber
\startDefinitionOnlyNumber[reference=def:I.XXVI]
\startalignment[last]
\emph{Разносторонним} называется треугольник со всеми неравными сторонами.
\stopalignment
\stopDefinitionOnlyNumber
\vfill\pagebreak
\defineNewPicture{
pair A, B, C;
A := (0, 0);
B := (-u, 0);
C := (0, 3/4u);
byLineDefine(A, B, byred, 0, 0);
byLineDefine(B, C, byyellow, 0, 0);
byLineDefine(C, A, byblue, 0, 0);
draw byNamedLineSeq(0)(AB,BC,CA);
}
\startDefinitionOnlyNumber[reference=def:I.XXVII]
\startalignment[last]
\drawCurrentPictureInMargin[inside] Треугольник у~которого есть прямой угол называется \emph{прямоугольным}.
\stopalignment
\stopDefinitionOnlyNumber
\defineNewPicture{
pair A, B, C;
A := (-1/4u, 0);
B := (-u, 0);
C := (0, 3/4u);
byLineDefine(A, B, byred, 0, 0);
byLineDefine(B, C, byblue, 0, 0);
byLineDefine(C, A, byyellow, 0, 0);
draw byNamedLineSeq(0)(AB,BC,CA);
}
\startDefinitionOnlyNumber[reference=def:I.XXVIII]
\startalignment[last]
\drawCurrentPictureInMargin[inside] \emph{Тупоугольным} называется треугольник, у~которого есть тупой угол.
\stopalignment
\stopDefinitionOnlyNumber
\defineNewPicture{
pair A, B, C;
A := (0, 0);
B := (-u, 0);
C := (-1/4u, 3/4u);
byLineDefine(A, B, byblue, 0, 0);
byLineDefine(B, C, byyellow, 0, 0);
byLineDefine(C, A, byred, 0, 0);
draw byNamedLineSeq(0)(AB,BC,CA);
}
\startDefinitionOnlyNumber[reference=def:I.XXIX]
\startalignment[last]
\drawCurrentPictureInMargin[inside] \emph{Остроугольным} называется треугольник, все углы которого острые.
\stopalignment
\stopDefinitionOnlyNumber
\defineNewPicture{
pair A, B, C, D;
numeric s;
s := u;
A := (0, 0);
B := (s, 0);
C := (0, s);
D := (s, s);
byLineDefine(A, B, byred, 0, 0);
byLineDefine(A, C, byblue, 0, 0);
byLineDefine(B, D, byyellow, 0, 0);
byLineDefine(C, D, byblack, 0, 0);
draw byNamedLineSeq(0)(AB,AC,CD,BD);
}
\startDefinitionOnlyNumber[reference=def:I.XXX]
\startalignment[last]
\drawCurrentPictureInMargin[inside] Из четырехсторонних фигур, \emph{квадратом} называется та, все стороны которой равны между собой, и~все углы прямые.
\stopalignment
\stopDefinitionOnlyNumber
\defineNewPicture{
pair A, B, C, D;
numeric s;
s := u;
A := (0, 0);
B := (s, 0);
C := A shifted (dir(80) scaled s);
D := B shifted (dir(80) scaled s);
byLineDefine(A, B, byred, 0, 0);
byLineDefine(A, C, byblue, 0, 0);
byLineDefine(B, D, byyellow, 0, 0);
byLineDefine(C, D, byblack, 0, 0);
draw byNamedLineSeq(0)(AB,AC,CD,BD);
}
\startDefinitionOnlyNumber[reference=def:I.XXXI]
\startalignment[last]
\drawCurrentPictureInMargin[inside] \emph{Ромбом} называется четырехсторонняя фигура, все стороны которой равны, но углы не прямые.
\stopalignment
\stopDefinitionOnlyNumber
\defineNewPicture{
pair A,B,C,D;
numeric s;
s := u;
A := (0, 0);
B := (4/3s, 0);
C := (0, 3/4s);
D := (4/3s, 3/4s);
byLineDefine(A, B, byblue, 0, 0);
byLineDefine(A, C, byred, 0, 0);
byLineDefine(B, D, byred, 0, 0);
byLineDefine(C, D, byblue, 0, 0);
draw byNamedLineSeq(0)(AB,AC,CD,BD);
}
\startDefinitionOnlyNumber[reference=def:I.XXXII]
\startalignment[last]
\drawCurrentPictureInMargin[inside] \emph{Прямоугольник} есть четырехугольник, все углы которого прямые, но не все стороны равны.
\stopalignment
\stopDefinitionOnlyNumber
\defineNewPicture{
pair A, B, C, D;
numeric s;
s := u;
A := (0, 0);
B := (s, 0);
C := (1/4s, 3/4s);
D := (s + 1/4s, 3/4s);
byLineDefine(A, B, byblue, 0, 0);
byLineDefine(A, C, byred, 0, 0);
byLineDefine(B, D, byred, 0, 0);
byLineDefine(C, D, byblue, 0, 0);
draw byNamedLineSeq(0)(AB,AC,CD,BD);
}
\startDefinitionOnlyNumber[reference=def:I.XXXIII]
\startalignment[last]
\drawCurrentPictureInMargin[inside] \emph{Ромбоид} есть фигура, противоположные стороны которой равны, но ни все стороны равны, ни все углы прямые.
\stopalignment
\stopDefinitionOnlyNumber
\startDefinitionOnlyNumber[reference=def:I.XXXIV]
\startalignment[last]
Прочие четырехугольники называются \emph{неправильными.}
\stopalignment
\stopDefinitionOnlyNumber
\defineNewPicture{
pair A, B, C, D;
numeric s;
s := u;
A := (0, 0);
B := (4/3s, 0);
C := (0, 1/2s);
D := (4/3s, 1/2s);
draw byLine(A, B, byred, 0, 0);
draw byLine(C, D, byyellow, 0, 0);
}
\startDefinitionOnlyNumber[reference=def:I.XXXV]
\startalignment[last]
\drawCurrentPictureInMargin[inside] \emph{Параллельными} называются такие прямые линии, которые находясь в~одной плоскости и~будучи продолженными в~обе стороны неограниченно не встречаются.
\stopalignment
\stopDefinitionOnlyNumber
\stopsupersection
\startsupersection[title={Постулаты}]
\marginNote{Этими тремя положениями описываются разрешенные к~использованию инструменты: \emph{линейка} и~\emph{циркуль}. При этом линейка не имеет делений. А~циркулем нельзя переносить отрезки.}
\startPostulateOnlyNumber[reference=post:I.I]
Будем считать, что прямую линию можно провести от любой точки до любой другой точки.
\stopPostulateOnlyNumber
\startPostulateOnlyNumber[reference=post:I.II]
Будем считать, что ограниченную прямую линию можно непрерывно продолжить по прямой.
\stopPostulateOnlyNumber
\startPostulateOnlyNumber[reference=post:I.III]
Будем считать, что из всякого центра и~на любом расстоянии от центра можно построить круг.
\stopPostulateOnlyNumber
\stopsupersection
\startsupersection[title={Аксиомы}]
\startAxiomOnlyNumber[reference=ax:I.I]
\kerncharacters[-0.005]{Равные одному и~тому же величины равны между собой.}
\stopAxiomOnlyNumber
\startAxiomOnlyNumber[reference=ax:I.II]
Если к~равным величинам прибавляются равные, то и~суммы будут равны.
\stopAxiomOnlyNumber
\startAxiomOnlyNumber[reference=ax:I.III]
Если из равных величин вычитаются равные, то и~остатки будут равны.
\stopAxiomOnlyNumber
\startAxiomOnlyNumber[reference=ax:I.IV]
Если к~неравным величинам прибавляются равные, то суммы будут неравными.
\stopAxiomOnlyNumber
\startAxiomOnlyNumber[reference=ax:I.V]
Если из неравных величин вычитаются равные, остатки будут неравными.
\stopAxiomOnlyNumber
\startAxiomOnlyNumber[reference=ax:I.VI]
Удвоенные одной и~той же или равных величин равны.
\stopAxiomOnlyNumber
\startAxiomOnlyNumber[reference=ax:I.VII]
Половины одной и~той же или равных величин равны.
\stopAxiomOnlyNumber
\startAxiomOnlyNumber[reference=ax:I.VIII]
Совпадающие, или занимающие в~точности равное пространство величины равны.
\stopAxiomOnlyNumber
\startAxiomOnlyNumber[reference=ax:I.IX]
Целое больше его части.
\stopAxiomOnlyNumber
\startAxiomOnlyNumber[reference=ax:I.X]
Две прямых линии не содержат пространства.
\stopAxiomOnlyNumber
\marginNote{Аксиомы XI и~XII теперь обычно включаются в~качестве IV и~V в~состав постулатов.}
\startAxiomOnlyNumber[reference=ax:I.XI]
Все прямые углы равны между собой.
\stopAxiomOnlyNumber
\startAxiomOnlyNumber[reference=ax:I.XII]
\defineNewPicture{
pair A, B, C, D, E, F, G, H;
numeric s;
s := 3/2u;
A := (0, 0);
B := (4/3s, 0);
C := (0, s);
D := (4/3s, s);
E := (1/3s, 8/6s);
F := (xpart(E), -2/6s);
G = whatever[A, B] = whatever[E, F];
H = whatever[C, D] = whatever[E, F];
byAngleDefine(B, G, E, byred, 0);
byAngleDefine(D, H, F, byyellow, 0);
draw byNamedAngleResized();
draw byLine(A, B, byblue, 0, 0);
draw byLine(C, D, byred, 0, 0);
draw byLine(E, F, byblack, 0, 0);
draw byLabelLine(0)(AB, CD, EF);
draw byLabelsOnPolygon(E, H, D)(2, 0);
draw byLabelsOnPolygon(B, G, F)(2, 0);
}
\drawCurrentPictureInMargin
Если две прямые $\left(\vcenter{\nointerlineskip\hbox{\drawUnitLine{AB}}\nointerlineskip\hbox{\drawUnitLine{CD}}}\right)$ встречаются с~третьей \drawUnitLine{EF} так, что два внутренних угла по одну сторону \drawAngle{H} и~\drawAngle{G} меньше двух прямых углов, эти две линии пересекутся, если их продлить по ту сторону, с~которой углы меньше двух прямых углов.
\stopAxiomOnlyNumber
Двенадцатую аксиому можно сформулировать любым из следующих способов:
\startitemize[m,joinedup,nowhite]
\item Две расходящиеся прямых линии не могут быть параллельны одной и~той же прямой линии.
\item Если прямая линия пересекает одну из двух параллельных прямых линий, то она пересекает и~вторую.
\item Через данную точку может быть проведена лишь одна прямая, параллельная данной.
\stopitemize
\stopsupersection
\vfill\pagebreak
\startsupersection[title={Пояснения}]
Основными предметами геометрии являются изложение и~объяснение свойств \emph{фигур}, а~фигура определяется как отношение, существующее между границами пространства. Пространство же или величина бывает трех видов: \emph{линейного}, \emph{поверхностного}, и~\emph{телесного}.