Vocab. Flashcards

1
Q

axiomatic system parts

A

1) Undefined terms
2) Definitions
3) Axioms
4) Theorems
5) Proofs

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

undefined terms (In an Axiomatic System)

A

A minimal number of technical words that will be used in the subject that we will not explicitly define.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

definitions (In an Axiomatic System)

A

Used to allow statements to be made concisely and to identify and highlight key structures and concepts.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

axioms (In an Axiomatic System)

A

Used interchangeably with postulate, they are statements that are accepted without proof. They are where the subject begins and everything else in the system should be logically deduced from them.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

theorem/proof

A

Can be used synonymously, they are statements that are proved using the axioms. The 1st proof uses only the axioms, subsequent proofs use the axioms and previous proofs.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

interpretation (In an Axiomatic System)

A

Also called a model, is a particular way of giving meaning to the undefined terms in the system.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

independent (In an Axiomatic System)

A

A statement that is impossible to either prove or disprove as a logical consequence of the axioms. A good way to show that a statement is independent of the axioms is to exhibit one model for the system in which the statement is true and another model in which it is false.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

consistent (In an Axiomatic System)

A

No logical contradiction can be derived from the axioms in the axiomatic system.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

incident

A

Used to mean that same thing as “lie on”. As in, “P lies on l” or “P is incident with l”.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

interpretation (In an Axiomatic System)

A

Also called a model - A particular way of giving meaning to the undefined terms in that system.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

collinear

A

Three points that lie on the same line.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

finite geometry

A

A geometry that contains only a finite number of points.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

parallel lines

A

The lines do not intersect.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

statement

A

An assertion that can be classified as true or false.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
15
Q

propositional function

A

A function whose domain consists of x numbers and whose range consist of the values “True” and “False”.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
16
Q

conditional statement

A

A compound statement of the form “If……, then…..” in which the first set of dots represents a statement called the hypothesis (or antecedent) and the second set of dots represents a statement called the conclusion (or consequent).

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
17
Q

theorem

A

A conditional statement that has been proved true.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
18
Q

Not (P then Q)

A

P is true while Q is false.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
19
Q

converse of P then Q

A

Q then P

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
20
Q

contrapositive of P then Q

A

Not Q then not P.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
21
Q

biconditional statement

A

“if and only if” - The statement and its converse are true.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
22
Q

existential quantifier

A

Something exists.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
23
Q

universal quantifier

A

Holds for all objects in a certain class.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
24
Q

negation of a quantifier

A

Negation interchanges the two quantifiers.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
25
Q

unique

A

Often used in connection with the existential quantifier.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
26
Q

Justifications for proof steps

A

1) by hypothesis
2) by axiom
3) by previous theorem
4) by definition
5) by an earlier step in this proof
6) by one of the rules of logic
(The reasons should be written in parenthesis after the statement)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
27
Q

indirect proof

A

Also called proof by contradiction - For proofs in the form P then Q, you assume P is true and Q is false and then show that this leads to a logical contradiction. This allows you more information to work with because you assume both P and not Q.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
28
Q

contrapositive proof

A

not Q then not P

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
29
Q

quantifiers

A

One of the distinctions that must be made clear is whether you are asserting that every object of a certain type satisfies a condition or whether you are simply asserting that there is one that does.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
30
Q

existential quantifier

A

Asserts that something exists

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
31
Q

universal quantifier

A

Asserts that some property holds for all objects in a certain class.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
32
Q

unique

A

Used to indicate that there is exactly one object the satisfies a particular condition.

33
Q

neutral geometry

A
Five undefined terms (point, line, distance, half-plane, angle measure.
Six Axioms:
1) The Existence Postulate
2) The Incidence Postulate
3) The Ruler Postulate
4) The Plane Separation Postulate
5) The Protractor Postulate
6) The Side-Angle-Side Postulate
Does not make any assumptions regarding which of the competing Parallel Postulates are true.
34
Q

plane geometry

A

two-dimensional geometry

35
Q

Axiom 3.1.1 (The Existence Postulate)

A

The collection or all points forms a nonempty set. There is more than one point in that set.

36
Q

The Side-Angle-Side Postulate

A

If two sides and the included angle of one triangle are congruent to two sides and the included angle of a second triangle, then the triangles are congruent.

37
Q

congruent triangles

A

The assertion that two triangles are congruent is really an assertion that there are six congruencies, three angle congruencies and three segment congruencies.

38
Q

superposition

A

Euclid’s proof of Proposition 4 relied on the ability to move one object so that is lies on top of another object without distorting the object you are moving. This does not hold true in all geometries.

