Consider the given diagram.
Using this diagram, we will prove the .
Triangle Longer Side Theorem
|
If one side of a is longer than another side, then the measure of the opposite the longer side is greater than the measure of the angle opposite the shorter side.
|
Let's state exactly what is given and what we want to prove.
Given:Prove:BC>AB,BD=BAm∠BAC>m∠C
Since the length of
BD is equal to the length of
BA, by the definition of ,
BD is congruent to
BA. Then, using the , we can conclude that
∠1 is congruent to
∠2.
By the definition of congruent angles, we can say that
m∠1=m∠2. Next, by the , we have
m∠BAC=m∠1+m∠3. Then, using the , we can substitute
m∠1=m∠2 into the for
m∠BAC.
m∠BAC=m∠1+m∠3
m∠BAC=m∠2+m∠3
m∠2=m∠BAC−m∠3
From the diagram, we can see that
∠2 is an of
△ADC. Therefore, by the , we know that
m∠2 is the sum of
m∠3 and
m∠C.
m∠2=m∠3+m∠C
Let's now use the .
{m∠2=m∠BAC−m∠3m∠2=m∠3+m∠C⇓m∠BAC−m∠3=m∠3+m∠C
Finally, we will solve this equation for
m∠BAC.
m∠BAC−m∠3=m∠3+m∠C
m∠BAC=2m∠3+m∠C
As we can see,
m∠BAC is the sum of
2m∠3 and
m∠C. Note that all this measures are . Therefore, the obtained equation implies that
m∠BAC>m∠C.