topic badge
Middle Years

9.08 Further triangle proofs

Lesson

One of the main advantages of being able to prove things is that we can then use what we have proved to prove something else. By starting from some basic information, we can often follow a chain of proofs to discover complex and interesting properties that we would never have seen before.

Specifically for triangles, if we know how to prove triangles congruent or similar then we can use the properties of congruent or similar triangles to discover other properties in a diagram.

 

Using congruent and similar triangles

After proving that two triangles are similar or congruent, we gain access to all the properties of similar or congruent triangles.

If we can prove that two triangles are congruent using any of the congruence tests, we have also proved that and angle or side in one triangle must be equal to the corresponding angle or side in the other.

The same applies if we can prove two triangles are similar, except instead of equal sides we get sides in a common ratio.

In particular, knowing which angles are equal can help us find relationships between the lines that the angles lie between, since there are many line properties relating to equal angles.

Worked example

In the diagram below, $XZ=WY$XZ=WY.

Prove that $AX$AX and $BY$BY are parallel.

Think: Consider what must be true if $AX$AX and $BY$BY were parallel. If $AX$AX and $BY$BY were parallel then $\angle AXY$AXY and $\angle BYX$BYX would be equal since they are alternate angles on the two lines.

One way to prove that these angles are equal is to show that they are corresponding angles in congruent or similar triangles. So let's start by proving that $\triangle AXZ$AXZ and $\triangle BYW$BYW are congruent or similar.

Do: Using the information we are given, we can prove that:

  • $XZ=WY$XZ=WY (Given)
  • $\angle AZX=\angle BWY$AZX=BWY (Alternate angles in parallel lines are equal)
  • $AZ=BW$AZ=BW (Opposite sides in a parallelogram are equal)

With these three facts, we have established enough to prove that:

$\triangle AZX$AZX$\equiv$$\triangle BYW$BYW

(SAS: Two pairs of corresponding sides and the pair of included angles are equal)

Since we have proved that the two triangles are congruent, we now know for certain that:

$\angle AXY=\angle BYX$AXY=BYX

(Corresponding angles in congruent triangles are equal)

Since these two angles are equal, we can finally prove that:

$AX\parallel BX$AXBX

(Alternate angles in parallel lines are equal)

Reflect: We started by considering what else we would know about the diagram if we knew what we were trying to prove. We then found a different way to find that information, allowing us to prove what we wanted to.

 

Practice questions

Question 1

Consider the diagram.

  1. Why is $BE$BE parallel to $CD$CD?

    $\angle ABE$ABE and $\angle ACD$ACD form a pair of equal corresponding angles.

    A

    $\angle ABE$ABE and $\angle ACD$ACD form a pair of supplementary cointerior angles.

    B

    $\angle ABE$ABE and $\angle ACD$ACD form a pair of equal alternate angles.

    C
  2. Which angle is equal to $\angle BEA$BEA?

    $\angle BEA=\editable{}$BEA=

  3. How do we know that $\triangle ABE\sim\triangle ACD$ABE~ACD?

    Two right-angled triangles have the ratio of their hypotenuses equal to the ratio of another pair of matching sides

    A

    Two pairs of matching sides are in the same ratio and the included angles are equal

    B

    All pairs of matching sides are in the same ratio

    C

    All three pairs of corresponding angles are equal.

    D
  4. What is the scale factor relating $\triangle ABE$ABE to $\triangle ACD$ACD?

  5. Solve for the value of $f$f.

Question 2

Consider the diagram below:

  1. Prove that $\triangle ABE$ABE is similar to $\triangle BCD$BCD.

  2. Prove that $\triangle EDB$EDB is similar to $\triangle BCD$BCD.

  3. Can we conclude that $\triangle ABE$ABE is similar to $\triangle EDB$EDB?

    Yes

    A

    No

    B
Question 3

Consider the diagram below:

  1. Prove that $CE=EB$CE=EB.

What is Mathspace

About Mathspace