39
Q

isosceles triangle

A

A triangle with a pair of congruent sides.

40
Q

base angles

A

The two angles of an isosceles triangle not included between the congruent sides.

41
Q

Postulate I

A

Given any two points, you can draw a line.

42
Q

Postulate II

A

A line can be extended indefinitely.

43
Q

Postulate III

A

To draw a circle, you need only know the center and the radius.

44
Q

Postulate IV

A

Right angles are congruent

45
Q

Postulate V

A

The parallel postulate - Lines are parallel if a straight line draw through both form right angles with both. Additionally, lines are parallel if when extended the lines do not intersect, or there does not exist a point P such that P lies on both lines.

46
Q

Incidence Axiom 1

A

For every pair of distinct points P and Q there exists exactly one line t such that both P and Q lien on t.

47
Q

Incidence Axiom 2

A

For every line t there exist at least two distinct points P and Q such that both P and Q lie on t.

48
Q

Incidence Axiom 3

A

There exist three points that do not lie on any one line.

49
Q

rhombus

A

A quadrilateral in which all four sides have equal lengths.

50
Q

rectangle

A

A quadrilateral in which all for angles have equal measures (90 degrees).

51
Q

translation

A

A transformation that moves all of the points of a figure the same distance in the same direction.

52
Q

reflection

A

A transformation representing a flip of a figure. Figures may be reflected in a point, a line, or a plane.

53
Q

rotation

A

A figure can be turned around a point.

54
Q

dilation

A

A figure can be enlarged or reduced.

55
Q

isometry

A

A congruent transformation.

56
Q

line of symmetry

A

Some figures can be folded so that the two halves match exactly. The fold is a line called the line of symmetry.

57
Q

point of symmetry

A

A common point of reflection.

58
Q

grid reflection

A

A composition of a translation and a reflection in a line parallel to the direction of translation.

59
Q

µ

A

Used to indicate the measure of an angle.

60
Q

exterior angles

A

The angle which forms a linear pair with and interior angle at one vertex of a triangle.

61
Q

remote interior angles

A

The two interior angles at the other two vertices from the exterior angle in question.

62
Q

foot

A

The point at which a perpendicular intersects a line.

63
Q

linear pair

A

In order to be a linear pair, two angles must share a side. If two angles for a linear pair, then they are supplements.

64
Q

transformational perspective

A

The view that the essence of any geometry is captured by the transformations that preserve the structures of the geometry.

65
Q

isometry

A

A transformation that preserves distances.

66
Q

transformation

A

A function T: P →P that is both one-to-one and onto.

67
Q

identity function

A

Is an isometry.

68
Q

dilation

A

The dilation with center O and constant k (OP’ = k*OP):

Each point is either moved toward O or away from O, depending on whether k is less than or greater than 1.

69
Q

composite transformation

A

When one transformation is combined with another.

70
Q

fixed point of a transformation

A

A point than when the transformation is applied, results in the same point. T(P) = P.

71
Q

quadrilateral

A

The union of four segments AB, BC, CD, and DA. The four segments are called sides and the points are called vertices of the quadrilateral.

72
Q

congruent quadrilateral

A

There is a correspondence between their vertices so that all four corresponding sides are congruent and all four corresponding angles are congruent.

73
Q

diagonals of the quadrilateral

A

Segments AC and BD

74
Q

convex quadrilateral

A

Each vertex of the quadrilateral is contained in the interior of the angle formed by the other three vertices.

75
Q

defect of a triangle

A

defect = 180 - (the sum of all the angles of the triangle)

By the Saccheri-Legendre Theorem, the defect of every triangle is nonnegative.

76
Q

glide reflection

A
  1. A translation maps P onto P’.
  2. A reflection in a line k parallel to the
    direction of the translation maps P’ onto P’’.
77
Q

Inversion in a circle

A

A method to convert geometric figures into other geometric figures. It is similar to reflection across a line:

1) Any figure can be reflected across a line or inverted in a circle.
2) Reflecting a figure across the same line twice returns it to its original form. The same is true for inversion in a circle.
3) Reflection takes points to the other side of the line; inversion takes points to the “other side” of the circle. In other words, points inside are inverted to the outside and vice-versa.
4) There is a fairly easy mathematical relationship between a figure and its reflection or between a figure and its inversion.
5) Sometimes it is much easier to work with the reflected version or the inverted version of a figure.

78
Q

The basic definition of inversion of a point in a circle

A

If k is a circle with center O and radius r, and P is any point other than O, then the point P’ is the inversion of P if:

1) P’ lies on the ray OP.
2) |OP|*|OP’|=r^2.