| ²é¿´: 1397 | »Ø¸´: 35 | |||
| ¡¾½±Àø¡¿ ±¾Ìû±»ÆÀ¼Û32´Î£¬×÷ÕßpkusiyuanÔö¼Ó½ð±Ò 25.4 ¸ö | |||
[×ÊÔ´]
Foundations.of.Geometry,.Gerard.Venema,.2ed,.Pearson,.2012
|
|||
|
Contents Preface ix 1 Prologue: Euclid¡¯s Elements 1 1.1 Geometry before Euclid . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.2 The logical structure of Euclid¡¯s Elements . . . . . . . . . . . . . . . . . . . 2 1.3 The historical significance of Euclid¡¯s Elements . . . . . . . . . . . . . . . . 3 1.4 A look at Book I of the Elements . . . . . . . . . . . . . . . . . . . . . . . . 4 1.5 A critique of Euclid¡¯s Elements . . . . . . . . . . . . . . . . . . . . . . . . . 7 1.6 Final observations about the Elements . . . . . . . . . . . . . . . . . . . . . 9 2 Axiomatic Systems and Incidence Geometry 14 2.1 The structure of an axiomatic system . . . . . . . . . . . . . . . . . . . . . . 14 2.2 An example: Incidence geometry . . . . . . . . . . . . . . . . . . . . . . . . 16 2.3 The parallel postulates in incidence geometry . . . . . . . . . . . . . . . . . 20 2.4 Axiomatic systems and the real world . . . . . . . . . . . . . . . . . . . . . . 22 2.5 Theorems, proofs, and logic . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 2.6 Some theorems from incidence geometry . . . . . . . . . . . . . . . . . . . . 32 3 Axioms for Plane Geometry 35 3.1 The undefined terms and two fundamental axioms . . . . . . . . . . . . . . 36 3.2 Distance and the Ruler Postulate . . . . . . . . . . . . . . . . . . . . . . . . 37 3.3 Plane separation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46 3.4 Angle measure and the Protractor Postulate . . . . . . . . . . . . . . . . . . 51 3.5 The Crossbar Theorem and the Linear Pair Theorem . . . . . . . . . . . . . 55 3.6 The Side-Angle-Side Postulate . . . . . . . . . . . . . . . . . . . . . . . . . . 62 3.7 The parallel postulates and models . . . . . . . . . . . . . . . . . . . . . . . 66 4 Neutral Geometry 69 4.1 The Exterior Angle Theorem and existence of perpendiculars . . . . . . . . 70 4.2 Triangle congruence conditions . . . . . . . . . . . . . . . . . . . . . . . . . 74 4.3 Three inequalities for triangles . . . . . . . . . . . . . . . . . . . . . . . . . . 77 4.4 The Alternate Interior Angles Theorem . . . . . . . . . . . . . . . . . . . . 82 4.5 The Saccheri-Legendre Theorem . . . . . . . . . . . . . . . . . . . . . . . . 84 4.6 Quadrilaterals . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88 4.7 Statements equivalent to the Euclidean Parallel Postulate . . . . . . . . . . 91 4.8 Rectangles and defect . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97 4.9 The Universal Hyperbolic Theorem . . . . . . . . . . . . . . . . . . . . . . . 104 5 Euclidean Geometry 106 5.1 Basic theorems of Euclidean geometry . . . . . . . . . . . . . . . . . . . . . 107 5.2 The Parallel Projection Theorem . . . . . . . . . . . . . . . . . . . . . . . . 110 5.3 Similar triangles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112 5.4 The Pythagorean Theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114 5.5 Trigonometry . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 116 5.6 Exploring the Euclidean geometry of the triangle . . . . . . . . . . . . . . . 118 v vi Contents 6 Hyperbolic Geometry 131 6.1 Basic theorems of hyperbolic geometry . . . . . . . . . . . . . . . . . . . . . 133 6.2 Common perpendiculars . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 138 6.3 The angle of parallelism . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 140 6.4 Limiting parallel rays . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 144 6.5 Asymptotic triangles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 149 6.6 The classification of parallels . . . . . . . . . . . . . . . . . . . . . . . . . . . 152 6.7 Properties of the critical function . . . . . . . . . . . . . . . . . . . . . . . . 155 6.8 The defect of a triangle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 160 6.9 Is the real world hyperbolic? . . . . . . . . . . . . . . . . . . . . . . . . . . . 164 7 Area 167 7.1 The Neutral Area Postulate . . . . . . . . . . . . . . . . . . . . . . . . . . . 167 7.2 Area in Euclidean geometry . . . . . . . . . . . . . . . . . . . . . . . . . . . 173 7.3 Dissection theory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 180 7.4 Proof of the dissection theorem in Euclidean geometry . . . . . . . . . . . . 181 7.5 The associated Saccheri quadrilateral . . . . . . . . . . . . . . . . . . . . . . 185 7.6 Area and defect in hyperbolic geometry . . . . . . . . . . . . . . . . . . . . 190 8 Circles 195 8.1 Circles and lines in neutral geometry . . . . . . . . . . . . . . . . . . . . . . 195 8.2 Circles and triangles in neutral geometry . . . . . . . . . . . . . . . . . . . . 200 8.3 Circles in Euclidean geometry . . . . . . . . . . . . . . . . . . . . . . . . . . 206 8.4 Circular continuity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 212 8.5 Circumference and area of Euclidean circles . . . . . . . . . . . . . . . . . . 215 8.6 Exploring Euclidean circles . . . . . . . . . . . . . . . . . . . . . . . . . . . . 222 9 Constructions 228 9.1 Compass and straightedge constructions . . . . . . . . . . . . . . . . . . . . 228 9.2 Neutral constructions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 231 9.3 Euclidean constructions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 234 9.4 Construction of regular polygons . . . . . . . . . . . . . . . . . . . . . . . . 235 9.5 Area constructions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 239 9.6 Three impossible constructions . . . . . . . . . . . . . . . . . . . . . . . . . 242 10 Transformations 245 10.1 Properties of isometries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 246 10.2 Rotations, translations, and glide reflections . . . . . . . . . . . . . . . . . . 252 10.3 Classification of Euclidean motions . . . . . . . . . . . . . . . . . . . . . . . 260 10.4 Classification of hyperbolic motions . . . . . . . . . . . . . . . . . . . . . . . 263 10.5 A transformational approach to the foundations . . . . . . . . . . . . . . . . 265 10.6 Similarity transformations in Euclidean geometry . . . . . . . . . . . . . . . 270 10.7 Euclidean inversions in circles . . . . . . . . . . . . . . . . . . . . . . . . . . 275 11 Models 287 11.1 The Cartesian model for Euclidean geometry . . . . . . . . . . . . . . . . . 289 11.2 The Poincar´e disk model for hyperbolic geometry . . . . . . . . . . . . . . . 290 11.3 Other models for hyperbolic geometry . . . . . . . . . . . . . . . . . . . . . 296 11.4 Models for elliptic geometry . . . . . . . . . . . . . . . . . . . . . . . . . . . 301 12 Polygonal Models and the Geometry of Space 303 12.1 Curved surfaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 304 Contents vii 12.2 Approximate models for the hyperbolic plane . . . . . . . . . . . . . . . . . 315 12.3 Geometric surfaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 321 12.4 The geometry of the universe . . . . . . . . . . . . . . . . . . . . . . . . . . 326 12.5 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 331 12.6 Further study . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 331 12.7 Templates . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 336 APPENDICES A Euclid¡¯s Book I 344 A.1 Definitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 344 A.2 Postulates . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 346 A.3 Common Notions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 346 A.4 Propositions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 346 B Systems of Axioms for Geometry 350 B.1 Hilbert¡¯s axioms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 351 B.2 Birkhoff¡¯s axioms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 353 B.3 MacLane¡¯s axioms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 354 B.4 SMSG axioms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 355 B.5 UCSMP axioms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 357 C The Postulates Used in this Book 360 C.1 Criteria used in selecting the postulates . . . . . . . . . . . . . . . . . . . . . 360 C.2 Statements of the postulates . . . . . . . . . . . . . . . . . . . . . . . . . . . 362 C.3 Logical relationships . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 363 D The van Hiele Model 365 E Set Notation and the Real Numbers 366 E.1 Some elementary set theory . . . . . . . . . . . . . . . . . . . . . . . . . . . 366 E.2 Axioms for the real numbers . . . . . . . . . . . . . . . . . . . . . . . . . . . 367 E.3 Properties of the real numbers . . . . . . . . . . . . . . . . . . . . . . . . . . 368 E.4 One-to-one and onto functions . . . . . . . . . . . . . . . . . . . . . . . . . . 370 E.5 Continuous functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 371 F Hints for Selected Exercises 372 Bibliography 379 Index 382 |
» ±¾Ìû¸½¼þ×ÊÔ´Áбí
-
»¶Ó¼à¶½ºÍ·´À¡£ºÐ¡Ä¾³æ½öÌṩ½»Á÷ƽ̨£¬²»¶Ô¸ÃÄÚÈݸºÔð¡£
±¾ÄÚÈÝÓÉÓû§×ÔÖ÷·¢²¼£¬Èç¹ûÆäÄÚÈÝÉæ¼°µ½ÖªÊ¶²úȨÎÊÌ⣬ÆäÔðÈÎÔÚÓÚÓû§±¾ÈË£¬Èç¶Ô°æÈ¨ÓÐÒìÒ飬ÇëÁªÏµÓÊÏ䣺xiaomuchong@tal.com - ¸½¼þ 1 : Foundations.of.Geometry,.Gerard.Venema,.2ed,.Pearson,.2012.pdf
2015-03-11 18:37:41, 2.98 M
» ÊÕ¼±¾ÌûµÄÌÔÌûר¼ÍƼö
¼ÆËãÊýѧ |
» ²ÂÄãϲ»¶
Ò»Ö¾Ô¸0703»¯Ñ§ÕÐ61×îÖÕÅÅÃû62»¯Ñ§Çóµ÷¼Á
ÒѾÓÐ32È˻ظ´
»¯¹¤Ñ§Ë¶294·Ö£¬Çóµ¼Ê¦ÊÕÁô
ÒѾÓÐ16È˻ظ´
¿¼ÑÐÓ¢Ò»ÊýÒ»338·Ö
ÒѾÓÐ7È˻ظ´
302Çóµ÷¼Á
ÒѾÓÐ6È˻ظ´
271Çóµ÷¼Á
ÒѾÓÐ25È˻ظ´
266µ÷¼Á
ÒѾÓÐ10È˻ظ´
ÉúÎïѧµ÷¼Á
ÒѾÓÐ11È˻ظ´
Çóµ÷¼Á
ÒѾÓÐ8È˻ظ´
085801µçÆø×¨Ë¶272Çóµ÷¼Á
ÒѾÓÐ10È˻ظ´
Ò»Ö¾Ô¸ÄϿƴóÉúÎïѧ297·Ö£¬Çóµ÷¼ÁÍÆ¼ö
ÒѾÓÐ11È˻ظ´
» ±¾Ö÷ÌâÏà¹Ø¼ÛÖµÌùÍÆ¼ö£¬¶ÔÄúͬÑùÓаïÖú:
The Civil Engineering Handbook, 2ed_edited by W.f. CHEN_2003.pdf
ÒѾÓÐ23È˻ظ´
2013µÚ¶þ°æ ÄÉÃ×»¯Ñ§ Nanochemistry,2ed
ÒѾÓÐ236È˻ظ´
Numerical Methods for Partial Differential Equations (2ed,by WILLIAM F. AMES )
ÒѾÓÐ58È˻ظ´
¼òµ¥»Ø¸´
7528792902Â¥
2015-03-11 19:05
»Ø¸´
ÎåÐÇºÃÆÀ ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
hylpy3Â¥
2015-03-11 20:53
»Ø¸´
ÎåÐÇºÃÆÀ ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
hylpy4Â¥
2015-03-11 20:53
»Ø¸´
¸Ðл·ÖÏí
Quan.5Â¥
2015-03-12 06:53
»Ø¸´
ÎåÐÇºÃÆÀ ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
aaron19886Â¥
2015-03-12 07:14
»Ø¸´
ÎåÐÇºÃÆÀ ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
anzaigtt7Â¥
2015-03-12 08:11
»Ø¸´
ÎåÐÇºÃÆÀ ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
Mr__Right8Â¥
2015-03-12 09:38
»Ø¸´
ÎåÐÇºÃÆÀ ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
batml9Â¥
2015-03-12 10:19
»Ø¸´
ÎåÐÇºÃÆÀ ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
wangth092110Â¥
2015-03-12 11:44
»Ø¸´
ÎåÐÇºÃÆÀ ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
anmingkang11Â¥
2015-03-12 12:28
»Ø¸´
ÎåÐÇºÃÆÀ ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
truebelief12Â¥
2015-03-12 15:38
»Ø¸´
ÎåÐÇºÃÆÀ ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
civilp13Â¥
2015-03-12 16:47
»Ø¸´
ÈýÐÇºÃÆÀ ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
liuqiang6814Â¥
2015-03-13 08:00
»Ø¸´
ÎåÐÇºÃÆÀ ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
zhchzhsh207615Â¥
2015-03-13 11:28
»Ø¸´
ÎåÐÇºÃÆÀ ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
supervb16Â¥
2015-03-13 11:48
»Ø¸´
ÎåÐÇºÃÆÀ ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
1w2e3r417Â¥
2015-03-13 22:44
»Ø¸´
ÎåÐÇºÃÆÀ ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
zym100318Â¥
2015-03-14 07:31
»Ø¸´
ÎåÐÇºÃÆÀ ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
pangzi_cui19Â¥
2015-03-14 09:15
»Ø¸´
ÎåÐÇºÃÆÀ ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
lieying1820Â¥
2015-03-14 09:17
»Ø¸´
ÎåÐÇºÃÆÀ ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
httpftp21Â¥
2015-03-14 15:49
»Ø¸´
ÎåÐÇºÃÆÀ ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
KUZUTANG22Â¥
2015-03-14 19:14
»Ø¸´
ÎåÐÇºÃÆÀ ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
zhangxianbin8123Â¥
2015-03-15 16:39
»Ø¸´
ÎåÐÇºÃÆÀ ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
gpwang52624Â¥
2015-03-15 17:31
»Ø¸´
ÎåÐÇºÃÆÀ ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
arrow6825Â¥
2015-03-15 20:20
»Ø¸´
ÎåÐÇºÃÆÀ ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
fingerlake26Â¥
2015-03-15 20:50
»Ø¸´
ÎåÐÇºÃÆÀ ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
1093127Â¥
2015-03-16 17:32
»Ø¸´
ÎåÐÇºÃÆÀ ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
zjys588728Â¥
2015-03-16 19:18
»Ø¸´
ÎåÐÇºÃÆÀ 



zhchzhsh207629Â¥
2015-03-16 23:32
»Ø¸´
¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
hanjh0501a30Â¥
2015-03-17 08:24
»Ø¸´
ÎåÐÇºÃÆÀ ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
lirumei131Â¥
2015-03-19 22:03
»Ø¸´
ÎåÐÇºÃÆÀ ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
ykyang32Â¥
2015-05-13 13:39
»Ø¸´
ÎåÐÇºÃÆÀ ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
wangth092133Â¥
2015-07-16 14:58
»Ø¸´
¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
guli052034Â¥
2015-09-23 14:50
»Ø¸´
ÎåÐÇºÃÆÀ ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
navier9835Â¥
2015-10-09 07:49
»Ø¸´
ÎåÐÇºÃÆÀ ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡
goubaodi36Â¥
2015-10-20 13:11
»Ø¸´
ÎåÐÇºÃÆÀ ¶¥Ò»Ï£¬¸Ðл·ÖÏí£¡













»Ø¸´´ËÂ¥