Life of Fred Geometry
Definitions, Theorems, Postulates and such from Life of Fred Geometry
			
			 20 verses
20 verses
	    	 kaelius
kaelius
	    	 Aug. 8, 2020
Aug. 8, 2020
	    	 English
English
	    	 0
0
			
			
		
-  	
	
	
ABNIVDefinition AB means |a-b| 
-  	
	
	
Acute AngleNIVDefinition An acute angle is an angle whose measure is less than 90 degrees. 
-  	
	
	
AngleNIVDefinition An angle is two rays that have a common endpoint. 
-  	
	
	
BetweenESVDefinition H is between G and I iff GH + HI = GI (p21) 
-  	
	
	
CollinearNIVDefinition A set of points is collinear iff they lie on the same line 
-  	
	
	
ConcurrentNIV2 or more lines are concurrent iff they all share a common point 
-  	
	
	
Contrapositive of an If-then statementNIVThe contrapositive of an If-then statement interchanges the If part with the Then part AND negates both parts. 
 The contrapositive of P->Q is not-Q->not-P
-  	
	
	
Converse of an if-then statementNIVThe converse of an If-then statement interchanges the If part with the Then part. 
 The converse of If P, then Q is If Q, then P.
 The converse of P->Q is Q->P
-  	
	
	
Line SegmentNIVDefinition A line segment (segment)AB is the points A and B together with all points D such that A-D-B 
-  	
	
	
Logically EquivalentNIVIdea An if-then statement and its contrapositive must either both be true or both be false. They are said to be logically equivalent. 
-  	
	
	
MidpointNIVPoint M is the midpoint of AB iff AM=MB and A-M-B. 
-  	
	
	
Opposite RaysNIVDefinition (ray)AB and (ray)AC are opposite rays iff A is between B and C, or iff B-A-C. 
-  	
	
	
Postulate 1NIVOne and only 1 line can be drawn through any two points. 
 Or
 Two points determine a line.
-  	
	
	
Postulate 2NIVPostulate You can match up every real number with a point on the line. 
 OR
 There is a 1-1 correspondence between the points on a line and the real numbers so that every point matches up with a single real number and every real number matches up with a single point
 OR
 There exists a function whose domain is the points on a line and whose codomain is the real numbers such that no two points on the line are mapped to the same real number and every element in the codomain is the image of some point in the domain.
-  	
	
	
Postulate 3 / Angle Measurement PostulateNIVPostulate You can match up every angle with a number between 0 and 180. 
 OR
 Every angle has a unique measurement which is some number between 0 and 180 degrees inclusive.
-  	
	
	
RayNIVDefinition Ray (ray)MP is the set of all points C such that M-C-P or M-P-C. 
-  	
	
	
Theorem 1NIVIf P is the midpoint of line segement TF, then PF = (1/2) TF 
-  	
	
	
Theorem 2NIVTheorem On any line L, there are 5 different points on L. If we have a line L, there are 5 different points on L. 
-  	
	
	
TriangleNIVDefinition Triangle ABC is defined as non-collinear points A, B and C and the line segments (s)AB, (s)BC, (s)CA 
-  	
	
	
VerticesNIVThe vertices of tri ABC are A, B and C. They are the "corners" of the triangle. The singular of vertices is vertex. 
 
     IMPORT
 IMPORT