Search

Text Color

Margin Size

Font Type

Enable Dyslexic Font

Home
Bookshelves
Mathematics
Geometry
2: Reasoning and Proof
2.14: Properties of Equality and Congruence

2.14: Properties of Equality and Congruence

Last updated

Nov 28, 2020
Save as PDF
- 2.13: Introduction to Proofs
- 2.15: Proofs- Angle Pairs and Segments

$\newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} }$

$\newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}}$

$\newcommand{\id}{\mathrm{id}}$ $\newcommand{\Span}{\mathrm{span}}$

( \newcommand{\kernel}{\mathrm{null}\,}\) $\newcommand{\range}{\mathrm{range}\,}$

$\newcommand{\RealPart}{\mathrm{Re}}$ $\newcommand{\ImaginaryPart}{\mathrm{Im}}$

$\newcommand{\Argument}{\mathrm{Arg}}$ $\newcommand{\norm}[1]{\| #1 \|}$

$\newcommand{\inner}[2]{\langle #1, #2 \rangle}$

$\newcommand{\Span}{\mathrm{span}}$

$\newcommand{\id}{\mathrm{id}}$

$\newcommand{\Span}{\mathrm{span}}$

$\newcommand{\kernel}{\mathrm{null}\,}$

$\newcommand{\range}{\mathrm{range}\,}$

$\newcommand{\RealPart}{\mathrm{Re}}$

$\newcommand{\ImaginaryPart}{\mathrm{Im}}$

$\newcommand{\Argument}{\mathrm{Arg}}$

$\newcommand{\norm}[1]{\| #1 \|}$

$\newcommand{\inner}[2]{\langle #1, #2 \rangle}$

$\newcommand{\Span}{\mathrm{span}}$ $\newcommand{\AA}{\unicode[.8,0]{x212B}}$

$\newcommand{\vectorA}[1]{\vec{#1}} % arrow$

$\newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow$

$\newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} }$

$\newcommand{\vectorC}[1]{\textbf{#1}}$

$\newcommand{\vectorD}[1]{\overrightarrow{#1}}$

$\newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}}$

$\newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}}$

$\newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} }$

$\newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}}$

$\newcommand{\avec}{\mathbf a}$

$\newcommand{\bvec}{\mathbf b}$

$\newcommand{\cvec}{\mathbf c}$

$\newcommand{\dvec}{\mathbf d}$

$\newcommand{\dtil}{\widetilde{\mathbf d}}$

$\newcommand{\evec}{\mathbf e}$

$\newcommand{\fvec}{\mathbf f}$

$\newcommand{\nvec}{\mathbf n}$

$\newcommand{\pvec}{\mathbf p}$

$\newcommand{\qvec}{\mathbf q}$

$\newcommand{\svec}{\mathbf s}$

$\newcommand{\tvec}{\mathbf t}$

$\newcommand{\uvec}{\mathbf u}$

$\newcommand{\vvec}{\mathbf v}$

$\newcommand{\wvec}{\mathbf w}$

$\newcommand{\xvec}{\mathbf x}$

$\newcommand{\yvec}{\mathbf y}$

$\newcommand{\zvec}{\mathbf z}$

$\newcommand{\rvec}{\mathbf r}$

$\newcommand{\mvec}{\mathbf m}$

$\newcommand{\zerovec}{\mathbf 0}$

$\newcommand{\onevec}{\mathbf 1}$

$\newcommand{\real}{\mathbb R}$

$\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}$

$\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}$

$\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}$

$\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}$

$\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}$

$\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}$

$\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}$

$\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}$

$\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}$

