Download Proof Justification Resource

Proof Justification Resource
Name
Definition of segment congruence
Description
A point is a midpoint of a segment if and only if
the point divides the segment into two congruent
segments.
AB  CD iff AB  CD
Definition of angle congruence
mA  mB iff A  B
Definition of a midpoint
Linear Pair Postulate
Definition of Angle Bisector
Definition of Segment Bisector
Addition Property (of Equality)
Subtraction Property (of Equality)
Multiplication Property (of Equality)
Division Property (of Equality)
Reflexive Property
Symmetric Property
Transitive Property
Substitution Property
If two angles form a linear pair, then they are
supplementary.
An angle bisector is a ray (or segment) that divides
an angle into two congruent angles.
A segment bisector is a segment (or line) that
divides a segment into two congruent segments.
You can add any real number to both sides of an
equation.
You can subtract any real number from both sides
of an equation.
You can multiply any real number by both sides of
an equation.
You can divide any real number into both sides of
an equation.
a  a (or a  a )
If a  b, then b  a (if a  b, then b  a )
If a  b and b  c, then a  c.
If a  b and b  c, then a  c.
If a = b, then b can replace a in any expression.
1
Proof Justification Resource
2
Proof Justification Resource
3
Proof Justification Resource
4
Proof Justification Resource
5