* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
Download A Simple Non-Desarguesian Plane Geometry
Four-dimensional space wikipedia , lookup
Conic section wikipedia , lookup
Shape of the universe wikipedia , lookup
History of trigonometry wikipedia , lookup
Noether's theorem wikipedia , lookup
Cartan connection wikipedia , lookup
Algebraic geometry wikipedia , lookup
Cartesian coordinate system wikipedia , lookup
Analytic geometry wikipedia , lookup
Projective plane wikipedia , lookup
Four color theorem wikipedia , lookup
Brouwer fixed-point theorem wikipedia , lookup
Lie sphere geometry wikipedia , lookup
Duality (projective geometry) wikipedia , lookup
David Hilbert wikipedia , lookup
Rational trigonometry wikipedia , lookup
Pythagorean theorem wikipedia , lookup
Geometrization conjecture wikipedia , lookup
Euclidean space wikipedia , lookup
History of geometry wikipedia , lookup
A Simple Non-Desarguesian Plane Geometry Author(s): Forest Ray Moulton Source: Transactions of the American Mathematical Society, Vol. 3, No. 2 (Apr., 1902), pp. 192-195 Published by: American Mathematical Society Stable URL: http://www.jstor.org/stable/1986419 Accessed: 01-11-2016 05:47 UTC JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms of scholarship. For more information about JSTOR, please contact [email protected]. Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at http://about.jstor.org/terms American Mathematical Society is collaborating with JSTOR to digitize, preserve and extend access to Transactions of the American Mathematical Society This content downloaded from 151.100.47.247 on Tue, 01 Nov 2016 05:47:43 UTC All use subject to http://about.jstor.org/terms A SIMPLE NON-DESARGUESIAN PLANE GEOMETRY* BY FOREST RAY MOULTON 1. Introduction. On the occasion of the GAUSS-WEBER celebration in 1899 HILBERT published an important memoir, Grundlagen der Geometrie, in which he devoted chapter V to the consideration of DESARGUES's theorem. He summarized the results obtained in this chapter as follows :t The necessary and sufficient condition that a plane geometry fulfilling th plane axioms 1 1-2, II, III may be a part of (or set in) a spatial geometry of more than two dimensions fulfllling the axioms I, II, III, is that in the geometry Desargues's theorem shall be fulfllled. The proofs of the necessity and of the sufficiency of the condition are given by HILBERT in ? 22 and ?? 24-29 respectively. In ? 23 he proves that DDESARGUES'S theorem is not a consequence of the axioms I 1-2, II states (theorem 33) that it cannot be proved even though the axioms IV 1-5 and V be added. His method is to exhibit a non-desarguesian geometry ful- filling the axioms in question. His example is of a somewhat complicated nature, involving in its description the intersections of an ellipse and a system of circles (euclidean) which are defined so that no circle intersects the ellipse in more than two real points. The demonstration that the geometry fulfills the axioms in question, the details of which are not given by HILBERT, depends upon the real solutions of simultaneous quiadratic equations. Moreover, HILBERT's example does not fulfill all of the axioms enumerated, the exception being IV 411 -which in connection with the definition which precedes it, requires that the angles (h, Ik) and (k, h) shall be congruent, while the angles in HILBERT'S geometry whose vertices are on the ellipse depend upon the order in which their arms are taken for their non-desarguesian congruence relations. HILBERT'S final theorem, stated at the beginning of this paper, does not involve IV 4 and was completely * Presented to the Society (Chicago) January 2, 1902. Received for publication February 6, 1902. t Grundlagen der Geometrie, Theorem 35, p. 70. This theorem was stated by H. WIENER: Jahresbericht der Deutschen Mathematiker-Vereinigung, vol. 1 (1890), p. 47. 192 This content downloaded from 151.100.47.247 on Tue, 01 Nov 2016 05:47:43 UTC All use subject to http://about.jstor.org/terms F. R. MOULTON: A SIMPLE NON-DESARGUESIAN PLANE GEOMETRY 193 established; his theorem 33 (1. c., p. 51) which adds the axioms IV 1-5, V is also true, as will be shown later, but was not fully proved by his example. The object of this paper is to prove that DESARGUES'S theorem is not a consequence of IIILBERT'S axioms I 1-2, II, III, IV 1-5, V by exhibiting a sim- pler non-desarguesian plane geometry than that given by HILBERT, and one which, by the use of linear equations alone, can be shown to fulfill all of the axioms in question. In conclusion it will be slhown that PASCAL'S theorem is not true in this geometry. Hence Pascal's theoremt is not a consequence of the axiooms I 1-2, II, III, IV 1-5, V. HILBERT has proved that it is a consequence of the axioms I 1-2, II, III, IV (I. c., ? 14), * and also that it is a consequence of I, II, III, V, but that it is not a consequence of 1, 11, III (1. c., chapter VI). 2. Description of the non-desarguesian geometry. The non-desarguesian geometry will be described in terms of ordinary euclidean plane geometry, which is assumed logically to exist. y p _P P FI P2 1 ~~ P/ ~~~I' 0 p// Ko L 2 x C AA2 q c~~~~~~~~~~~~~ *SCIIUR (Mathematische Annalen, vol. 51, 1899, p. 401) had previously proved the fundainental theorem of projective geometry (and so PASCAL'S theorem) without the use of a continuity axiom, but with the use of three dimensions. Cf. SCHUR, Ueber die Grundlagen der Geomnetrie (I. c., vol. 55, 1901, p. 265). This content downloaded from 151.100.47.247 on Tue, 01 Nov 2016 05:47:43 UTC All use subject to http://about.jstor.org/terms 194 F. R. MOULTON: A SIMPLE [April An ordinary euclidean plane in which there is a system of rectangular axes is the non-desarguesian plane; the euclidean points of this plane are the non-desarguesian points; the euclidean straight lines, except those which have a positive slope, are non-desarguesian straight lines; the euclidean (broken) straight lines with positive slope broken at the x-axis so that the slope above is a positive constant (not ulnity) times the slope below are the remaining non-desarguesian straight lines. That is, the non-desarguesian straight lines are the euclidean straight lines parallel to the x- and y-axes and the euclidean (straight or broken) lines defined by the equation y -Syx(x a) tan 9. Here x and y are the rectangular co6rdinates of a point referred to a is the distance from the origin to the point where the line crosses the x-axis, 9 (O c < 7r) ig the angle between the positive end of the x-axis and the prolongation of the lower half of the line, and 3y 9 is a constant such that y, e = 1 if y < O, 0= any value, or if y > O r/2 , and = c (c >O and c * 1) if y> 0, 9< 7r/2.* Thus, in the figure, the lines A1KM, B1B2P, C, C2P, Oy and Ox are non-desarguesian straight lines. 3. Properties of the non-desarguesian geometry. HILBERT's axioms I 1-2 relate to the unique determination of a line by any two of its points; it is easily seen that they are fulfilled in this geometry. The axioms II 1-4 relate to the ordering of three and four points upon a line; the order relations are taken as in euclidean geometry and these axioms are fulfilled. The axiom II 5 states that a straight line cutting one side of a triangle and not passing through one of its vertices cuts another side of the triangle; it is shown without difficulty that this axiom is fulfilled. The axiom III is the euclidean parallel axiom which is also fulfilled in this geometry. The axioms IV 1-3 relate to the congruence of segments of straight lines. If the segments are measured along the lines in this geometry as they are in euclidean geometry these axioms are fulfilled. The axioms IV 4-5 relate to the congruence of angles, and, with appropriate determination of the circumstances under which two angles are called congruent, these axioms are fulfilled. It will be the sinmplest here to define the magnitudes of angles in terms of euclidean angular magnitudes, and then those angles as congruent which have equal magnitudes. In this geometry the non-desarguesian magnitudes of all angles are equal to their euclidean magnitudes except those which have their vertices on * To fix the ideas c may be taken equal to one-half, and it is for this value of the constant that the figure is drawn. This content downloaded from 151.100.47.247 on Tue, 01 Nov 2016 05:47:43 UTC All use subject to http://about.jstor.org/terms 1902] NON-DESARGUESIAN PLANE GEOMETRY 195 the x-axis with at least one arm above it and making an angle (euclidean) of less than wr/2 with it. The point K being on the x-axis, we consider the angle LKJI[ of divergence from the positively directed x-axis of a linie KIX of the upper half-plane. The non-desarguesian magnitude of this angle is the euclidean magnitude of the angle which in the non-desarguesian sense is vertically opposite to it. Thus, in the figure the non-desarguesian magnitude of the angle LKM equals the euclidean magnitude of the angle OKA2 or LKP. The non- desarguesian magnitude of an angle between two lines intersecting on the x-axis is the algebraic difference of the non-desarguesian angles which they make with the x-axis. With these definitions the axiorns IV 4-5 are fulfilled. The axiom IV 6 relates to the congruence of triangles and is fulfilled neither in HILBERT'S geometry nor in this. The axiom V (archinmedean) is fulfilled both in HILBERT'S geometry and in this. It remainis to show that DESARGUES'S theorem is not true in this geometry. Consider the special case of two triangles lhaving their corresponding sides respectively parallel. It will be shown that the lines joining their corresponding vertices are not necessarily concurrent. In the figure let the triangles be A B, C1 anld A, B, C . In euclidean geomietry the lines joining the corresp ing vertices meet at the poilnt P. In this geometry the lines B1 B2 and C remain the same while the line Al A2 is broken before reaching P. Hence it will no longer pass through P, anid DESARGUES'S theorem is not fulfilled. Therefore Desargues's theorem is not a consequence of Hilbert's axioms I 1-2, II, III, IV 1-5, V. To prove that PASCAL'S theorem is not true in this geometry consider the two lines p and q on opposite sides of the x-axis and choose the points P1, P2, P3 and Ql, Q2, Q3 as indicated in the figure. In euclidean geometry the cro joins of these points taken in pairs mneet in the collinear points R1, R2, R3. In this special geomnetry all the cross-joilns are the same as in euclidean geometry, with the exception of Q P3 which is a broken euclidean line intersecting the line P, Q3 in the point R]. Since the euclidean line passing through R1 and R3 bas a negative slope it is also the non-desarguesian line passing through these two points. As R] is not oni this line PASCAL'S theorem is not true in this geonmetry. Therefore Pascal's theorem is not a consequence of Hilbert's axioms I 1-2, II III, IV 1-5, V. THE UNIVERSITY OF CHICAGO, February 5, 1902. This content downloaded from 151.100.47.247 on Tue, 01 Nov 2016 05:47:43 UTC All use subject to http://about.jstor.org/terms