A MINIMAL VERSION OF HILBERT S AXIOMS FOR PLANE GEOMETRY

Size: px
Start display at page:

Download "A MINIMAL VERSION OF HILBERT S AXIOMS FOR PLANE GEOMETRY"

Transcription

1 A MINIMAL VERSION OF HILBERT S AXIOMS FOR PLANE GEOMETRY WILLIAM RICHTER Abstract. This note is intended to be useful to good high school students wanting a rigorous treatment of Hilbert s axioms for plane geometry. 1. Introduction Euclid s Elements [6] is very creative geometry, but it contains errors involving angle addition. These errors were found and fixed by Hilbert [12], by adding axioms involving betweenness of points. However it seems that Euclid s errors are made in every widely used high school Geometry text in the US today. A good high school student should be able to read Venema s college geometry text [16], which has both rigorous and elegant proofs. This note is intended to help such students. Moise s college geometry text [15], which influenced Venema s, may be another good choice. Venema lists the minimal version of Hilbert s axioms [16, App. B1], but he uses stronger axioms, which obviate 3 and 4. The geometry texts for graduate students [7, 10, 13] also use stronger Hilbert s axioms. We prove that the minimal Hilbert s axioms suffice. This result was proved by Hilbert, Moore, Wylie, and Greenberg [12, 9, 17, 7], but our proofs seem elegant, and are collected in one source. Venema also uses Birkhoff s axioms [4] that the real line R measures segments and angles, but he does not explain Birkhoff s work. In 9 we discuss Birkhoff s work, explained by MacLane [14], which gives an alternative to Hilbert s work by using directed angles and taking the crossbar theorem and its converse as an axiom. Venema discusses a widely used high school Geometry text [2], but not its lack of rigor. A high school student reading Venema s text might ask why they should not read [2] instead. In 10 we discuss Venema s proof of the triangle sum theorem (Lemma 10.1) and contrast it with the inadequate proof of [2]. There is a fairly rigorous proof in a old high school Geometry text [1] Venema mentions, which adopts the plane separation axiom (Prop. 4.14) missing from [2], correctly defines the interior of a angle (Definition 3.3), but does not prove the Crossbar Theorem 3.8. Hilbert s axiom [12] are actually for 3-dimensional space, and in 8 we discuss a minimal version of Hilbert s entire set of axioms, and prove various 3-dimensional results of Euclid [6], profiting from the rigorous solid geometry proofs in [1]. Greenberg s text [7] seems too difficult for high school students, but it seems to be the fundamental text on Hilbert s work, and it was a big influence on our paper (and [10, 13]) and and we cite his results freely. We reprove some of his results. Greenberg s survey [8] gives reasons to use Hilbert s axioms instead of, following Birkhoff, assuming R, and contains interesting mathematical logic. In 2 we explain Hilbert s simplest axioms, e.g. that two points determine a line, and explain how we, using set theory, do not give strictly axiomatic proofs. 1

2 2 WILLIAM RICHTER In 3 we give Hilbert s axiom for betweenness of points and show that a line l defines an equivalence relation l. Our proof of the crossbar theorem (Thm. 3.8), a tool that shows two lines intersect, is simpler than the proofs of Greenberg, Moise and Venema [7, 15, 16], as we do not use their plane separation axiom (Prop. 4.14). In 4 we show a line separates the plane into two half-planes ([7, 10, 15, 16] take this as an axiom). First we give in Prop. 4.1 Wylie s proof [17, 4] that Greenberg s strengthened version of Hilbert s axiom II.5 follows from Hilbert s (our axiom B4). Next we reprove (Prop. 4.10) Moore s result [9] that Hilbert s axiom II.4 is redundant, with essentially Moore s proof. (Wylie [17, 6] gave an interesting and different proof of Moore s result.) These two results imply Prop In 5, we begin proving the surprisingly difficult results (Prop. 7.9 and 10.2) that a quadrilateral with opposite sides (or angles) congruent is a parallelogram. In 6 we give Hilbert s axioms for congruence of both segments and angles. We deduce Greenberg s angle addition result from an angle subtraction result and also an angle ordering result which Greenberg deduces from the angle addition result. The SAS axiom in [7, 10, 16] is stronger than Hilbert s, and we give Hilbert s proof (Lemma 6.1) that the weaker SAS axiom C6 suffices. Hartshorne [10] gives an excellent exposition of Euclid s Elements [6] together with the Hilbert fixes needed [10, Thm. 10.4]. We explain how his rigorization of Euclid s Prop. I.10 shows that Hilbert s axiom II.2 follows from our weaker axioms. However Hartshorne s work contains gaps that should trouble a high school student. In 7 we fill in needed details to his proofs of Euclid s Propositions I.7, I.21 and I.27, and work his overly difficult parallelogram exercise [10, Ex ]. In 7 we adopt the Euclidean parallel postulate for the remainder of the paper. Thanks to Bjørn Jahren, who recommended [7, 10], found [17] and discovered the proof of Prop. 4.1 independently. Thanks to Benjamin Kordesh, the high school Geometry student test pilot for the paper, Miguel Lerma, who found [9], Takuo Matsuoka, and Stephen Wilson, who recommended [16], for helpful conversations. 2. Hilbert s simplest axioms Following Venema, we shall give a set-theoretic version of Hilbert s axioms. We are given a set which is called a plane. Elements of this set are called points. We are given certain subsets of a plane called lines. There are axioms that a plane and its subset lines must satisfy, explained here and also 3 and 6. In 8 we will consider many different planes, but for now we discuss one plane, referred to as the plane. A line l is then the set of all point P in the plane so that P l. Two lines l and m are then equal if P l iff P m, for all points P. As is usual we will write iff for if and only if. We have as usual the intersection l m of two lines l and m, the set of points P in the plane such that P l and P m. We will call points collinear if there is a line in the plane containing them. Hilbert s simplest axioms (I for incidence) are I1. Given distinct points A and B in the plane, there is a unique line l in the plane such that A l and B l. I2. Given a line l in the plane, there exists two distinct points A and B in the plane such that A l and B l. I3. There are at least three non-collinear points in the plane. We will call AB the unique line in the plane containing A and B. We will need

3 A MINIMAL VERSION OF HILBERT S AXIOMS FOR PLANE GEOMETRY 3 Lemma 2.1. Given two distinct lines l and m, if X l m, then l m = {X}. Proof. Suppose that A X and A l m. By axiom I1, l = AB = m. This contradicts our assumption, so there can not exist any such A. We are not working in a purely axiomatic framework, where proofs are given using only the axioms and logic. The plane is what logicians call a model of Hilbert s plane geometry axioms, and we use Hilbert s axioms together with set theory to give proofs in the model. The advantage of a model is that we can use our set theory skills, and this simplifies proofs, and even the statement of axioms. In a purely axiomatic framework, Lemma 2.1 would be written in this hard to read fashion. For all lines l and m with l m, and for every point X, if X l and X m, then for every point Y with Y X, either Y l or Y m. So it s very convenient to use sets freely and not write purely axiomatic proofs. Later we will define an angle as a set of two elements, which we could not define in a purely axiomatic framework, and more circumlocution would be required. So we will use set-theoretic constructions like l m, {X}, and complements. So for any line l, the complement of l is the set of points X in the plane not on l. Given two lines l and m, the complement l m is the set of points P with P l and P m. Set theory allows us to make arguments like the following. Given two sets L and M with L M and M L, it follows that L = M. By using set theory, we make our proofs easier and practice an important mathematical skill. There is a trade-off in our free use of set theory, though. Axiomatic geometry is important is for artificial intelligence (AI), because a robot supplied with the Hilbert axioms can prove everything about points, lines and planes that we can prove using Hilbert s axioms. This follows from what is called Goedel s Completeness Theorem in First Order Logic (FOL). But to achieve this this AI advantage, we would have to phrase our proofs entirely in FOL, and not freely use set theory. It would be a good future project to learn enough mathematical logic to understand Goedel s result, and how to rewrite our proofs in FOL, to better understand AI. 3. The betweenness relation and the crossbar theorem We have an undefined betweenness relation. For all points A, B and C we have the statement A B C, which is supposed to capture the idea that B lies between A and C on some line. The betweenness axioms are B1. If A B C, then C B A, and A, B and C are distinct points on a line. B2. Given two distinct points A and B, there exists a point C such that A B C. B3. If A, B and C are distinct points on a line, then exactly one of the statements A B C, A C B and B A C is true. B4. Let A, B and C be non-collinear points not on line l. If there exists D l so that A D C, there exists an X l such that A X B or B X C. Using, we define the open interval (A, B) as the subset of the plane (A, B) = {C A C B} AB. Then A C B iff C (A, B). Note that (A, A) =. All we will ever use of B1 is B1. For any points A and C, there is a subset (A, C) of the plane. If A C, then (A, C) AC {A, C} and (A, C) = (C, A). Furthermore (A, A) =. Using open intervals, we have equivalent versions of axioms B2 and B3.

4 4 WILLIAM RICHTER B2. Given distinct points A and B, there exists a point C such that C (A, B). B3. Given distinct collinear points A, B and C, exactly one of the statements A (B, C), B (A, C) and C (A, B) is true. Axiom B4 is Hilbert s axiom II.5. Hilbert draws a picture of a triangle with vertices A, B and C with a line l intersecting the open intervals (A, C) and (A, B). Take a line l. We define the relation l on the complement of l. Take two points A, B l. We write A l B if (A, B) l =. We write A l B if (A, B) l. We have two equivalent versions of B4. B4. Take a line l and three non-collinear points A, B and C not on l. If A l C, then A l B or B l C. B4. Take a line l and three non-collinear points A, B and C not on l. If A l B and B l C, then A l C. In Proposition 4.14 we prove a stronger version of axiom B4 that Greenberg [7, p. 64] essentially takes as an axiom. A simple result using the relation l is Lemma 3.1. Take a point on a line X m and a line l with m l = {X}. Take points A, B m {X}, and suppose that X (A, B). Then A, B l and A l B. Proof. A l, since A X and m l = {X}. Similarly B l. Assume (for a contradiction) that A l B. Then there exists a point G (A, B) l. By axiom B1, (A, B) m. So G m l = {X}. Thus G = X. But this contradicts X (A, B). Hence A l B is false, so A l B. A relation is an equivalence relation if it is reflexive, symmetric and transitive. Lemma 3.2. Take a line l. Then the following statements are true. (1) The relation l is an equivalence relation on the complement of l. (2) Take points A, B and C not on l. If A l B and B l C, then A l C. Proof. l is obviously reflexive and symmetric, as (A, A) = and (A, B) = (B, A). Transitivity is the second assertion (2), which we now prove. So take points A, B and C not on l with A l B and B l C. We must prove A l C. By axiom B4, A l C if A, B and C are not collinear. Since l is reflexive, A l C if A, B and C are not distinct. So we can assume that A, B and C are distinct collinear points. Let m = AC. If the line m does not intersect l, then clearly A l C. So assume that l and m intersect. The lines l and m are distinct, because our three points belong to m but not l. Therefore, m l = {X}, for some point X, by Lemma 2.1. By axiom I2, there exists a point E X on l. Thus E m. By axiom B2 there exists a point B with B (E, B ). Let n = BB. By Lemma 2.1, n l = {E}, because B l. Therefore B l, so B is not on l. By axiom B3, E (B, B ). So B l B, by Lemma 3.1. The lines m and n are distinct, because E n. Thus by Lemma 2.1, m n = {B}. Thus A n, and so A, B and B are not collinear. Since A l B and B l B, axiom B4 implies that A l B. By an argument similar to the previous paragraph, C, B and B are not collinear, and C l B. Since l is symmetric, B l C. But A, B and C are also not collinear, since m n = {B}. Thus by axiom B4, A l C. This proves (2). Since this shows l is transitive, this proves (1). We use Moise s definition of a ray [15, p. 55], which is simpler than Greenberg s.

