基本定理１ �僊BC において (1)　AB = AC ならば 　　∠ACB = ∠ABC　である。 逆に (2)　∠ACB = ∠ABC ならば 　　AB = AC　である。 更に次が成立する。 (3)　AB = AC のとき 　　BC の垂直二等分線は A を通り 　　∠BAC の二等分線である。 もちろん次も成立する。 (4)　AB = AC のとき 　　∠BAC の二等分線は 　　BC を垂直二等分する。 証明　　 戻る