Утверждения,которые выводятся непосредственно из аксиом или теорем,называются следствиями.
Если прямая пересекает одну из двух параллельных прямых,то она пересекает и другую.
Доказательство: Пусть прямыеa и параллельны и прямая с пересекает прямую а в точке М.Докажем,что прямая спересекает и прямую b.Если бы прямая с не пересекала прямуюb, то через точку М проходили бы две прямые(прямые а ис),параллельные прямой b.Но это противоречит аксиоме параллельных прямых , и, значит, прямая с пересекает прямую b
Если прямая пересекает одну из двух параллельных прямых,то она пересекает и другую.
Доказательство: Пусть прямыеa и параллельны и прямая с пересекает прямую а в точке М.Докажем,что прямая спересекает и прямую b.Если бы прямая с не пересекала прямуюb, то через точку М проходили бы две прямые(прямые а ис),параллельные прямой b.Но это противоречит аксиоме параллельных прямых , и, значит, прямая с пересекает прямую b