5 A MINIMAL VERSION OF HILBERT S AXIOMS FOR PLANE GEOMETRY 5 Definition 3.3. For distinct points O and P, the ray OP is the subset of the plane (1) OP = {X OP O (X, P )}. Let O, A and B be non-collinear points, and let a = OA and b = OB. Define the angle BAC as the (unordered) set consisting of the two rays AOB = { OA, OB}. We define the interior of the angle AOB as the subset of the plane int AOB = {P P a, P b, P a B and P b A}. We prove a result of Greenberg s [7, Prop. 3.7] that is in a sense a converse to the Crossbar Theorem 3.8 we prove below. Lemma 3.4. Take non-collinear points O, A and B in the plane and a point G (A, B). Then G int AOB. Proof. Let a = OA, b = OB, and l = AB. Then a l = {A}, by Lemma 2.1, since B a. Hence G a, as G l and G A, by axiom B1. A (G, B), by axiom B3, since G (A, B). Thus G a B, by Lemma 3.1, since a l = {A} and A (G, B). Similarly G b and G b A, as B (G, A). Thus G int AOB. We prove Greenberg s result [7, Prop. 3.8(a)]. Lemma 3.5. If X int AOB, then OX {O} int AOB. Proof. Let a = OA, b = OX and x = OX. x a = {O}, by Lemma 2.1, since X a. Similarly x b = {O}. Since X int AOB, X a B and X b A. Take P OX {O}. Then P a, since P O and x a = {O}. Thus P a X, by Lemma 3.1, since O (P, X). Similarly P b X. By Lemma 3.2, P a B and P b A. Thus P int AOB. We prove an easy trichotomy law for interiors of angles, inspired by [7, Prop. 3.21]. Lemma 3.6. Take distinct points O and A. Let a = OA. Take points P, Q a with P a Q and P, Q and O non-collinear. Then P int QOA or Q int P OA. Proof. Let p = OP and q = OQ. Then q a = {O}, by Lemma 2.1, since Q a. Thus A q, since A O. Then p q = {O}, by Lemma 2.1, since P q. Assume P int QOA. Then P q A, since P q, P a and P a Q. Take a point G (P, A) q. Then G int P OA by Lemma 3.4, so G a P, G a, and G O. Since P a Q, Lemma 3.2 implies Q a G. Thus O (Q, G), and then Q OG {O}. Hence Q int P OA, by Lemma 3.5. We give a simpler proof of Greenberg s result [7, Prop. 3.8(c)]. Lemma 3.7. Take non-collinear points O, A and B, a point D int AOB and a point A with O (A, A ). Then B int DOA. Proof. Let a = OA and b = OB. By axiom I1, a = OA. Then a b = {O}, by Lemma 2.1, since B a. Then A b and A b A, since A a {O}. Since D int AOB, D a, D b, D a B, and D b A. Thus D b A, by Lemma 3.2 and a short proof by contradiction. Hence D int BOA. Thus B int DOA, by Lemma 3.6, since B, D a, D a B, and D b. We give a simpler proof of Greenberg s crossbar theorem [7, p. 69].

6 6 WILLIAM RICHTER Theorem 3.8. Given non-collinear points O, A and B, and a point D int AOB, the ray OD intersects the interval (A, B). Proof. Let a = OA, b = OB and l = OD. By axiom B2 there is a point A a and so that O (A, A ). Thus B int DOA, by Lemma 3.7, and A l A. Hence B l A. Thus B l A, by Lemma 3.2 and a short proof by contradiction. So there exists a point G (A, B) l. Then G int AOB by Lemma 3.4, so G a B. But D a B since D int AOB. Thus G a D by Lemma 3.2. Thus O (G, D), so G OD. Thus G (A, B) OD, and we are done. Our proof of the Crossbar Theorem 3.8 is simpler than the proofs of Greenberg [7, p. 69], Venema [16, Thm ] and Moise [15, p. 69], which use Proposition 4.14, but only really need Lemma 4.11, based on Lemmas which order four points. 4. plane separation Wylie s argument [17, 4] proves what Greenberg calls Pasch s theorem [7, p. 67], which Greenberg deduces from a stronger axiom than axiom B4. Proposition 4.1. For A, B and C non-collinear points in the complement of a line l, at least one of the statements A l B, A l C and B l C is true. Proof. Suppose none of the statements are true, so A l B, A l C and B l C. Then there are points X, Y, Z l so that X (A, B), Y (A, C) and Z (B, C). By axiom B3, one of X, Y, Z l lies between the other two. We may assume that Y (X, Z). The points B, X and Z are non-collinear because A, B and C are. Let m = AC. By axiom B3, A (B, X), and AB m = {A}, by Lemma 2.1, since B m. Thus X m B by Lemma 3.1. Similarly B m Z. Thus X m Z by axiom B4. But Y (X, Z) m, so X m Z, and we have reached a contradiction. Now we prove, in a series of exercises, the collinear case of Proposition 4.1. We specialize Lemma 3.2 to a fixed line. Lemma 4.2. Take a point on a line O m and points P, Q, R m {O}. If O (P, Q) and O (Q, R), then O (P, R). Proof. By axiom I3, there exists E m. Let l = OE. Then m l = {O}, by Lemma 2.1, because E m. By Lemma 3.1 and the hypothesis, P l Q and Q l R. Thus P l R, by Lemma 3.2. Therefore O (P, R), by Lemma 3.1. We now show that the ray OP is in a sense independent of P. Lemma 4.3. Take points O, P and Q O, with P OQ {O}. Then OP = OQ. If R (O, Q), then OR = OQ. Proof. Take X OP. Then O (X, Q), by Lemma 4.2, since O (X, P ) and O (P, Q). Hence X OQ. Thus OP OQ. But O (Q, P ), by axiom B1, so Q OP. The same argument shows that OQ OP. Thus OP = OQ. Now assume R (O, Q). Then O, R and Q are distinct collinear points, and O (R, Q), by axiom B3. Thus R OQ {O}. By the first part, OR = OQ. We will prove Hilbert s axiom II.4 is redundant using only the following result.

7 A MINIMAL VERSION OF HILBERT S AXIOMS FOR PLANE GEOMETRY 7 Lemma 4.4. Given points A, O and B with O (A, B), we have OA OB = {O}. If X OB {O}, then X OA. Proof. O OA OB. So the second statement implies the first statement. So take X OB {O}. A, O and B are distinct by B1. Let m = AB. Then m = OB by axiom I1. Then A, X, B m {O}. Since O (X, B) and O (A, B), we have O (A, X), by Lemma 4.2 and a simple proof by contradiction. Thus X OA. Given distinct collinear points A, B, C and D, we will say that the 4-tuple A, B, C, D is an ordered sequence if B (A, C), C (B, D), B (A, D) and C (A, D). Note that by symmetry, if A, B, C, D is an ordered sequence, then D, A, B, C is also an ordered sequence. An an easy corollary of Lemma 4.4 is Lemma 4.5. Let A, B, C and D be distinct points on a line, and suppose that B (A, C) and C (B, D). Then A, B, C, D is an ordered sequence. Proof. D (B, C), by axiom B3. So B (A, C) and D BC {B}. Thus D BA, by Lemma 4.4. Thus B (D, A), so B (A, D) by B1 symmetry. To prove C (A, D), we apply B1 symmetry to the result we have just proved. Since C (D, B) and B (C, A), we have C (D, A), so C (A, D). With Venema s plane separation axiom [16, Axiom 5.5.2] in mind, we now prove Lemma 4.6. Take points B (A, C). Then (A, B) (A, C). Proof. Take X (A, B). Then X B, by B1, and B (X, A), by axiom B3, so X BA {B}. Since B (C, A), by B1 symmetry, X BC, by Lemma 4.4. Thus B (X, C). Thus A, X, B, C is an ordered sequence, by Lemma 4.5, and so X (A, C). Thus (A, B) (A, C). The proof of the above result proves also that Lemma 4.7. Let A, X, B and C be distinct points on a line, and suppose that X (A, B) and B (A, C). Then A, X, B, C is an ordered sequence. This implies Lemma 4.8. Let A, B, C and X be distinct collinear points. Then at least one of the statements X (A, B), X (B, C) and X (A, C) is true. Proof. By axiom B3, one point is between the other two. So assume B (A, C). If X (A, B), we are done, so assume X (A, B). Then A, X, B, C is an ordered sequence by Lemma 4.7, so B (X, C). Thus X (B, C), by axiom B3. Now we have the 4-tuple ordered sequence result we have been aiming for. Lemma 4.9. Let A, B, C and X be distinct collinear points, with B (A, C). (1) Either A (X, B) or X (A, B) or X (B, C) or C (B, X). (2) One of the 4-tuples X, A, B, C, A, X, B, C, A, B, X, C or A, B, C, X is an ordered sequence. Proof. By axiom B3, A (X, B) or X (A, B) or B (A, X). Assume B (A, X). Since B (A, C), we have B (C, X) by Lemma 4.8. Then by axiom B3, X (B, C) or C (B, X). This proves (1).

8 8 WILLIAM RICHTER To prove (2), we consider four cases. If A (X, B), then X, A, B, C is an ordered sequence by Lemma 4.5, since B (A, C). If X (A, B), then A, X, B, C is an ordered sequence by Lemma 4.7. If X (B, C), we have X (C, B) and B (C, A). Thus C, X, B, A is an ordered sequence by Lemma 4.7, and so by symmetry, A, B, X, C is also an ordered sequence. If C (B, X), then A, B, C, X is an ordered sequence by Lemma 4.5. Hilbert s axiom II.4 is now an easy corollary of Lemma 4.9. Proposition 4.10 (Moore). Four distinct collinear points A, B, C and D can be renamed P 1, P 2, P 3 and P 4 so that P 1, P 2, P 3, P 4 is an ordered sequence. Proof. By axiom B3, one of the points A, B and C must be between the other two. Since we are allowed to rename the points, we can assume that B (A, C). By Lemma 4.9, one of the 4-tuples D, A, B, C, A, D, B, C, A, D, X, C or A, D, C, X is an ordered sequence. In all four case we can rename the points P 1, P 2, P 3 and P 4 to obtain our ordered sequence P 1, P 2, P 3, P 4. Lemma 4.8 also implies a result suggested by Lemma 4.4. Lemma Take points O (A, B) on a line l. Then l = OA OB. Proof. Take X OB. We must show that X OA. If X = A we are done, so assume that X A. Then X, A and B are distinct points in l. Since O (X, B) and O (A, B), Lemma 4.8 implies that O (X, A). Thus X OA. OB is called the opposite ray of OB in l. The collinear case of Proposition 4.1 was essentially done in Lemma 4.8. Lemma Let A, B and C be collinear points in the complement in the plane of a line l. Then A l B, A l C or B l C. Proof. If two of the points A, B and C are equal, we are done since the relation l is reflexive. So assume A, B and C are distinct. Let m = AC. If l m =, then we are done, as all three statements are true. So assume l m. Then l m, since A l. Thus l m = {X}, for some point X, by Lemma 2.1. Now Lemma 3.1 translates Lemma 4.8 to our result. Lemma 4.12 and Proposition 4.1 together immediately imply Corollary Let A, B and C be points in the complement in the plane of a line l. Then at least one of the statements A l B, A l C and B l C is true. We call a set U convex if A, B U implies (A, B) U. Now we prove what Venema calls his plane separation postulate [16, p. 408]. Proposition The complement in the plane of a line l is a disjoint union of two nonempty convex sets H 1 and H 2. If P H 1 and Q H 2, then (P, Q) l. Proof. By axiom I3, there is a point A l. Take a point E l. Then AE l = {E} by Lemma 2.1, since A l. By axiom B2, there exists a point B such that E (A, B). Then B l, since B E. By definition A l B, since E (A, B) l. Define H 1 = {X l X l A} and H 2 = {X l X l B}. H 1 and H 2 are disjoint nonempty sets, since l is an equivalence relation (Lemma 3.2).

