If-Then statements of Proofs
If -5x - 1 = -11, then -5x = -10
addition property
If 7m = 35, then 7m + 4 = 35 + 4
addition property
If RS = TU, then RS + XY = TU + XY
addition property
the measure of angle JKM + the measure of angle MKL = the measure of angle JKL
angle addition postulate
If angle M and angle N form a right angle, then angle M and angle N are complementary
complement theorem
If angle L is complementary to angle M and angle N is complementary to angle M, then angle L is congruent to angle N
congruent complements theorem
If angle X is supplementary to angle Y and angle X is supplementary to angle Z, then angle X is congruent to angle Z
congruent supplements theorem
If angle A is a right angle, then the measure of angle A = 90 degrees
definition of a right angle
If angle N and angle P are complementary, then the measure of angle N and the measure of angle P = 90 degrees
definition of complementary angles
If the measure of angle P + measure of angle Q = 90 degrees, then angle P and angle Q are complementary
definition of complementary angles
If PQ = PQ, then PQ is congruent to PQ
definition of congruence
If UV is congruent to UV, then UV = UV
definition of congruence
If the measure of angle R = the measure of angle S, then angle R is congruent to angle S
definition of congruence
If LP = PN, and L, P, and N are collinear, then P is the midpoint of LN
definition of midpoint
If Y is the midpoint of XZ, then XY = YZ
definition of midpoint
If line l is perpendicular to line m, then angle 1 is a right angle
definition of perpendicular
If angle W and angle X are supplementary, then the measure of angle W + the measure of angle X = 180 degrees
definition of supplementary angles
-7(x - 4) = -7 + 28
distributive property
5x + 8x = x(5 + 8)
distributive property
If 2x = 14, then x = 7
division property
If m = -2, then 8m = -16
multiplication property
If y/2 = -10, then y = -20
multiplication property
10y = 10y
reflexive property
4 = 4
reflexive property
EF is congruent to EF
reflexive property
If K is between J and L, then JK + KL = JL
segment addition postulate
Given 3x squared + 1, if x = 5, then 3(5) squared + 1
substitution property
If 10x + w = 41 and w = 1, then 10x + 1 = 41
substitution property
If PQ + RS = TV and RS = WX, then PQ + WX = TV
substitution property
If 6y = 24, then 6y - 3 = 24 - 3
subtraction property
If AB + CD = EF + CD, then AB = EF
subtraction property
If CD + DE = CE, then CD = CE - DE
subtraction property
If angle A and angle B form a linear pair, then angle A and angle B are supplementary
supplement theorem
If -2x = 18, then 18 = -2x
symmetric property
If AB = DE, then DE = AB
symmetric property
If k = 3, then 3 = k
symmetric property
If 10a = 2b and 2b = c, then 10a = c
transitive property
If 3x = 2y and 2y = z, then 3x = z
transitive property
If FG is congruent to HI and HI is congruent to JK, then FG is congruent to JK
transitive property
If angle 1 is vertical to angle 2, then angle 1 is congruent to angle 2
vertical angles theorem
