第6章 6.9

逆：$\angle C > \angle B$ ならば $AB > AC$ である

もし、$\angle C > \angle B$ のとき、$AB \leq AC$ であるとするなら

$AB = AC$ では三角形が二等辺三角形となるため $\angle C = \angle B$ になる

$AB < AC$ では $\angle C < \angle B$ であるため ともに矛盾する

これから $\angle C > \angle B$ ならば $AB > AC$ である