$\newcommand{\laspan}[1]{\text{Span}\{#1\}}$

$\newcommand{\bcal}{\cal B}$

$\newcommand{\ccal}{\cal C}$

$\newcommand{\scal}{\cal S}$

$\newcommand{\wcal}{\cal W}$

$\newcommand{\ecal}{\cal E}$

$\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}$

$\newcommand{\gray}[1]{\color{gray}{#1}}$

$\newcommand{\lgray}[1]{\color{lightgray}{#1}}$

$\newcommand{\rank}{\operatorname{rank}}$

$\newcommand{\row}{\text{Row}}$

$\newcommand{\col}{\text{Col}}$

$\renewcommand{\row}{\text{Row}}$

$\newcommand{\nul}{\text{Nul}}$

$\newcommand{\var}{\text{Var}}$

$\newcommand{\corr}{\text{corr}}$

$\newcommand{\len}[1]{\left|#1\right|}$

$\newcommand{\bbar}{\overline{\bvec}}$

$\newcommand{\bhat}{\widehat{\bvec}}$

$\newcommand{\bperp}{\bvec^\perp}$

$\newcommand{\xhat}{\widehat{\xvec}}$

$\newcommand{\vhat}{\widehat{\vvec}}$

$\newcommand{\uhat}{\widehat{\uvec}}$

$\newcommand{\what}{\widehat{\wvec}}$

$\newcommand{\Sighat}{\widehat{\Sigma}}$

$\newcommand{\lt}{<}$

$\newcommand{\gt}{>}$

$\newcommand{\amp}{&}$

$\definecolor{fillinmathshade}{gray}{0.9}$

Logical rules involving equality and congruence that allow equations to be manipulated and solved.

Properties of Equality and Congruence

The basic properties of equality were introduced to you in Algebra I. Here they are again:

Reflexive Property of Equality: $AB=AB$
Symmetric Property of Equality: If $m\angle A=m\angle B$ , then $m\angle B=m\angle A$
Transitive Property of Equality: If $AB=CD$ and $CD=EF$ , then $AB=EF$
Substitution Property of Equality: If $a=9$ and $a−c=5$ , then $9−c=5$
Addition Property of Equality: If $2x=6$ , then $2x+5=6+5$ or $2x+5=11$
Subtraction Property of Equality: If $m\angle x+15^{\circ}=65^{\circ}$ , then $m\angle x+15^{\circ}−15^{\circ}=65^{\circ}−15^{\circ}$ or $m\angle x=50^{\circ}$
Multiplication Property of Equality: If $y=8$ , then $5\cdot y=5\cdot 8$ or $5y=40$
Division Property of Equality: If $3b=18$ , then $\dfrac{3b}{3}=\dfrac{18}{3}$ or $b=6$
Distributive Property: $5(2x−7)=5(2x)−5(7)=10x−35$

Just like the properties of equality, there are properties of congruence. These properties hold for figures and shapes.

Reflexive Property of Congruence: $\overline{AB}\cong \overline{AB}$ or $\angle B\cong \angle B$
Symmetric Property of Congruence: If $\overline{AB}\cong \overline{CD}$ , then $\overline{CD}\cong \overline{AB}$ . Or, if $\angle ABC\cong \angle DEF$ , then $\angle DEF\cong \angle ABC$
Transitive Property of Congruence: If $\overline{AB}\cong \overline{CD}$ and $\overline{CD}\cong \overline{EF}$ , then $\overline{AB}\cong \overline{EF}$ . Or, if $\angle ABC\cong \angle DEF$ and $\angle DEF\cong \angle GHI$ , then $\angle ABC\cong \angle GHI$

When you solve equations in algebra you use properties of equality. You might not write out the property for each step, but you should know that there is an equality property that justifies that step. We will abbreviate “Property of Equality” “ $PoE$ ” and “Property of Congruence” “ $PoC$ ” when we use these properties in proofs.

Suppose you know that a circle measures 360 degrees and you want to find what kind of angle one-quarter of a circle is.

For Examples 1 and 2, use the given property of equality to fill in the blank. $x$ and $y$ are real numbers.

Example $\PageIndex{1}$

Distributive: If $4(3x−8)$ , then ______________.

Solution

$12x−32$

Example $\PageIndex{2}$

Transitive: If $y=12$ and $x=y$ , then ______________

Solution

$x=12$

Example $\PageIndex{3}$

Solve $2(3x−4)+11=x−27$ and write the property for each step (also called “to justify each step”).

Solution

$\begin{align*} 2(3x−4)+11 &= x−27 \\ 6x−8+11 &= x−27 &Distributive\: Property \\ 6x+3 &= x−27 & Combine\: like \:terms\\ 6x+3−3 &= x−27−3 & Subtraction \: PoE\\ 6x &= x−30 & Simplify\\ 6x−x &= x−x−30 & Subtraction \: PoE\\ 5x &= −30 & Simplify\\ \dfrac{5x}{5} &= \dfrac{−30}{5}& Division \: PoE\\ x &= −6 &Simplify \end{align*}$

Example $\PageIndex{4}$

$AB=8$ , $BC=17$ , and $AC=20$ . Are points $A$ , $B$ , and $C$ collinear?

Solution

Set up an equation using the Segment Addition Postulate.

$\begin{align*} AB+BC &=AC & Segment\: Addition \:Postulate \\ 8+17&= 20 &Substitution\: PoE \\ 25&\neq 20 & Combine\: like \:terms \end{align*}$

Because the two sides of the equation are not equal, $A$ , $B$ , and $C$ are not collinear.

Example $\PageIndex{5}$

If $m\angle A+m\angle B=100^{\circ}$ and $m\angle B=40^{\circ}$ , prove that $m\angle A$ is an acute angle.

Solution

We will use a 2-column format, with statements in one column and their reasons next to it, just like Example A.

$\begin{align*} m\angle A+m\angle B &=100^{\circ} &Given\: Information \\ m\angle B &=40^{\circ} &Given \:Information\\ m\angle A+40^{\circ} &=100^{\circ} &Substitution \:PoE\\m\angle A &=60^{\circ} &Subtraction \:PoE \\ \angle A \: & is \:an \:acute \:angle & Definition\: of \:an \:acute \:angle, m\angle A<90^{\circ}\end{align*}$

Review

For questions 1-8, solve each equation and justify each step.

$3x+11=−16$
$7x−3=3x−35$
$\dfrac{2}{3}g+1=19$
$\dfrac{1}{2}MN=5$
$5m\angle ABC=540^{\circ}$
$10b−2(b+3)=5b$
$\dfrac{1}{4}y+\dfrac{5}{6}=\dfrac{1}{3}$
$\dfrac{1}{4}AB+\dfrac{1}{3}AB=12+\dfrac{1}{2}AB$

For questions 9-11, use the given property or properties of equality to fill in the blank. $x$ , $y$ , and $z$ are real numbers.

Symmetric: If $x+y=y+z$ , then ______________.
Transitive: If $AB=5$ and $AB=CD$ , then ______________.
Substitution: If $x=y−7$ and $x=z+4$ , then ______________.

Review (Answers)

To see the Review answers, open this PDF file and look for section 2.6.

Resources

Vocabulary

Term	Definition
properties of equality	Together with *properties of congruence*, the logical rules that allow equations to be manipulated and solved.
Addition Property of Inequality	You can add a quantity to both sides of an inequality and it does not change the sense of the inequality. If $x>3$ , then $x+2>3+2$ .
distributive property	The distributive property states that the product of an expression and a sum is equal to the sum of the products of the expression and each term in the sum. For example, $a(b+c)=ab+ac$ .
Division Property of Inequality	The division property of inequality states that two unequal values divided by a positive number retain the same relationship. Two unequal values divided by a negative number result in a reversal of the relationship.
Multiplication Property of Equality	The multiplication property of equality states that if the same constant is multiplied to both sides of the equation, the equality holds true.
Real Number	A real number is a number that can be plotted on a number line. Real numbers include all rational and irrational numbers.
Reflexive Property of Congruence	$\overline{AB}\cong \overline{AB}$ or $\angle B\cong \angle B$
Reflexive Property of Equality	Any algebraic or geometric item is equal in value to itself.
Right Angle Theorem	The Right Angle Theorem states that if two angles are right angles, then the angles are congruent.
Same Angle Supplements Theorem	The Same Angle Supplements Theorem states that if two angles are supplementary to the same angle then the two angles are congruent.
Substitution Property of Equality	If a variable is equal to a specified amount, that amount can be directly substituted into an equation for the given variable.
Subtraction Property of Equality	The subtraction property of equality states that you can subtract the same quantity from both sides of an equation and it will still balance.
Symmetric Property of Congruence	If $\overline{AB}\cong \overline{CD}$ , then $\overline{CD}\cong \overline{AB}$ . Or, if $\angle ABC\cong \angle DEF$ , then $\angle DEF\cong \angle ABC$
Transitive Property of Congruence	If $\overline{AB}\cong \overline{CD}$ and $\overline{CD}\cong \overline{EF}$ , then $\overline{AB}\cong \overline{EF}$ . Or, if $\angle ABC\cong \angle DEF$ and $\angle DEF\cong \angle GHI$ , then $\angle ABC\cong \angle GHI$
Transitive Property of Equality	If $a = 5$ , and $b = 5$ , then $a = b$ .
Vertical Angles Theorem	The Vertical Angles Theorem states that if two angles are vertical, then they are congruent.

Additional Resources

Interactive Element

Video: Properties of Equality and Congruence Principles - Basic

Activities: Properties of Equality and Congruence Discussion Questions

Study Aids: Proofs Study Guide

Practice: Properties of Equality and Congruence

Real World: Properties Of Equality And Congruence

Properties of Equality and Congruence

Review

Review (Answers)

Resources

Vocabulary

Additional Resources

Support Center

How can we help?