9 A MINIMAL VERSION OF HILBERT S AXIOMS FOR PLANE GEOMETRY 9 If C l, then by Corollary 4.13, either A l C or B l C, as A l B. Thus the complement of l is the union H 1 H 2. If P H 1 and Q H 2, then P l Q since l is an equivalence relation. Thus (P, Q) l. Take P, Q H 1, so P l A and Q l A. Since l is an equivalence relation, P l Q. Let X (P, Q). Then (P, X) (P, Q) by Lemma 4.6. So (P, X) l (P, Q) l =. Thus X l P, and so X l A, since l is an equivalence relation. Thus X H 1. Hence (P, Q) H 1. Thus H 1 is convex. Similarly H 2 is convex. The disjoint convex sets H 1 = {X l X l A} and H 2 = {X l X l B} above are called the half-planes bounded by l. Since l is an equivalence relation, H 1 and H 2 do not depend on the choice of points A H 1 and B H 2. Take a line l = OA, and let H one of the two half-planes bounded by l. We define the angle AOB to be on the half-plane H if B H. By Lemma 4.3, this does not depend on the point B, but only the ray OB. Take non-collinear points O, A and B and a point D. The ray OD is between OA and OB if D int AOB. By Lemma 4.3, the betweenness relation of rays does not depend on the points A, B and D, but only the rays OA, OB and OD. A triangle ABC is defined as an ordered triple A, B, C of three non-collinear points. In 7 we need definitions [7, p. 69 & 77] of triangle interiors and angle order. Definition Given non-collinear points P, Q and R, let p = QR, q = P R, and r = P Q. We define the interior of the triangle as the set of points in the plane int P QR := {X X p, X q, X r, X p P, X q Q, and X r R}. We say ABC < P QR if there exists G int P QR so that ABC = P QG. Greenberg [7, Prop. 3.21] proves a trichotomy law for this angle ordering relation <, and shows < is preserved under congruence. We will cite Greenberg s result, but more often we will use Lemma 3.6 instead. 5. quadrilaterals Moise has a nice treatment on quadrilaterals [15, 4.4] which we expand on. With Proposition 7.5 in mind, we first generalize the notion of a quadrilateral. We define a tetralateral to be an ordered 4-tuple ABCD of distinct points in the plane, no three of which are collinear. Take a tetralateral ABCD. We define (for this section) the lines a = AB, b = BC, c = CD, d = DA, l = AC, and m = BD. Since no three points of the tetralateral ABCD are collinear, we have C, D a, A, D b, A, B c, B, C d, B, D l, and A, C m. There are six intersections of the four open intervals (A, B), (B, C), (C, D) and (D, A). Then Lemma 5.1. For a tetralateral ABCD, we have four empty intersections: (A, B) (B, C) = (B, C) (C, D) = (C, D) (D, A) = (D, A) (A, B) =. Proof. (A, B) (B, C) a b = {B}, by Lemma 2.1, since A b. Since B (A, B), by axiom B1, (A, B) (B, C) =. The other intersections are similarly empty. We define a quadrilateral ABCD [15, p. 69] to be a tetralateral ABCD where (A, B) (C, D) = and (B, C) (A, D) =. Given a quadrilateral ABCD, all six intersections of the four open intervals (A, B), (B, C), (C, D) and (D, A) are empty, by Lemma 5.1. A quadrilateral ABCD is convex [15, p. 69] if A int BCD, B int CDA, C int DAB, and D int ABC. The term convex quadrilateral

10 10 WILLIAM RICHTER indicates that the inside of the quadrilateral is a convex set, but we will not pursue this. Moise explains the term convex quadrilateral is inconsistent: the union of four non-collinear line segments (or four points) cannot be a convex set. We begin by proving an exercise of Moise [15, Ex. 4, 4.4]. Lemma 5.2. Take a quadrilateral ABCD. Then either A c B or C a D. Proof. Assume that C a D. Then there exists a point G a (C, D). Then by Lemma 2.1, a c = {G}, since A c. But G (A, B), since (A, B) (C, D) =. Furthermore A, B a {G}, since A, B c. Thus A c B, by Lemma 3.1. We generalize Moise s [15, Thm. 1, 4.4] slightly, with the same proof. Lemma 5.3. Take a tetralateral ABCD with B l D and A m C. Then there is a point G (A, C) (B, D), and we have a convex quadrilateral ABCD. Proof. Since A m C, there exists a point G (A, C) m. So G l m. Then l m = {G}, by Lemma 2.1, since A m. Thus B, D m {G}, since B, D l. Hence G (B, D), since B l D, by Lemma 3.1, and a short proof by contradiction. Thus G (A, C) (B, D). Then B (D, G), by axiom B3, so D BG {B}. Now G int ABC, by Lemma 3.4. Thus D int ABC, by Lemma 3.5. A similar argument shows that A int BCD, B int CDA, and C int DAB. We prove Moise s result on the diagonals of a convex quadrilateral. Lemma 5.4. Take a convex quadrilateral ABCD. Then B l D and A m C. There is a point G (A, C) (B, D), and ABDC is not a quadrilateral. Proof. By the Crossbar Theorem 3.8, B l D, since A int BCD. Similarly A m C. Thus there exists a point G (A, C) (B, D), by Lemma 5.3. ABDC is not a quadrilateral, because (C, A) (B, D). We need this tetralateral result for Proposition 7.5. Lemma 5.5. Take a tetralateral ABCD with C a D. Then either ABCD is a convex quadrilateral, ABDC is a convex quadrilateral, D int ABC, or C int DAB. Proof. Either C int DAB or D int CAB, by Lemma 3.6, since C, D a, C a D, and C d. We study these two cases. Case 1: Assume that C int DAB. Then C d B. Either D int CBA or C int DBA, by Lemma 3.6, since D b. We study these two cases. Case 1.1: Assume D int CBA. Then D int ABC and A b D, by Lemma 3.2. By the Crossbar Theorem 3.8, C m A, so C int BDA. Thus B int CDA, by Lemma 3.6, since B, C d, B d C, and C m. Thus A c B, by Lemma 3.2. Hence A int BCD, since A b, and A c. Thus ABCD is a convex quadrilateral. Case 1.2: Assume C int DBA. Then C int DAB, since C int DAB. Thus in case 1, either ABCD is a convex quadrilateral or C int DAB. Case 2: Assume that D int CAB. By the proof of case 1, either ABDC is a convex quadrilateral or D int ABC. We can obtain the proof by switching C and D is the above proof, because our lemma is symmetric in C and D. We specialize Lemma 5.5 to quadrilaterals.

11 A MINIMAL VERSION OF HILBERT S AXIOMS FOR PLANE GEOMETRY 11 Lemma 5.6. Take a quadrilateral ABCD. Then either ABCD is a convex quadrilateral, A int BCD, B int CDA, C int DAB or D int ABC. Furthermore either B l D or A m C. Proof. Either A c B or C a D, by Lemma 5.2. We will apply to Lemma 5.5 to the quadrilaterals ABCD and CDAB. CDAB is a quadrilateral. ABDC is not a convex quadrilateral, by Lemma 5.4 and a short proof by contradiction, since ABCD is a quadrilateral. Similarly, CDBA is a not a convex quadrilateral, since CDAB is a quadrilateral. If C a D, then either ABCD is a convex quadrilateral, D int ABC, or C int DAB, by Lemma 5.5. Similarly, if A c B, then either CDAB is a convex quadrilateral, B int CDA, or A int BCD. But CDAB is convex iff ABCD is convex. This proves our first assertion. Thus either ABCD is a convex quadrilateral, A int BCD, B int ADC, C int BAD, or D int ABC. For each of these five possibilities, either B l D or A m C, or both, by Lemma 5.4 and the Crossbar Theorem The congruence relation = For points A B, the segment AB is defined as the subset of the plane AB = {A, B} (A, B). Note that AB = BA. We have the undefined binary relation = on segments. If AB = CD, we say that the segment AB is congruent to the segment CD. Hilbert s axioms for congruence of segments are C1. Given a segment AB and a ray r from C, there is a unique point D on r such that CD = AB. C2. = is an equivalence relation on the set of segments. C3. If A B C, A B C, AB = A B and BC = B C, then AC = A C. We write AB < CD if there exists a point E (C, D) such that AB = CE. Greenberg [7, Prop. 3.13] proves the segment order relation < satisfies a trichotomy law, a transitive property and is well defined up to congruence of segments. We have the undefined binary relation = on angles, and Hilbert s axioms are C4. Given an angle AOB, a ray O A, and a half-plane H of the line O A, there is a unique ray O B on the half-plane H so that AOB = A O B. C5. = is an equivalence relation on the set of angles. C6. Take triangles ABC and A B C. If AB = A B, AC = A C and BAC = B A C, then ABC = A B C. We write ABC = A B C, and say the two triangles are congruent, if the corresponding segments and angles are congruent. Now we prove that the SAS criterion implies congruent triangles, following Hilbert s proof. Theorem 6.1 (SAS). Take triangles ABC and A B C. If AB = A B, AC = A C and BAC = B A C, then ABC = A B C. Proof. Let l = AB, m = BC and n = AC. Since A, B and C are non-collinear points, l m = {B} and m n = {C}, by Lemma 2.1. By axiom C6 we know that ABC = A B C. By axiom C1, there is a unique point D BC so that BD = B C. Then ABD = ABC, so by the reflexive property of angle congruence (axiom C5), ABD = ABC. So ABD = A B C, by axiom C5.

12 12 WILLIAM RICHTER So by axiom C6, BAD = B A C. By hypothesis and axiom C5 symmetry and transitivity, BAD = BAC. But B (C, D), by definition of a ray, since D BC m. Therefore C l D, so the rays AC and AD are on the same half-plane of l. Since BAD = BAC, axiom C4 implies that AC = AD. Then D n m. Thus C = D. We now have five of the six congruences we need, and axiom C6 implies the last congruence ACB = A C B. Greenberg uses Lemma 6.1 instead of axiom C6. However, his proof [7, Prop. 3.17] of the ASA theorem is similar to Hilbert s proof of the SAS theorem. His proof [7, Prop. 3.19] of the angle addition result seems difficult, and does not follow Hilbert s treatment. Trying to follow Hilbert, we instead prove an angle subtraction result. Lemma 6.2. Take triangles AOB and A O B, and points G int AOB and G int A O B. Suppose we have the angle congruences AOB = A O B and AOG = A O G. Then BOG = B O G. Proof. We may replace the points A, B, G, A, B, and G by other points on their rays. By axiom C1, we may assume that OA = O A and OB = O B. By the Crossbar Theorem 3.8, we may assume that G (A, B) and G (A, B ). By the SAS Theorem 6.1, AOB = A O B, so AB = A B, OAB = O A B and OBA = O B A. By ASA [7, Prop. 3.19], AOG = A O G, so AG = A G. Then BG = B G by the segment subtraction result [7, Prop. 3.11]. By SAS, BOG = B O G. Therefore we have BOG = B O G. We state and prove the angle analogue of a result of Greenberg [7, Prop. 3.11], as his exercise proof of his angle ordering result [7, Prop. 3.21] seems to require it. Lemma 6.3. Take triangles AOB and A O B with AOB = A O B and a point G int AOB. There exists G int A O B such that AOG = A O G. Proof. We sketch the proof, as it is similar to that of Lemma 6.2. We may assume that OA = O A, OB = O B, AB = A B, OAB = O A B and G (A, B). By a result of Greenberg [7, Prop. 3.11], there exists a unique point G (A, B ) such that AG = A G. Then G int A O B. By the SAS Theorem 6.1, OAG = O A G. We deduce the angle addition result from Lemma 6.2 and Lemma 6.3. Lemma 6.4. Take triangles AOB and A O B, and points G int AOB and G int A O B. Suppose we have the angle congruences AOG = A O G and BOG = B O G. Then AOB = A O B. Proof. Let l = O A. Then G l B. By axiom C4, there exists a unique ray O X so that X l G and AOB = A O X. By Lemma 6.3, there exists a point Y int A O X so that AOG = A O Y. Then Y l X. So Y l G by Lemma 3.2. By axioms C4 and C5, O G = O Y. So we can assume that Y = G. Hence G int A O X. By Lemma 6.2, BOG = XO G. Let m = O G. By the crossbar theorem, the intervals (A, X) and (A, B ) both intersect the ray O G. So A m X and A m B. Thus X m B by Lemma Thus O X and O B are on the same half-plane of m, and XO G = B O G, by axiom C5. Thus O X = O B by axiom C4. Hence AOB = A O B.

