定理３ �僊BC と �僖EF において AB = DE で AC = DF とする。 このとき (1)　∠BAC < ∠EDF ならば 　　　BC < EF である 逆につぎも成立する。 (2)　BC < EF ならば 　　∠BAC < ∠EDF　である。 　 証明　 戻る 証明(高校(余弦定理))