In the previous post, we proved that if the two sides of a triangle are not congruent, then the angles opposite to these sides are also not congruent. In addition, we have shown that the angle opposite to the longer side is the larger angle.
In this post, we continue with the converse of this theorem. We show that if two angles of a triangle are not congruent, then the sides opposite to these angles are not congruent. Also, the side opposite to the larger angle is the longer side. This is evident as shown in the figure above. As we can see, $latex \angle B$ is the largest angle and $latex \overline{AB}$, the side opposite to it is also the longest side.
Therefore, we show that if $latex \angle C > \angle B$ then, $latex \overline{AB} > \overline{AC}$.
Theorem
In any triangle $latex ABC$, if $latex \angle C < \angle B$ then, $latex \overline{AB} > \overline{AC}$.
Proof
We use proof by contradiction.
Assume $latex \overline{AB} \ngtr \overline{AC}$. Then $latex \overline{AB} \cong \overline{AC}$ or $latex \overline{AB} < \overline{AC}$.
If $latex \overline{AB} \cong \overline {AC}$, then $latex \triangle ABC$ is isosceles and $latex \angle C \cong \angle B$ by the Isosceles Triangle Theorem.
If $latex \overline{AB} < \angle \overline{BC}$, by the previous theorem, $latex \angle C < \angle B$.
Now, both of these statements contradict the given that $latex \angle C > \angle B$.
Therefore, the assumption that $latex \overline{AB} \ngtr \overline{AC}$ must be false.
So, in any triangle $latex ABC$, if $latex \angle C < \angle B$ then, $latex \overline{AB} > \overline{AC}$.