13 A MINIMAL VERSION OF HILBERT S AXIOMS FOR PLANE GEOMETRY 13 Given an angle AOB and a point A with O (A, A ), the angle BOA is called the supplement of AOB, and we say AOB and BOA are supplementary angles. We say an angle is a right angle if it is congruent to its supplement. Then Lemma 6.5. Supplements of congruent angles are congruent. An angle congruent to a right angle is a right angle. All right angles are congruent. Take a line h = OH and two right angles AOH and HOB, with A h B. Then O (A, B). Proof. Greenberg proves the first statement [7, Prop. 3.14]. This implies the second statement, by axiom C5. The third statement, due to Hilbert, is [7, Prop. 3.23]. Let v = OA. Then h v = {O}, by Lemma 2.1, since A h. By axiom B2, there exists a point X v with O (A, X). Then X h, since X O, and A h X. Thus X h B, by Corollary 4.13, since B h. HOX = AOH, since AOH is a right angle with supplement HOX. By axiom C5, HOX = HOB, since all right angles are congruent. Thus OX = OB, by axiom C4, since X h B. Then B v. Hence O (A, B), by Lemma 3.1 and a short proof by contradiction, since A, B v {O}. 7. Euclid, Hilbert and the parallel postulate Hartshorne [10] does an excellent job explaining how Hilbert s work rigorizes book I of Euclid s Elements [6]. Here we fill some gaps in Hartshorne s proofs. Hartshorne gives the mild Hilbert rigorization [10, p. 97] needed for Euclid s Prop. I.5 (an isosceles triangle has congruent base angles). A proof requiring no Hilbert rigorization [15, 6.2, Thm. 1] is due to Pappus [11, p. 254] in 300 C.E. Lemma 7.1. Take a triangle with BAC with AB = AC. Then CBA = ACB. Proof. BAC = CAB, by SAS, since BAC = BAC, by axiom C5. Greenberg [7, Prop. 3.22] and Moise [15, 6.2, Thm. 3] give the same Hilbert rigorization of Euclid s Prop. I.8, the SSS Theorem about congruent triangles. Theorem 7.2. Take triangles ABC and A B C with AB = A B, AC = A C, and BC = B C. Then ABC = A B C. Hartshorne s proof [10, Prop. 10.1] of the SSS Theorem 7.2 is perhaps too sketchy. Hartshorne s Hilbert rigorization of Euclid s Prop. I.9 [10, p. 100], the existence of angle bisectors, has a gap which we fill in the second paragraph of our proof Lemma 7.3. Given an angle BAC, there exists a point F int BAC so that BAF = F AC. Proof. By axiom B2, there exists a point D with B (A, D), so D AB {A}. By axiom C1, there exists a point E AC {A} with AE = AD. Then AD = AB and AE = AC, by Lemma 4.3. Thus BAC = DAE. Then EDA = AED, by Lemma 7.1. Let d = AD, e = AE, and h = DE. Then d e = {A}, by Lemma 2.1, since C e = AC, and C d = AB. Thus E d, since E A. Hence d h = {D}, by Lemma 2.1, so A h, since A D. By axioms C4 and C1, there exists a point F so that F DE = EDA, F h, F h A, and DF = DA. By the SAS Theorem 6.1, DF E = DAE, since DE = DE by axiom C2, so F E = AD and DEF = AED. Let v = AF. We must show D, E v and D v E. Assume (for a contradiction) that D v. Then v h = {D}, by Lemma 2.1, since A D. Then D (A, F ), by Lemma 3.1 and a short proof by contradiction, since

14 14 WILLIAM RICHTER A, F v {D}. Thus EDA is a right angle, as it is congruent to its supplement F DE. By Lemma 6.5, AED and DEF are right angles and E (A, F ). Thus D = E, by axiom C1, since AE = AD and D, E AF, since A (D, F ) and A (E, F ), by axiom B3. This is a contradiction, since D E. Thus D v. By a similar proof by contradiction, E v. Thus D, E v. By the SSS Theorem 7.2, F AD = F AE. Thus DAF = F AE. Since D, E v, either D v E or D v E. Assume (for a contradiction) that D v E. Then D = E by axioms C4 and C1, since DAF = EAF. This is a contradiction, so D v E. Thus there exists a point G (D, E) v. Then G int DAE, by Lemma 3.4, and h v = {G}, by Lemma 2.1, since A h. Thus G (A, F ), by Lemma 3.1 and a short proof by contradiction, since A, F v {G}, and F h A. By axiom B3, F (A, G), so F AG {A}. Thus F int DAE, by Lemma 3.5. Thus, F int BAC and BAF = F AC. Take distinct points B and C. Hartshorne constructs [10, Prop. 10.2] an isosceles triangle BAC, and then proves the existence of midpoints by using the Crossbar Theorem 3.8, Lemma 7.3 and SAS to find the midpoint of (A, B). This, together with axiom B2, proves Hilbert s axiom II.2, which is stronger than our axiom B2: II.2. Given two distinct points A and C, there exists points B and D such that B (A, C) and C (A, D). Greenberg, who takes II.2 as an axiom himself, gives a much simpler but less appealing proof [7, p. 86, Ex. 6] of II.2 using only axiom B2. Hartshorne gives a nice Hilbert rigorization of Euclid s Prop. I.16 [10, Prop. 10.3] Theorem 7.4. Take a triangle ABC with a point D such that C (B, D). Then CAB < ACD. This result (see also [16, Thm ]) is called the Exterior Angle Theorem, because ACD, the supplement of BCA, is called an exterior angle of ABC. Hartshorne s Hilbert rigorization of Euclid s Prop. I.7 [10, p. 35 & Ex. 9.4] is insufficient, so we reprove Prop. I.7, adding details to Hartshorne s proof. Afterward we will give a much simpler proof of the result. Proposition 7.5. Take distinct points A and B in the plane, and let a = AB. Take distinct points C and D in the plane with C, D a and C a D, and suppose that AC = AD. Then BC = BD. Proof. CAD is isosceles, so CDA = ACD, by Lemma 7.1. Define the lines b = BC, c = CD, d = AD, l = AC and m = BD. By Lemma 2.1, l a = {A}, since C a. Hence B l. Similarly B d, A m, and A b. Assume (for a contradiction) that C d. Then A (D, C), since C a D, so C AD. Then C = D, by axiom C1, since AC = AD. But C D, so we have a contradiction. Hence C d. We similarly prove that D l. Since C d, Lemma 2.1 implies c d = {D}. Hence A c, since A D, since D a. If D b or C m, then a similar argument shows that BC = BD, and we are done. Hence we may assume that D b and C m. Then b c = {C}, by Lemma 2.1, since D b. Thus B c, since B C, since C a. Thus A, B, C and D are distinct points, and C, D a, A, D b, A, B c, B, C d, B, D l, and A, C m. Thus ABCD is a tetralateral with C a D. By Lemma 5.5, either ABCD is a convex quadrilateral, C int DAB, ABDC is a convex quadrilateral, or D int ABC. We study the four cases.

