>>695

>平行線公準（へいこうせんこうじゅん）とは、ユークリッド幾何学における特色のある公準である。
>ユークリッド（エウクレイデス）の第5公準（公理）とも呼ばれる。これは2次元幾何学において次のようなことを述べている。
>平行線公理、ユークリッド原論における5番目の公準であったことから、
>ユークリッド（エウクレイデス）の第5公準（公理）とも呼ばれる。
>これは2次元幾何学において次のようなことを述べている。
>
>1つの線分が2つの直線に交わり、同じ側の内角の和が2直角より小さいならば、
>この2つの直線は限りなく延長されると、2直角より小さい角のある側において交わる。

学校で習うかどうか知りませんが、これがそのまま使えますね。
公理(公準) は証明のしようがない大前提です。

・∠BAC ＞ 90° (鈍角)
内角和が 180° 未満の側で交わる. つまり 直線AB のA側で交わる.

・∠BAC < 90° (鋭角)
内角和が 180° 未満の側で交わる. つまり 直線AB のB側で交わる.