Fraudulent 发表于 2025-3-27 00:35:41
http://reply.papertrans.cn/32/3165/316423/316423_31.pngCabg318 发表于 2025-3-27 03:17:11
http://reply.papertrans.cn/32/3165/316423/316423_32.png甜得发腻 发表于 2025-3-27 09:01:01
Pasch Geometry (PSH),s of segments, rays, and lines that are needed for a coherent geometry. The remainder of the chapter is a study of the basic interactions between lines, angles, triangles, and quadrilaterals, comprising Pasch geometry.有特色 发表于 2025-3-27 13:11:18
http://reply.papertrans.cn/32/3165/316423/316423_34.pngmetropolitan 发表于 2025-3-27 16:55:44
Free Segments of a Neutral Plane (FSEG),ve the trichotomy property. Addition of free segments is defined, and its elementary properties and interactions with ordering are studied. These developments are sufficient to prove the triangle inequality, and provide a first step toward defining distance on a neutral plane.tympanometry 发表于 2025-3-27 19:05:57
Euclidean Geometry Basics (EUC),xiom to arrive at Euclidean geometry. It explores many well-known elementary results from plane geometry involving parallel lines, perpendicularity, adjacent and complementary angles, parallelograms and rectangles.Interregnum 发表于 2025-3-28 00:18:07
http://reply.papertrans.cn/32/3165/316423/316423_37.png垄断 发表于 2025-3-28 02:52:41
Similarity on a Euclidean Plane (SIM),gs are used to define the similarity of two sets. Similarity is shown to be an equivalence relation, and criteria are developed for similarity of triangles. The chapter concludes with a proof of the Pythagorean Theorem, and a proof that the product of the base and altitude of a triangle is constant.flavonoids 发表于 2025-3-28 06:35:42
Rational Points on a Line (QX), a rational multiple of a point on this line, develops the arithmetical properties of such multiples, and uses these to show the existence of an order-preserving isomorphism between the set of all rational numbers and a subset of the line.Commodious 发表于 2025-3-28 14:26:12
A Line as Real Numbers (REAL); Coordinatization of a Plane (RR),uclidean/LUB plane (which has been built into an ordered field) real multiples of points are defined and their algebraic properties derived. These properties are used to show the existence of an order-preserving isomorphism between the set of all real numbers and the whole line. The chapter ends with coordinatization of a Euclidean/LUB plane.