15 A MINIMAL VERSION OF HILBERT S AXIOMS FOR PLANE GEOMETRY 15 Case 1: Assume ABCD is a convex quadrilateral. Then B int CDA and A int BCD. By Definition 4.15, CDB < CDA and ACD < BCD, and CDA = ACD. Thus CDB < BCD, and so CDB = BCD, since < is transitive, preserves congruence and has a trichotomy property [7, Prop. 3.21]. By a short proof by contradiction using Lemma 7.1, so BD = BC. Case 2: Assume C int DAB. By axiom B2 there exists a points E d so that D (A, E). By axiom I1, d = DE. Since C d and D b, the angles CDE and BCD exist. B int CDE, by Lemma 3.7, since C int ADB. By the Crossbar Theorem 3.8, there exists a point F (B, D) AC, since C int BAD. Thus A (F, C), and F int BCD, by Lemma 3.4. A, C, F l are distinct points, because ABDC is a tetralateral. F (A, C), since C m A, since C int ADB. Thus C (A, F ) by axiom B3. Supplements of congruent angles are congruent [7, Prop. 3.14], so CDE = F CD, since CDA = ACD. Thus CDB < CDE = F CD < BCD, since B int CDE and F int BCD. The argument of case 1 shows that BC = BD. We have cases 3 and 4, where ABDC is a convex quadrilateral or D int ABC. In both cases we prove that BC = BD by the arguments of cases 1 and 2. This works because our proposition is symmetric in C and D. Remark 7.6. Hartshorne explains Euclid s proof of Prop. I.7 has a gap which must be filled by showing that A int DCB and B int CDA in case 1, but he ignores the other 3 cases. Fitzpatrick s literal translation of the Elements ( gives only Hartshorne s one case. The version of the Elements we use [6] gives our cases 1 and 2. In what is considered to be the definitive version of the Elements, Heath explains that [11, p ] a literal translation of Euclid s statement of Prop. I.7 is apparently obscure and vague 1, that this second case of [6] is due to the 5th Century mathematician Proclus, and that Euclid had the general practice of giving only one case, and that the most difficult, and leaving the others to be worked out by the reader. For Prop. I.7 this seems unfortunate, especially because of extra Hilbert theory needed. Now we give a simple proof of Euclid s Prop. I.7 which we think is well known. Proof of Proposition 7.5. Assume (for a contradiction) that BC = BD. We have triangles ACB and ADB because C, D a. Then ACB = ADB, by the SSS Theorem 7.2, since AB = AB, by axiom C2. Hence BAC = BAD. By axiom C4, AC = AD, since C b D. Then C = D, by axiom C1, since AC = AD. Since C and D are distinct, we have a contradiction. Hence BC = BD. We discuss Hartshorne s treatment of circles [10, 11]. Given a point O and a segment AB, let Γ be the circle with center O and radius AB defined as Γ = {C OC = AB}. A point X is inside Γ if OX < OA and outside Γ if OA < OX. As Hartshorne explains, Euclid s Prop. I.7 says that two circles can not have two intersection points in the same half-plane of the line between their centers. 1 Fitzpatrick translation is On the same straight-line, two other straight-lines equal, respectively, to two (given) straight-lines (which meet) cannot be constructed (meeting) at a different point on the same side (of the straight-line), but having the same ends as the given straight-lines.

16 16 WILLIAM RICHTER We work Hartshorne s circle convexity exercise [10, Ex. 11.1(a)], which Greenberg proves in an exercise [7, Ex. 4.29]. Our proof is similar but slightly simpler. Lemma 7.7. Let Γ be a circle points with center O and radius OR. Assume the points A and B are inside Γ. Then the open interval (A, B) lies inside Γ. Proof. We have OA < OR and OB < OR. Take X (A, B). We must show that OX < OR. As in [10, Prop. 11.2], we use Theorem 7.4 and Euclid s Proposition I.19 (which relates side-lengths of a triangle to their opposite angles), and we also need I.18 [6, p ]. We have two cases depending on whether OA = OB (the easier case) or not. Assume that OA = OB. We may assume that OA < OB. Applying I.18 to the triangle OAB yields OBA < OAB. Applying I.16 to OAX yields OAB < OXB. Then OBA < OXB by the transitive property of angle ordering [7, Prop. 3.21]. Applying I.19 to the triangle OXB yields OX < OB. Then OX < OR by the transitive property of segment ordering [7, Prop. 3.13]. Assume OA = OB. Then AOB is isosceles, so OBA = OAB, by Lemma 7.1. The proof is now similar to the case above, but we do not need I.18. We say lines l and m in a plane are parallel, and write l m, if l m =. The Exterior Angle Theorem 7.4 allows us to construct parallel lines. Take lines l and m, distinct points A, C l m and distinct points B, E m l. The line x = AB is called a transversal which cuts l and m. Suppose also that E x C. Then CAB and EBA are called alternate interior angles [16, p. 107]. Venema gives a nice proof of the Alternate Interior Angles Theorem [16, Thm ] Lemma 7.8. If CAB = EBA, then l m. Proof. Assume (for a contradiction) that l m, so there exists a point G l m. Then G A and G B. By Lemma 2.1, x l = {A} and x m = {B}, since B l and A m. Thus C x, G x, and E x. Assume (for a contradiction) that G x C. Then A (G, C). Thus AG = AC, by Lemma 4.3, since G AC {A}. Hence GAB = CAB, so GAB = EBA. By Lemma 3.2 and a short proof by contradiction, G x E, since C x G and C x E. Thus B (E, G), by Lemma 3.1 and a short proof by contradiction, since x m = {B} and E, G m {B}. Hence EBA is the supplement of ABG and so an exterior angle of triangle GAB. Thus GAB < EBA, by the Exterior Angle Theorem 7.4. Thus GAB = EBA, by Greenberg s [7, Prop. 3.21] trichotomy law for <. This is a contradiction. Hence G x C. Then G x E, by Corollary 4.13, since G x C and C x E. By axiom C5, EBA = CAB. We obtain a contradiction by the argument above, switching the pairs l and m, A and B, and E and C. This switch works because of the symmetry in our lemma. Hence l m. As Hartshorne points out [10, Thm ], the result is Euclid s Prop. I.27. Hartshorne however fails to point out that the proof requires Hilbert betweenness fixing, and that Euclid s Prop. I.27 is vaguely stated, as Euclid lacks the betweenness axioms needed to define alternate interior angles. As Hartshorne points out [10, Ex ], Lemma 7.8 implies, without using the parallel postulate, Proposition 7.9. A quadrilateral ABCD with AB = CD and BC = AD is a parallelogram.

17 A MINIMAL VERSION OF HILBERT S AXIOMS FOR PLANE GEOMETRY 17 Proof. By Lemma 5.6, either B x D or A y C. We may assume that B x D. So when we cut the lines l and r by the transversal x, CAB and ACD are alternate interior angles. Also cut the lines t and b by the transversal x. Then B x D again implies that CAD and ACB are alternate interior angles. By SSS, we have congruent triangles CAB = ACD so CAB = ACD and CAD = ACB. Thus AB CD and AD BC by Lemma 7.8. A typical reader of Hartshorne s could not be expected to work this exercise [10, Ex ], as Hartshorne does not mention the betweenness issues we dealt with, and merely says Join the midpoints of AB and CD, then use (I.27). We prove part of Euclid s Prop. I.21, as Hartshorne [10, Thm. 10.4] fails to explain that Euclid s proof requires Hilbert betweenness fixing. Lemma Take a triangle ABC with a point D int ABC. Then BAC < BDC. Proof. Let m = AC. Then D int ABC and D m B, since D int ABC. There exists a point E (A, C) BD, by the Crossbar Theorem 3.8. Apply the Exterior Angle Theorem 7.4 to BAE. Then BAE < BEC, since E (A, C). By Lemma 4.3, AC = AE, so BAC = BAE. Thus BAC < BEC. B, D and E are distinct, and B (E, D), since E BD. But E (B, D), since B m D and (A, C) m. Thus D (E, B), by axiom B3. Apply the Exterior Angle Theorem 7.4 to DEC. Then DEC < BDC. EB = ED, by Lemma 4.3, since D (E, B). Thus BEC = DEC. Hence BAC < BDC, by Greenberg s [7, Prop. 3.21] transitivity law for <. For the rest of the paper we adopt Venema s version of Euclid s parallel postulate. P. Given a line l in the plane and a point P l, there exists a unique line m in the plane so that P m and m l. We prove a version of the triangle sum theorem (Lemma 10.1). Lemma Take a triangle ABC, with lines l = AC, x = AB and y = BC. There exists a line m B and points E, F m {B} with m l, B (E, F ), E x C, F y A, C int ABF, EBA = CAB and CBF = BCA. Proof. By axiom C4, there exists a unique ray BE with E x C and EBA = CAB. Let m = BE. Then EBA and CAB are alternate interior angles, so l m by Lemma 7.8. By axiom B2, there exists F m with B (E, F ). Then E x F and E y F, since B (E, F ). Then C x F, by Corollary 4.13, since E x C. C m A, since (C, A) m l m =, since l m. Thus C int ABF. The Crossbar Theorem 3.8 implies BC (F, A). Then F y A since BC y. By axiom C4, there exists a unique ray BF with F y A and CBF = BCA. Let m = BF. Then CBF and BCA are alternate interior angles, so l m by Lemma 7.8. Since F y A and F y A, we have F y F, by Corollary Axiom P implies m = m, because B m, l m and l m. Then B (F, F ), by Lemma 3.1, since F, F m {B} and F y F. Thus BF = BF, and so CBF = CBF. Thus CBF = BCA, by Lemma 3.2. We used axiom P only at the end, to essentially prove the converse of the Alternate Interior Angles theorem [16, Thm ]. The SMSG proof of the triangle

18 18 WILLIAM RICHTER sum theorem [1, Thm. 9-13] is fairly rigorous, showing that C int ABF, but not showing EBA = CAB and CBF = BCA are alternate interior angle pairs. The SMSG proof [1, Thm. 9-5] of Lemma 7.8 is also reasonably rigorous, considering one of the two cases, and ignoring betweenness issues dimensional geometry Hartshorne constructs the 5 Platonic solids and the 13 Archimedean solids [10, Ch. 8], but does not take the time to set up axiomatic foundations for this solid geometry, and recommends Euclid s book XI [6]. We explain Euclid s work with Hilbert s 3-dimensional axioms [16, App. B1]. We give the SMSG [1, Thm. 8.2] proof of Euclid s Proposition XI.4, which improves on Euclid s proof by not using the converse of the Pythagorean theorem. Following the SMSG insight, we similarly improve Euclid s proofs of his Propositions XI.6 and XI.8. We explain Hilbert s 3-dimensional axioms [16, App. B1]. We are given a set of points called Space. We are given subsets of Space called lines and planes. Points in the set Space are called coplanar if there is some plane in Space containing them. All but two of our axioms for the set Space together with its subsets are J1. Given distinct points A and B in Space, there is a unique line l such that A l and B l. J2. Given a line l in Space, there exists two distinct points A and B in the plane such that A l and B l. I4. If the points A, B and C are not contained in some line, there exists a unique plane α containing A, B and C. I5. Take a plane α and distinct points A, B α, and let l be the unique line containing A and B. Then l α. I6. If two distinct planes intersect, their intersection is a line. I7. There exists four distinct non-coplanar points that do not lie on a line. Axiom I5 requires axiom J1. A plane α in Space is a set of points, as it is a subset of Space, and α contains lines, the lines in Space that are subsets of α. By axioms J1, J2 and I5, α satisfies axioms I1 and I2. We can now use the notation AB unambiguously to mean the line guaranteed by axiom J1 or axiom I1. We assume every plane α has a betweenness relation. We assume the axiom (M for model) M1. Every plane α in Space satisfies axioms I3, B1 4 and P. The results of 3 and 4 now hold in the plane α, and define segments, rays, angles and half-planes in α. We assume our other model axiom M2. Every plane α in Space satisfies axioms C1 6. Thus every plane α in Space satisfies axioms I1 3, B1 4, C1 6 and P. Our axioms differ from Hilbert s, because we did not want to now change our earlier axioms, and claim, an easy modification of our proofs show our earlier results hold in any plane in Space. The wording of most of our earlier axioms would remain the same, but the meanings would change, as now the points would be in Space, rather than in the plane. Our axiom B4 would be now changed to Take a plane α, a line l α, and non-collinear points A, B, C α l. If there exists D l so that A D C, there exists an X l such that A X B or B X C.

A MINIMAL VERSION OF HILBERT S AXIOMS FOR PLANE GEOMETRY

A MINIMAL VERSION OF HILBERT S AXIOMS FOR PLANE GEOMETRY A MINIMAL VERSION OF HILBERT S AXIOMS FOR PLANE GEOMETRY WILLIAM RICHTER Abstract. This note is intended to be useful to good high school students wanting a rigorous treatment of Hilbert s axioms for plane

More information

Definitions, Axioms, Postulates, Propositions, and Theorems from Euclidean and Non-Euclidean Geometries by Marvin Jay Greenberg ( )

Definitions, Axioms, Postulates, Propositions, and Theorems from Euclidean and Non-Euclidean Geometries by Marvin Jay Greenberg ( ) Definitions, Axioms, Postulates, Propositions, and Theorems from Euclidean and Non-Euclidean Geometries by Marvin Jay Greenberg (2005-02-16) Logic Rules (Greenberg): Logic Rule 1 Allowable justifications.

More information

Definitions, Axioms, Postulates, Propositions, and Theorems from Euclidean and Non-Euclidean Geometries by Marvin Jay Greenberg

Definitions, Axioms, Postulates, Propositions, and Theorems from Euclidean and Non-Euclidean Geometries by Marvin Jay Greenberg Definitions, Axioms, Postulates, Propositions, and Theorems from Euclidean and Non-Euclidean Geometries by Marvin Jay Greenberg Undefined Terms: Point, Line, Incident, Between, Congruent. Incidence Axioms:

More information

Definitions, Axioms, Postulates, Propositions, and Theorems from Euclidean and Non-Euclidean Geometries by Marvin Jay Greenberg ( )

Definitions, Axioms, Postulates, Propositions, and Theorems from Euclidean and Non-Euclidean Geometries by Marvin Jay Greenberg ( ) Definitions, Axioms, Postulates, Propositions, and Theorems from Euclidean and Non-Euclidean Geometries by Marvin Jay Greenberg (2009-03-26) Logic Rule 0 No unstated assumptions may be used in a proof.

More information

Foundations of Neutral Geometry

Foundations of Neutral Geometry C H A P T E R 12 Foundations of Neutral Geometry The play is independent of the pages on which it is printed, and pure geometries are independent of lecture rooms, or of any other detail of the physical

More information

Chapter 3. Betweenness (ordering) A system satisfying the incidence and betweenness axioms is an ordered incidence plane (p. 118).

Chapter 3. Betweenness (ordering) A system satisfying the incidence and betweenness axioms is an ordered incidence plane (p. 118). Chapter 3 Betweenness (ordering) Point B is between point A and point C is a fundamental, undefined concept. It is abbreviated A B C. A system satisfying the incidence and betweenness axioms is an ordered

More information

Mathematics 2260H Geometry I: Euclidean geometry Trent University, Winter 2012 Quiz Solutions

Mathematics 2260H Geometry I: Euclidean geometry Trent University, Winter 2012 Quiz Solutions Mathematics 2260H Geometry I: Euclidean geometry Trent University, Winter 2012 Quiz Solutions Quiz #1. Tuesday, 17 January, 2012. [10 minutes] 1. Given a line segment AB, use (some of) Postulates I V,

More information

Neutral Geometry. October 25, c 2009 Charles Delman

Neutral Geometry. October 25, c 2009 Charles Delman Neutral Geometry October 25, 2009 c 2009 Charles Delman Taking Stock: where we have been; where we are going Set Theory & Logic Terms of Geometry: points, lines, incidence, betweenness, congruence. Incidence

More information

SOLUTIONS TO EXERCISES FOR. MATHEMATICS 133 Part 4. Basic Euclidean concepts and theorems

SOLUTIONS TO EXERCISES FOR. MATHEMATICS 133 Part 4. Basic Euclidean concepts and theorems SOLUTIONS TO EXERCISES FOR MATHEMATICS 133 Part 4 Winter 2009 NOTE ON ILLUSTRATIONS. Drawings for several of the solutions in this file are available in the following file: http://math.ucr.edu/ res/math133/math133solutions04.figures.f13.pdf

More information

MAT 3271: Selected solutions to problem set 7

MAT 3271: Selected solutions to problem set 7 MT 3271: Selected solutions to problem set 7 Chapter 3, Exercises: 16. Consider the Real ffine Plane (that is what the text means by the usual Euclidean model ), which is a model of incidence geometry.

More information

TRIANGLES CHAPTER 7. (A) Main Concepts and Results. (B) Multiple Choice Questions

TRIANGLES CHAPTER 7. (A) Main Concepts and Results. (B) Multiple Choice Questions CHAPTER 7 TRIANGLES (A) Main Concepts and Results Triangles and their parts, Congruence of triangles, Congruence and correspondence of vertices, Criteria for Congruence of triangles: (i) SAS (ii) ASA (iii)

More information

4 Arithmetic of Segments Hilbert s Road from Geometry

4 Arithmetic of Segments Hilbert s Road from Geometry 4 Arithmetic of Segments Hilbert s Road from Geometry to Algebra In this section, we explain Hilbert s procedure to construct an arithmetic of segments, also called Streckenrechnung. Hilbert constructs

More information

Exercises for Unit V (Introduction to non Euclidean geometry)

Exercises for Unit V (Introduction to non Euclidean geometry) Exercises for Unit V (Introduction to non Euclidean geometry) V.1 : Facts from spherical geometry Ryan : pp. 84 123 [ Note : Hints for the first two exercises are given in math133f07update08.pdf. ] 1.

More information

Honors 213 / Math 300. Second Hour Exam. Name

Honors 213 / Math 300. Second Hour Exam. Name Honors 213 / Math 300 Second Hour Exam Name Monday, March 6, 2006 95 points (will be adjusted to 100 pts in the gradebook) Page 1 I. Some definitions (5 points each). Give formal definitions of the following:

More information

Logic, Proof, Axiom Systems

Logic, Proof, Axiom Systems Logic, Proof, Axiom Systems MA 341 Topics in Geometry Lecture 03 29-Aug-2011 MA 341 001 2 Rules of Reasoning A tautology is a sentence which is true no matter what the truth value of its constituent parts.

More information

I I I : Basic Euclidean concepts and theorems

I I I : Basic Euclidean concepts and theorems I I I : Basic Euclidean concepts and theorems The purpose of this unit is to develop the main results of Euclidean geometry using the approach presented in the previous units. The choice of topics reflects

More information

SOLUTIONS SECTION A [1] = 27(27 15)(27 25)(27 14) = 27(12)(2)(13) = cm. = s(s a)(s b)(s c)

SOLUTIONS SECTION A [1] = 27(27 15)(27 25)(27 14) = 27(12)(2)(13) = cm. = s(s a)(s b)(s c) 1. (A) 1 1 1 11 1 + 6 6 5 30 5 5 5 5 6 = 6 6 SOLUTIONS SECTION A. (B) Let the angles be x and 3x respectively x+3x = 180 o (sum of angles on same side of transversal is 180 o ) x=36 0 So, larger angle=3x

More information

NAME: Mathematics 133, Fall 2013, Examination 3

NAME: Mathematics 133, Fall 2013, Examination 3 NAME: Mathematics 133, Fall 2013, Examination 3 INSTRUCTIONS: Work all questions, and unless indicated otherwise give reasons for your answers. If the problem does not explicitly state that the underlying

More information

EUCLIDEAN AND HYPERBOLIC CONDITIONS

EUCLIDEAN AND HYPERBOLIC CONDITIONS EUCLIDEAN AND HYPERBOLIC CONDITIONS MATH 410. SPRING 2007. INSTRUCTOR: PROFESSOR AITKEN The first goal of this handout is to show that, in Neutral Geometry, Euclid s Fifth Postulate is equivalent to the

More information

Fill in the blanks Chapter 10 Circles Exercise 10.1 Question 1: (i) The centre of a circle lies in of the circle. (exterior/ interior) (ii) A point, whose distance from the centre of a circle is greater

More information

A plane can be names using a capital cursive letter OR using three points, which are not collinear (not on a straight line)

A plane can be names using a capital cursive letter OR using three points, which are not collinear (not on a straight line) Geometry - Semester 1 Final Review Quadrilaterals (Including some corrections of typos in the original packet) 1. Consider the plane in the diagram. Which are proper names for the plane? Mark all that

More information

THEOREMS WE KNOW PROJECT

THEOREMS WE KNOW PROJECT 1 This is a list of all of the theorems that you know and that will be helpful when working on proofs for the rest of the unit. In the Notes section I would like you to write anything that will help you

More information

0809ge. Geometry Regents Exam Based on the diagram below, which statement is true?

0809ge. Geometry Regents Exam Based on the diagram below, which statement is true? 0809ge 1 Based on the diagram below, which statement is true? 3 In the diagram of ABC below, AB AC. The measure of B is 40. 1) a b ) a c 3) b c 4) d e What is the measure of A? 1) 40 ) 50 3) 70 4) 100

