証明 ∠BAC の二等分線と BC との交点を D とおく。 　　(増加を押す) (1)　AB = AC とする。 �僊BD と �僊CD において ∠BAD = ∠CAD AB = AC AD は共通 なので �僊BD と �僊CD は合同である。 よって ∠ABD = ∠ACD である。 　((1) が示せた) BD = CD である。 また ∠ADB = ∠ADC である。 ∠ADB = ∠ADC より AD と BC は直交している。 ((3),(4) が示せた。) 次に (2)　∠ACB = ∠ABC とする。 �僊BD と �僊CD において ∠BAD = ∠CAD 　∠ABD = ∠ACD AD は共通 なので �僊BD と �僊CD は合同である。 よって AB = AC である。 ((2) が示せた。) 戻る