証明 (1)　 ∠BAC < ∠EDF とする。 図のように G を �僊BG と �僖EF が合同 　　となるようにとる 　(増加を押す) ∠CAG の二等分線と 　 AG の交点を H とおく。 �僂AH と �僭AH は合同である。 (AC = AG, AH は共通 ∠CAH = ∠GAH より) よって CH = GH である。 従って BC < BH + HC = BH + HG 　　 = BG = EF を得る。 (1) より (2) は直ちに出てくる。 　　 証明　 一つ戻る　 戻る