More information

Chapter 7. Geometric Inequalities

Chapter 7. Geometric Inequalities 4. Let m S, then 3 2 m R. Since the angles are supplementary: 3 2580 4568 542 Therefore, m S 42 and m R 38. Part IV 5. Statements Reasons. ABC is not scalene.. Assumption. 2. ABC has at least 2. Definition

More information

SMT 2018 Geometry Test Solutions February 17, 2018

SMT 2018 Geometry Test Solutions February 17, 2018 SMT 018 Geometry Test Solutions February 17, 018 1. Consider a semi-circle with diameter AB. Let points C and D be on diameter AB such that CD forms the base of a square inscribed in the semicircle. Given

More information

21. Prove that If one side of the cyclic quadrilateral is produced then the exterior angle is equal to the interior opposite angle.

21. Prove that If one side of the cyclic quadrilateral is produced then the exterior angle is equal to the interior opposite angle. 21. Prove that If one side of the cyclic quadrilateral is produced then the exterior angle is equal to the interior opposite angle. 22. Prove that If two sides of a cyclic quadrilateral are parallel, then

More information

triangles in neutral geometry three theorems of measurement

triangles in neutral geometry three theorems of measurement lesson 10 triangles in neutral geometry three theorems of measurement 112 lesson 10 in this lesson we are going to take our newly created measurement systems, our rulers and our protractors, and see what

More information

Geometry Problem Solving Drill 08: Congruent Triangles

Geometry Problem Solving Drill 08: Congruent Triangles Geometry Problem Solving Drill 08: Congruent Triangles Question No. 1 of 10 Question 1. The following triangles are congruent. What is the value of x? Question #01 (A) 13.33 (B) 10 (C) 31 (D) 18 You set

More information

Triangles. 3.In the following fig. AB = AC and BD = DC, then ADC = (A) 60 (B) 120 (C) 90 (D) none 4.In the Fig. given below, find Z.

Triangles. 3.In the following fig. AB = AC and BD = DC, then ADC = (A) 60 (B) 120 (C) 90 (D) none 4.In the Fig. given below, find Z. Triangles 1.Two sides of a triangle are 7 cm and 10 cm. Which of the following length can be the length of the third side? (A) 19 cm. (B) 17 cm. (C) 23 cm. of these. 2.Can 80, 75 and 20 form a triangle?

More information

16 circles. what goes around...

16 circles. what goes around... 16 circles. what goes around... 2 lesson 16 this is the first of two lessons dealing with circles. this lesson gives some basic definitions and some elementary theorems, the most important of which is

More information

Exercise 2.1. Identify the error or errors in the proof that all triangles are isosceles.

Exercise 2.1. Identify the error or errors in the proof that all triangles are isosceles. Exercises for Chapter Two He is unworthy of the name of man who is ignorant of the fact that the diagonal of a square is incommensurable with its side. Plato (429 347 B.C.) Exercise 2.1. Identify the error

More information

Geometry Honors Review for Midterm Exam

Geometry Honors Review for Midterm Exam Geometry Honors Review for Midterm Exam Format of Midterm Exam: Scantron Sheet: Always/Sometimes/Never and Multiple Choice 40 Questions @ 1 point each = 40 pts. Free Response: Show all work and write answers

More information

UCLA Curtis Center: March 5, 2016

UCLA Curtis Center: March 5, 2016 Transformations in High-School Geometry: A Workable Interpretation of Common Core UCLA Curtis Center: March 5, 2016 John Sarli, Professor Emeritus of Mathematics, CSUSB MDTP Workgroup Chair Abstract. Previous

More information

Mathematics 2260H Geometry I: Euclidean geometry Trent University, Fall 2016 Solutions to the Quizzes

Mathematics 2260H Geometry I: Euclidean geometry Trent University, Fall 2016 Solutions to the Quizzes Mathematics 2260H Geometry I: Euclidean geometry Trent University, Fall 2016 Solutions to the Quizzes Quiz #1. Wednesday, 13 September. [10 minutes] 1. Suppose you are given a line (segment) AB. Using

More information

Math 9 Chapter 8 Practice Test

Math 9 Chapter 8 Practice Test Name: Class: Date: ID: A Math 9 Chapter 8 Practice Test Short Answer 1. O is the centre of this circle and point Q is a point of tangency. Determine the value of t. If necessary, give your answer to the

More information

Geometry Midterm Exam Review 3. Square BERT is transformed to create the image B E R T, as shown.

Geometry Midterm Exam Review 3. Square BERT is transformed to create the image B E R T, as shown. 1. Reflect FOXY across line y = x. 3. Square BERT is transformed to create the image B E R T, as shown. 2. Parallelogram SHAQ is shown. Point E is the midpoint of segment SH. Point F is the midpoint of

More information

Math 5 Trigonometry Fair Game for Chapter 1 Test Show all work for credit. Write all responses on separate paper.

Math 5 Trigonometry Fair Game for Chapter 1 Test Show all work for credit. Write all responses on separate paper. Math 5 Trigonometry Fair Game for Chapter 1 Test Show all work for credit. Write all responses on separate paper. 12. What angle has the same measure as its complement? How do you know? 12. What is the

