1/66
A set of 67 vocabulary flashcards covering algebraic properties of equality, segment and angle congruence properties, geometric definitions, postulates, theorems, and statement justifications for two-column proofs.
Name | Mastery | Learn | Test | Matching | Spaced | Call with Kai | Chat |
|---|
No analytics yet
Send a link to your students to track their progress
Two-Column Proof
A format to organize a proof with statements/steps on the left side (what) and reasons to justify each statement on the right side (why).
Addition Property of Equality
If a=b, then a+c=b+c.
Subtraction Property of Equality
If a=b, then a−c=b−c.
Multiplication Property of Equality
If a=b, then a⋅c=b⋅c.
Division Property of Equality
If a=b and c=0, then ca=cb.
Substitution Property of Equality
If a=b, then a can be replaced with b in any equation or expression.
Distributive Property
For sum: a(b+c)=ab+ac; for difference: a(b−c)=ab−ac.
Reflexive Property of Equality
For any real number a, a=a.
Symmetric Property of Equality
If a=b, then b=a.
Transitive Property of Equality
If a=b and b=c, then a=c.
Reflexive Property of Segment Lengths
For any segment length AB, AB=AB.
Symmetric Property of Segment Lengths
If AB=CD, then CD=AB.
Transitive Property of Segment Lengths
If AB=CD and CD=EF, then AB=EF.
Reflexive Property of Angle Measures
For any angle measure m∠A, m∠A=m∠A.
Symmetric Property of Angle Measures
If m∠A=m∠B, then m∠B=m∠A.
Transitive Property of Angle Measures
If m∠A=m∠B and m∠B=m∠C, then m∠A=m∠C.
Definition of Congruence
Segments or angles are congruent if and only if they have the same measure (e.g., AB≅CD if and only if AB=CD).
Definition of Midpoint
The midpoint of a segment divides the segment into two congruent segments (if M is the midpoint of AB, then AM≅MB).

Definition of Angle Bisector
A ray, line, or segment that divides an angle into two congruent angles (if YW bisects ∠XYZ, then ∠XYW≅∠ZYW).

Reflexive Property of Segment Congruence
For any segment AB, AB≅AB.
Symmetric Property of Segment Congruence
If AB≅CD, then CD≅AB.
Transitive Property of Segment Congruence
If AB≅CD and CD≅EF, then AB≅EF.
Reflexive Property of Angle Congruence
For any angle ∠A, ∠A≅∠A.
Symmetric Property of Angle Congruence
If ∠A≅∠B, then ∠B≅∠A.
Transitive Property of Angle Congruence
If ∠A≅∠B and ∠B≅∠C, then ∠A≅∠C.
Deductive Reasoning in Proofs
Using facts, definitions, accepted properties, and laws of logic to make logical statements one at a time until reaching the conclusion.
Reasons in Two-Column Proofs
Justifications used on the right side of a proof, which can only be properties, definitions, postulates, or theorems.
Segment Addition Postulate
If point K is between points J and L, then JK+KL=JL.
Definition of Right Angle
An angle is a right angle if and only if its measure is 90∘.
Definition of Complementary Angles
Two angles are complementary if the sum of their measures is 90∘ (m∠P+m∠Q=90∘).
Definition of Supplementary Angles
Two angles are supplementary if the sum of their measures is 180∘ (m∠W+m∠X=180∘).
Definition of Perpendicular Lines
Two lines that intersect to form right angles (if l⊥m, then ∠1 is a right angle).

Linear Pair Postulate
If two angles form a linear pair, then they are supplementary.

Angle Addition Postulate
If point M lies in the interior of ∠JKL, then m∠JKM+m∠MKL=m∠JKL.

Theorem
A statement that can be proven, and once proven, can be used as a reason in other proofs.
Right Angles Congruence Theorem
All right angles are congruent.

Congruent Supplements Theorem
If two angles are supplementary to the same angle (or to congruent angles), then they are congruent.

Congruent Complements Theorem
If two angles are complementary to the same angle (or to congruent angles), then they are congruent.

Vertical Angle Congruence Theorem
Vertical angles are congruent.

Algebraic Proof Reason: 4x−1=27→4x=28
Addition Property of Equality.
Algebraic Proof Reason: 4x=28→x=7
Division Property of Equality.
Algebraic Proof Reason: −9(2x−3)=63→−18x+27=63
Distributive Property.
Algebraic Proof Reason: −18x+27=63→−18x=36
Subtraction Property of Equality.
Algebraic Proof Reason: −18x=36→x=−2
Division Property of Equality.
Statement Justification: If k=3, then 3=k
Symmetric Property of Equality.
Statement Justification: If 2x=14, then x=7
Division Property of Equality.
Statement Justification: 10y=10y
Reflexive Property of Equality.
Statement Justification: If −5x−1=−11, then −5x=−10
Addition Property of Equality.
Statement Justification: If 10a=2b and 2b=c, then 10a=c
Transitive Property of Equality.
Statement Justification: −7(n−4)=−7n+28
Distributive Property.
Statement Justification: If 6y=24, then 6y−3=24−3
Subtraction Property of Equality.
Statement Justification: If 10x+w=41 and w=1, then 10x+1=41
Substitution Property of Equality.
Statement Justification: If 3x=2y and 2y=z, then 3x=z
Transitive Property of Equality.
Statement Justification: If 7m=35, then 7m+4=35+4
Addition Property of Equality.
Proof Statement Justification: If PQ=PQ, then PQ≅PQ
Definition of Congruence.
Proof Statement Justification: EF≅EF
Reflexive Property of Segment Congruence.
Proof Statement Justification: If AB=DE, then DE=AB
Symmetric Property of Equality.
Proof Statement Justification: If Y is the midpoint of XZ, then XY=YZ
Definition of Midpoint.
Proof Statement Justification: If FG≅HI and HI≅JK, then FG≅JK
Transitive Property of Segment Congruence.
Proof Statement Justification: If PQ+RS=TV and RS=WX, then PQ+WX=TV
Substitution Property of Equality.
Proof Statement Justification: If LP=PN, and L,P,N are collinear, then P is the midpoint of LN
Definition of Midpoint.
Proof Statement Justification: If UV≅UV, then UV=UV
Definition of Congruence.
Proof Statement Justification: If RS=ST and ST=2UV, then RS=2UV
Transitive Property of Equality.
Proof Statement Justification: If ∠C is a right angle, then m∠C=90∘
Definition of Right Angle.
Proof Statement Justification: If m∠P+m∠Q=90∘, then ∠P and ∠Q are complementary
Definition of Complementary Angles.
Proof Statement Justification: If l⊥m, then ∠1 is a right angle
Definition of Perpendicular Lines.
Proof Statement Justification: If ∠W and ∠X are supplementary, then m∠W+m∠X=180∘
Definition of Supplementary Angles.