-
Notifications
You must be signed in to change notification settings - Fork 105
/
byrne-ru-latex.tex
13407 lines (11479 loc) · 634 KB
/
byrne-ru-latex.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
\documentclass[letters,booklanguage=russian]{byrnebook}
%\usepackage{lua-visual-debug}
\begin{document}
\thispagestyle{empty}
\begin{center}
\Large \uppercase{Первые шесть книг}
\LARGE \uppercase{Начал Евклида}
\vskip 0.5\baselineskip
\normalsize\uppercase{в которых используются цветные схемы и~знаки вместо букв для большего удобства обучающихся}
\vskip 0.75\baselineskip
\Large \uppercase{Оливера Бирна}
%{\uppercase{SURVEYOR OF HER MAJESTY'S SETTLEMENTS IN THE FALKLAND ISLANDS AND AUTHOR OF NUMEROUS MATHEMATICAL WORKS}}
\defineNewPicture{
textLabels := false;
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, SOLID_SECTOR);
byAngleDefine(B, C, I, byblue, SOLID_SECTOR);
byAngleDefine(A, C, B, byblack, SOLID_SECTOR);
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, DASHED_LINE, REGULAR_WIDTH);
byLineDefine(C, I, byblack, DASHED_LINE, REGULAR_WIDTH);
draw byNamedLineSeq(0)(CF,CI);
byLineDefine(A, B, byyellow, SOLID_LINE, REGULAR_WIDTH);
byLineDefine(B, C, byred, SOLID_LINE, REGULAR_WIDTH);
byLineDefine(C, A, byblue, SOLID_LINE, REGULAR_WIDTH);
draw byNamedLineSeq(1)(AB,BC,CA);
byLineDefine.CAb(C, A, byblack, SOLID_LINE, REGULAR_WIDTH);
byLineStylize (M, M, 1, 0, -1) (CAb);
byLineDefine.AMb(A, M, byblack, SOLID_LINE, REGULAR_WIDTH);
byLineStylize (C, C, 0, 1, -1) (AMb);
byLineDefine.BCb(B, C, byblack, SOLID_LINE, REGULAR_WIDTH);
byLineStylize (L, L, 0, 1, -1) (BCb);
byLineDefine.BLb(L, B, byblack, SOLID_LINE, REGULAR_WIDTH);
byLineStylize (C, C, 1, 0, -1) (BLb);
draw byLabelsOnPolygon(B, E, D, A, G, F, C, I, K, H)(ALL_LABELS, -1);
draw byLabelsOnPolygon(A, J, C)(OMIT_FIRST_LABEL+OMIT_LAST_LABEL, 1);
}
\vfill\vfill
~\hfill\drawCurrentPicture\hfill~
\vfill\vfill\vfill
\large github.com/jemmybutton
\vskip 0.25\baselineskip
\Large 2024 ed.\,0.8-latex-alpha
\vskip \baselineskip
\ccbysa
\vskip 0.25\baselineskip
\footnotesize Эта редакция и~перевод книги Оливера Бирна \emph{The~first~six~books~of~the~Elements~of~Euclid} подготовлены Сергеем~Слюсаревым и~распространяются под лицензией CC-BY-SA~4.0
\vskip -\baselineskip
\normalsize
\end{center}
\pagebreak
\part*{Введение}
\charspacing{-2.5}{\regularLettrine{И}{скусства} и~науки достигли такого уровня развития, что облегчить их усвоение не менее важно, чем расширить их границы. Иллюстрация если и~не уменьшает времени обучения, то по крайней мере делает его более приятным. Цель этой работы, однако, больше, чем просто иллюстрация; мы не вводим цвета лишь ради развлечения или услаждения взгляда \emph{определенными сочетаниями окраски и~формы}, но чтобы помочь разуму в~его поисках истины, обогатить средства обучения и~распространить постоянные знания. Пожелай мы услышать мнение великих о~важности и~полезности геометрии, мы могли бы вспомнить любого философа со времен Платона. У~греков в древности, как и~в~школе Песталоцци и~прочих в~наши дни, геометрия преподается как лучшее упражнение для ума. В~сущности, «Начала» Евклида стали, по общему признанию, основой математической науки во всем цивилизованном мире. Это не должно вызывать удивления, учитывая, что эта величественная наука не~только больше прочих пригодна к~тому, чтобы пробудить дух исследования, возвысить разум и~усилить способности к~рассуждению, но и~составляет лучшее введение в~наиболее полезные и~важные для человека профессии. Арифметика, топография, гидростатика, пневматика, оптика, физическая астрономия и~т.~д.~— все полагаются на предложения геометрии.}
Многое, однако, зависит от того, как наука преподнесена учащемуся, и все же лучшие и~самые простые методы применяются редко. Об~утверждениях, которые открываются на самом пороге науки ученику, пусть даже и~обладающему достаточным пониманием, говорится столь же мало, сколь неблагоприятное предубеждение он получает относительно будущего изучения этого занимательного предмета. Другими словами, \margincomment{Цитата, по-видимому, из предисловия к~«Первым шести книгам Начал Евклида» Дионисия Ларднера}\enquote{формальности и~технические подробности настолько выставляются напоказ, что почти скрывают за собой действительность. Бесконечные озадачивающие повторения, не добавляющие ясности суждениям, делают доказательства запутанными и~туманными и~скрывают от ученика последовательность рассуждений}. В~результате у~учащегося возникает отторжение, и~предмет, предназначенный улучшить мыслительные способности и~привить привычку к~вдумчивости, через сухое и~черствое изложение опускается до уровня скучного упражнения для памяти. Целью учителя должно быть возбуждение любопытства и~пробуждение бесчисленных спящих сил молодых умов, но там, где более всего требуются образцы совершенства, попытки достичь его немногочисленны, при том, что выдающиеся примеры привлекают внимание и~порождают подражания. Цель данной работы~— представление метода обучения геометрии, получившего одобрение многих ученых этой страны, а~также Франции и~Америки. Предложенный здесь план состоит в обращении к~глазам, самому чувствительному и~всестороннему из наших органов, превосходство которого в~запечатлевании своего предмета в~разуме подтверждается неопровержимой максимой, выраженной известными словами Горация:
\begin{center}
\emph{Segnius irritant animos demissa per aurem\\
Quam quae sunt oculis subjecta fidelibus.}\\
\vfill\pagebreak
\margincomment{Перевод М.~Дмитриева}Что к~нам доходит чрез слух, то слабее в~нас трогает сердце,\\
Нежели то, что само представляется верному глазу. % Пер. М. Дмитриева http://lib.ru/POEEAST/GORACIJ/hor1_6.txt
%Трогает душу слабее, что приемлется слухом,\\
%Чем все то, что, видя глазами верными, зритель\\
%Сам себе сообщает... % Пер. А. А. Фета http://lib.ru/POEEAST/GORACIJ/hor3_1.txt_with-big-pictures.html
\end{center}
Язык целиком состоит из знаков, и~те знаки лучшие, какие выполняют свое назначение с~наибольшей точностью и~быстротой. Так, для всех обычных целей применяются слышимые знаки, называемые словами, которые считаются слышимыми, доносятся ли они непосредственно через уши или опосредованно через глаза в~виде букв. Геометрические построения~— это не знаки, но принадлежности геометрической науки, задача которых~— показать относительные размеры своих частей с~помощью процесса рассуждения, называемого доказательством. Такое рассуждение чаще всего доносилось в~виде слов, букв и~черных, нераскрашенных диаграмм, но поскольку использование цветных символов, знаков и~диаграмм в~искусствах и~науках делает ход рассуждения более точным, а~усвоение более скорым, в~данном случае они были соответствующим образом внедрены.
Этот весьма заманчивый способ донесения знаний столь действенен, что «Начала» Евклида могут быть усвоены менее чем за треть от времени, какое требуется обычно, а~в~памяти они сохранятся, напротив, намного дольше. Эти факты были установлены во множестве экспериментов, проведенных как автором, так и~другими, внедрившими его задумку. Рецепт же короток и~очевиден: буквы, присвоенные точкам, линиям или другим частям построения, в~действительности всего лишь произвольные имена и~представляют те в~доказательстве, вместо этого части, получающие различные цвета, называют сами себя, так как их формы и~соответствующие цвета представляют их в~доказательстве.
Чтобы дать лучшее представление об этой системе и~преимуществах, получаемых от ее внедрения, возьмем прямоугольный треугольник и~выразим некоторые его свойства как цветами, так и~общепринятым способом.
\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, SOLID_SECTOR);
byAngleDefine(B, C, A, byblue, SOLID_SECTOR);
byAngleDefine(C, A, B, byred, SOLID_SECTOR);
draw byNamedAngleResized();
byLineDefine(A, B, byblue, SOLID_LINE, REGULAR_WIDTH);
byLineDefine(B, C, byred, SOLID_LINE, REGULAR_WIDTH);
byLineDefine(C, A, byyellow, SOLID_LINE, REGULAR_WIDTH);
draw byNamedLineSeq(0)(AB,BC,CA);
label.top(btex B etex, B);
label.rt(btex C etex, C);
label.lft(btex A etex, A);
angleScale := 4/5;
}
\vskip \baselineskip
\begin{center}
\emph{Некоторые свойства прямоугольного треугольника ABC, выраженные общепринятым способом:}
\end{center}
\drawCurrentPictureInMargin
\vskip 0.5\baselineskip
\begin{enumerate}
\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.
\end{enumerate}
\vskip \baselineskip
\begin{center}
\emph{Те же свойства, выраженные раскрашиванием различных частей:}
\end{center}
\vskip 0.5\baselineskip
\begin{enumerate}
\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}$. \\ Иначе говоря, желтый угол за вычетом синего угла равен красному углу.
\item $\drawUnitLine{CA}^2 = \drawUnitLine{AB}^2 + \drawUnitLine{BC}^2$. \\ То есть квадрат желтой линии равен сумме квадратов синей и~красной.
\end{enumerate}
\vskip \baselineskip
Цвета в~устных доказательствах дают нам то важное преимущество, что позволяют обратиться к~глазам и~ушам одновременно, так что для обучения геометрии и~другим наукам в~аудитории эта система является лучшей из когда-либо предложенных, что явствует из приведенных примеров.
Отсюда очевидно, что отсылки в~тексте к~построению считываются быстрее и~надежнее, если приводить формы и~цвета их частей или называть части по их цветам, чем если называть части и~буквы на построении. Помимо превосходной легкости, система также замечательна тем, что помогает сосредоточиться и~полностью исключает вредоносную, хотя и~распространенную практику передоверять всё доказательство памяти, до тех пор, пока рассуждения, факты и~доводы не оставят отпечаток в понимании.
\charspacing{-2}{Опять же если мы, говоря о~свойствах фигур перед аудиторией, упомянем цвет части или частей, о~которых идет речь, как то: красный угол, синяя линия или линии и~т. п., обозначенные часть или часть будут сразу же видны всем; совсем не то что сказать про угол ABC, треугольник PFQ, фигуру EGKt и~так далее, поскольку буквы приходится разыскивать по одной, прежде чем ученики составят в~уме ту конкретную величину, о~которой идет речь, что часто может привести к~путанице и~ошибкам, а~также к~потере времени. Кроме того, если части, принятые равными, окрашены в~один цвет на построении, разуму не придется отклоняться от рассматриваемого объекта, то есть такая схема наглядно представляет части, равенство которых предстоит показать, и~учащийся не упускает из виду эти сведения в~течение всего рассуждения. Но какими бы ни были преимущества представленного плана, если даже не прибегать к~нему всегда, он может стать мощным дополнительным инструментом, наряду с~другими методами, для введения в~материал, более быстрого запоминания или более надежного закрепления в~памяти.}
Опыт тех, кому приходилось создавать системы для закрепления фактов пониманием, доказывает, что цветные представления, такие как картинки, вырезанные фигуры, диаграммы и~т. п., укладываются в~сознании много легче, чем простые, ничем не выделяющиеся высказывания. Любопытно, что поэтам эта истина знакома лучше, чем математикам, многие современные поэты указывают на подобную систему донесения знаний, один из них выразился так:
\vskip 0.5\baselineskip
\begin{center} % Вместо другого перевода тех же строк Горация перевод близких по смыслу стихов Марка Эйкенсайда The Pleasures Of Imagination by Mark Akenside (1721–1770) https://archive.org/stream/pleasuresofimagi00aken#page/50/mode/2up
\margincomment{В~оригинале автор, по-видимому по ошибке, приводит другой перевод тех же строк Горация. Здесь на~его месте перевод фрагмента из~поэмы Марка Эйкенсайда (1721–1770) \emph{The~Pleasures Of~Imagination.}}
Ведь жаждет знаний человек, и~истины лучи\\
Охотней тронут пониманья глаз,\\
Чем уши звуков лесть,\\
Чем всякий вкус язык...
% 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...
\end{center}
\vskip 0.5\baselineskip
Это, возможно, единственное улучшение, которое получила геометрия со времен Евклида, а~если до того и~были значимые геометры, то успех Евклида затмил их в~памяти до такой степени, что многие достижения в~этой области приписываются ему, подобно Эзопу среди баснописцев. Также нелишним будет отметить, что как осязаемые построения представляют единственный способ донесения геометрии до слепых, так и~зримая система не менее приспособлена к~нуждам глухих и~немых.
Следует уделить внимание объяснению того, что цвета не имеют иного отношения к~линиям, углам и другим величинам, кроме как обозначают их. Математическая линия, представляющая собой длину без ширины, не может иметь цвета, но место соприкосновения двух цветов на одной плоскости дает хорошее представление о~том, что такое линия в~математике. Запомним, что, строго говоря, мы имеем в~виду такое соприкосновение, а~не цвет, когда говорим о~черной линии, красной линии или линиях и~т. п.
Цвета и~раскрашенные диаграммы могут, на первый взгляд, показаться неуклюжим способом донесения правильных представлений о~свойствах и~частях математических фигур и~величин, однако, как мы увидим, они являются средством более изящным и~емким, чем любые предложенные ранее.
Теперь мы дадим определение точке, линии и~поверхности и~докажем теорему, чтобы показать верность этого суждения.
Точкой называют то, у~чего есть положение, но нет величины, или точка~— это одно лишь положение, лишенное длины, ширины и~толщины. Следующее описание, возможно, более пригодно для объяснения сущности математической точки тем, кто еще не освоил идею, имеющую приведенное выше обманчивое определение.
\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, SOLID_SECTOR);
draw byAngle(B, O, C, byblue, SOLID_SECTOR);
draw byAngle(C, O, A, byyellow, SOLID_SECTOR);
}
\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, SOLID_LINE, 2);
draw byLine(A''', C''', white, SOLID_LINE, 2);
draw byLine(A''', A', white, SOLID_LINE, 2);
draw byLine(D', C', white, SOLID_LINE, THIN_WIDTH);
draw byLine(D', B', white, SOLID_LINE, THIN_WIDTH);
draw byLine(D', D''', white, SOLID_LINE, THIN_WIDTH);
label.lft(btex P etex, C');
label.lft(btex R etex, C'');
label.rt(btex S etex, B'');
label.rt(btex Q etex, B''');
}
\drawCurrentPictureInMargin
Рассматривая объемное тело (PQ), мы сразу понимаем, что у~него есть три измерения, а~именно: длина, ширина и~толщина. Теперь предположим, что одна часть тела (PS) красная, а~другая (QR) желтая, и~эти цвета раздельны и~не смешиваются. Синяя поверхность (RS), разделяющая эти части, или, иначе говоря, разделяющая тело без потери материала, должна быть без толщины и~иметь только длину и~ширину. Это очевидно из рассуждений, подобных примененным выше для определения, а~точнее для описания точки или линии.
\defineNewPicture[1/3]{
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, SOLID_SECTOR);
byAngleDefine(A, B, C, byblue, SOLID_SECTOR);
byAngleDefine(B, C, A, byblue, SOLID_SECTOR);
byAngleDefine(C, B, E, byyellow, SOLID_SECTOR);
byAngleDefine(D, C, B, byyellow, SOLID_SECTOR);
byAngleDefine(B, D, C, byred, SOLID_SECTOR);
byAngleDefine(C, E, B, byred, SOLID_SECTOR);
byAngleDefine(E, B, D, byyellow, ARC_SECTOR);
byAngleDefine(D, C, E, byyellow, ARC_SECTOR);
draw byNamedAngleResized();
byLineDefine(B, D, byyellow, SOLID_LINE, REGULAR_WIDTH);
byLineDefine(C, E, byyellow, SOLID_LINE, REGULAR_WIDTH);
byLineDefine(B, E, byblue, SOLID_LINE, REGULAR_WIDTH);
byLineDefine(C, D, byblue, SOLID_LINE, REGULAR_WIDTH);
byLineDefine(A, B, byred, SOLID_LINE, REGULAR_WIDTH);
byLineDefine(A, C, byred, SOLID_LINE, REGULAR_WIDTH);
byLineDefine(B, C, byblack, SOLID_LINE, REGULAR_WIDTH);
draw byNamedLineSeq(0)(CD,noLine,BC,noLine,BE,CE,AC,AB,BD);
label.top(btex A etex, A);
label.lft(btex C etex, C);
label.rt(btex B etex, B);
label.lft(btex E etex, E);
label.rt(btex D etex, D);
}
Для того чтобы прояснить, как именно применяются эти принципы, мы выбрали предложение из первой книги.
В равнобедренном треугольнике ABC внутренние углы при основании ABC и~ACB равны, а~если продлить стороны AB и~AC, внешние углы при основании BCE, CBD также будут равны.
\begin{center}
Продлим \drawUnitLine{AB} и~\drawUnitLine{AC},\drawCurrentPictureInMargin\\
сделаем $\drawUnitLine{BD} = \drawUnitLine{CE}$, проведем \drawUnitLine{BE} и~\drawUnitLine{CD}.
В
\drawFromCurrentPicture{
startAutoLabeling;
draw byNamedAngle(BAC);
draw byNamedLineSeq(0)(BE,CE,AC,AB);
stopAutoLabeling;
}
и
\drawFromCurrentPicture{
startAutoLabeling;
draw byNamedAngle(BAC);
draw byNamedLineSeq(0)(BD,CD,AC,AB);
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}$ \byref{prop:I.IV}.
Теперь в~\drawFromCurrentPicture{
startAutoLabeling;
draw byNamedAngle(E);
draw byNamedLineSeq(0)(BE,CE,BC);
stopAutoLabeling;
} и~\drawFromCurrentPicture{
startAutoLabeling;
draw byNamedAngle(D);
draw byNamedLineSeq(0)(BD,CD,BC);
stopAutoLabeling;
}\\
$\drawUnitLine{BD} = \drawUnitLine{CE}$, $\drawAngle{CEB} = \drawAngle{BDC}$\\
и $\drawUnitLine{BE} = \drawUnitLine{CD}$.
$\therefore \drawAngle{DCE,DCB} = \drawAngle{EBD,CBE}$
и $\drawAngle{DCB} = \drawAngle{CBE}$ \byref{prop:I.IV}.
Но $\drawAngle{BCA,DCB} = \drawAngle{ABC,CBE}$,
$\therefore \drawAngle{BCA} = \drawAngle{ABC}$.
\end{center}
\qedNB
\begin{center}
\emph{Если использовать буквы}
\end{center}
Продлим равные стороны AB и~AC через концы третьей стороны BC. На любой из продленных частей BD возьмем любую точку D и~от другой отсечем AE, равную AD \byref{prop:I.III}. Теперь взятые таким образом на продленных сторонах точки E и~D соединим прямыми линиями DC и~BE с~противолежащими концами третьей стороны треугольника.
В треугольниках DAC и~EAB стороны DA и~AC соответственно равны EA и~AB, а~прилежащий угол A общий обоим. Следовательно \byref{prop:I.IV}, линия DC равна BE, угол ADC равен AEB, а~угол ACD — углу ABE. Если из равных линий AD и~AE вычесть равные AB и~AC, остатки BD и~CE также будут равны. А~значит, в~треугольниках BDC и~CEB стороны BD и~DC соответственно равны CE и~EB и~углы D и~E, заключенные между этими сторонами, также равны. А~значит \byref{prop:I.IV}, углы DBC и~ECB, заключенные между третьей стороной BC и~продолжениями сторон AB и~AC, также равны. Кроме того, углы DCB и~EBC равны, если равные углы вычитаются из углов DCA и~EBA, равенство которых было показано выше, а~значит остатки, то есть углы ABC и~ACB, противолежащие равным сторонам, будут равны.
\emph{Следовательно, в~равностороннем треугольнике…} и~т. д.
\qedNB
\vskip \baselineskip
Поскольку здесь нашей целью было представить систему, а~не объяснить какой-либо набор предложений, мы взяли то, что выше, из самого курса. В~школах и~других общественных учебных заведениях с~подобными построениями помогут цветные мелки, для индивидуального использования очень удобны цветные карандаши.
Мы очень рады, что начала математики теперь составляют часть любого достойного образования для женщин, поэтому мы призываем обратить внимание на этот привлекательный метод донесения знания и~дальнейшую работу по его развитию тех, кто заинтересован или вовлечен в~образование для дам.
В заключение отметим, что поскольку можно так же надежно и~быстро обратиться к~чувствам зрения и~слуха тысячи, как и~одного, \emph{миллионы} можно обучить геометрии и~другим отраслям математики с~большой легкостью; это способствовало бы успехам образования больше, чем что-либо, что можно назвать, поскольку это научило бы людей, как думать, а~не, что характерно для образования, чтó думать, в~чем и~берет начало его большая ошибка.
\chapter*{Пояснения}
Основными предметами геометрии являются изложение и~объяснение свойств \emph{фигур}, а~фигура определяется как отношение, существующее между границами пространства. Пространство же или величина бывает трех видов: \emph{линейного}, \emph{поверхностного}, и~\emph{телесного}.
\defineNewPicture{
pair A, B, C;
numeric s;
s := 3/2u;
A := (0, s);
B := (1/2s, 0);
C := B xscaled -1;
byAngleDefine(B, A, C, byyellow, SOLID_SECTOR);
draw byNamedAngleResized();
byLineDefine(B, A, byblue, SOLID_LINE, REGULAR_WIDTH);
byLineDefine(C, A, byred, SOLID_LINE, REGULAR_WIDTH);
draw byNamedLineSeq(0)(CA,BA);
label.urt(btex A etex, A);
}\drawCurrentPictureInMargin
Углы справедливо называть четвертым видом величин. Угловые величины очевидно состоят из частей, и, следовательно, их нужно признать разновидностью количеств. Ученик не должен считать, что величина угла зависит от длин прямых линий, заключающих его, и~мерой взаимного расхождения которых он является. \emph{Вершиной} угла называется точка, в~которой встречаются \emph{стороны} угла, как, например, A.
\defineNewPicture{
pair B, C, D, E, F, G, H;
numeric s;
s := 5/4u;
C := (0, 0);
B := dir(0)*s;
D := dir(50)*s;
E := dir(-30)*s;
F := E scaled -1;
G := D scaled -1;
H := B scaled -1;
angleScale := 4/3;
draw byAngle(E, C, B, byyellow, SOLID_SECTOR);
draw byAngle(B, C, D, byblack, SOLID_SECTOR);
draw byAngle(D, C, F, byblue, SOLID_SECTOR);
draw byAngle(F, C, H, byred, SOLID_SECTOR);
draw byAngle(H, C, G, byyellow, ARC_SECTOR);
draw byAngle(G, C, E, byblue, ARC_SECTOR);
draw byLine(B, H, byblue, SOLID_LINE, REGULAR_WIDTH);
draw byLine(D, G, byred, SOLID_LINE, REGULAR_WIDTH);
draw byLine(E, F, byblack, SOLID_LINE, REGULAR_WIDTH);
label.bot(btex C etex, C shifted (0, -3pt));
label.bot(btex B etex, B);
label.lrt(btex D etex, D);
label.llft(btex F etex, F);
label.bot(btex H etex, H);
label.lrt(btex G etex, G);
label.llft(btex E etex, E);
}
\drawCurrentPictureInMargin Угол часто обозначается одной буквой, когда в~вершине сходятся только его стороны. Так, красная и~синяя линия образуют желтый угол, который иначе назывался бы углом A. Но если более двух линий встречаются в~одной точке, с~использованием старых методов во избежание путаницы было бы необходимо использовать три буквы, чтобы обозначить угол при этой точке, так что буква, обозначающая вершину, всегда помещалась бы посередине. Так, черная и~красная линия, встречающиеся в~точке C, образуют синий угол, и~обычным способом он бы обозначался как угол FCD или DCF. Линии FC и~CD, стороны угла, а~точка C~— его вершина. Таким же образом черный угол обозначался бы DCB или BCD. Красный и~синий углы вместе, или угол HCF вместе с~FCD, составляли бы угол HCD, и~так далее для других углов.
\defineNewPicture{
textLabels := false;
pair B, C, D, E, F, G, H;
numeric s;
s := u;
C := (0, 0);
B := dir(15)*s;
E := dir(-15)*s;
F := E scaled -1;
H := B scaled -1;
draw byAngle(E, C, B, byyellow, SOLID_SECTOR);
draw byAngle(F, C, H, byred, SOLID_SECTOR);
draw byLine(B, H, byblack, SOLID_LINE, THIN_WIDTH);
draw byLine(E, F, byblack, SOLID_LINE, THIN_WIDTH);
} % в оригинале отдельной иллюстрации не было
Когда стороны угла продлеваются далее вершины, углы, образованные ими по обе стороны вершины называются \emph{вертикально противоположными} друг другу: \drawCurrentPictureInMargin так \drawAngle{FCH} и \drawAngle{ECB} вертикально противоположны.
\emph{Совмещением} называют действие, когда одну величину можно представить помещенной поверх другой так, что она точно покрывает ее, или так, что все их части в~точности совпадают.
Линию называют \emph{продленной}, когда она вытягивается, продолжается или увеличивается в~длине, а~увеличение в~длине, которое получает линия, называется \emph{продленной частью} или ее \emph{продолжением}.
Полная длина линии или линий, заключающих фигуру, называется ее \emph{периметром}. %Первые шесть книг Евклида касаются только плоских фигур. это было в оригинале, но, вероятно, не нужно.
Линия, проведенная из центра круга к~окружности, называется \emph{радиусом}. Сторона прямоугольного треугольника, противолежащая прямому углу, называется \emph{гипотенузой}. % oblong=rectangle, по русски это не нужно
Все линии, рассматриваемые в~первых шести книгах, считаются лежащими в~одной плоскости.
В евклидовой геометрии разрешается пользоваться только \emph{линейкой} и~\emph{циркулем}. Постулаты призваны донести это ограничение.
\emph{Аксиомы} геометрии~— это некоторые общие предложения, истинность которых принимается как самоочевидная, и~которую нельзя показать с~помощью доказательства.
\emph{Предложения}~— это результаты в~геометрии, полученные через процесс рассуждения. В~геометрии есть два типа предложений, \emph{задачи} и~\emph{теоремы}.
\emph{Задача}~— это предложение, в~котором предлагается что-либо сделать, например провести линию, соответствующую данным условиям, описать круг, построить фигуру и~т. п.
\emph{Решение} задачи состоит в~том, чтобы показать, как можно сделать требуемое с~помощью линейки и~циркуля.
\emph{Доказательство} состоит в~обосновании того, что действия, представленные в~решении, позволяют достичь требуемого.
\emph{Теорема}~— это предложение, в~котором требуется доказать истинность некоего утверждения. Это утверждение должно быть выведено из аксиом и~определений или ранее и~независимо установленных истин. Это и~является целью доказательства.
\emph{Задача} подобна постулату.
\emph{Теорема} напоминает аксиому.
\emph{Постулат}~— это задача, решение которой предопределено.
\emph{Аксиома}~— это теорема, истинность которой принимается как данность, без доказательства.
\emph{Следствие}~— это умозаключение, выводимое непосредственно из предложения.
\emph{Примечание}~— это заметка или наблюдение, касающееся предложения, не содержащее умозаключений достаточной важности, чтобы называться \emph{следствием}.
\emph{Лемма}~— это предложение, введенное исключительно с~целью доказательства более важного предложения.
\vfill\pagebreak
\chapter*{Обозначения}
\symb{$\therefore$}
обозначает слово \emph{следовательно}.
\symb{$\because$}
обозначает слово \emph{поскольку}.
\symb{$=$}
обозначает слово \emph{равно}. Знак равенства можно читать как \emph{равно} или \emph{равны}, род и~число на геометрическую строгость не влияют.
\symb{$\neq$}
обозначает то же, как если бы было написано \emph{не равно}.
\symb{$>$}
обозначает \emph{больше чем}.
\symb{$<$}
обозначает \emph{меньше чем}.
\symb{$\ngtr$}
обозначает \emph{не больше чем}.
\symb{$\nless$}
обозначает \emph{не меньше чем}.
\symb{$+$}
читается как \emph{плюс} и~обозначает сложение; будучи помещенным между двумя и~более величинами, обозначает их сумму.
\symb{$-$}
читается как \emph{минус} и~обозначает вычитание; будучи расположенным между двумя количествами, указывает на то, что последнее вычитается из первого.
\symb{$\times$}
этот символ обозначает произведение двух или более чисел, будучи помещенным между ними в~арифметике или алгебре. Но в~геометрии он обычно используется для обозначения \emph{прямоугольника}, когда помещен между \enquote{двумя прямыми линиями, содержащими один из его прямых углов}. \emph{Прямоугольник} может также обозначаться точкой между двумя смежными сторонами.
\symb{$:\ ::\ :$}
обозначает \emph{аналогию} или \emph{пропорцию}. Так, если A, B, C и~D представляют четыре величины и~A имеет к~B такое же отношение, как C к~D, то пропорция кратко записывается следующим образом:
$A : B :: C : D$, $A : B = C : D$, или $\dfrac{A}{B} = \dfrac{C}{D}$.
Это равенство или одинаковость отношений читается:
\emph{как A к~B, так и~C к~D;} или \emph{A к~B, как C к~D.}
\symb{$\parallel$}
обозначает \emph{параллельно к}.
\symb{$\perp$}
обозначает \emph{перпендикулярно к}.
\defineNewPicture{
pair A, B, C, D;
numeric s;
s := 3/2u;
A := (0, 0);
B := dir(0)*s;
C := dir(50)*s;
D := dir(90)*s;
byAngleDefine(B, A, C, byblack, ARC_SECTOR);
byAngleDefine(B, A, D, byblack, ARC_SECTOR);
byPointLabelRemove(A, B, C, D);
}
\symb{\drawAngle{BAC}}
обозначает \emph{угол}.
\symb{\drawAngle{BAD}}
обозначает \emph{прямой угол}.
\symb{\drawTwoRightAngles}
обозначает \emph{два прямых угла}.
\defineNewPicture{
pair A, B, C, D;
A := (0, -1/4u);
B := (u, 0);
C := (-u, 0);
D := (0, u);
byLineDefine (A, D, byblack, SOLID_LINE, REGULAR_WIDTH);
byLineDefine (B, D, byblack, SOLID_LINE, REGULAR_WIDTH);
byLineDefine (C, D, byblack, SOLID_LINE, REGULAR_WIDTH);
byPointLabelRemove(A, D);
}
\symb{\drawFromCurrentPicture{
draw byNamedLine(AD);
draw byNamedLineSeq(0)(BD,CD);
}
или
\drawFromCurrentPicture{
draw byNamedLineSeq(0)(AD,BD);
}}
кратко обозначает \emph{точку}.
Квадрат, построенный на линии, кратко записывается так: $\drawUnitLine{AD}^2$.
Таким же образом дважды квадрат обозначается так: $2 \cdot \drawUnitLine{AD}^2$.
\symb{\indefstr}
обозначает \emph{определение}.
\symb{\inpoststr}
обозначает \emph{постулат}.
\symb{\inaxstr}
обозначает \emph{аксиому}.
\symb{\hypstr}
обозначает \emph{гипотезу}. Здесь важно отметить, что \emph{гипотеза} — это условие, которое принимается как данное. Так, гипотеза предложения, данного во введении, в~том, что треугольник равнобедренный, или что две его стороны равны.
\symb{\conststr}
обозначает \emph{построение}. \emph{Построения} — это изменения, сделанные в~исходном изображении добавлением линий, углов, кругов и~т. п. с~целью приспособления его к~доказательству или решению задачи. Условия, при которых сделаны эти изменения так же бесспорны, как и~содержащиеся в~гипотезе. Например, если мы делаем угол равным данному углу, то эти два угла равны по построению.
\symb{\qedstr}
обозначает \emph{что и~требовалось доказать}.
\part{}
\chapter*{Определения}
\startdefinition{}\label{def:I.I}
\begin{center}
\emph{Точка} есть то, что не имеет частей.
\end{center}
\startdefinition{}\label{def:I.II}
\begin{center}
\emph{Линия} — это длина без ширины.
\end{center}
\startdefinition{}\label{def:I.III}
\begin{center}
Концы линии — точки.
\end{center}
\startdefinition{}\label{def:I.IV}
\begin{center}
Прямая линия есть та, которая равно расположена по отношению к~точкам на ней.
\end{center}
\startdefinition{}\label{def:I.V}
\begin{center}
Поверхность есть то, что имеет только длину и~ширину.
\end{center}
\startdefinition{}\label{def:I.VI}
\begin{center}
Концы поверхности — линии.
\end{center}
\startdefinition{}\label{def:I.VII}
\begin{center}
Плоская поверхность есть та, которая равно расположена по отношению к~прямым на ней.
\end{center}
\startdefinition{}\label{def:I.VIII}
\begin{center}
Плоский угол есть наклонение друг к~другу двух линий, в~плоскости встречающихся друг с~другом, но не направленных одинаково.
\end{center}
\defineNewPicture{
pair A, B, C;
A := (0, 0);
B := (2/3u, 2/3u);
C := (u, ypart(A));
byAngleDefine(B, A, C, byyellow, SOLID_SECTOR);
draw byNamedAngleResized();
byLineDefine(A, B, byblue, SOLID_LINE, REGULAR_WIDTH);
byLineDefine(A, C, byred, SOLID_LINE, REGULAR_WIDTH);
draw byNamedLineSeq(0)(AC,AB);
}
\startdefinition{}\label{def:I.IX}
\begin{center}
\drawCurrentPictureInMargin[inside] Прямолинейный угол есть наклонение друг к~другу двух пересекающихся и~не совпадающих прямых линий.
\end{center}
\defineNewPicture{
pair A, B, C, D;
A := (0, 0);
B := (u, 0);
C := (0, 2/3u);
D := (-u, 0);
byAngleDefine(B, A, C, byblack, ARC_SECTOR);
byAngleDefine(D, A, C, byblack, ARC_SECTOR);
draw byNamedAngleResized();
draw byLine(D, B, byblack, SOLID_LINE, REGULAR_WIDTH);
draw byLine(A, C, byblack, SOLID_LINE, REGULAR_WIDTH);
}
\startdefinition{}\label{def:I.X}
\begin{center}
\drawCurrentPictureInMargin[inside] Когда прямая восстановленная на другой прямой образует равные смежные углы, каждый из этих углов называется \emph{прямым углом}, а~каждая из этих прямых называется \emph{перпендикуляром} к~другой.
\end{center}
\defineNewPicture{
pair A, B, C;
A := (0, 0);
B := (-2/3u, 2/3u);
C := (u, ypart(A));
byAngleDefine(B, A, C, byred, SOLID_SECTOR);
draw byNamedAngleResized();
byLineDefine(A, B, byyellow, SOLID_LINE, REGULAR_WIDTH);
byLineDefine(A, C, byblue, SOLID_LINE, REGULAR_WIDTH);
draw byNamedLineSeq(0)(AC,AB);
}
\startdefinition{}\label{def:I.XI}
\begin{center}
\drawCurrentPictureInMargin[inside] \emph{Тупым} называется угол больше прямого.
\end{center}
\defineNewPicture{
pair A, B, C;
A := (0, 0);
B := (2/3u, 2/3u);
C := (u, ypart(A));
byAngleDefine(B, A, C, byblue, SOLID_SECTOR);
draw byNamedAngleResized();
byLineDefine(A, B, byyellow, SOLID_LINE, REGULAR_WIDTH);
byLineDefine(A, C, byred, SOLID_LINE, REGULAR_WIDTH);
draw byNamedLineSeq(0)(AC,AB);
}
\startdefinition{}\label{def:I.XII}
\begin{center}
\drawCurrentPictureInMargin[inside] \emph{Острым} называется угол меньше прямого.
\end{center}
\startdefinition{}\label{def:I.XIII}
\begin{center}
\emph{Граница} есть то, что является оконечностью чего-либо.
\end{center}
\startdefinition{}\label{def:I.XIV}
\begin{center}
\emph{Фигура} есть то, что содержится внутри какой-нибудь или каких-нибудь границ.
\end{center}
\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, SOLID_LINE, REGULAR_WIDTH);
draw byLine(O, C)(byred, SOLID_LINE, REGULAR_WIDTH);
draw byLine(O, E)(byyellow, SOLID_LINE, REGULAR_WIDTH);
draw byLine(D, A)(byblue, SOLID_LINE, REGULAR_WIDTH);
draw byCircleR(O, r, byred, 0, 0, 0);
}
\startdefinition{}\label{def:I.XV}
\begin{center}
\drawCurrentPictureInMargin[inside] \emph{Круг} есть плоская фигура, содержащаяся внутри одной линии, называемой окружностью, в~которой есть точка, все прямые падающие на окружность из которой равны.
\end{center}
\startdefinition{}\label{def:I.XVI}
\begin{center}
Точка в~круге, все прямые к~окружности из которой равны называется \emph{центром.}
\end{center}
\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, SOLID_LINE, REGULAR_WIDTH);
draw byCircleR(O, r, byred, 0, 0, 0);
}
\startdefinition{}\label{def:I.XVII}
\begin{center}
\drawCurrentPictureInMargin[inside] \emph{Диаметр} круга есть прямая линия, проходящая через центр и~ограниченная с~обеих сторон окружностью.
\end{center}
\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, SOLID_LINE, REGULAR_WIDTH);
draw byArc(O, A, B)(r, byyellow, 0, 0, 0, 0);
draw byArc(O, B, A)(r, byyellow, 1, 0, 0, 0);
}
\startdefinition{}\label{def:I.XVIII}
\begin{center}
\drawCurrentPictureInMargin[inside] \emph{Полукруг} есть фигура, содержащаяся между диаметром и~отсекаемой им частью окружность.
\end{center}
\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, SOLID_LINE, REGULAR_WIDTH);
draw byArc(O, A, B)(r, byblue, 0, 0, 0, 0);
draw byArc(O, B, A)(r, byblue, 1, 0, 0, 0);
}
\startdefinition{}\label{def:I.XIX}
\begin{center}
\drawCurrentPictureInMargin[inside] \emph{Сегментом круга} называется фигура, содержащаяся между прямой линией и~частью окружности, ей отсекаемой.
\end{center}
\startdefinition{}\label{def:I.XX}
\begin{center}
\emph{Прямолинейной фигурой} называется фигура, содержащаяся между прямыми линиями.
\end{center}
\startdefinition{}\label{def:I.XXI}
\begin{center}
\emph{Треугольником} называется прямолинейная фигура с~тремя сторонами.
\end{center}
\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, SOLID_LINE, REGULAR_WIDTH);
draw byLine(A, D)(byblue, SOLID_LINE, REGULAR_WIDTH);
byLineDefine(A, B, byyellow, SOLID_LINE, REGULAR_WIDTH);
byLineDefine(A, C, byyellow, SOLID_LINE, REGULAR_WIDTH);
byLineDefine(B, D, byyellow, SOLID_LINE, REGULAR_WIDTH);
byLineDefine(C, D, byblack, SOLID_LINE, REGULAR_WIDTH);
draw byNamedLineSeq(0)(BD,CD,AC,AB);
draw byLabelsOnPolygon(A, B, D, C)(ALL_LABELS, 0);
}
\startdefinition{}\label{def:I.XXII}
\begin{center}
\drawCurrentPictureInMargin[inside] \emph{Четырехсторонняя фигура} та, у~которой четыре стороны. Прямые линии \drawUnitLine{AD} и~\drawUnitLine{CB}, соединяющие вершины противоположных углов четырехсторонней фигуры называются \emph{диагоналями.}
\end{center}
\startdefinition{}\label{def:I.XXIII}
\begin{center}
\emph{Многоугольник} есть прямоугольная фигура с~более чем четырьмя сторонами.
\end{center}
\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, SOLID_LINE, REGULAR_WIDTH);
byLineDefine(B, C, byred, SOLID_LINE, REGULAR_WIDTH);
byLineDefine(C, A, byyellow, SOLID_LINE, REGULAR_WIDTH);
draw byNamedLineSeq(0)(AB,BC,CA);
}
\startdefinition{}\label{def:I.XXIV}
\begin{center}
\drawCurrentPictureInMargin[inside] \emph{Равносторонним} называется треугольник, все стороны которого равны.
\end{center}
\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, SOLID_LINE, REGULAR_WIDTH);
byLineDefine(B, C, byred, SOLID_LINE, REGULAR_WIDTH);
byLineDefine(C, A, byred, SOLID_LINE, REGULAR_WIDTH);
draw byNamedLineSeq(0)(AB,BC,CA);
}
\startdefinition{}\label{def:I.XXV}
\begin{center}
\drawCurrentPictureInMargin[inside] Треугольник у~которого равны две стороны называется \emph{равнобедренным.}
\end{center}
\startdefinition{}\label{def:I.XXVI}
\begin{center}
\emph{Разносторонним} называется треугольник со всеми неравными сторонами.
\end{center}
\defineNewPicture{
pair A, B, C;
A := (0, 0);
B := (-u, 0);
C := (0, 3/4u);
byLineDefine(A, B, byred, SOLID_LINE, REGULAR_WIDTH);
byLineDefine(B, C, byyellow, SOLID_LINE, REGULAR_WIDTH);
byLineDefine(C, A, byblue, SOLID_LINE, REGULAR_WIDTH);
draw byNamedLineSeq(0)(AB,BC,CA);
}
\startdefinition{}\label{def:I.XXVII}
\begin{center}
\drawCurrentPictureInMargin[inside] Треугольник у~которого есть прямой угол называется \emph{прямоугольным}.
\end{center}
\defineNewPicture{
pair A, B, C;
A := (-1/4u, 0);
B := (-u, 0);
C := (0, 3/4u);
byLineDefine(A, B, byred, SOLID_LINE, REGULAR_WIDTH);
byLineDefine(B, C, byblue, SOLID_LINE, REGULAR_WIDTH);
byLineDefine(C, A, byyellow, SOLID_LINE, REGULAR_WIDTH);
draw byNamedLineSeq(0)(AB,BC,CA);
}
\startdefinition{}\label{def:I.XXVIII}
\begin{center}
\drawCurrentPictureInMargin[inside] \emph{Тупоугольным} называется треугольник, у~которого есть тупой угол.
\end{center}
\defineNewPicture{
pair A, B, C;
A := (0, 0);
B := (-u, 0);
C := (-1/4u, 3/4u);
byLineDefine(A, B, byblue, SOLID_LINE, REGULAR_WIDTH);
byLineDefine(B, C, byyellow, SOLID_LINE, REGULAR_WIDTH);
byLineDefine(C, A, byred, SOLID_LINE, REGULAR_WIDTH);
draw byNamedLineSeq(0)(AB,BC,CA);
}
\startdefinition{}\label{def:I.XXIX}
\begin{center}
\drawCurrentPictureInMargin[inside] \emph{Остроугольным} называется треугольник, все углы которого острые.
\end{center}
\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, SOLID_LINE, REGULAR_WIDTH);
byLineDefine(A, C, byblue, SOLID_LINE, REGULAR_WIDTH);
byLineDefine(B, D, byyellow, SOLID_LINE, REGULAR_WIDTH);
byLineDefine(C, D, byblack, SOLID_LINE, REGULAR_WIDTH);
draw byNamedLineSeq(0)(AB,AC,CD,BD);
}
\startdefinition{}\label{def:I.XXX}
\begin{center}
\drawCurrentPictureInMargin[inside] Из четырехсторонних фигур, \emph{квадратом} называется та, все стороны которой равны между собой, и~все углы прямые.
\end{center}
\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, SOLID_LINE, REGULAR_WIDTH);
byLineDefine(A, C, byblue, SOLID_LINE, REGULAR_WIDTH);
byLineDefine(B, D, byyellow, SOLID_LINE, REGULAR_WIDTH);
byLineDefine(C, D, byblack, SOLID_LINE, REGULAR_WIDTH);
draw byNamedLineSeq(0)(AB,AC,CD,BD);
}
\startdefinition{}\label{def:I.XXXI}
\begin{center}
\drawCurrentPictureInMargin[inside] \emph{Ромбом} называется четырехсторонняя фигура, все стороны которой равны, но углы не прямые.
\end{center}
\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, SOLID_LINE, REGULAR_WIDTH);
byLineDefine(A, C, byred, SOLID_LINE, REGULAR_WIDTH);
byLineDefine(B, D, byred, SOLID_LINE, REGULAR_WIDTH);
byLineDefine(C, D, byblue, SOLID_LINE, REGULAR_WIDTH);
draw byNamedLineSeq(0)(AB,AC,CD,BD);
}
\startdefinition{}\label{def:I.XXXII}
\begin{center}
\drawCurrentPictureInMargin[inside] \emph{Прямоугольник} есть четырехугольник, все углы которого прямые, но не все стороны равны.
\end{center}
\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, SOLID_LINE, REGULAR_WIDTH);
byLineDefine(A, C, byred, SOLID_LINE, REGULAR_WIDTH);
byLineDefine(B, D, byred, SOLID_LINE, REGULAR_WIDTH);
byLineDefine(C, D, byblue, SOLID_LINE, REGULAR_WIDTH);
draw byNamedLineSeq(0)(AB,AC,CD,BD);
}
\startdefinition{}\label{def:I.XXXIII}
\begin{center}
\drawCurrentPictureInMargin[inside] \emph{Ромбоид} есть фигура, противоположные стороны которой равны, но ни все стороны равны, ни все углы прямые.
\end{center}
\startdefinition{}\label{def:I.XXXIV}
\begin{center}