More information

Class 7 Lines and Angles

Class 7 Lines and Angles ID : in-7-lines-and-angles [1] Class 7 Lines and Angles For more such worksheets visit www.edugain.com Answer the questions (1) ABCD is a quadrilateral whose diagonals intersect each other at point O such

More information

CHAPTER 7 TRIANGLES. 7.1 Introduction. 7.2 Congruence of Triangles

CHAPTER 7 TRIANGLES. 7.1 Introduction. 7.2 Congruence of Triangles CHAPTER 7 TRIANGLES 7.1 Introduction You have studied about triangles and their various properties in your earlier classes. You know that a closed figure formed by three intersecting lines is called a

More information

Properties of the Circle

Properties of the Circle 9 Properties of the Circle TERMINOLOGY Arc: Part of a curve, most commonly a portion of the distance around the circumference of a circle Chord: A straight line joining two points on the circumference

More information

Euclidean Geometry Proofs

Euclidean Geometry Proofs Euclidean Geometry Proofs History Thales (600 BC) First to turn geometry into a logical discipline. Described as the first Greek philosopher and the father of geometry as a deductive study. Relied on rational

More information

Triangle Congruence and Similarity Review. Show all work for full credit. 5. In the drawing, what is the measure of angle y?

Triangle Congruence and Similarity Review. Show all work for full credit. 5. In the drawing, what is the measure of angle y? Triangle Congruence and Similarity Review Score Name: Date: Show all work for full credit. 1. In a plane, lines that never meet are called. 5. In the drawing, what is the measure of angle y? A. parallel

More information

Basic Quadrilateral Proofs

Basic Quadrilateral Proofs Basic Quadrilateral Proofs For each of the following, draw a diagram with labels, create the givens and proof statement to go with your diagram, then write a two-column proof. Make sure your work is neat

More information

HIGHER GEOMETRY. 1. Notation. Below is some notation I will use. KEN RICHARDSON

HIGHER GEOMETRY. 1. Notation. Below is some notation I will use. KEN RICHARDSON HIGHER GEOMETRY KEN RICHARDSON Contents. Notation. What is rigorous math? 3. Introduction to Euclidean plane geometry 3 4. Facts about lines, angles, triangles 6 5. Interlude: logic and proofs 9 6. Quadrilaterals

More information

MORE EXERCISES FOR SECTIONS II.1 AND II.2. There are drawings on the next two pages to accompany the starred ( ) exercises.

MORE EXERCISES FOR SECTIONS II.1 AND II.2. There are drawings on the next two pages to accompany the starred ( ) exercises. Math 133 Winter 2013 MORE EXERCISES FOR SECTIONS II.1 AND II.2 There are drawings on the next two pages to accompany the starred ( ) exercises. B1. Let L be a line in R 3, and let x be a point which does

More information

9 th CBSE Mega Test - II

9 th CBSE Mega Test - II 9 th CBSE Mega Test - II Time: 3 hours Max. Marks: 90 General Instructions All questions are compulsory. The question paper consists of 34 questions divided into four sections A, B, C and D. Section A

More information

6 CHAPTER. Triangles. A plane figure bounded by three line segments is called a triangle.

6 CHAPTER. Triangles. A plane figure bounded by three line segments is called a triangle. 6 CHAPTER We are Starting from a Point but want to Make it a Circle of Infinite Radius A plane figure bounded by three line segments is called a triangle We denote a triangle by the symbol In fig ABC has

More information

Class IX - NCERT Maths Exercise (10.1)

Class IX - NCERT Maths Exercise (10.1) Class IX - NCERT Maths Exercise (10.1) Question 1: Fill in the blanks (i) The centre of a circle lies in of the circle. (exterior/interior) (ii) A point, whose distance from the centre of a circle is greater

More information

Chapter 2 Preliminaries

Chapter 2 Preliminaries Chapter 2 Preliminaries Where there is matter, there is geometry. Johannes Kepler (1571 1630) 2.1 Logic 2.1.1 Basic Concepts of Logic Let us consider A to be a non-empty set of mathematical objects. One

More information

SOLUTION. Taken together, the preceding equations imply that ABC DEF by the SSS criterion for triangle congruence.

SOLUTION. Taken together, the preceding equations imply that ABC DEF by the SSS criterion for triangle congruence. 1. [20 points] Suppose that we have ABC and DEF in the Euclidean plane and points G and H on (BC) and (EF) respectively such that ABG DEH and AGC DHF. Prove that ABC DEF. The first congruence assumption

More information

Exercise 10.1 Question 1: Fill in the blanks (i) The centre of a circle lies in of the circle. (exterior/ interior)

Exercise 10.1 Question 1: Fill in the blanks (i) The centre of a circle lies in of the circle. (exterior/ interior) Exercise 10.1 Question 1: Fill in the blanks (i) The centre of a circle lies in of the circle. (exterior/ interior) (ii) A point, whose distance from the centre of a circle is greater than its radius lies

More information

MA 460 Supplement: Analytic geometry

MA 460 Supplement: Analytic geometry M 460 Supplement: nalytic geometry Donu rapura In the 1600 s Descartes introduced cartesian coordinates which changed the way we now do geometry. This also paved for subsequent developments such as calculus.

More information

SOLUTIONS TO ADDITIONAL EXERCISES FOR II.1 AND II.2

SOLUTIONS TO ADDITIONAL EXERCISES FOR II.1 AND II.2 SOLUTIONS TO ADDITIONAL EXERCISES FOR II.1 AND II.2 Here are the solutions to the additional exercises in betsepexercises.pdf. B1. Let y and z be distinct points of L; we claim that x, y and z are not

More information

EXERCISE 10.1 EXERCISE 10.2

EXERCISE 10.1 EXERCISE 10.2 NCERT Class 9 Solved Questions for Chapter: Circle 10 NCERT 10 Class CIRCLES 9 Solved Questions for Chapter: Circle EXERCISE 10.1 Q.1. Fill in the blanks : (i) The centre of a circle lies in of the circle.

More information

Class IX Chapter 7 Triangles Maths. Exercise 7.1 Question 1: In quadrilateral ACBD, AC = AD and AB bisects A (See the given figure).

