Skip to main content
K12 LibreTexts

4.15: ASA and AAS

  • Page ID
    4812
  • \( \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}\)

    Two sets of corresponding angles and any corresponding set of sides prove congruent triangles.

    Angle-Side-Angle Postulate and Angle-Angle-Side Theorem

    If two angles and one side in one triangle are congruent to the corresponding two angles and one side in another triangle, then the two triangles are congruent. This idea encompasses two triangle congruence shortcuts: Angle-Side-Angle and Angle-Angle-Side.

    Angle-Side-Angle (ASA) Congruence Postulate: If two angles and the included side in one triangle are congruent to two angles and the included side in another triangle, then the two triangles are congruent.

    Angle-Angle-Side (AAS) Congruence Theorem: If two angles and a non-included side in one triangle are congruent to two angles and the corresponding non-included side in another triangle, then the triangles are congruent.

    The placement of the word Side is important because it indicates where the side that you are given is in relation to the angles. The pictures below help to show the difference between the two shortcuts.

    f-d_387a0f5cd927d97d4b15b14c30c0279a5d762ce0302a00f36ed0817d+IMAGE_TINY+IMAGE_TINY.png
    Figure \(\PageIndex{1}\)
    f-d_e77f631bf177cea4edb561bada4d53b10c50fb38b334a8dd3107b106+IMAGE_TINY+IMAGE_TINY.png
    Figure \(\PageIndex{2}\)

    What if you were given two triangles and provided with only the measure of two of their angles and one of their side lengths? How could you determine if the two triangles were congruent?

    Example \(\PageIndex{1}\)

    Can you prove that the following triangles are congruent? Why or why not?

    f-d_604ac4ab66bc876c8fff98cf5305def6e188d3f593b07574a820180e+IMAGE_TINY+IMAGE_TINY.png
    Figure \(\PageIndex{3}\)

    Solution

    We cannot show the triangles are congruent because \(\overline{KL}\) and \(\overline{ST}\) are not corresponding, even though they are congruent. To determine if \(\(\overline{KL}\) and \(\overline{ST}\) are corresponding, look at the angles around them, \(\(\angle K\) and \(\angle L\) and \angle S\) and \(\angle T\). \(\angle K\) has one arc and \angle L is unmarked. \(\angle S\) has two arcs and \(\angle T\) is unmarked. In order to use AAS, \(\angle S\) needs to be congruent to \(\angle K\).

    Example \(\PageIndex{2}\)

    Write a 2-column proof.

    f-d_53666bd04d0678db5cd62622fa178ecaefc491f1b20f561e5c0afe87+IMAGE_TINY+IMAGE_TINY.png
    Figure \(\PageIndex{4}\)

    Given: \(\overline{AB}\parallel \overline{ED}\), \(\angle C\cong \angle F\), \(\overline{AB}\cong \overline{ED}\)

    Prove: \(\overline{AF}\cong \overline{CD}\)

    Solution

    Statement Reason
    1. \(\overline{AB}\parallel \overline{ED}\), \(\angle C\cong \angle F\), \(\overline{AB}\cong \overline{ED}\) 1. Given
    2. \(\angle ABE\cong \angle DEB\) 2. Alternate Interior Angles Theorem
    3. \(\Delta ABF\cong \Delta DEC\) 3. ASA
    4. \(\overline{AF}\cong \overline{CD}\) 4. CPCTC (Corresponding Parts of Congruent Triangles are Congruent)

    Example \(\PageIndex{3}\)

    What information do you need to prove that these two triangles are congruent using the ASA Postulate, \(\overline{AB}\cong UT\overline{AB}\), \(\overline{AC}\cong \overline{UV}\), \(\overline{BC}\cong \overline{TV}\), or \(\angle B\cong \angle T\)?

    f-d_c37d23ac282d8562dcc04e31178ecbe419cb15f4db0a7c0f3a2587e9+IMAGE_TINY+IMAGE_TINY.png
    Figure \(\PageIndex{5}\)

    Solution

    For ASA, we need the side between the two given angles, which is \(\overline{AC}\) and \(\overline{UV}\). The answer is \(\overline{AC}\cong \overline{UV}\).

    Example \(\PageIndex{4}\)

    Write a 2-column proof.

    Given: \(\angle C\cong \angle E\), \(\overline{AC}\cong \overline{AE}\)

    Prove: \(\Delta ACF\cong \Delta AEB \)

    f-d_19ca64f76b2d32023002c593fda10c05cd8e5fa0c571090cb40f8c13+IMAGE_TINY+IMAGE_TINY.png
    Figure \(\PageIndex{6}\)

    Solution

    Statement Reason
    1. \(\angle C\cong \angle E\), \(\overline{AC}\cong \overline{AE}\) 1. Given
    2. \(\angle A\cong \angle A\) 2. Reflexive \(PoC\)
    3. \(\Delta ACF \cong \Delta AEB\) 3. ASA

    Example \(\PageIndex{5}\)

    What information do you need to prove that these two triangles are congruent using ASA? AAS?

    f-d_e7203d943a47b15690a47e22b6e722ac980e3b179931069e4c46def2+IMAGE_TINY+IMAGE_TINY.png
    Figure \(\PageIndex{7}\)

    Solution

    For ASA, we need the angles on the other side of \(\overline{EF}\) and \(\overline{QR}\). \(\angle F\cong \angle Q\)

    For AAS, we would need the other angle. \(\angle G\cong \angle P\)

    Review

    For questions 1-3, determine if the triangles are congruent. If they are, write the congruence statement and which congruence postulate or theorem you used.

    1. f-d_85362b41601d130a5cd26700232eb7eb58b70947d098e690adb6bb0d+IMAGE_TINY+IMAGE_TINY.png
      Figure \(\PageIndex{8}\)
    2. f-d_a0c2bea9d39497bf4c3bc416a078809fb3ac8f591705ab94317b5a3b+IMAGE_TINY+IMAGE_TINY.png
      Figure \(\PageIndex{9}\)
    3. f-d_2b04982c0f0663dff4eb7aa2ad22581cd34481dea663bbfa8333830f+IMAGE_TINY+IMAGE_TINY.png
      Figure \(\PageIndex{10}\)

    For questions 4-8, use the picture and the given information below.

    f-d_ee70befd46f7fc52518b052d9af1104ed20b46c281880d5d329387d2+IMAGE_TINY+IMAGE_TINY.png
    Figure \(\PageIndex{11}\)

    Given: \(\overline{DB}\perp \overline{AC}\), \(\overline{DB}\) is the angle bisector of \(\angle CDA\)

    1. From \(\overline{DB}\perp \overline{AC}\), which angles are congruent and why?
    2. Because \(\overline{DB}\) is the angle bisector of \(\angle CDA\), what two angles are congruent?
    3. From looking at the picture, what additional piece of information are you given? Is this enough to prove the two triangles are congruent?
    4. Write a 2-column proof to prove \(\Delta CDB\cong \Delta ADB\), using #4-6.
    5. What would be your reason for \(\angle C\cong \angle A\)?

    For questions 9-13, use the picture and the given information.

    Given: \(\overline{LP}\parallel \overline{NO}\), \(\overline{LP}\cong \overline{NO}\)

    f-d_9538c6acdc8dba1d71239b6cd210a6eb8dbccecf534683e9372f3cf3+IMAGE_TINY+IMAGE_TINY.png
    Figure \(\PageIndex{12}\)
    1. From \(\overline{LP}\parallel \overline{NO}\), which angles are congruent and why?
    2. From looking at the picture, what additional piece of information can you conclude?
    3. Write a 2-column proof to prove \(\Delta LMP\cong \Delta OMN\).
    4. What would be your reason for \(\overline{LM}\cong \overline{MO}\)?
    5. Fill in the blanks for the proof below. Use the given from above. Prove: \(M\) is the midpoint of \(\overline{PN}\).
    Statement Reason
    1. \(\overline{LP}\parallel \overline{NO}\), \(\overline{LP}\cong \overline{NO}\) 1. Given
    2. 2. Alternate Interior Angles
    3. 3. ASA
    4. \(\overline{LM}\cong \overline{MO}\) 4.
    5. \(M\) is the midpoint of \(\overline{PN}\). 5.

    Determine the additional piece of information needed to show the two triangles are congruent by the given postulate.

    1. AAS
      f-d_ab6f7d67e291acff7083cd17dc65e64bffcddfe85941d6d00d388ce5+IMAGE_TINY+IMAGE_TINY.png
      Figure \(\PageIndex{13}\)
    2. ASA
      f-d_ab6f7d67e291acff7083cd17dc65e64bffcddfe85941d6d00d388ce5+IMAGE_TINY+IMAGE_TINY.png
      Figure \(\PageIndex{14}\)
    3. ASA
      f-d_1ab96ebcba96e513a2448f3d68433bf829d3105caddf9d8873eb003e+IMAGE_TINY+IMAGE_TINY.png
      Figure \(\PageIndex{15}\)
    4. AAS
      f-d_1ab96ebcba96e513a2448f3d68433bf829d3105caddf9d8873eb003e+IMAGE_TINY+IMAGE_TINY.png
      Figure \(\PageIndex{16}\)

    Review (Answers)

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

    Resources

    Vocabulary

    Term Definition
    CPCTC Corresponding Parts of Congruent Triangles are Congruent. It is used to show two sides or two angles in triangles are congruent after having proved that the triangles are congruent.
    AAS (Angle-Angle-Side) If two angles and a non-included side in one triangle are congruent to two angles and the corresponding non-included side in another triangle, then the triangles are congruent.
    Angle Side Angle Triangle The term 'angle-side-angle triangle' refers to a triangle with known measures of two angles and the length of the side between them.
    ASA ASA, angle-side-angle, refers to two known angles in a triangle with one known side between the known angles.
    Congruent Congruent figures are identical in size, shape and measure.
    Triangle Congruence Triangle congruence occurs if 3 sides in one triangle are congruent to 3 sides in another triangle.
    Rigid Transformation A rigid transformation is a transformation that preserves distance and angles, it does not change the size or shape of the figure.

    Additional Resources

    Video: Introduction to Congruent Triangles

    Activities: ASA and AAS Triangle Congruence Discussion Questions

    Study Aids: Triangle Congruence Study Guide

    Practice: ASA and AAS

    Real World: SSS Triangle Congruence


    This page titled 4.15: ASA and AAS is shared under a CK-12 license and was authored, remixed, and/or curated by CK-12 Foundation via source content that was edited to the style and standards of the LibreTexts platform.

    CK-12 Foundation
    LICENSED UNDER
    CK-12 Foundation is licensed under CK-12 Curriculum Materials License
    • Was this article helpful?