Let's mark the we are asked to compare. We will use the same color for the opposite sides in the .
We are asked to use an indirect argument to prove Theorem
5.14, the .
Given:Prove:RS≅UWST≅WVRT>UVm∠S>m∠W
Step 1
To start an , we assume that the statement is not true.
Assumption:m∠S≤m∠W
Step 2
Next, we look at consequences of our assumption until we find a contradiction. Keep in mind that in triangles
△RST and
△UWV two pairs of sides are congruent.
RSST≅UW≅WV
The assumption
m∠S≤m∠W is true either when
m∠S=m∠W or when
m∠S<m∠W. We should consider these two cases separately.
Case 1: m∠S=m∠W
If
m∠S=m∠W, then in triangles
△RST and
△UWV two pair of sides and the included angles are congruent. According to the this means that the two triangles are congruent.
△RST≅△UWV
Corresponding sides of congruent triangles are congruent, so this would imply
RT=UV. However, it is given that
RT>UV, so this is a contradiction.
Case 2: m∠S<m∠W
Since in triangles
△RST and
△UWV two pair of sides are congruent, we can use the (Theorem
5.13 of the book).
m∠S<m∠W⇓RT<UV
It is given that
RT>UV, so this is again a contradiction.
Step 3
Since in both cases we arrived at a contradiction, this means that our assumption is not true. Angle
∠S must be larger than
∠W. This proves the .
Given:Prove:RS≅UWST≅WVRT>UVm∠S>m∠W