Class IX Chapter 7 Triangles Maths. Exercise 7.1 Question 1: In quadrilateral ACBD, AC = AD and AB bisects A (See the given figure). Exercise 7.1 Question 1: In quadrilateral ACBD, AC = AD and AB bisects A (See the given figure). Show that ABC ABD. What can you say about BC and BD? In ABC and ABD, AC = AD (Given) CAB = DAB (AB bisects

More information

THE FIVE GROUPS OF AXIOMS.

THE FIVE GROUPS OF AXIOMS. 2 THE FIVE GROUPS OF AXIOMS. 1. THE ELEMENTS OF GEOMETRY AND THE FIVE GROUPS OF AXIOMS. Let us consider three distinct systems of things. The things composing the first system, we will call points and

More information

Exercises for Unit I I I (Basic Euclidean concepts and theorems)

Exercises for Unit I I I (Basic Euclidean concepts and theorems) Exercises for Unit I I I (Basic Euclidean concepts and theorems) Default assumption: All points, etc. are assumed to lie in R 2 or R 3. I I I. : Perpendicular lines and planes Supplementary background

More information

SOLUTIONS FOR. MTH 338 Final, June A 3 5 note card allowed. Closed book. No calculator. You may also use your list of the first 15 SMGS axioms.

SOLUTIONS FOR. MTH 338 Final, June A 3 5 note card allowed. Closed book. No calculator. You may also use your list of the first 15 SMGS axioms. SOLUTIONS FOR MTH 338 Final, June 2009 A 3 5 note card allowed. Closed book. No calculator. You may also use your list of the first 15 SMGS axioms. 1. In neutral geometry and without a compass, prove that

More information

Exercises for Unit I I (Vector algebra and Euclidean geometry)

Exercises for Unit I I (Vector algebra and Euclidean geometry) Exercises for Unit I I (Vector algebra and Euclidean geometry) I I.1 : Approaches to Euclidean geometry Ryan : pp. 5 15 1. What is the minimum number of planes containing three concurrent noncoplanar lines

More information

SHW 1-01 Total: 30 marks

SHW 1-01 Total: 30 marks SHW -0 Total: 30 marks 5. 5 PQR 80 (adj. s on st. line) PQR 55 x 55 40 x 85 6. In XYZ, a 90 40 80 a 50 In PXY, b 50 34 84 M+ 7. AB = AD and BC CD AC BD (prop. of isos. ) y 90 BD = ( + ) = AB BD DA x 60

More information

Question 1: In quadrilateral ACBD, AC = AD and AB bisects A (See the given figure). Show that ABC ABD. What can you say about BC and BD?

Question 1: In quadrilateral ACBD, AC = AD and AB bisects A (See the given figure). Show that ABC ABD. What can you say about BC and BD? Class IX - NCERT Maths Exercise (7.1) Question 1: In quadrilateral ACBD, AC = AD and AB bisects A (See the given figure). Show that ABC ABD. What can you say about BC and BD? Solution 1: In ABC and ABD,

More information

Higher Geometry Problems

Higher Geometry Problems Higher Geometry Problems (1 Look up Eucidean Geometry on Wikipedia, and write down the English translation given of each of the first four postulates of Euclid. Rewrite each postulate as a clear statement

More information

RMT 2013 Geometry Test Solutions February 2, = 51.

RMT 2013 Geometry Test Solutions February 2, = 51. RMT 0 Geometry Test Solutions February, 0. Answer: 5 Solution: Let m A = x and m B = y. Note that we have two pairs of isosceles triangles, so m A = m ACD and m B = m BCD. Since m ACD + m BCD = m ACB,

More information

Honors Geometry Mid-Term Exam Review

Honors Geometry Mid-Term Exam Review Class: Date: Honors Geometry Mid-Term Exam Review Multiple Choice Identify the letter of the choice that best completes the statement or answers the question. 1. Classify the triangle by its sides. The

More information

Class IX Chapter 7 Triangles Maths

Class IX Chapter 7 Triangles Maths Class IX Chapter 7 Triangles Maths 1: Exercise 7.1 Question In quadrilateral ACBD, AC = AD and AB bisects A (See the given figure). Show that ABC ABD. What can you say about BC and BD? In ABC and ABD,

More information

Similarity of Triangle

Similarity of Triangle Similarity of Triangle 95 17 Similarity of Triangle 17.1 INTRODUCTION Looking around you will see many objects which are of the same shape but of same or different sizes. For examples, leaves of a tree

More information

October 16, Geometry, the Common Core, and Proof. John T. Baldwin, Andreas Mueller. The motivating problem. Euclidean Axioms and Diagrams

October 16, Geometry, the Common Core, and Proof. John T. Baldwin, Andreas Mueller. The motivating problem. Euclidean Axioms and Diagrams October 16, 2012 Outline 1 2 3 4 5 Agenda 1 G-C0-1 Context. 2 Activity: Divide a line into n pieces -with string; via construction 3 Reflection activity (geometry/ proof/definition/ common core) 4 mini-lecture

More information

Class-IX CBSE Latest Pattern Sample Paper {Mathematics}

Class-IX CBSE Latest Pattern Sample Paper {Mathematics} Class-IX CBSE Latest Pattern Sample Paper {Mathematics} Term-I Examination (SA I) Time: 3hours Max. Marks: 90 General Instructions (i) All questions are compulsory. (ii) The question paper consists of

More information

PLC Papers. Created For:

PLC Papers. Created For: PLC Papers Created For: ed by use of accompanying mark schemes towards the rear to attain 8 out of 10 marks over time by completing Circle Theorems 1 Grade 8 Objective: Apply and prove the standard circle

More information

2. In ABC, the measure of angle B is twice the measure of angle A. Angle C measures three times the measure of angle A. If AC = 26, find AB.

2. In ABC, the measure of angle B is twice the measure of angle A. Angle C measures three times the measure of angle A. If AC = 26, find AB. 2009 FGCU Mathematics Competition. Geometry Individual Test 1. You want to prove that the perpendicular bisector of the base of an isosceles triangle is also the angle bisector of the vertex. Which postulate/theorem

More information

Class IX Chapter 8 Quadrilaterals Maths

Class IX Chapter 8 Quadrilaterals Maths Class IX Chapter 8 Quadrilaterals Maths Exercise 8.1 Question 1: The angles of quadrilateral are in the ratio 3: 5: 9: 13. Find all the angles of the quadrilateral. Answer: Let the common ratio between

More information

Class IX Chapter 8 Quadrilaterals Maths

Class IX Chapter 8 Quadrilaterals Maths 1 Class IX Chapter 8 Quadrilaterals Maths Exercise 8.1 Question 1: The angles of quadrilateral are in the ratio 3: 5: 9: 13. Find all the angles of the quadrilateral. Let the common ratio between the angles

More information

Foundations of Euclidean Geometry

Foundations of Euclidean Geometry C H A P T E R 13 Foundations of Euclidean Geometry I ve always been passionate about geometry. Erno Rubik (Rubik s Cube Inventor) (1944 ) 13.1 PARALLELS In Chapters 11 and 12, we have developed an axiomatic

More information

2 Homework. Dr. Franz Rothe February 21, 2015 All3181\3181_spr15h2.tex

2 Homework. Dr. Franz Rothe February 21, 2015 All3181\3181_spr15h2.tex Math 3181 Dr. Franz Rothe February 21, 2015 All3181\3181_spr15h2.tex Name: Homework has to be turned in this handout. For extra space, use the back pages, or blank pages between. The homework can be done

More information

1. If two angles of a triangle measure 40 and 80, what is the measure of the other angle of the triangle?

1. If two angles of a triangle measure 40 and 80, what is the measure of the other angle of the triangle? 1 For all problems, NOTA stands for None of the Above. 1. If two angles of a triangle measure 40 and 80, what is the measure of the other angle of the triangle? (A) 40 (B) 60 (C) 80 (D) Cannot be determined

More information

right angle an angle whose measure is exactly 90ᴼ

right angle an angle whose measure is exactly 90ᴼ right angle an angle whose measure is exactly 90ᴼ m B = 90ᴼ B two angles that share a common ray A D C B Vertical Angles A D C B E two angles that are opposite of each other and share a common vertex two

More information

Geometry 3 SIMILARITY & CONGRUENCY Congruency: When two figures have same shape and size, then they are said to be congruent figure. The phenomena between these two figures is said to be congruency. CONDITIONS

More information

Higher Geometry Problems

Higher Geometry Problems Higher Geometry Problems (1) Look up Eucidean Geometry on Wikipedia, and write down the English translation given of each of the first four postulates of Euclid. Rewrite each postulate as a clear statement

More information

Lecture 1: Axioms and Models

Lecture 1: Axioms and Models Lecture 1: Axioms and Models 1.1 Geometry Although the study of geometry dates back at least to the early Babylonian and Egyptian societies, our modern systematic approach to the subject originates in

More information

Geometry 21 - More Midterm Practice

Geometry 21 - More Midterm Practice Class: Date: Geometry 21 - More Midterm Practice 1. What are the names of three planes that contain point A? 6. If T is the midpoint of SU, what are ST, TU, and SU? A. ST = 7, TU = 63, and SU = 126 B.

More information

Geometry Regents Practice Midterm

Geometry Regents Practice Midterm Class: Date: Geometry Regents Practice Midterm Multiple Choice Identify the choice that best completes the statement or answers the question. 1. ( points) What is the equation of a line that is parallel

More information

GEO REVIEW TEST #1. 1. In which quadrilateral are the diagonals always congruent?

GEO REVIEW TEST #1. 1. In which quadrilateral are the diagonals always congruent? GEO REVIEW TEST #1 Name: Date: 1. In which quadrilateral are the diagonals always congruent? (1) rectangle (3) rhombus 4. In the accompanying diagram, lines AB and CD intersect at point E. If m AED = (x+10)

More information

10. Circles. Q 5 O is the centre of a circle of radius 5 cm. OP AB and OQ CD, AB CD, AB = 6 cm and CD = 8 cm. Determine PQ. Marks (2) Marks (2)

10. Circles. Q 5 O is the centre of a circle of radius 5 cm. OP AB and OQ CD, AB CD, AB = 6 cm and CD = 8 cm. Determine PQ. Marks (2) Marks (2) 10. Circles Q 1 True or False: It is possible to draw two circles passing through three given non-collinear points. Mark (1) Q 2 State the following statement as true or false. Give reasons also.the perpendicular

More information

Lesson. Warm Up deductive 2. D. 3. I will go to the store; Law of Detachment. Lesson Practice 31

Lesson. Warm Up deductive 2. D. 3. I will go to the store; Law of Detachment. Lesson Practice 31 Warm Up 1. deductive 2. D b. a and b intersect 1 and 2 are supplementary 2 and 3 are supplementary 3. I will go to the store; Law of Detachment Lesson Practice a. 1. 1 and 2 are. 2. 1 and 3 are. 3. m 1

More information

Chapter 2. Reasoning and Proof

Chapter 2. Reasoning and Proof Chapter 2 Reasoning and Proof 2.1 Use Inductive Reasoning Objective: Describe patterns and use deductive reasoning. Essential Question: How do you use inductive reasoning in mathematics? Common Core: CC.9-12.G.CO.9

More information

Math 1230, Notes 2. Aug. 28, Math 1230, Notes 2 Aug. 28, / 17

Math 1230, Notes 2. Aug. 28, Math 1230, Notes 2 Aug. 28, / 17 Math 1230, Notes 2 Aug. 28, 2014 Math 1230, Notes 2 Aug. 28, 2014 1 / 17 This fills in some material between pages 10 and 11 of notes 1. We first discuss the relation between geometry and the quadratic

More information

Answer Key. 9.1 Parts of Circles. Chapter 9 Circles. CK-12 Geometry Concepts 1. Answers. 1. diameter. 2. secant. 3. chord. 4.

Answer Key. 9.1 Parts of Circles. Chapter 9 Circles. CK-12 Geometry Concepts 1. Answers. 1. diameter. 2. secant. 3. chord. 4. 9.1 Parts of Circles 1. diameter 2. secant 3. chord 4. point of tangency 5. common external tangent 6. common internal tangent 7. the center 8. radius 9. chord 10. The diameter is the longest chord in

More information

1. Prove that for every positive integer n there exists an n-digit number divisible by 5 n all of whose digits are odd.

1. Prove that for every positive integer n there exists an n-digit number divisible by 5 n all of whose digits are odd. 32 nd United States of America Mathematical Olympiad Proposed Solutions May, 23 Remark: The general philosophy of this marking scheme follows that of IMO 22. This scheme encourages complete solutions.

More information

The High School Section

The High School Section 1 Viète s Relations The Problems. 1. The equation 10/07/017 The High School Section Session 1 Solutions x 5 11x 4 + 4x 3 + 55x 4x + 175 = 0 has five distinct real roots x 1, x, x 3, x 4, x 5. Find: x 1

More information

Class 9 Geometry-Overall

Class 9 Geometry-Overall ID : in-9-geometry-overall [1] Class 9 Geometry-Overall For more such worksheets visit www.edugain.com Answer t he quest ions (1) AB is diameter of the circle. If A and B are connected to E, circle is

More information

AN INVITATION TO ELEMENTARY HYPERBOLIC GEOMETRY

AN INVITATION TO ELEMENTARY HYPERBOLIC GEOMETRY AN INVITATION TO ELEMENTARY HYPERBOLIC GEOMETRY Ying Zhang School of Mathematical Sciences, Soochow University Suzhou, 215006, China yzhang@sudaeducn We offer a short invitation to elementary hyperbolic

More information

0113ge. Geometry Regents Exam In the diagram below, under which transformation is A B C the image of ABC?

0113ge. Geometry Regents Exam In the diagram below, under which transformation is A B C the image of ABC? 0113ge 1 If MNP VWX and PM is the shortest side of MNP, what is the shortest side of VWX? 1) XV ) WX 3) VW 4) NP 4 In the diagram below, under which transformation is A B C the image of ABC? In circle

More information

Visit: ImperialStudy.com For More Study Materials Class IX Chapter 12 Heron s Formula Maths

Visit: ImperialStudy.com For More Study Materials Class IX Chapter 12 Heron s Formula Maths Exercise 1.1 1. Find the area of a triangle whose sides are respectively 150 cm, 10 cm and 00 cm. The triangle whose sides are a = 150 cm b = 10 cm c = 00 cm The area of a triangle = s(s a)(s b)(s c) Here

More information

Grade 9 Circles. Answer t he quest ions. For more such worksheets visit

Grade 9 Circles. Answer t he quest ions. For more such worksheets visit ID : th-9-circles [1] Grade 9 Circles For more such worksheets visit www.edugain.com Answer t he quest ions (1) ABCD is a cyclic quadrilateral such that AB is a diameter of the circle circumscribing it

More information

Grade 9 Geometry-Overall

Grade 9 Geometry-Overall ID : au-9-geometry-overall [1] Grade 9 Geometry-Overall For more such worksheets visit www.edugain.com Answer t he quest ions (1) A chord of a circle is equal to its radius. Find the angle subtended by

More information

9. AD = 7; By the Parallelogram Opposite Sides Theorem (Thm. 7.3), AD = BC. 10. AE = 7; By the Parallelogram Diagonals Theorem (Thm. 7.6), AE = EC.

9. AD = 7; By the Parallelogram Opposite Sides Theorem (Thm. 7.3), AD = BC. 10. AE = 7; By the Parallelogram Diagonals Theorem (Thm. 7.6), AE = EC. 3. Sample answer: Solve 5x = 3x + 1; opposite sides of a parallelogram are congruent; es; You could start b setting the two parts of either diagonal equal to each other b the Parallelogram Diagonals Theorem

More information

Geometry Final Review. Chapter 1. Name: Per: Vocab. Example Problems

Geometry Final Review. Chapter 1. Name: Per: Vocab. Example Problems Geometry Final Review Name: Per: Vocab Word Acute angle Adjacent angles Angle bisector Collinear Line Linear pair Midpoint Obtuse angle Plane Pythagorean theorem Ray Right angle Supplementary angles Complementary

More information

The hyperboloid model of hyperbolic geometry

The hyperboloid model of hyperbolic geometry Eastern Washington University EWU Digital Commons EWU Masters Thesis Collection Student Research and Creative Works 2012 The hyperboloid model of hyperbolic geometry Zachery S. Lane Solheim Eastern Washington

More information

Geometry First Semester Exam Review

Geometry First Semester Exam Review Geometry First Semester Exam Review Multiple Choice Identify the choice that best completes the statement or answers the question. 1. Name three points that are collinear. a. points T, Q, and R c. points

More information

Mathematics 3210 Spring Semester, 2005 Homework notes, part 8 April 15, 2005

Mathematics 3210 Spring Semester, 2005 Homework notes, part 8 April 15, 2005 Mathematics 3210 Spring Semester, 2005 Homework notes, part 8 April 15, 2005 The underlying assumption for all problems is that all points, lines, etc., are taken within the Poincaré plane (or Poincaré

More information